n次元クォータニオン（4元数）ジェネラルリニア（線形）グループ（群）は、非ゼロデターミナント（行列式）対応する2n x 2nコンプレックス（複素数）マトリックス（行列）たちのセット（集合）へ'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）であり、後者によって代表することができることの記述/証明
話題
About: グループ（群）
この記事の目次
開始コンテキスト
- 読者は、クォータニオン（4元数）の定義を知っている。
- 読者は、ジェネラル（一般）リニア（線形）グループ（群）の定義を知っている。
- 読者は、全クォータニオン（4元数）たちのセット（集合）は対応する2 x 2コンプレックス（複素数）マトリックス（行列）たち全てのセット（集合）へ'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）であるという命題を認めている。
- 読者は、全n x nクォータニオン（4元数）マトリックス（行列）たちのセット（集合）は対応する2n x 2nコンプレックス（複素数）マトリックス（行列）たち全てのセット（集合）へ'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）である、全クォータニオン（4元数）マトリックス（行列）たちのセット（集合）と対応する2-x-2コンプレックス（複素数）マトリックス（行列）たち全てのセット（集合）の間の'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィズム（同形写像）を介して、という命題を認めている。
- 読者は、任意の同一サイズブロックたちから出来ている任意のマトリックス（行列）の任意のマルチプリカブル（積を取ることができる）（前者マトリックス（行列）のブロックたちと）同一サイズブロックたちから出来ている任意のマトリックス（行列）によるマルチプリケーション（積）はブロックたち毎であるという命題を認めている。
ターゲットコンテキスト
- 読者は、n次元クォータニオン（4元数）ジェネラルリニア（線形）グループ（群）は、非ゼロデターミナント（行列式）対応する2n x 2nコンプレックス（複素数）マトリックス（行列）たちのセット（集合）へ'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）であり、後者によって代表することができる、それが意味するのは、前者の各要素のマップ（写像）は後者の対応する要素のマップ（写像）で代表することができる、という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
第1に、いくつかのシンボルたちを定義しよう。\(\mathbb{H}\)は全クォータニオン（4元数）たちのセット（集合）である。\(GL (n, \mathbb{H})\)はn次元クォータニオン（4元数）ジェネラルリニア（線形）グループ（群）である。\(V\)は\(\mathbb{H}\)上のn次元ベクトルたちスペース（空間）でそれに\(GL (n, \mathbb{H})\)が作用するものである。\(M_n (\mathbb{H})\)は全n x nクォータニオン（4元数）マトリックス（行列）たちのセット（集合）である。\((M_n (\mathbb{H}))^x\)は全インバーティブル（可逆）n x nクォータニオン（4元数）マトリックス（行列）たちのセット（集合）である。\(f\)は'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィズム（同形写像）\(f: M_n (\mathbb{H}) \rightarrow f'' (M_n (\mathbb{H}))\)で、全n x nクォータニオン（4元数）マトリックス（行列）たちのセット（集合）は対応する2n x 2nコンプレックス（複素数）マトリックス（行列）たち全てのセット（集合）へ'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）である、全クォータニオン（4元数）マトリックス（行列）たちのセット（集合）と対応する2-x-2コンプレックス（複素数）マトリックス（行列）たち全てのセット（集合）の間の'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィズム（同形写像）を介して、という命題で定義されたもの、ここで、\(f''\)はそこで定義されている。\((f'' (M_n (\mathbb{H})))^{x}\)は\(f'' (M_n (\mathbb{H}))\)内の非ゼロデターミナント（行列式）マトリックス（行列）たちのセット（集合）である。\(h'\)は'ベクトルスペース（空間）たち - リニア（線形）モーフィズム（射）たち）'アイソモーフィズム（同形写像）\(h': V \rightarrow \mathbb{H}^n\)である、\(V\)に対してあるベーシス（基底）が選ばれたときの。\(h\)は'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィズム（同形写像）、\(GL (n, \mathbb{H}) \rightarrow (M_n (\mathbb{H}))^x\)、選ばれたベーシス（基底）に対応して。\(f'''\)は\(\mathbb{H}^n\)から\(f''' (\mathbb{H}^n) \subseteq \mathbb{C}^{2n x 2}\)へのマップ（写像）で各\(\mathbb{H}^n\)要素の各コンポーネントを\(f'\)によって置き換えるものである、ここで、\(f'\)は上記に言及された命題内で定義された全クォータニオン（4元数）マトリックス（行列）たちのセット（集合）と対応する2-x-2コンプレックス（複素数）マトリックス（行列）たち全てのセット（集合）の間の'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィズム（同形写像）である。
\((M_n (\mathbb{H}))^x\)は\((f'' (M_n (\mathbb{H})))^x\)へ'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）である、\(g' = f\vert_{(M_n (\mathbb{H}))^x}: (M_n (\mathbb{H}))^x \rightarrow (f'' (M_n (\mathbb{H})))^x\)によって。\(GL (n, \mathbb{H})\)は\((f'' (M_n (\mathbb{H})))^x\)へ'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）である、\(g = g' \circ h: GL (n, \mathbb{H}) \rightarrow (f'' (M_n (\mathbb{H})))^x\)によって。さらに、任意の\(G \in GL (n, \mathbb{H})\)および任意の\(v \in V\)に対して、\(f''' (h' (G v)) = g (G) f''' (h' (v))\)。
2: 証明
\(g' = f\vert_{(M_n (\mathbb{H}))^x}: (M_n (\mathbb{H}))^x \rightarrow (f'' (M_n (\mathbb{H})))^x\)は妥当な定義である、それが意味するのは、\(f\)は\((M_n (\mathbb{H}))^x\)を\((f'' (M_n (\mathbb{H})))^x\)の中へマップするということ、それが意味するのは、任意のインバーティブル（可逆）\(M \in (M_n (\mathbb{H}))^x\)に対して、\(f (M)\)のデターミナント（行列式）は非ゼロであること、ことを証明しよう。\(M^{-1} M = I\)。\(f (M^{-1} M) = f (M^{-1}) f (M) = f (I) = I\)、なぜなら、\(f\)はリング（環）たちホモモーフィック（準同形写像）である。\(det (f (M^{-1}) f (M)) = det (f (M^{-1})) det (f (M)) = det (I) = 1\)。したがって、\(det (f (M)) \neq 0\)。
\(g'\)はインジェクティブ（単射）である、なぜなら、\(f\)はインジェクティブ（単射）であるから。
\(g'\)がサージェクティブ（全射）であることを証明する前に、\(f''' (h' (G v)) = g (G) f''' (h' (v))\)であることを証明しよう、なぜなら、それがサージェクティブ（全射）性を証明するのに使われるから。それは、\(f''' (h (G) h' (v)) = g' (h (G)) f''' (h' (v))\)に等しい。\(f''' (h (G) h' (v))\)の中のi番目2 x 2コンプレックス（複素数）マトリックス（行列）は\(f' (\sum_j (h (G)_{i, j} h' (v)_{j})) = \sum_j (f' (h (G)_{i, j}) f' (h' (v)_{j})))\)である、なぜなら、\(f'\)はリング（環）たちホモモーフィック（準同形写像）である、それは\(g' (h (G)) f''' (h' (v))\)内のi番目2 x 2コンプレックス（複素数）マトリックス（行列）である、任意の同一サイズブロックたちから出来ている任意のマトリックス（行列）の任意のマルチプリカブル（積を取ることができる）（前者マトリックス（行列）のブロックたちと）同一サイズブロックたちから出来ている任意のマトリックス（行列）によるマルチプリケーション（積）はブロックたち毎であるという命題によって。したがって、\(f''' (h (G) h' (v)) = g' (h (G)) f''' (h' (v))\)。
加えて、任意の\(M \in M_n (\mathbb{H})\)および\(v \in \mathbb{H}^n\)に対して、\(f''' (M v) = f (M) f''' (v)\)、なぜなら、\(f''' (M v)\)のi番目2 x 2コンプレックス（複素数）マトリックス（行列）は\(f' (\sum_j M_{i, j} v_j) = \sum_j f' (M_{i, j}) f' (v_j)\)であり、\(f (M) f''' (v)\)のi番目の2 x 2コンプレックス（複素数）マトリックス（行列）は\(\sum_j f' (M_{i, j} f' (v_j)\)である、任意の同一サイズブロックたちから出来ている任意のマトリックス（行列）の任意のマルチプリカブル（積を取ることができる）（前者マトリックス（行列）のブロックたちと）同一サイズブロックたちから出来ている任意のマトリックス（行列）によるマルチプリケーション（積）はブロックたち毎であるという命題および\(f'\)は'リング（環）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィズム（同形写像）であるという事実によって。
\(g'\)はサージェクティブ（全射）であることを証明しよう。任意の\(f (M) \in (f'' (M_n (\mathbb{H})))^x\)に対して、デターミナント（行列式）は非ゼロであるから、インバース（逆）\((f (M))^{-1}\)があり、\(f (M)\)は\(\mathbb{C}^{2n}\)から\(\mathbb{C}^{2n}\)へバイジェクティブ（全単射）である。問題は、\(M\)は\(\mathbb{H}^n\)から\(\mathbb{H}^n\)へバイジェクティブ（全単射）であるか否かである。インジェクティブ（単射）性については、以下を満たす任意の\(v_1, v_2 \in \mathbb{H}^n\)、つまり、\(v_1 \neq v_2\)、に対して、\(M v_1 \neq M v_2\)？\(f''' (v_1) \neq f''' (v_2)\)。\(f''' (M v_1) = f (M) f''' (v_1) \neq f (M) f''' (v_2) = f''' (M v_2)\)。したがって、\(M v_1 \neq M v_2\)。サージェクティブ（全射性）については、任意の\(v' \in \mathbb{H}^n\)に対して、以下を満たす\(v \in \mathbb{H}^n\)、つまり、\(v' = M v\)、があるか？以下を満たすベクトル\(c \in \mathbb{C}^{2n}\)、つまり、\(\pi \circ f''' (v') = f (M) c\)、ここで、\(\pi\)は第1列へのプロジェクション（射影）、がある。以下を満たすベクトル\(v \in \mathbb{H}^n\)、つまり、\(c = \pi \circ f''' (v)\)、がある。すると、\(f''' (v') = f (M) f''' (v)\)、なぜなら、\(f (M)\)は\(f''' (\mathbb{H}^n)\)を\(f''' (\mathbb{H}^n)\)の中へマップするように保証されているので、\(f (M) f''' (v)\)は\(f''' (v')\)以外の何物でもあり得ない、なぜなら、\(f''' (v')\)の第1列は\(c\)から決定され、第2列は第1列から決定される。すると、\(v' = M v\)、なぜなら、もしも、\(v' \neq M v\)である場合、\(f''' (v') \neq f''' (M v) = f (M) f''' (v)\)、矛盾。
したがって、\(g'\)はバイジェクション（全単射）である、そして、インバース（逆）\(g'^{-1}\)がある。
\(g'\)はマルチプリケーション（乗法）に関してホモモーフィック（準同形写像）である、なぜなら、\(f\)がそうである。
\(g'\)はインバース（逆）に関してホモモーフィック（準同形写像）であるか？\(g' (M^{-1} M) = g' (M^{-1}) g' (M) = g' (I) = f (I) = I\)。したがって、\(g' (M^{-1}) = (g' (M))^{-1}\)、したがって、はい。
したがって、\(g'\)はグループ（群）たちホモモーフィズム（準同形写像）である。
\(g'^{-1}\)はグループ（群）たちホモモーフィズム（準同形写像）であるか？
\(g'^{-1}\)はマルチプリケーション（乗法）に関してホモモーフィック（準同形写像）である、なぜなら、\(f^{-1}\)がそうであり、\(g'^{-1}\)は\(f^{-1}\)のリストリクション（限定）であるから。
\(g'^{-1}\)はインバース（逆）に関してホモモーフィック（準同形写像）であるか？\(g'^{-1} ((g' (M))^{-1}) g'^{-1} (g' (M)) = g'^{-1} ((g' (M))^{-1} g' (M)) = g'^{-1} (I) = I\)。したがって、\(g'^{-1} ((g' (M))^{-1}) = (g'^{-1} (g' (M)))^{-1}\)、したがって、はい。
したがって、\(g'\)は'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）である。
\(h\)および\(g'\)が'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）たちであるから、\(g = g' \circ h\)は'グループ（群）たち - ホモモーフィズム（準同形写像）モーフィズム（射）たち'アイソモーフィック（同形写像）である。
