Genelleştirilmiş simetrik grup - Generalized symmetric group

İçinde matematik, genelleştirilmiş simetrik grup ... çelenk ürünü ${ displaystyle S (m, n): = Z_ {m} wr S_ {n}}$ of döngüsel grup düzenin m ve simetrik grup düzenin n.

Örnekler

• İçin ${ displaystyle m = 1,}$ genelleştirilmiş simetrik grup tam olarak sıradan simetrik gruptur: ${ displaystyle S (1, n) = S_ {n}.}$
• İçin ${ displaystyle m = 2,}$ 2. derecenin döngüsel grubu pozitif ve negatif olarak kabul edilebilir (${ displaystyle Z_ {2} cong { pm 1 }}$) ve genelleştirilmiş simetrik grubu tanımlayın ${ displaystyle S (2, n)}$ ile imzalı simetrik grup.

Temsil teorisi

Öğelerinin doğal bir temsili var ${ displaystyle S (m, n)}$ gibi genelleştirilmiş permütasyon matrisleri sıfır olmayan girişlerin olduğu yer m-nci birliğin kökleri: ${ displaystyle Z_ {m} cong mu _ {m}.}$

Temsil teorisi, (Osima 1954 ); içindeki referanslara bakın (Can 1996 ). Simetrik grupta olduğu gibi, temsiller açısından inşa edilebilir. Specht modülleri; görmek (Can 1996 ).

Homoloji

İlk grup homolojisi grup (somut olarak, değişme ) dır-dir ${ displaystyle Z_ {m} times Z_ {2}}$ (için m garip bu izomorfik ${ displaystyle Z_ {2m}}$): ${ displaystyle Z_ {m}}$ faktörler (hepsi eşleniktir, dolayısıyla bir değişmeli grupta özdeş olarak eşlenmelidir, çünkü eşlenik bir değişmeli grupta önemsizdir) ${ displaystyle Z_ {m}}$ (somut olarak, tüm ürünlerin ürününü alarak ${ displaystyle Z_ {m}}$ değerleri), simetrik gruptaki işaret haritası ise ${ displaystyle Z_ {2}.}$ Bunlar bağımsızdır ve grubu oluşturur, dolayısıyla değişmeli.

İkinci homoloji grubu (klasik terimlerle, Schur çarpanı ) tarafından verilir (Davies ve Morris 1974 ):

${ displaystyle H_ {2} (S (2k + 1, n)) = { başla {vakalar} 1 & n <4 mathbf {Z} / 2 & n geq 4. end {vakalar}}}$

${ displaystyle H_ {2} (S (2k + 2, n)) = { başla {vakalar} 1 & n = 0,1 mathbf {Z} / 2 & n = 2 ( mathbf {Z} / 2 ) ^ {2} & n = 3 ( mathbf {Z} / 2) ^ {3} & n geq 4. end {vakalar}}}$

Bağlı olduğunu unutmayın n ve eşitliği m: ${ displaystyle H_ {2} (S (2k + 1, n)) yaklaşık H_ {2} (S (1, n))}$ ve ${ displaystyle H_ {2} (S (2k + 2, n)) yaklaşık H_ {2} (S (2, n)),}$ simetrik grup ve işaretli simetrik grubun Schur çarpanları olan.

Referanslar