跳至內容

扭對稱群

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
群論


數學中,扭對稱群可以指涉兩類不同但關係密切的。在本條目中,我們分別稱之為Sp(2n,F)與Sp(n)。後者有時也被稱作緊緻扭對稱群以資區別。許多作者偏好不同的記法,通常是差個二的倍數。本條目採用的記法與矩陣的大小相稱。

Sp(2n, F)

域F上次數為2n的扭對稱群是由2n階扭對稱矩陣在矩陣乘法下構成的群,記為Sp(2n,F)。由於扭對稱矩陣之行列式恆等於一,此群是SL(2n,F)的子群。

抽象而言,扭對稱群可定義為F上一個2n維向量空間上保存一個非退化、斜對稱雙線性形的所有可逆線性變換。帶有這種雙線性形的向量空間稱為扭對稱向量空間。一個扭對稱向量空間V產生的扭對稱群記為Sp(V)。

當n=1,有Sp(2,F)=SL(2,F),當n>1時,Sp(2n,F)是SL(2n,F)的真子群。

通常將域F取為實數體、複數體或非阿基米德局部體,如p進數。此時扭對稱群Sp(2n,F)是維度等於的連通代數群單連通的,而基本群則同構於

的李代數可以刻劃為滿足下列條件的2n階方陣

其中表示轉置矩陣,而是下述反對稱矩陣

Sp(n)

緊扭對稱群 定義為 四元數)上保持標準埃爾米特形式

之可逆線性變換。換言之, 即四元數上的么正群。有時此群也被稱為超么正群。 即單位四元數構成之群,拓撲上同胚於三維球

並不同構於之前定義的 。下節將解釋其間的聯繫。

維之緊緻、連通、單連通李群,並滿足

李代數由滿足下述關係的 n 階四元數矩陣構成

其中 共軛轉置(在此取四元數之共軛運算)。李括積由矩陣之交換子給出。

緊扭對稱群 有時稱為酉扭對稱群,記為

扭對稱群之間的關係

以上定義之之李代數在複化後給出相同的單李代數。此李代數記作。此李代數也就是複李群之李代數,記作。它有兩個不同的實形式:

  1. 緊緻形式,即之李代數。
  2. 正規形式,即
扭對稱群之間的關係
  矩陣 李群 dim/R dim/C 緊緻 π1
Sp(2n, R) R n(2n + 1) Z
Sp(2n, C) C 2n(2n + 1) n(2n + 1) 1
Sp(n) H n(2n + 1) 1

參見