TOPICS
Search

Additive Group


An additive group is a group where the operation is called addition and is denoted +. In an additive group, the identity element is called zero, and the inverse of the element a is denoted -a (minus a). The symbols and terminology are borrowed from the additive groups of numbers: the ring of integers Z, the field of rational numbers Q, the field of real numbers R, and the field of complex numbers C are all additive groups.

In general, every ring and every field is an additive group. An important class of examples is given by the polynomial rings with coefficients in a ring R. In the additive group of R[x_1,...,x_n] the sum is performed by adding the coefficients of equal terms,

 suma_(i_1...i_n)x_1^(i_1)...x_n^(i_n)+sumb_(i_1...i_n)x_1^(i_1)...x_n^(i_n)=sum(a_(i_1...i_n)+b_(i_1...i_n))x_1^(i_1)...x_n^(i_n).
(1)

Modules, abstract vector spaces, and algebras are all additive groups.

The sum of vectors of the vector space R^n is defined componentwise,

 (a_1,...,a_n)+(b_1,...,b_n)=(a_1+b_1,...,a_n+b_n),
(2)

and so is the sum of n×m matrices with entries in a ring R,

 [a_(11) a_(12) ... a_(1m); a_(21) a_(22) ... a_(2m); | | ... |; a_(n1) a_(n2) ... a_(nm)]+[b_(11) b_(12) ... b_(1m); b_(21) b_(22) ... b_(2m); | | ... |; b_(n1) b_(n2) ... b_(nm)] 
 =[a_(11)+b_(11) a_(12)+b_(12) ... a_(1m)+b_(1m); a_(21)+b_(21) a_(22)+b_(22) ... a_(2m)+b_(2m); | | ... |; a_(n1)+b_(n1) a_(n2)+b_(n2) ... a_(nm)+b_(nm)],
(3)

which is part of the R-module structure of the set of matrices M_(n,m)(R).

Any quotient group G/H of an Abelian additive group G is again an additive group with respect to the induced addition of cosets, defined by

 (a+H)+(b+H)=(a+b)+H
(4)

for all a,b in G.

This is the case for all the examples above as well as for Z_n with n=2, 3, ..., where

 (a+nZ)+(b+nZ)=(a+b)+nZ,
(5)

which is the sum of the residue classes of a and b, sometimes denoted a^_ and b^_. These are also examples of cyclic additive groups; Z_n is generated by the element 1^_=1+nZ, which means that

 Z_n={k·1^_|k in Z}.
(6)

In any additive group G, the integer multiples of every element g can be considered for every integer k,

 kg={g+...+g_()_(k times)   for k>0; -((-k)g)   for k<0; 0   for k=0.
(7)

This multiplication by integers makes G a Z-module iff G is Abelian.

In abstractly defined groups, the additive notation is preferred when the operation is commutative. This is normally not the case for groups of maps; there, the composition is usually treated as a multiplication. One natural exception is the group of translations of n-dimensional Euclidean space. If f_u and f_v are the translations determined by the vectors u and v of R^n, then

 f_u degreesf_v=f_v degreesf_u=f_(u+v),
(8)

which means that the composition is equivalent to the sum of translation vectors. The group of translations of the Euclidean space can therefore be identified with the additive group of vectors of R^n.


See also

Additive Identity, Additive Inverse, Multiplicative Group

This entry contributed by Margherita Barile

Explore with Wolfram|Alpha

Cite this as:

Barile, Margherita. "Additive Group." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/AdditiveGroup.html

Subject classifications