自由アーベル群
抽象代数学において、自由アーベル群 (free abelian group) あるいは自由 Z-加群 (free Z-module) とは基底をもったアーベル群のことを言う。
* アーベル群であるという条件は、結合的、可換、可逆な二項演算をもった集合であることを意味し、慣習的に演算は「加法」として、逆元を加えることを「減法」としてとらえられる。
* 基底とは、その群の任意の元が有限個の例外を除くすべての元が となる整数係数線型結合としてちょうど一通りの方法で書けるような部分集合を言う。
したがって自由アーベル群の任意の元は、基底に属する元に「加法」や「減法」を有限回施すことで得られる。実例として整数全体の成す集合は加法に関して単元集合 を基底とする自由アーベル群になる。実際、整数の加法は可換かつ結合的で、減法は加法逆元を加えることに等しく、各整数は を必要な個数だけ加えたり引いたりすれば得られ、任意の整数はそれが の何倍かを表す整数として一意に表すことができる。

自由アーベル群はその性質により、ベクトル空間とよく似た性格を持つ。代数的位相幾何学における応用として、自由アーベル群はの定義に用いられ、また代数幾何学において因子の定義に用いられる。もまた自由アーベル群の例であり、格子論では実線型空間の自由アーベル部分群が調べられる。

基底 を持つ自由アーベル群の各元は、非零整数 を係数として相異なる基底元 の有限項の和 の形の式で表現することができる。この式（およびこの式の表す元）は 上の形式和 ("formal sums") とも呼ばれる。別な言い方をすれば、基底 を持つ自由アーベル群の元を、 の有限個の元のみを含む符号付き多重集合（形式和に現れる基底元 の係数が多重集合の元としての の重複度）と見なすこともできる。基底 を持つ自由アーベル群は、その元を形式和として書く代わりに 上の整数値函数で有限個の例外を除いて常に となるものとして表し、群演算として点ごとの和を入れたものと見なすこともできる。

任意の集合 に対して、 を基底とする自由アーベル群が作れる。そのような群は同型を除いて一意に定まる（同じ集合を基底に持つどの二つの自由アーベル群も必ず群同型になる）。基底元から元を構成する方法ではなくて、 の各元ごとに整数の加法群 のコピーを対応させ、それらの直和として基底 を持つ自由アーベル群を得る方法もある。他にも、 の各元を生成元として の元の任意の対から得られる交換子を基本関係子とする群の表示によって、 を基底とする自由アーベル群を記述することもできる。任意の自由アーベル群はその基底の濃度として定義される階数を持ち（同じ群のどの二つの基底も濃度が等しいこと（基底数不変性質）に注意すべきである）、同じ階数をもつどの二つの自由アーベル群も互いに同型である。自由アーベル群の任意の部分群はそれ自身自由アーベルである。この事実により、一般のアーベル群を自由アーベル群を「関係」または自由アーベル群の間の単射準同型の余核で割ったものと見ることができる。
Q159943
抽象代数学
Concept
Q1292333
基底
Concept
Q181296
アーベル群
Concept
Q177251
結合的
Concept
Q165474
可換
Concept
Q164307
二項演算
Concept
Q36161
集合
Concept
Q281212
有限個の例外を除く
UNK
Q12503
整数
Concept
Q27628
線型結合
Concept
Q12503
整数
Concept
Q32043
加法
Concept
Q1165112
単元集合
Concept
Q40754
減法
Concept
Q715358
加法逆元
Concept
Q125977
ベクトル空間
Concept
Q212803
代数的位相幾何学
Concept
Q180969
代数幾何学
Concept
Q909669
因子
UNK
Q1096885
格子論
Concept
Q466109
部分群
Concept
Q864377
多重集合
Concept
None
有限個の例外を除いて常に となる
UNK
Q9248237
点ごと
Concept
Q2914964
同型を除いて
UNK
Q742064
群同型
Concept
Q4166523
直和
UNK
Q2989763
交換子
UNK
Q915906
群の表示
Concept
Q1260803
階数
UNK
Q6059504
基底数不変性質
UNK
Q868169
準同型
Concept
Q2156511
余核
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
Q1454111
自由アーベル群
Concept
subclass of
studies
has quality
has quality
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of
subclass of