モジュール（加群）で\(d\)-要素たちベーシス（基底）を持つものおよびモジュール（加群）のジェネラルリニア（線形）グループ（群）に対して、ジェネラルリニア（線形）グループ（群）からインバーティブル（可逆）\(d \times d\)リング（環）マトリックス（行列）たちのグループ（群）の上への、ベーシス（基底）に関するカノニカル（正典）'グループ（群）たち - ホモモーフィズム（準同形写像）たち'アイソモーフィズム（同形写像）があることの記述/証明
話題
About: モジュール（加群）
About: グループ（群）
この記事の目次
開始コンテキスト
- 読者は、モジュール（加群）のジェネラルリニア（線形）グループ（群）の定義を知っている。
- 読者は、モジュール（加群）のベーシス（基底）の定義を知っている。
- 読者は、%リング（環）名%マトリックス（行列）たちスペース（空間）の定義を知っている。
- 読者は、%カテゴリー名%アイソモーフィズム（同形写像）の定義を知っている。
- 読者は、任意の同一リング（環）上方の任意のモジュール（加群）で任意の\(d_1\)個要素たちベーシス（基底）を持つものから任意のモジュール（加群）で任意の\(d_2\)個要素たちベーシス（基底）を持つものの中への任意のマップ（写像）に対して、当該マップ（写像）はリニア（線形）である、もしも、当該マップ（写像）は当該\(d_2 \times d_1\)リング（環）マトリックス（行列）によって代表される場合、そしてその場合に限って、という命題を認めている。
- 読者は、任意のグループ（群）たち間の任意のマップ（写像）で任意の2要素たちのプロダクト（積）を当該要素たちのイメージ（像）たちのプロダクト（積）へマップするものはグループ（群） ホモモーフィズム（準同形写像）であるという命題を認めている。
- 読者は、任意のマップ（写像）はあるバイジェクション（全単射）である、もしも、それは、あるインバース（逆）を持つ場合、そして、その場合に限って、という命題を認めている。
- 読者は、任意のリング（環）に対して、当該リング（環）上方の任意のマトリックス（行列）たちのマルチプリケーション（乗法）たちはアソシアティブ（結合的）であるという命題を認めている。
- 読者は、任意のバイジェクティブ（全単射）グループ（群）ホモモーフィズム（準同形写像）は'グループ（群）たち - ホモモーフィズム（準同形写像）たち'アイソモーフィズム（同形写像）であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のモジュール（加群）で任意の\(d\)-要素たちベーシス（基底）を持つものおよび当該モジュール（加群）のジェネラルリニア（線形）グループ（群）に対して、当該ジェネラルリニア（線形）グループ（群）からインバーティブル（可逆）\(d \times d\)リング（環）マトリックス（行列）たちのグループ（群）の上への、当該ベーシス（基底）に関するカノニカル（正典）'グループ（群）たち - ホモモーフィズム（準同形写像）たち'アイソモーフィズム（同形写像）があるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(R\): \(\in \{\text{ 全てのリング（環）たち }\}\)
\(M\): \(\in \{\text{ 全ての } R \text{ モジュール（加群）たち }\}\)で、任意のベーシス（基底）\(B = \{b^1, ..., b^d\}\)を持つもの
\(GL (M)\): \(= M \text{ のジェネラルリニア（線形）グループ（群） }\)
\(M_d (R)\): \(= \text{ 全ての } d \times d R \text{ マトリックス（行列）たちのリング（環） }\)
\(M_d (R)^{\times}\): \(= \text{ 全てのインバーティブル（可逆） } d \times d R \text{ マトリックス（行列）たちのグループ（群） }\)
\(g\): \(: GL (M) \to M_d (R)^{\times}, f \mapsto A \text{ で、以下を満たすもの、つまり、 } f (b^j) = A^j_l b^l\)
//
ステートメント（言明）たち:
\(g \in \{\text{ 全ての'グループ（群）たち - ホモモーフィズム（準同形写像）たち'アイソモーフィズム（同形写像）たち }\}\)
//
2: Proof
Whole Strategy: Step 1: see that \(M_d (R)^{\times}\) is a group; Step 2: see that \(g\) is a group homomorphism; Step 3: see that \(g\) is a bijection; Step 4: conclude the proposition.
Step 1:
Let us see that \(M_d (R)^{\times}\) is a group with respect to matrix multiplication.
Note that each element of \(M_d (R)^{\times}\) has an inverse in \(M_d (R)\), by the definition of \(M_d (R)^{\times}\), but the inverse is not presupposed to be in \(M_d (R)^{\times}\).
Let \(A_1, A_2, A_3 \in M_d (R)^{\times}\) be any.
We will hereafter use the fact that multiplications in \(M_d (R)\) are associative, which is true, by the proposition that for any ring, the multiplications of any matrices over the ring are associative.
\(A_1 A_2 \in M_d (R)^{\times}\)?
\(A_1\) has an \({A_1}^{- 1} \in M_d (R)\) and \(A_2\) has an \({A_2}^{- 1} \in M_d (R)\), by the definition of \(M_d (R)^{\times}\).
\({A_2}^{- 1} {A_1}^{- 1} A_1 A_2 = {A_2}^{- 1} ({A_1}^{- 1} A_1) A_2 = {A_2}^{- 1} I A_2 = {A_2}^{- 1} A_2 = I\).
\(A_1 A_2 {A_2}^{- 1} {A_1}^{- 1} = A_1 (A_2 {A_2}^{- 1}) {A_1}^{- 1} = A_1 I {A_1}^{- 1} = A_1 {A_1}^{- 1} = I\).
So, \(A_1 A_2\) is invertible and \(A_1 A_2 \in M_d (R)^{\times}\).
\({A_1}^{- 1} \in M_d (R)^{\times}\), because \({A_1}^{- 1} A_1 = I\) and \(A_1 {A_1}^{- 1} = I\) means that \({A_1}^{- 1}\) is invertible.
1) \((A_1 \bullet A_2) \bullet A_3 = A_1 \bullet (A_2 \bullet A_3)\): by the proposition that for any ring, the multiplications of any matrices over the ring are associative.
2) \(i \in M_d (R)^{\times}\) (called 'identity element') such that \(i \bullet A_1 = A_1 \bullet i = A_1\): the identity matrix, \(I\), is in \(M_d (R)^{\times}\), because \(I^{- 1} = I\), because \(I I = I\), and is an identity element, because \((I A_1)^j_m = I^j_l {A_1}^l_m = \delta^j_l {A_1}^l_m = {A_1}^j_m\) and \((A_1 I)^j_m = {A_1}^j_l I^l_m = {A_1}^j_l \delta^l_m = {A_1}^j_m\): the proposition that for any ring, any multiple of 0 is 0
3) \({A_1}^{- 1} \in M_d (R)^{\times}\) (called 'inverse element of \(A_1\)') such that \(A_1^{-1} \bullet A_1 = A_1 \bullet {A_1}^{-1} = i\): the existence of \({A_1}^{- 1} \in M_d (R)\) is by the definition of \(M_d (R)^{\times}\) and \({A_1}^{- 1} \in M_d (R)^{\times}\) has been seen above.
So, \(M_d (R)^{\times}\) is a group.
Step 2:
1st, let us think of \(g': GL (M) \to M_d (R), f \mapsto A \text{ such that } f (b^j) = A^j_l b^l\), the codomain extension of \(g\).
\(g'\) is well-defined, as it is the one mentioned in the proposition that for any map from any module with any \(d_1\)-elements basis into any module with any \(d_2\)-elements basis over any same ring, the map is linear if and only if the map is represented by the \(d_1 \times d_2\) ring matrix.
Let \(f_1, f_2 \in GL (M)\) be any.
Let \(A_1 := g' (f_1)\), \(A_2 := g' (f_2)\), and \(A_{2 1} := g' (f_2 \circ f_1)\).
\(f_1 (b^j) = {A_1}^j_m b^m\), \(f_2 (b^m) = {A_2}^m_l b^l\), and \(f_2 \circ f_1 (b^j) = {A_{2 1}}^j_l b^l\).
\({A_{2 1}}^j_l b^l = f_2 \circ f_1 (b^j) = f_2 (f_1 (b^j)) = f_2 ({A_1}^j_m b^m) = {A_1}^j_m f_2 (b^m)\), because \(f_2\) is linear, \(= {A_1}^j_m {A_2}^m_l b^l\).
That implies that \({A_{2 1}}^j_l = {A_1}^j_m {A_2}^m_l = (A_2 A_1)^j_l\), so, \(A_{2 1} = A_2 A_1\).
So, \(g' (f_2 \circ f_1) = g' (f_2) g (f_1)\).
Note that this far, the bijective-nesses of \(f_1\) and \(f_2\) are not used, so even when the domain of \(g'\) is extended to the set of the module endomorphisms on \(M\), \(g' (f_2 \circ f_1) = g' (f_2) g (f_1)\) holds, which will be used later.
\({f_1}^{- 1} \circ {f_1} (b^j) = id_{M} (b^j) = b^j = I^j_l b^l\), so, \(g' ({f_1}^{- 1} \circ {f_1}) = I\), but \(g' ({f_1}^{- 1} \circ {f_1}) = g' ({f_1}^{- 1}) g' (f_1)\), so, \(g' ({f_1}^{- 1}) g' (f_1) = I\)..
\({f_1} \circ {f_1}^{- 1} (b^j) = id_{M} (b^j) = b^j = I^j_l b^l\), so, \(g' ({f_1} \circ {f_1}^{- 1}) = I\), but \(g' ({f_1} \circ {f_1}^{- 1}) = g' (f_1) g' ({f_1}^{- 1})\), so, \(g' (f_1) g' ({f_1}^{- 1}) = I\)..
So, \(g' (f_1)\) is invertible with the inverse, \(g' ({f_1}^{- 1})\).
So, \(g'\) is into \(M_d (R)^{\times}\).
So, \(g\) is valid.
\(g\) is a group homomorphism, by the proposition that any map between any groups that maps the product of any 2 elements to the product of the images of the elements is a group homomorphism.
Step 3:
\(g\) is an injection, because for each \(f_1, f_2 \in GL (M)\) such that \(f_1 \neq f_2\), \(g (f_1) \neq g (f_2)\), because if \(g (f_1) = g (f_2)\), \(f_1 = f_2\), because \(g (f_1)\) determines \(f_1\), by the proposition that for any map from any module with any \(d_1\)-elements basis into any module with any \(d_2\)-elements basis over any same ring, the map is linear if and only if the map is represented by the \(d_1 \times d_2\) ring matrix.
\(g\) is a surjection, because for each \(A \in M_d (R)^{\times}\), there is an \(A^{- 1} \in M_d (R)^{\times}\), and \(A\) and \(A^{- 1}\) determine the linear maps, \(f\) and \(f'\), by the proposition that for any map from any module with any \(d_1\)-elements basis into any module with any \(d_2\)-elements basis over any same ring, the map is linear if and only if the map is represented by the \(d_1 \times d_2\) ring matrix, and \(f' \circ f\) is represented by \(A^{- 1} A\) as before, \(= I\), so, \(f' \circ f = id_M\); \(f \circ f'\) is represented by \(A A^{- 1}\) as before, \(= I\), so, \(f \circ f' = id_M\), so, \(f\) has an inverse, \(f'\), so, \(f\) is a bijection, by the proposition that any map is a bijection if and only if it has an inverse, so, \(f \in GL (M)\), and \(g (f) = A\).
So, \(g\) is a bijection.
Step 4:
\(g\) is a 'groups - homomorphisms' isomorphism, by the proposition that any bijective group homomorphism is a 'groups - homomorphisms' isomorphism.
