Sonlu boyutlu Nichols cebirlerinin listesi - List of finite-dimensional Nichols algebras - Wikipedia

Matematikte bir Nichols cebiri bir Hopf cebiri içinde örgülü kategori bir nesneye atanmış V bu kategoride (örneğin bir örgülü vektör uzayı ). Nichols cebiri, tensör cebiri nın-nin V belli bir zevk evrensel mülkiyet ve tipik olarak sonsuz boyutludur. Nichols cebirleri herhangi bir sivri uçlu Hopf cebirinde doğal olarak görünür ve önemli durumlarda sınıflandırmalarını sağlar.^[1] Nichols cebirlerinin en iyi bilinen örnekleri, Borel parçaları ${ displaystyle U_ {q} ({ mathfrak {g}}) ^ {+}}$ sonsuz boyutlu kuantum grupları ne zaman q birliğin kökü değildir ve sonlu boyutlu Nichols cebirlerinin ilk örnekleri, Borel parçaları ${ displaystyle u_ {q} ({ mathfrak {g}}) ^ {+}}$ Frobenius – Lusztig çekirdeğinin (küçük kuantum grubu) ne zaman q birliğin köküdür.

Aşağıdaki makale bilinen tüm sonlu boyutlu Nichols cebirlerini listeler ${ displaystyle { mathfrak {B}} (V)}$ nerede ${ displaystyle V}$ bir Yetter-Drinfel'd modülü sonlu bir grup üzerinden ${ displaystyle G}$, grubun desteğiyle oluşturulduğu ${ displaystyle V}$. Nichols cebirleri hakkında daha fazla ayrıntı için bkz. Nichols cebiri.

• İki ana durum var:
  • ${ displaystyle G}$ değişmeli, Hangi ima ${ displaystyle V}$ çapraz örgülü ${ displaystyle x_ {i} otimes x_ {j} mapsto q_ {ij} x_ {j} otimes x_ {i}}$.
  • ${ displaystyle G}$ abeliyen olmayan.
• sıra indirgenemez zirvelerin sayısıdır ${ displaystyle V = bigoplus _ {i içinde I} V_ {i}}$ yarı basit Yetter – Drinfel'd modülünde ${ displaystyle V}$.
• indirgenemez zirveler ${ displaystyle V_ {i} = { mathcal {O}} _ {[g]} ^ { chi}}$ her biri bir eşlenik sınıfı ${ displaystyle [g] alt küme G}$ ve indirgenemez bir temsil ${ displaystyle chi}$ merkezleyicinin ${ displaystyle operatorname {Cent} (g)}$.
• Herhangi bir Nichols cebirine göre ^[2] ekli
  • genelleştirilmiş kök sistem ve bir Weyl groupoid. Bunlar olarak sınıflandırılır.^[3]
  • Özellikle birkaç Dynkin diyagramı (eşitsiz Weyl odaları türleri için). Her Dynkin diyagramı, indirgenemez başına bir tepe noktasına sahiptir ${ displaystyle V_ {i}}$ ve Nichols cebirindeki örgülü komütatörlerine bağlı olarak kenarlar.
• Hilbert serisi dereceli cebir ${ displaystyle { mathfrak {B}} (V)}$ verilmiş. Bir gözlem, her durumda polinomları çarpanlara ayırmasıdır. ${ displaystyle (n) _ {t}: = 1 + t + t ^ {2} + cdots + t ^ {n-1}}$. Biz sadece Hilbert serisini ve Nichols cebirinin boyutunu karakteristik olarak veriyoruz ${ displaystyle 0}$.

Bir Nichols cebirinin yalnızca örgülü vektör uzayına bağlı olduğuna dikkat edin ${ displaystyle V}$ ve bu nedenle birçok farklı grup üzerinde gerçekleştirilebilir. Bazen iki veya üç Nichols cebiri vardır. ${ displaystyle V}$ ve yakından ilişkili olan izomorfik olmayan Nichols cebiri (örneğin, birbirlerinin ortak döngü bükümü). Bunlar aynı sütunda farklı eşlenik sınıfları tarafından verilmektedir.

Sınıflandırma durumu

(2015 itibariyle)

Yerleşik sınıflandırma sonuçları

• Karmaşık sayılar üzerinden sonlu boyutlu köşegen Nichols cebirleri, Heckenberger tarafından.^[4] Keyfi karakteristik durumu, Heckenberger, Wang'ın devam eden çalışmasıdır.^[5]
• Yarı-basit Yetter-Drinfel'd modülleri, sonlu etiket olmayan gruplara göre (destek tarafından oluşturulan) sonlu boyutlu Nichols cebirleri Heckenberger ve Vendramin tarafından.^[6]

Negatif kriterler

Etiket olmayan bir gruba göre 1. sıra (indirgenemez Yetter-Drinfel'd modülü) durumu, bilinen birkaç örnekle hala büyük ölçüde açıktır.

Andruskiewitsch ve diğerleri tarafından sonsuz boyutlu Nichols cebirlerine yol açacak alt kanallar (örneğin köşegen olanlar) bularak çok ilerleme sağlanmıştır. 2015 itibariyle bilinen gruplar değil sonlu boyutlu Nichols cebirlerinin kabul edilmesi ^[7][8]

• için alternatif gruplar ${ displaystyle mathbb {A} _ {n geq 5}}$ ^[9]
• için simetrik gruplar ${ displaystyle mathbb {S} _ {n geq 6}}$ kısa bir örnek listesi dışında^[9]
• biraz Lie tipi grubu çoğu gibi ${ displaystyle PSL_ {n} ( mathbb {F} _ {q})}$^[10] ve en unipotent sınıflar ${ displaystyle Sp_ {2n} ( mathbb {F} _ {q})}$^[11]
• herşey sporadik gruplar tümü gerçek olan olasılıkların kısa bir listesi (sırasıyla ATLAS gösterimindeki eşlenik sınıfları) veya j = 3-dörtlü:
  • ...için Fisher grubu ${ displaystyle Fi_ {22} ;}$ sınıflar ${ displaystyle 22A, 22B ;}$
  • ...için bebek canavar grubu B sınıflar ${ displaystyle 16C, ; 16D, ; 32A, ; 32B, ; 32C, ; 32D, ; 34A, ; 46A, ; 46B ;}$
  • ...için canavar grubu M sınıflar ${ displaystyle 32A, ; 32B, ; 46A, ; 46B, ; 92A, ; 92B, ; 94A, ; 94B ;}$

Genellikle büyük miktarda eşlenik sınıfları D tipi ("yeterince değişmez"), diğerleri ise yeterli değişmeli alt kanallara sahip olma eğilimindeyken ve dikkate alınarak hariç tutulabilir. Birkaç vakanın elle yapılması gerekir. Açık vakaların çok küçük merkezileştiricilere (genellikle döngüsel) ve temsillere usually (genellikle 1 boyutlu işaret gösterimi) sahip olma eğiliminde olduğuna dikkat edin. Önemli istisnalar, merkezileştirici olarak 16, 32. sıra eşlenik sınıflarıdır. p grupları sipariş 2048 resp. 128 ve şu anda χ ile ilgili kısıtlama yok.

Değişmeli gruplar üzerinden

Karmaşık sayılar üzerinden sonlu boyutlu köşegen Nichols cebirleri, Heckenberger tarafından ^[4] örgü matrisi açısından ${ displaystyle q_ {ij}}$, daha doğrusu veriler ${ displaystyle q_ {ii}, q_ {ij} q_ {ji}}$. Küçük kuantum grupları ${ displaystyle u_ {q} ({ mathfrak {g}}) ^ {+}}$ özel bir durum ${ displaystyle q_ {ij} = q ^ {( alpha _ {i}, alpha _ {j})}}$, ancak 2,3,4,5,7 asal sayıları içeren birkaç istisnai örnek vardır.

Son zamanlarda, diğer örnekleri istisnai Lie cebirleri ve sonlu karakteristikte süper Lie cebirleri olarak anlamakta ilerleme kaydedilmiştir.

Etik olmayan gruba göre sıra> 1

Coxeter gruplarından Nichols cebirleri

Her sonlu coxeter sistemi için ${ displaystyle (W, S)}$ Nichols cebiri, yansımaların eşlenik sınıf (lar) ı üzerinde çalışılmıştır. ^[12] (farklı uzunluktaki kökler üzerindeki düşünceler eşlenik değildir, bkz. dördüncü örnek). Bu şekilde, etiketçi olmayan gruplara göre aşağıdaki ilk Nichols cebirlerini keşfettiler:

Sıralaması, Kök sisteminin türü ${ displaystyle { mathfrak {B}} (V)}$ [2]	${ displaystyle A_ {1}}$	${ displaystyle A_ {1}}$	${ displaystyle A_ {1}}$	${ displaystyle A_ {2}}$
Boyutu ${ displaystyle V}$	${ displaystyle 3}$	${ displaystyle 6}$	${ displaystyle 10}$	${ displaystyle 2 + 2}$
Nichols cebir (ler) inin boyutu	${ displaystyle 12}$	${ displaystyle 576 ; = 24 ^ {2}}$	${ displaystyle 8294400}$	${ displaystyle 64}$
Hilbert serisi	${ displaystyle (2) _ {t} ^ {2} (3) _ {t}}$	${ displaystyle (2) _ {t} ^ {2} (3) _ {t} ^ {2} (4) _ {t} ^ {2}}$	${ displaystyle (4) _ {t} ^ {4} (5) _ {t} ^ {2} (6) _ {t} ^ {4}}$	${ displaystyle (2) _ {t} ^ {4} (2) _ {t ^ {2}} ^ {2}}$
En küçük gerçekleştiren grup	Simetrik grup ${ displaystyle ; mathbb {S} _ {3}}$	Simetrik grup ${ displaystyle ; mathbb {S} _ {4}}$	Simetrik grup ${ displaystyle ; mathbb {S} _ {5}}$	Dihedral grubu ${ displaystyle ; mathbb {D} _ {4}}$
... ve eşlilik sınıfları	${ displaystyle { mathcal {O}} _ {(12)} ^ {- 1}}$	${ displaystyle { mathcal {O}} _ {(1234)} ^ {- 1}, quad { mathcal {O}} _ {(12)} ^ {- 1}, quad { mathcal {O }} _ {(12)} ^ {- 1 otimes operatöradı {sgn}}}$	${ displaystyle { mathcal {O}} _ {(12)} ^ {- 1}, quad { mathcal {O}} _ {(12)} ^ {- 1 otimes operatöradı {sgn}}}$	${ displaystyle { mathcal {O}} _ {b} ^ { epsilon} oplus { mathcal {O}} _ {a ^ {2} b} ^ { epsilon}, quad { mathcal {O }} _ {b} ^ {sgn} oplus { mathcal {O}} _ {a ^ {2} b} ^ {sgn}}$
Kaynak	[12]	[12][13]	[12][14]	[12]
Yorumlar	Kirilov-Fomin cebirleri			Seviye 2'nin bu en küçük nonabelian Nichols cebiri durumdur ${ displaystyle Gama _ {2}}$ sınıflandırmada.[6][15] Sonsuz bir serinin en küçük örneği olarak inşa edilebilir ${ displaystyle A_ {n}}$ itibaren ${ displaystyle A_ {n} cup A_ {n}}$, görmek.[16]

Dava ${ displaystyle mathbb {S} _ {2} cong mathbb {Z} _ {2}}$ 1. derece çapraz Nichols cebiridir ${ displaystyle u_ {i} (A_ {1}) ^ {+}}$ boyut 2.

Rank 1'in diğer Nichols cebirleri

Sıralaması, Kök sisteminin türü ${ displaystyle { mathfrak {B}} (V)}$ [2]	${ displaystyle A_ {1}}$	${ displaystyle A_ {1}}$	${ displaystyle A_ {1}}$	${ displaystyle A_ {1}}$
Boyutu ${ displaystyle V}$	${ displaystyle 4}$	${ displaystyle 4}$	${ displaystyle 5}$	${ displaystyle 7}$
Nichols cebir (ler) inin boyutu	${ displaystyle 72}$	${ displaystyle 5.184}$	${ displaystyle 1,280}$	${ displaystyle 326.592}$
Hilbert serisi	${ displaystyle (2) _ {t} ^ {2} (3) _ {t} (6) _ {t}}$	${ displaystyle (6) _ {t} ^ {4} (2) _ {t ^ {2}} ^ {2}}$	${ displaystyle (4) _ {t} ^ {4} (5) _ {t}}$	${ displaystyle (6) _ {t} ^ {6} (7) _ {t}}$
En küçük gerçekleştiren grup	Özel doğrusal grup ${ displaystyle SL_ {2} (3)}$ alternatif grubu genişletmek ${ displaystyle mathbb {A} _ {4}}$		Afin doğrusal grup ${ displaystyle mathbb {Z} _ {5} rtimes mathbb {Z} _ {5} ^ { times}}$	Afin doğrusal grup ${ displaystyle mathbb {Z} _ {7} rtimes mathbb {Z} _ {7} ^ { times}}$
... ve eşlilik sınıfları	${ displaystyle { mathcal {O}} _ { begin {pmatrix} -1 & 1 0 & -1 end {pmatrix}} ^ {- 1}}$	${ displaystyle { mathcal {O}} _ { begin {pmatrix} 1 & 1 0 & 1 end {pmatrix}} ^ { zeta _ {6}}}$	${ displaystyle { mathcal {O}} _ {i rtimes 2} ^ {- 1}, quad { mathcal {O}} _ {i rtimes 3} ^ {- 1}}$	${ displaystyle { mathcal {O}} _ {i rtimes 3} ^ {- 1}, quad { mathcal {O}} _ {i rtimes 5} ^ {- 1}}$
Kaynak	[17]	[18]	[13]
Yorumlar	Bu Nichols cebirini içeren rank 2'nin bir Nichols cebiri var	Yalnızca birçok kübik (ancak çok fazla ikinci dereceden değil) ilişkilere sahip bir örnek.	Afin raflar

Seviye 2, Gama-3 tipi Nichols cebirleri

Bu Nichols cebirleri, Heckenberger ve Vendramin'in sınıflandırması sırasında keşfedildi.^[19]

			sadece karakteristik 2'de
Sıralaması, Kök sisteminin türü ${ displaystyle { mathfrak {B}} (V)}$ [2]	${ displaystyle B_ {2}, B_ {2}}$	${ displaystyle B_ {2}, B_ {2}}$	${ displaystyle { begin {pmatrix} 2 ve -2 - 2 ve 2 end {pmatrix}}}$${ displaystyle { begin {pmatrix} 2 ve -2 - 1 ve 2 end {pmatrix}}}$${ displaystyle { begin {pmatrix} 2 ve -4 - 1 ve 2 end {pmatrix}}}$
Boyutu ${ displaystyle V}$	${ displaystyle 3 + 2}$	${ displaystyle 3 + 1}$ resp. ${ displaystyle 3 + 2}$	${ displaystyle 3 + 1}$ resp. ${ displaystyle 3 + 2}$
Nichols cebir (ler) inin boyutu	${ displaystyle 2.304}$	${ displaystyle 10.368}$	${ displaystyle 2.239.488}$
Hilbert serisi	${ displaystyle (2) _ {t} ^ {2} (3) _ {t} cdot (2) _ {t} ^ {2}}$	${ displaystyle (2) _ {t} ^ {2} (3) _ {t} cdot (6) _ {t}}$${ displaystyle cdot (2) _ {t ^ {2}} ^ {2} (3) _ {t ^ {2}} cdot (2) _ {t ^ {3}} (6) _ {t ^ {3}}}$
En küçük gerçekleştiren grup ve eşlenik sınıfı	${ displaystyle mathbb {S} _ {3} times mathbb {Z} _ {2}}$	${ displaystyle mathbb {S} _ {3} times mathbb {Z} _ {6}}$
... ve eşlilik sınıfları	${ displaystyle { mathcal {O}} _ {(12)} ^ {- 1,1} oplus { mathcal {O}} _ { {z }} ^ {1, sigma _ {2} }}$	${ displaystyle { mathcal {O}} _ {(12)} ^ {- 1, zeta _ {6}} oplus { mathcal {O}} _ { {z }} ^ {1, zeta _ {6} ^ {- 1}}}$
Kaynak	[19]	[19]	[19]
Yorumlar	2 boyutlu indirgenemez gösterime sahip tek örnek ${ displaystyle sigma}$	Bu Nichols cebirini genişleten 3. seviye bir Nichols cebiri vardır.	Sadece karakteristik olarak 2. Lie tipi olmayan 6 köklü bir kök sistemine sahiptir.

Seviye 2 Gama-4 tipi Nichols cebiri

Bu Nichols cebiri, Heckenberger ve Vendramin'in sınıflandırılması sırasında keşfedildi.^[19]

Kök sistem	${ displaystyle B_ {2}}$
Boyutu ${ displaystyle V}$	${ displaystyle 2 + 4}$
Nichols cebirinin boyutu	${ displaystyle 262.144 ; = 2 ^ {18}}$
Hilbert serisi	${ displaystyle (2) _ {t} ^ {2} (2) _ {t ^ {2}} cdot (2) _ {t} ^ {4} (2) _ {t ^ {2}} ^ {2} cdot (2) _ {t ^ {2}} ^ {4} (2 ^ {2}) _ {t ^ {4}} ^ {2} cdot (2) _ {t ^ {3 }} ^ {2} (2) _ {t ^ {6}}}$
En küçük gerçekleştiren grup	${ displaystyle { tilde { mathbb {D}}} _ {8}}$ (yarı yüzlü grup)
... ve eşlilik sınıfı	${ displaystyle { mathcal {O}} _ {[h]} ^ {- 1} oplus { mathcal {O}} _ {[g]} ^ { zeta _ {8}}}$
Yorumlar	Bu Nichols cebirinde bulunan her iki rank 1 Nichols cebiri, kendi destekleri üzerinde ayrışır: Sol düğüm, Coxeter grubu üzerinden bir Nichols cebirine ${ displaystyle mathbb {D} _ {4}}$, köşegen bir Nichols cebir türüne doğru düğüm ${ displaystyle A_ {2}}$.

Seviye 2'nin Nichols cebiri, tip T

Bu Nichols cebiri, Heckenberger ve Vendramin'in sınıflandırılması sırasında keşfedildi.^[19]

Kök sistem	${ displaystyle G_ {2}}$
Boyutu ${ displaystyle V}$	${ displaystyle 1 + 4}$
Nichols cebirinin boyutu	${ displaystyle 80.621.568}$
Hilbert serisi	${ displaystyle (6) _ {t} cdot (2) _ {t} ^ {2} (3) _ {t} (6) _ {t} cdot (2) _ {t ^ {2}} ^ {2} (3) _ {t ^ {2}} (6) _ {t ^ {2}} cdot (2) _ {t ^ {3}} ^ {2} (3) _ {t ^ {3}} (6) _ {t ^ {3}} cdot (6) _ {t ^ {4}} cdot (6) _ {t ^ {5}}}$
En küçük gerçekleştiren grup	${ displaystyle mathbb {Z} _ {6} times SL_ {2} (3)}$
... ve eşlilik sınıfı	${ displaystyle { mathcal {O}} _ { {z }} ^ { zeta _ {6}, zeta _ {6} ^ {- 1}} oplus { mathcal {O}} _ { başlangıç ​​{pmatrix} -1 & 1 0 & -1 end {pmatrix}} ^ {1, -1}}$
Yorumlar	Bu Nichols cebirinde bulunan rank 1 Nichols cebiri, desteğine göre indirgenemez ${ displaystyle SL_ {2} (3)}$ ve yukarıda bulunabilir.

Seviye 3'ün Gama-3'ü içeren Nichols cebiri

Bu Nichols cebiri, Heckenberger ve Vendramin'in sınıflandırılması sırasında keşfedilen son Nichols cebiriydi.^[6]

Kök sistem	13 kök ile 9. Sıra [3]
Boyutu ${ displaystyle V}$	${ displaystyle 3 + 2 + 1}$ resp. ${ displaystyle 3 + 1 + 1}$
Nichols cebirinin boyutu	${ displaystyle 1.671.768.834.048}$
Hilbert serisi	${ displaystyle (2) _ {t} ^ {2} (3) _ {t} cdot (6) _ {t} cdot (6) _ {t} cdot (2) _ {t ^ {2 }} ^ {2} (3) _ {t ^ {2}} cdot (6) _ {t ^ {2}} cdot (2) _ {t ^ {3}} (6) _ {t ^ {3}} cdot (2) _ {t ^ {3}} ^ {2} (3) _ {t ^ {3}}}$${ displaystyle cdot (2) _ {t ^ {4}} (6) _ {t ^ {4}} cdot (2) _ {t ^ {5}} (6) _ {t ^ {5} } cdot (2) _ {t ^ {6}} ^ {2} (3) _ {t ^ {6}} cdot (6) _ {t ^ {7}} cdot (6) _ {t ^ {8}} cdot (6) _ {t ^ {9}}}$
En küçük gerçekleştiren grup	${ displaystyle mathbb {S} _ {3} times mathbb {Z} _ {6} times mathbb {Z} _ {6}}$
... ve eşlilik sınıfı	${ displaystyle { mathcal {O}} _ {(12)} ^ {- 1, zeta _ {6}, 1} oplus { mathcal {O}} _ { {z }} ^ {1 , zeta _ {6} ^ {- 1}, 1} oplus { mathcal {O}} _ { {w }} ^ {1, zeta _ {6}, zeta _ {6} ^ {-1}}}$
Yorumlar	En soldaki iki düğüm tarafından oluşturulan rank 2 Nichols cebiri, ${ displaystyle Gama _ {3}}$ ve yukarıda bulunabilir. En sağdaki iki düğüm tarafından üretilen rank 2 Nichols cebiri, tipte diyagonaldir ${ displaystyle A_ {2}}$ veya ${ displaystyle A_ {3}}$.

Diyagram katlamasından Nichols cebirleri

Aşağıdaki Nichols aileleri cebirleri, diyagram katlama kullanılarak Lentner tarafından oluşturulmuştur,^[16] sadece karakteristik 3'te görülen dördüncü örnek, Heckenberger ve Vendramin'in sınıflandırması sırasında keşfedildi.^[6]

İnşaat, bilinen bir Nichols cebiri (burada kuantum gruplarıyla ilgili diyagonal olanlar) ve Dynkin diyagramının ek bir otomorfizmi ile başlar. Dolayısıyla, iki ana durum, bu otomorfizmanın iki bağlantısız kopyayı alıp almadığı veya bağlı bir Dynkin diyagramının uygun bir diyagram otomorfizması olup olmadığıdır. Ortaya çıkan kök sistemi, orijinal kök sisteminin katlanması / kısıtlanmasıdır.^[20] Yapım gereği, üreteçler ve ilişkiler diyagonal durumdan bilinir.

				sadece karakteristik 3
Sıralaması, Kök sisteminin türü ${ displaystyle { mathfrak {B}} (V)}$ [2]	${ displaystyle A_ {n}, ; n geq 2}$	${ displaystyle D_ {n}, ; n geq 4}$	${ displaystyle E_ {6}, E_ {7}, E_ {8}}$	${ displaystyle B_ {n}, ; n geq 2}$
Bu köşegen Nichol cebirinden inşa edilmiştir. ${ displaystyle q_ {ij} = pm 1}$	${ displaystyle A_ {n} times A_ {n}}$	${ displaystyle D_ {n} times D_ {n}}$	${ displaystyle E_ {n} times E_ {n}}$	${ displaystyle B_ {n} times B_ {n}}$ karakteristik olarak 3.
Boyutu ${ displaystyle V}$	${ displaystyle 2 + 2 + cdots}$	${ displaystyle 2 + 2 + cdots}$	${ displaystyle 2 + 2 + cdots}$	${ displaystyle 2 + 2 + cdots}$
Nichols cebir (ler) inin boyutu	${ displaystyle sol (2 ^ {n + 1 2} sağ seçin) ^ {2}}$	${ displaystyle sol (2 ^ {n (n-1)} sağ) ^ {2}}$	${ displaystyle sol (2 ^ {36} sağ) ^ {2}, ; sol (2 ^ {63} sağ) ^ {2}, ; sol (2 ^ {120} sağ) ^ {2}}$	${ displaystyle sol (3 ^ {n (n-1)} 2 ^ {n} sağ) ^ {2}}$
Hilbert serisi	İlgili köşegen Nichols cebiri ile aynı
En küçük gerçekleştiren grup	Ekstra özel grup (yani neredeyse özel) ile ${ displaystyle 2 ^ {n + 1}}$ bunun dışında öğeler ${ displaystyle D_ {n}, ; 2 | n}$ daha büyük bir düzen merkezine sahip benzer bir grup gerektirir ${ displaystyle 2 ^ {3}}$.
Kaynak	[16]			[6]
Yorumlar				Sözde köşegen Nichols cebir türünün bir katlanması ${ displaystyle B_ {n}}$ ile ${ displaystyle q = pm 1}$ Bu istisnai olarak karakteristik 3'te görülür.

Aşağıdaki ikisi, bağlı Dynkin diyagramlarının uygun otomorfizmaları ile elde edilmiştir. ${ displaystyle {^ {2}} A_ {2n-1}, {^ {2}} E_ {6}}$

Sıralaması, Kök sisteminin türü ${ displaystyle { mathfrak {B}} (V)}$ [2]	${ displaystyle C_ {n}, ; n geq 3}$	${ displaystyle F_ {4}}$
Bu köşegen Nichol cebirinden inşa edilmiştir. ${ displaystyle q_ {ij} = pm 1}$	${ displaystyle A_ {2n-1}}$	${ displaystyle E_ {6}}$
Boyutu ${ displaystyle V}$	${ displaystyle 1 + 2 + cdots}$	${ displaystyle 1 + 1 + 2 + 2}$
Nichols cebir (ler) inin boyutu	${ displaystyle 2 ^ {2n seçim 2}}$	${ displaystyle 2 ^ {36} = 68.719.476.736}$
Hilbert serisi	İlgili köşegen Nichols cebiri ile aynı	İlgili köşegen Nichols cebiri ile aynı ${ displaystyle (2) _ {t} ^ {6} (2) _ {t ^ {2}} ^ {5} (2) _ {t ^ {3}} ^ {5} (2) _ {t ^ {4}} ^ {5} (2) _ {t ^ {5}} ^ {4} (2) _ {t ^ {6}} ^ {3}}$${ displaystyle cdot (2) _ {t ^ {7}} ^ {3} (2) _ {t ^ {8}} ^ {2} (2) _ {t ^ {9}} (2) _ {t ^ {10}} (2) _ {t ^ {11}}}$
En küçük gerçekleştiren grup	Sipariş grubu ${ displaystyle 2 ^ {n + 1}}$ daha büyük sipariş merkezi ile ${ displaystyle 2 ^ {2}}$ resp. ${ displaystyle 2 ^ {3}}$ (için ${ displaystyle n}$ hatta yanıt. garip)	Sipariş grubu ${ displaystyle 2 ^ {4 + 1}}$ daha büyük sipariş merkezi ile ${ displaystyle 2 ^ {3}}$ yani ${ displaystyle mathbb {Z} _ {2} times mathbb {Z} _ {2} times mathbb {D} _ {4}}$
... ve eşlilik sınıfı		${ displaystyle { mathcal {O}} _ { {z_ {1} }} oplus { mathcal {O}} _ { {z_ {2} }} oplus { mathcal {O}} _ {[x_ {1}]} oplus { mathcal {O}} _ {[y_ {1}]}}$
Kaynak	[16]

Gibi birkaç katlama daha olduğunu unutmayın. ${ displaystyle {^ {3}} D_ {4}, {^ {2}} D_ {n}}$ ve ayrıca bazıları Lie tipi değildir, ancak bunlar desteğin grubu oluşturması koşulunu ihlal eder.

Şimdiye kadar bilinen tüm Nichols cebirlerini içeren poster

(Simon Lentner, University Hamburg, lütfen bu konuda yorum / düzeltme / dilek yazmaktan çekinmeyin: simon.lentner, uni-hamburg.de)

Referanslar