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取為實數域R、複數域C或非阿基米德局部域,如p進數域 。此時辛群Sp(2n,F)是維度等於 的連通代數群。 是單連通的,而 的基本群則同構於 。
辛群[數學名詞]的李代數可以刻劃為滿足下列條件的2n階方陣A:
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]其中 表示A的轉置矩陣,而 是下述反對稱矩陣
辛群[數學名詞]Sp(n)
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]緊辛群定義為(表四元數)上保持標準埃爾米特形式
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]之可逆線性變換。換言之,即四元數上的酉群。有時此群也被稱為超酉群。即單位四元數構成之群,拓撲上同胚於三維球。
辛群[數學名詞]
辛群[數學名詞]並不同構於之前定義的。下節將解釋其間的聯繫。
辛群[數學名詞]
辛群[數學名詞]是維之緊緻、連通、單連通實李群,並滿足
辛群[數學名詞]其李代數由滿足下述關係的n階四元數矩陣構成
辛群[數學名詞]
辛群[數學名詞]其中是A的共軛轉置(在此取四元數之共軛運算)。李括積由矩陣之交換子給出。
辛群[數學名詞]
辛群[數學名詞]緊辛群有時稱為酉辛群,記為。
相關聯繫
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]
辛群[數學名詞]以上定義之與之李代數在復化後給出相同的單李代數。此李代數記作。此李代數也就是復李群之李代數,記作。它有兩個不同的實形式:
辛群[數學名詞]
辛群[數學名詞]緊緻形式,即之李代數。
辛群[數學名詞]
辛群[數學名詞]正規形式,即。
| 矩陣 | 李群 | dim/R | dim/C | 緊緻 | π | |
| 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 |
![辛群[數學名詞] 辛群[數學名詞]](/img/2/ba8/nBnauM3XxUzM3UTOxIjNzETO1UTM1QDN5MjM5ADMwAjMwUzLyYzL3IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
