R-加群の基底 のバックアップソース(No.1)

* 仮定 [#c9335d3b]

- &mathjax{R}; は環
- &mathjax{M}; はR-加群
- &mathjax{X ~(\subset M)}; は &mathjax{M}; の部分集合

* 定義 [#cd8b54cb]

&mathjax{X}; が基底であるとは、 &mathjax{\langle X\rangle = M}; かつ &mathjax{X}; が一次独立であること。

* 例 [#ae2093c7]