R-加群の有限集合の一次独立性 のバックアップ(No.2)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- R-加群の有限集合の一次独立性 へ行く。
- 1 (2019-01-27 (日) 12:32:16)
- 2 (2019-05-28 (火) 16:56:20)
仮定
- \( R \) は環
- \( M \) はR-加群
- \( x_1, \cdots, x_n ~(\in M) \) は \( M \) の元
定義
\( x_1, \cdots, x_n \) が一次独立であるとは、 \( a_1, \cdots, a_n ~(\in R) \) を用いて \( \sum_{i=1}^n a_ix_i = 0 \) となるなら必ず全ての \( a_i \) が \( 0 \) であることをいう。