モジュール（加群）たちでベーシス（基底）たちを持つものたちのファイナイト（有限）プロダクトモジュール（加群）はこのベーシス（基底）を持つことの記述/証明
話題
About: モジュール（加群）
この記事の目次
開始コンテキスト
- 読者は、プロダクトモジュール（加群）の定義を知っている。
- 読者は、モジュール（加群）のベーシス（基底）の定義を知っている。
ターゲットコンテキスト
- 読者は、モジュール（加群）たちでベーシス（基底）たちを持つものたちの任意のファイナイト（有限）プロダクトモジュール（加群）はこのベーシス（基底）を持つという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(J\): \(\in \{\text{ 全てのファイナイト（有限）インデックスセット（集合）たち }\}\)
\(R\): \(\in \{\text{ 全てのリング（環）たち }\}\)
\(\{M_j \vert j \in J\}\): \(\subseteq \{\text{ 全ての } R \text{ モジュール（加群）たち }\}\)
\(\times_{j \in J} M_j\): \(= \text{ 当該プロダクトモジュール（加群） }\)
//
ステートメント（言明）たち:
\(\forall j \in J (B_j = \{b_{j, l_j} \vert l_j \in L_j\} \in \{M_j \text{ に対する全てのベーシス（基底）たち }\})\)、ここで、\(L_j\)はあるアンカウンタブル（不可算）かもしれないインデックスセット（集合）
\(\implies\)
\(B := \cup_{j \in J} \{\times_{j' \in J} \delta_{j, j'} b_{j, l_j} \vert l_j \in L_j\} \in \{ \times_{j \in J} M_j \text{ に対する全てのベーシス（基底）たち }\}\)
//
2: 注
\(B\)は、\(\{(b_{1, l_1}, 0, ..., 0) \vert l_1 \in L_1\} \cup ... \cup \{(0, ..., 0, b_{n, l_n}) \vert l_n \in L_n\}\)のようなものである。
\(J\)はファイナイト（有限）である必要がある、なぜなら、そうでなかったら、\(B\)のある\(m \in \times_{j \in J} M_j\)はファイナイト（有限）リニアコンビネーション（線形結合）ではないことになる。
3: Proof
Whole Strategy: Step 1: see that \(B\) is linearly independent; Step 2: see that each \(m \in \times_{j \in J} M_j\) is a finite linear combination of \(B\); Step 3: conclude the proposition.
Step 1:
Let us see that \(B\) is linearly independent.
Let \(S \subseteq B\) be any finite subset.
\(S = \cup_{j \in J} \{\times_{j' \in J} \delta_{j, j'} b_{j, l^`_j} \vert l^`_j \in L^`_j\}\), where \(L^`_j \subseteq L_j\) is a finite subset possibly empty: when \(L^`_j\) is empty, \(\{\times_{j' \in J} \delta_{j, j'} b_{j, l^`_j} \vert l^`_j \in L^`_j\}\) is empty, which means that no element of \(M_j\) has not been chosen.
Let \(\sum_{j \in J, l^`_j \in L^`_j} r_{j, l^`_j} \times_{j' \in J} \delta_{j, j'} b_{j, l^`_j} = 0\).
Then, for each \(j'' \in J\), \((\sum_{j \in J, l^`_j \in L^`_j} r_{j, l^`_j} \times_{j' \in J} \delta_{j, j'} b_{j, l^`_j}) (j'') = 0\), but the left hand side is \(\sum_{j \in J, l^`_j \in L^`_j} r_{j, l^`_j} \delta_{j, j''} b_{j, l^`_j} = \sum_{l^`_{j''} \in L^`_{j''}} r_{{j''}, l^`_{j''}} b_{j'', l^`_{j''}}\), which implies that \(r_{{j''}, l^`_{j''}} = 0\) for each \(j'' \in J\) and each \(l^`_{j''} \in L^`_{j''}\), because \(B_{j''}\) is linearly independent.
That means that all the \(r_{j, l^`_j}\) s are \(0\).
So, \(B\) is linearly independent.
Step 2:
Let \(m \in \times_{j \in J} M_j\) be any.
For each \(j \in J\), \(m (j) = \sum_{l^`_j \in L^`_j} r_{j, l^`_j} b_{j, l^`_j}\), where \(L^`_j \subseteq L_j\) is a finite subset, because \(B_j\) is a basis for \(M_j\).
\(m = \sum_{j \in J, l^`_j \in L^`_j} r_{j, l^`_j} \times_{j' \in J} \delta_{j, j'} b_{j, l_j}\), because for each \(j'' \in J\), \((\sum_{j \in J, l^`_j \in L^`_j} r_{j, l^`_j} \times_{j' \in J} \delta_{j, j'} b_{j, l_j}) (j'') = \sum_{j \in J, l^`_j \in L^`_j} r_{j, l^`_j} \delta_{j, j''} b_{j, l_j} = \sum_{l^`_{j''} \in L^`_{j''}} r_{j'', l^`_{j''}} b_{j'', l_{j''}} = m (j'')\).
So, \(m\) is a finite linear combination of \(B\).
Step 3:
So, \(B\) is a basis for \(\times_{j \in J} M_j\).
