行列群

数学において、行列群 (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"1, …, "g""k"} を "G" の生成集合とする。複素数体上の一般線型群 "GL""n"(C) は自然にベクトル空間 C"n" に作用する。"B" = {"b"1, …, "b""n"} を C"n" の標準基底とする。各 "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"1, …, "M""k"} で生成される "GL""n"(C) の部分群とする。すると "G" の Ω 上の作用はちょうど "M" の "B" 上の作用と同じである。各 "g""i" を "M""i" に送る対応は同型に拡張され、したがってすべての群は行列群に同型であることが証明できる。
"M" は成分が 0 か 1 の行列しか含まないので体（上の場合 C）は無関係であることに注意しよう。0 と 1 はすべての体に存在するので任意の体に対して同じ構成をができる。
例として、"G" = "S"3、3点上の対称群とする。"g"1 = (1, 2, 3) と "g"2 = (1, 2) とする。このとき
"M"1"b"1 = "b"2, "M"1"b"2 = "b"3 そして "M"1"b"3 = "b"1. 同様に、"M"2"b"1 = "b"2, "M"2"b"2 = "b"1 そして "M"2"b"3 = "b"3.
表現論と指標理論.
線型変換と行列は（一般的に言って）数学においてよく理解されている対象であり、群の研究において広く使われてきた。とくに表現論は群から行列群への準同型を研究し、指標理論は表現のトレースによって与えられる群から体への写像を研究する。
例.
"、、、を参照"