主題
Search

群表示


G 的表示是 G 在 向量空間 V 上的 群作用,透過 可逆線性對映。例如,二元群 Z_2={0,1} 有一個表示 phiphi(0)v=vphi(1)v=-v 給出。一個表示是 群同態 phi:G->GL(V)

大多數群有許多不同的表示,可能在不同的向量空間上。例如,對稱群 S_3={e,(12),(13),(23),(123),(132)}R 上有一個表示,由

 phi_1(sigma)v=sgn(sigma)v,
(1)

其中 sgn(sigma) 是 排列 sigma 的 符號。它在 R^3 上也有一個表示,由

 phi_2(sigma)(x_1,x_2,x_3)=(x_(sigma(1)),x_(sigma(2)),x_(sigma(3))).
(2)

一個表示為每個元素提供一個矩陣,因此 S_3 的另一個表示由矩陣給出

 [1 0; 0 1],[0 1; 1 0],[-1 0; -1 1],[1 -1; 0 -1],[-1 1; -1 0],[0 -1; 1 -1].
(3)

如果兩個表示是 相似的,則認為它們是等價的。例如,對上述矩陣執行 相似變換,透過

 [1 19; 0 1]
(4)

給出 S_3 的以下等價表示,

 [1 0; 0 1],[-19 -360; 1 19],[18 323; -1 -18],[1 37; 0 -1],[18 343; -1 -19],[-19 -343; 1 18].
(5)

G 的任何表示 V 可以 被 限制 為任何子群 H 的表示,在這種情況下,它被表示為 Res_H^G。更令人驚訝的是,在 H 上的任何表示 W 可以擴充套件為 G 的表示,在更大的 向量空間 V 上,稱為 誘導表示

表示在數學的許多分支中都有應用,除了在物理學和化學中的應用。理論的名稱取決於 群 G 和 向量空間 V。根據 G 是 有限群、無限 離散群 還是 李群,需要不同的方法。另一個重要的成分是 V 的標量域。向量空間 V 可以是無限維的,例如 希爾伯特空間。此外,特殊型別的表示可能需要保留向量空間結構。例如,酉表示 是一個 群同態 phi:G->U(V) 到 酉變換 群中,它保留了 V 上的 埃爾米特內積。

在有利的情況下,例如有限群,任意表示將分解為 不可約表示,即,V= direct sum V_i 其中 V_i 是不可約的。對於許多群,不可約表示已經被分類。


參見

, 不可約表示, 李代數表示, 乘法特徵標, 正交群表示, Peter-Weyl 定理, 主表示, 表示環, 表示張量積, 表示論, 舒爾引理, 半單李群, 酉表示, 向量空間 在 課堂中探索此主題

此條目由 Todd Rowland 貢獻

使用 探索

請引用為

Rowland, Todd. "群表示." 來自 Web 資源, 由 Eric W. Weisstein 建立。 https://mathworld.tw/GroupRepresentation.html

主題分類