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