自由アーベル群
この式(およびこの式の表す元)は B 上の形式和 (formal sums) とも呼ばれる。別な言い方をすれば、基底 B を持つ自由アーベル群の元を、B の有限個の元のみを含む符号付き多重集合(形式和に現れる基底元 b の係数が多重集合の元としての b の重複度)と見なすこともできる。基底 B を持つ自由アーベル群は、その元を形式和として書く代わりに B 上の整数値函数で有限個の例外を除いて常に 0 となるものとして表し、群演算として点ごとの和を入れたものと見なすこともできる。
任意の集合 B に対して、B を基底とする自由アーベル群が作れる。そのような群は同型を除いて一意に定まる(同じ集合を基底に持つどの二つの自由アーベル群も必ず群同型になる)。基底元から元を構成する方法ではなくて、B の各元ごとに整数の加法群 Z のコピーを対応させ、それらの直和として基底 B を持つ自由アーベル群を得る方法もある。他にも、B の各元を生成元として B の元の任意の対から得られる交換子を基本関係子とする群の表示によって、B を基底とする自由アーベル群を記述することもできる。任意の自由アーベル群はその基底の濃度として定義される階数を持ち(同じ群のどの二つの基底も濃度が等しいこと(基底数不変性質)に注意すべきである)、同じ階数をもつどの二つの自由アーベル群も互いに同型である。自由アーベル群の任意の部分群はそれ自身自由アーベルである。この事実により、一般のアーベル群を自由アーベル群を「関係」または自由アーベル群の間の単射準同型の余核で割ったものと見ることができる。