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


仮定

  • \( R \) は環
  • \( M \) はR-加群
  • \( X ~(\subset M) \)\( M \) の部分集合

定義

\( X \) が基底であるとは、 \( \langle X\rangle = M \) かつ \( X \) が一次独立であること。