行列群としての有限群とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 行列群としての有限群の意味・解説 

行列群としての有限群

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/08 07:06 UTC 版)

行列群」の記事における「行列群としての有限群」の解説

すべての有限群はある行列群同型である。これはすべての有限群はある置換群同型であると述べケイリーの定理英語版)と似ている同型性質推移的であるので、置換群ら行列群をどのように構成するかを考えるだけでよい。 G を n 点 (Ω = {1, 2, …, n}) 上の置換群とし {g1, …, gk} を G の生成集合とする。複素数上の一般線型群 GLn(C)自然にベクトル空間 Cn作用する。B = {b1, …, bn} を Cn標準基底とする。各 gi に対して MiGLn(C) を各 bjbgi(j) に送る行列とする。つまり、置換 gi が点 j を k に送るならば、Mi基底ベクトル bjbk に送る。M を {M1, …, Mk} で生成される GLn(C)部分群とする。すると G の Ω 上の作用はちょうど M の B 上の作用と同じである。各 giMi に送る対応は同型拡張され、したがってすべての群は行列群同型であることが証明できる。 M は成分が 0 か 1 の行列し含まないので体(上の場合 C)は無関係であることに注意しよう。0 と 1 はすべての体に存在するので任意のに対して同じ構成をができる。 例として、G = S33点上の対称群とする。g1 = (1, 2, 3) と g2 = (1, 2) とする。このとき M 1 = [ 0 0 1 1 0 0 0 1 0 ] {\displaystyle M_{1}={\begin{bmatrix}0&0&1\\1&0&0\\0&1&0\end{bmatrix}}} M 2 = [ 0 1 0 1 0 0 0 0 1 ] {\displaystyle M_{2}={\begin{bmatrix}0&1&0\\1&0&0\\0&0&1\end{bmatrix}}} M1b1 = b2, M1b2 = b3 そして M1b3 = b1. 同様に、M2b1 = b2, M2b2 = b1 そして M2b3 = b3.

※この「行列群としての有限群」の解説は、「行列群」の解説の一部です。
「行列群としての有限群」を含む「行列群」の記事については、「行列群」の概要を参照ください。

ウィキペディア小見出し辞書の「行列群としての有限群」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「行列群としての有限群」の関連用語

1
16% |||||

行列群としての有限群のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



行列群としての有限群のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの行列群 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS