自由R-加群

仮定

• \( M \) はR-加群

定義

\( M \) が基底を持つとき、それは自由R-加群であるという。

例

• ベクトル空間は必ず基底を持つことが知られており、自由R-加群である。