行列群

提供: miniwiki
移動先:案内検索

数学において、行列群 (matrix group) はある K、通常は前もって固定される、上の可逆行列からなる G で、行列の積と逆の演算をもつ。より一般に、可換 R 上の n × n 行列を考えることができる。(行列のサイズは有限に制限される、なぜならば任意の群は任意の体上の無限行列の群として表現することができるからだ。)線型群 (linear group) は体 K 上の行列群に同型な抽象群である、言い換えれば、K 上の忠実な有限次元表現をadmitする。

任意の有限群は線型である、なぜならばそれはケイリーの定理English版を使って置換行列によって実現できるからだ。無限群English版の中で、線型群は面白く扱いやすいクラスをなす。線型でない群の例はすべての「十分大きい」群を含む。例えば、無限集合の置換からなる無限対称群。

基本的な例

可換環 R 上の n × n 行列全体の集合 MR(n,n) はそれ自身行列の加法と乗法の下で環である。MR(n,n) の単元群は環 R 上の n × n 行列の一般線型群と呼ばれ、GLn(R) あるいは GL(n,R) と表記される。すべての行列群は一般線型群の部分群である。

古典群

とりわけ面白い行列群はいわゆる古典群English版である。行列群の係数の環が実数のとき、これらの群は古典リー群English版である。基礎環が有限体であるとき古典群はリー型の群English版である。これらの群は有限単純群の分類において重要な役割を果たす。

行列群としての有限群

すべての有限群はある行列群と同型である。これはすべての有限群はある置換群と同型であると述べるケイリーの定理English版と似ている。同型の性質は推移的であるので、置換群から行列群をどのように構成するかを考えるだけでよい。

Gn 点 (Ω = {1,2,…,n}) 上の置換群とし {g1,...,gk} を G の生成集合とする。複素数体上の n×n 行列の一般線型群 GLn(C) は自然にベクトル空間 Cn に作用する。B={b1,…,bn} を Cn の標準基底とする。各 gi に対して MiGLn(C) を各 bjbgi(j) に送る行列とする。つまり、置換 gi が点 jk に送るならば、Mi は基底ベクトル bjbk に送る。M を {M1,…,Mk} で生成される GLn(C) の部分群とする。すると G の Ω 上の作用はちょうど MB 上の作用と同じである。各 giMi に送る関数は同型に拡張ししたがってすべての群は行列群に同型であることが証明できる。

M は成分が 0 か 1 の元しかふくまないので体(上の場合 C)は無関係であることに注意しよう。0 と 1 はすべての体に存在するので任意の体に対して構成を同じく容易に実行することができる。

例として、G = S3、3点上の対称群とする。g1 = (1,2,3) と g2 = (1,2) とする。このとき

[math] M_1 = \begin{bmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix} [/math]
[math] M_2 = \begin{bmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{bmatrix} [/math]

M1b1 = b2, M1b2 = b3 そして M1b3 = b1. 同様に、M2b1 = b2, M2b2 = b1 そして M2b3 = b3.

表現論と指標理論

線型変換と行列は(一般的に言って)数学においてよく理解されている対象であり、群の研究において広範囲に渡って使われてきた。とくに表現論は群から行列群への写像を研究し、指標理論は表現のトレースによって与えられる群から体への準同型を研究する。

参考文献

  • Brian C. Hall Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, 1st edition, Springer, 2006. ISBN 0-387-40122-9
  • Wulf Rossmann, Lie Groups: An Introduction Through Linear Groups (Oxford Graduate Texts in Mathematics), Oxford University Press ISBN 0-19-859683-9.
  • La géométrie des groupes classiques, J. Dieudonné. Springer, 1955. ISBN 1-114-75188-X
  • The classical groups, H. Weyl, ISBN 0-691-05756-7
  1. Stephen J. Bigelow (December 13, 2000), “Braid groups are linear”, Journal of the American Mathematical Society 14 (2): 471–486, http://www.ams.org/jams/2001-14-02/S0894-0347-00-00361-1/S0894-0347-00-00361-1.pdf 

Further reading

外部リンク