矩陣群

在數學中，一個矩陣群（matrix group）G 由某個域 K（通常為了方便是固定的）上可逆方塊矩陣組成，群運算分別為矩陣乘法與逆運算。更一般地，我們可考慮一個交換環 R 上 n × n 矩陣（矩陣的大小限制為有限，因任何群可表示為任何域上一個無限矩陣群）。線性群（linear group）是同構於一個域 K 上矩陣群的抽象群，換句話說，在 K 上有一個忠實有限維表示。

任何有限群是線性的，因為利用凱萊定理可以實現為置換矩陣。在無限群中，線性群組成有趣且易於處理的一類。非線性群的例子包括所有“足夠大”群；例如一個無限集合的無限對稱群。

基本介紹

• 中文名：矩陣群
• 外文名：matrix groups
• 組成：由某個域K上可逆方塊矩陣組成
• 群運算：分別為矩陣乘法與逆運算
• 套用學科：數學
• 相關術語：無限群

基本例子

在一個交換環R上n×n矩陣集合M_R(n,n) 在矩陣加法與乘法下自身是一個環。M_R(n,n) 的單位群稱為在環R上n×n矩陣的一般線性群，記作GL_n(R) 或GL(n,R)。所有矩陣群是某個一般線性群的子群。

典型群

某些特別有趣的矩陣群是所謂的典型群。當矩陣群的係數環是實數，這些群是典型李群。當底環是一個有限域，典型群是李型群。這些群在有限單群分類中起著重要的作用。

有限群

任何有限群同構於某個矩陣群。這類似於凱萊定理說每個有限群同構於某個置換群。因為同構性質是傳遞的，我們只需考慮怎樣從一個置換群構造一個矩陣群。

令G是在n點 (Ω = {1,2,…,n}) 上的置換群，設 {g₁,...,g_k} 是G的一個生成集合。複數上n×n矩陣的一般線性群GL_n(C) 自然作用在向量空間C上。設B={b₁,…,b_n} 是C的標準基。對每個g_i令M_i屬於GL_n(C) 是將每個b_j送到b_gi(j)的一個矩陣。這就是如果置換g_i將點j送到k則M_i將基向量b_j送到b_k。 令M是GL_n(C) 中由 {M₁,…,M_k} 生成的子群。G在 Ω 上的作用恰好與M在B上的作用相同。可以證明將每個g_i送到M_i的函式擴張成一個同構，這樣每個置換群同構於一個子群。

注意到域（上面用的是C）是無關的，因為M包含的元素矩陣分量只是 0 或 1。容易對任意域可做同樣的構造，因為元素 0 和 1 在每個域中。

舉一例，令G=S₃，3 個點的對稱群。設g₁= (1,2,3) 和g₂= (1,2)，則

注意到M₁b₁=b₂，M₁b₂=b₃以及M₁b₃=b₁。類似地，M₂b₁=b₂，M₂b₂=b₁以及M₂b₃=b₃。

表示論

線性變換與矩陣（一般地說）在數學中已被充分理解，在群的研究中被廣泛使用。特別是表示論研究從一個群到一個矩陣群的同態與特徵標理論研究從一個群到由一個表示的跡給出的一個域的同態。

例子

• 李群列表（en:table of Lie groups），有限單群列表（list of finite simple groups），以及單李群列表（list of simple Lie groups）中有許多例子。
  
• 參見傳遞有限群列表（list of transitive finite linear groups）