行列群

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

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

基本的な例[編集]

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

古典群[編集]

詳細は「古典群（英語版）」を参照

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

行列群としての有限群[編集]

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

G を n 点 (Ω = {1, 2, …, n}) 上の置換群とし {g₁, …, g_k} を G の生成集合とする。複素数体上の一般線型群 GL_n(C) は自然にベクトル空間 Cⁿ に作用する。B = {b₁, …, b_n} を Cⁿ の標準基底とする。各 g_i に対して M_i ∈ GL_n(C) を各 b_j を b_{g_i(j)} に送る行列とする。つまり、置換 g_i が点 j を k に送るならば、M_i は基底ベクトル b_j を b_k に送る。M を {M₁, …, M_k} で生成される GL_n(C) の部分群とする。すると G の Ω 上の作用はちょうど M の B 上の作用と同じである。各 g_i を M_i に送る対応は同型に拡張され、したがってすべての群は行列群に同型であることが証明できる。

M は成分が 0 か 1 の行列しか含まないので体（上の場合 C）は無関係であることに注意しよう。0 と 1 はすべての体に存在するので任意の体に対して同じ構成をができる。

例として、G = S₃、3点上の対称群とする。g₁ = (1, 2, 3) と g₂ = (1, 2) とする。このとき

M_{1}={\begin{bmatrix}0&0&1\\1&0&0\\0&1&0\end{bmatrix}}

M_{2}={\begin{bmatrix}0&1&0\\1&0&0\\0&0&1\end{bmatrix}}

M₁b₁ = b₂, M₁b₂ = b₃ そして M₁b₃ = b₁. 同様に、M₂b₁ = b₂, M₂b₂ = b₁ そして M₂b₃ = b₃.

表現論と指標理論[編集]

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

例[編集]

リー群一覧（英語版）、有限単純群一覧（英語版）、単純リー群一覧（英語版）、推移的有限線型群一覧（英語版）を参照

任意の $n$ について、ブレイド群 B_n は線型である。これは2000年に証明されるまで60年以上にわたって未解決であった^[1]。

参考文献[編集]

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

^ Stephen J. Bigelow (December 13, 2000), “Braid groups are linear”, Journal of the American Mathematical Society 14 (2): 471–486

外部リンク[編集]

Hazewinkel, Michiel, ed. (2001), “Linear group”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[1] Stephen J. Bigelow (December 13, 2000), “Braid groups are linear”, Journal of the American Mathematical Society 14 (2): 471–486

[1]