自由加群

数学において、自由加群(じゆうかぐん、) とは、加群の圏におけるである。集合 が与えられたとき、 上の自由加群とは を基底 にもつ自由加群である。たとえば、すべてのベクトル空間は自由であり、集合上の自由ベクトル空間は集合上の自由加群の特別な場合である。任意の加群はある自由加群の準同型像である。
定義.
-加群 について、集合 が の基底であるとは、次の2条件を満たすことである。
-加群 が基底をもつとき、 は自由加群であるという。
 が 基底数一定性質 (IBN) をもてば、定義によって任意の2つの基底は同じ濃度をもつ。勝手な（したがってすべての）基底の濃度を自由加群 のランク（階数）と言い、濃度が有限ならば、 をランク の自由加群、あるいは単に有限ランクの自由加群と言う。
(2) から直ちにわかることだが、(1) の係数はすべての について一意的である。
無限自由基底の定義は、 が無限に多くの元をもつことを除いて、同様である。しかしながら、和は有限であり、どの についても の有限個の元しか含まれない。
基底が無限のとき、 のランクは の濃度である。
構成.
集合 が与えられたとき、 上の自由 -加群を作ることができる。それは単純に の 個のコピーの直和であり、しばしば と表記される。この直和を と表記し、具体的に構成しよう。
 の基底は集合 によって与えられる。ただし
である。（クロネッカーのデルタの変形であり、 集合 の指示関数の特別な場合である。）
写像 を で定義する。この写像は と基底ベクトル } の間の全単射を与える。 従ってこれらの集合を同一視できる。よって は の線型独立な基底と考えることができる。
普遍性.
上で定義された写像 は次のような意味で普遍的である。
さらに自由加群の構成を関手 formula_8 としてみれば、これは忘却関手 formula_9 の左随伴であること、つまり自然同型
がわかる。
一般化.
自由加群についての多くのステートメントは、一般の環上の加群については成り立たないが、自由加群のある種の一般化に対してはなお成り立つ。射影加群は自由加群の直和因子なので、自由加群への単射が存在し、その基底を射影加群に関する何らかの証明で使うことができる。より弱い一般化として平坦加群やねじれのない加群がある。平坦加群はテンソル積が完全列を保つという性質をもつ。環が特別な性質をもてば、逆が成り立つことがある。例えば、任意の完全局所デデキント環上のすべてのねじれのない加群は平坦加群、射影加群、自由加群でもある。
局所環、完全環、デデキント環を見よ。