Coxeterin diagrammi

Kohteesta Wikipedia
Siirry navigaatioon Siirry hakuun
Coxetetin ryhmät tasossa vastaavine diagrammeineen. Alueen peilit on merkitty tunnuksilla m1, m2 jne. Kärjet on väritetty heijastumisen mukaisessa järjestyksessä. Prismaattinen ryhmä [W2xW2] on esitetty R3:n kaksoiskappaleena, mutta se voidaan muodostaa myös suorakumaisista alueista kahdentamalla kolmiot V3. P3 saadaan kahdentamalla kolmio V3.
Coxeterin ryhmät pallopinnalla ja vastaavat diagrammit. Perusalue on merkitty keltaisella reunaviivalla. Kärjet on väritetty heijastuksen mukaisessa järjestyksessä.
Coxeterin ryhmät kolmiulotteisessa avaruudessa diagrammeineen. Peilit (kolmikulmaiset tahkot) on merkitty vastakkaisen kärjen mukaisesti 0...3. Särmät on väritetty heijastuksen mukaisessa järjestyksessä.
R4 täyttää kuudesosan kuutiosta.

Coxeterin diagrammi, Coxeterin–Dynkinin diagrammi eli Coxeterin graafi on geometriassa graafi, jolla kuvataan monitahokkaan tai muun polytoopin symmetriaa. Coxeterin diagrammi esittää, millä tavoin monitahokas tai muu polytooppi voidaan ajatella muodostettavaksi lähtemällä yhdestä sen kärkipisteistä, jolloin sen muut kärkipisteet saadaan tämän pisteen peilikuvina yhdestä tai useammasta peilistä tai heijastavasta hypertasosta. Oleellisesti samalla tavalla saadaan kaleidoskoopissa syntymään erilaisia symmetrisiä kuvioita. Jokainen graafin solmu esittää tällaista ajateltua peiliä, ja haaraan liittyvä luku vastaa peilien välistä diedrikulmaa. Jos haaraan ei ole merkitty lukua, tämän oletetaan olevan 3.

Graafina diagrammi esittää Coxeterin ryhmää. Sen jokainen solmu esittää peiliä ja jokainen haara kahden peilin välistä diedrikulmaa.

Coxeterin diagrammeja muistuttavat läheisesti myös Dynkinin diagrammit, jotka eroavat Coxeterin diagrammeista kahdessa suhteessa: ensinnäkin haarat, joihin on merkitty luku "4" tai suurempi ovat suunnattuja, kun taas Coxeterin diagrammit ovat suuntaamattomia, toiseksi Dynkin diagrammien on toteutettava se kristallografinen lisäehto, että niissä saa esiintyä vain merkinnöillä 2, 3, 4 tai 6 varustettuja haaroja. Dynkinin diaggammit vastaavat juurisysteemejä ja samalla puoliyksinkertaisia Lien algebroja, joiden luokitteluun niitä myös käytetään.[1]

Kuvailu[muokkaa | muokkaa wikitekstiä]

Diagrammilla voidaan esittää myös polytoopit lisäämällä renkaita solmujen ympärille. Rengas tarkoittaa, että kyseessä on aktiivinen peili, jota käytetään konstruoitaessa polytooppi heijastusten avulla. Jotta diagrammi esittäisi polytooppia, siinä on oltava vähintään yksi aktiivinen solmu.

Renkaat osoittavat samalla, onko generoiva piste peilissä vai sen ulkopuolella. Peili on aktiivinen eli muodostaa heijastuksen vain, jos pisteet ovat peilin ulkopuolella, joten rengas ilmaisee, että generoiva piste on peilin ulkopuolella ja siitä muodostuu heijastus.

Graafin viivat eli kaaret merkitään kokonaisluvuilla n, jotka tarkoittavat diedrikulmaa 180/n. Jos kaareen ei ole merkitty lukua, sen oletetaan olevan 3. Jos n=2, kulma on 90 astetta eivätkä peilit vaikuta toisiinsa, ja kaari voidaan jättää huomioon ottamatta. Kahta yhdensuuntaista peiliä voidaan merkitä symbolilla ∞ (ääretön).

Periaatteessa n peiliä voidaan esittää täydellisellä graafilla, jossa on mukana kaikki n·(n-1)/2 kaarta. Käytännössä mielenkiintoisissa peilien konfiguraatioissa osa peileistä on toisiinsa nähden kohtisuorassa, jolloin niitä vastaavat kaaret voidaan jättää pois kuviosta.

Polytoopit ja laatoitukset voidaan muodostaa käyttämällä näitä peilejä ja yhtä ainoaa generoivaa pistettä, josta tulee yksi polytoopin tai laatoituksen kärkipisteistä. Muut kärkipisteet saadaan tämän peilikuvina yhden tai useamman peilin kautta. Polytoopin särmät ovat jonkin pisteen ja sen peilikuvan toisiinsa yhdistäviä janoja. Tahkot voidaan muodostaa saatujen särmien muodostamina renkaina ja niin edelleen.

Esimerkkejä[muokkaa | muokkaa wikitekstiä]

  • Yksi ainoa solmu esittää yhtä ainoaa peiliä. Sitä vastaa ryhmä A1. Jos se on rengastettu, se muodostaa digonin tai peiliin nähden kohtisuoran särmän, joka merkitään {} tai {2}.
  • Kaksi solmua, joita ei ole yhdistetty toisiinsa, esittää kahta toisiinsa nähden kohtisuoraan asetettua peiliä. Jos molemmat solmut on rengastettu, piste peilikuvineen muodostaa suorakulmion, tai jos se on samalla etäisyydellä kummastakin peilistä, neliön.
  • Jos kaksi solmua on yhdistetty viivalla, johon on merkitty luku n, diagrammi esittää n-kulmiota, jos piste on peilillä, tai '2n-kulmiota, jos piste ei ole kummallakaan peilillä. Nämä muodostavat ryhmän D2n.
  • Kaksi yhdensuuntaista peiliä voivat esittää äärettömän monikulmion ryhmää D2, jolle käytetään myös merkintää W2.
  • Kolme peiliä, jotka muodostavat kolmion, saavat aikaan kuvia, joita näkyy tavanomaisessa kaleidoskoopissa, ja niitä esittää kolme toisiinsa yhdistettyä solmua kolmiossa. Tällä tavoin saadaan särmät, joita voidaan merkitä (3 3 3), (2 4 4) tai (2 3 6), joskin kaksi viimeksimainittua voidaan esittää myös suoralla, jolloin särmä 2 jätetään pois. Näistä muodostuvat uniformiset tessellaatiot.
  • Kolmella peilillä voidaan generoida uniformiset monitahokkaat, jos niihin liittyvt rationaaliluvut muodostavat Schwarzin kolmioiden joukon.
  • Kolme peiliä, joista yksi on muihin nähden kohtisouorassa, voivat muodostaa uniformiset särmiöt.

Yleensäkin kaikki sellaisten säännöllisten n-polytooppien, joita esittää Schläflin symboli {p,q,r,...}, perusalueet voidaan esittää n peilun joukolla ja ne liittää Coxeterin-Dynkinin fiagrammiin jono solmuja ja kaaria, joita voidaan merkitä kirjaimilla p,q,r...

Äärelliset Coxeterin ryhmät[muokkaa | muokkaa wikitekstiä]

Kuperien uniformisten poytooppien joukon määrittelevät Coxeterin ryhmät.

Huomutuksia:

Samoille ryhmille käytetään kolmea erilaista merkintää: yhden muodostavat kirjain ja luku, toisen joukko lukuja ja aaltosulkumerkkejä ja kolmannen Coxeterin diagrammi.
  • Myös kaksihaaraisille ryhmille Bn voidaan käyttää merkintää h[], joka osoittaa sitä, että tällainen ryhmä on alternoitu muunnos säännöllisistä ryhmistä Cn, toisin sanoen siinä on mukana vain puolet säännöllisen ryhmän alkioista.
  • Myös haaroittuville ryhmille Bn ja En voidaan käyttää merkintää [3a,b,c], missä a,b,c ovat segmenttien lukumäärät kussakin kolmessa haarassa.
n A1+ B4+ C2+ D2p E6-8 F4 G2-4
1 A1=[]
CDW dot.svg
           
2 A2=[3]
CDW dot.svgCDW 3b.pngCDW dot.svg
  C2=[4]
CDW dot.svgCDW 4.pngCDW dot.svg
D2p=[p]
CDW dot.svgCDW p.svgCDW dot.svg
    G2=[5]
CDW dot.svgCDW 5.pngCDW dot.svg
3 A3=[3²]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
B3=A3=[30,1,1]
CD dot.pngCD 3b.pngCD downbranch-00.png
C3=[4,3]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svg
      G3=[5,3]
CDW dot.svgCDW 5.pngCDW dot.svgCDW 3b.pngCDW dot.svg
4 A4=[3³]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
B4=h[4,3,3]=[31,1,1]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.png
C4=[4,3²]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
  E4=A4=[30,2,1]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.png
F4=[3,4,3]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svg
G4=[5,3,3]
CDW dot.svgCDW 5.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
5 A5=[34]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
B5=h[4,3³]=[32,1,1]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
C5=[4,3³]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
  E5=B5=[31,2,1]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.png
   
6 A6=[35]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
B6=h[4,34]=[33,1,1]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
C6=[4,34]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
  E6=[32,2,1]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
   
7 A7=[36]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
B7=h[4,35]=[34,1,1]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
C7=[4,35]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
  E7=[33,2,1]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
   
8 A8=[37]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
B8=h[4,36]=[35,1,1]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
C8=[4,36]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
  E8=[34,2,1]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
   
9 A9=[38]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
B9=h[4,37]=[36,1,1]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
C9=[4,37]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
       
10+ .. .. .. .. .. .. ..

(Huomautus: vaihtoehtoiset nimet kuten yksinkertaiset Lien ryhmät on annettu.

  1. An muodostaa simpleksisten polytooppien perheen (saman nimi: An).
  2. Bn on puoli-hyperkuutioiden perhe, joka alkaa 24-soluista neljässä ja penteraktista viidessä ulottuvuudessa (voidaan merkitä myös Dn).
  3. Cn muodostaa hyperkuutioiden perheen (sama nimi: Cn).
  4. D2n muodostaa säännölliset monitahokkaat (käytetään myös merkintää I1n).
  5. E6,E7,E8 ovat Gosset'n semiregulaaristen polytooppien generaattorit (samat nimet: E6,E7,E8).
  6. F4 on polykooristen 24-solujen perhe (sama nimi : F4).
  7. G3 käsittää vain monitahokkaat dodekaedrin ja ikosaedrin (voidaan merkitä myös H3).
  8. G4 käsittää vain polykoorit 120-solun ja 600-solun (voidaan merkitä myös H4).

Äärettömät Coxeterin ryhmät[muokkaa | muokkaa wikitekstiä]

Myös uniformisten kuperien laatoitusten perheet voidaan määritellä Coxeterin ryhmillä.

Huomautuksia:

  • Säännölliset (lineaariset) ryhmät voidaan merkitä yhtäpitävällä merkinnällä, jossa käytetään aaltosulkuja.
  • Ryhmä Sn voidaan merkitä myös merkinnällä h[], joka osoittaa sen olevan puolet säännöllisestä ryhmästä.
  • Ryhmä Qn voidaan merkitä myös merkinnällä q[], joka osoittaa sen olevan neljäsosa säännöllisestä ryhmästä.
  • Haarautuneet ryhmät Tn voidaan merkitä myös muotoa [3a,b,c] olevalla lausekkeella, missä a, b, c ovat segmenttien lukumäärät sen jokaisessa kolmessa haarassa.
n P3+ Q5+ R3+ S4+ T7-9 U5 V3 W2
2               W2=[∞]
CDW dot.svgCDW infin.pngCDW dot.svg
3 P3=h[6,3]
CD righttriangle-000.png
  R3=[4,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 4.pngCDW dot.svg
      V3=[6,3]
CDW dot.svgCDW 6.pngCDW dot.svgCDW 3b.pngCDW dot.svg
 
4 P4=q[4,3,4]
CD downbranch-00.pngCD downbranch-33.pngCD downbranch-00.png
  R4=[4,3,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svg
S4=h[4,3,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD 4.pngCD dot.png
       
5 P5
CD downbranch-00.pngCD downbranch-33.pngCD righttriangleopen 000.png
Q5=q[4,3²,4]
CD leftbranch-00.pngCD downbranch-00.pngCD 3b.pngCD dot.png
R5=[4,3²,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svg
S5=h[4,3²,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 4.pngCD dot.png
  U5=[3,4,3,3]
CDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svg
   
6 P6
CD downbranch-00.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD downbranch-00.png
Q6=q[4,3³,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.png
R6=[4,3³,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svg
S6=h[4,3³,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 4.pngCD dot.png
       
7 P7
CD downbranch-00.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD righttriangleopen 000.png
Q7=q[4,34,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.png
R7=[4,34,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svg
S7=h[4,34,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 4.pngCD dot.png
T7=[32,2,2]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD downbranch-33.pngCD downbranch-open.pngCD 3b.pngCD dot.png
     
8 P8
CD downbranch-00.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD downbranch-00.png
Q8=q[4,35,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.png
R8=[4,35,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svg
S8=h[4,35,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 4.pngCD dot.png
T8=[33,3,1]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
     
9 P9
CD downbranch-00.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD righttriangleopen 000.png
Q9=q[4,36,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.png
R9=[4,36,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svg
S9=h[4,36,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 4.pngCD dot.png
T9=[35,2,1]
CD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.png
     
10 P10
CD downbranch-00.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD downbranch-open.pngCD downbranch-33.pngCD downbranch-00.png
Q10=q[4,37,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.png
R10=[4,37,4]
CDW dot.svgCDW 4.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 3b.pngCDW dot.svgCDW 4.pngCDW dot.svg
S10=h[4,37,4]
CD dot.pngCD 3b.pngCD downbranch-00.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 3b.pngCD dot.pngCD 4.pngCD dot.png
       
11 ... ... ... ...        

(Huomautus : vaihtoehtoiset nimet kuten yksinkertaiset Lien ryhmät on myös annettu.)

  1. Pn on syklinen ryhmä (voidaan merkitä myös ~An-1).
  2. Qn (voidaan merkitä myös ~Dn-1)
  3. Rn muodostaa säännöllisten laatoitusten perheen hyperkuutiossa {4,3,....} (voidaan merkitä myös ~Bn-1).
  4. Sn muodostaa laatoitusten alternoivan ryhmän hyperkuutiossa (voidaan merkitä myös ~Cn-1).
  5. T7,T8,T9 ovat Gosset'n laatoitukset (voidaan merkitä myös ~E6,~E7,~E7).
  6. U5 on 24-solujen muodostama säännöllinen laatoitus {3,4,3,3} (voidaan merkitä myös ~F4).
  7. V3 kuusikulmioiden muodostama laatoitus (voidaan merkitä myös ~H2).
  8. W2:n muodostaa kaksi yhdensuuntaista peiliä (voidaan merkitä myös ~I1).
Käännös suomeksi
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.
Alkuperäinen artikkeli: fr:Diagramme de Coxeter-Dynkin

Lähteet[muokkaa | muokkaa wikitekstiä]

  • F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss: ”Paper 17: The Evolution of Coxeter-Dynkin diagrams”, Kaleidoscopes: Selected Writings of H.S.M. Coxeter, s. 233–248. Wiley-Interscience, 1995. ISBN 978-0-471-01003-6.
  • H. S. M. Coxeter: ”Wythoff's Construction for Uniform Polytopes”, The Beauty of Geometry: Twelve Essays''. Dover, 1999. ISBN 978-0-486-40919-1.
  • H. S. M. Coxeter: ”Chapter 5: The Kaleidoscope, ja Section 11.3: Representation by graphs”, Regular Polytopes. Macmillan, 1973. ISBN 0-486-61480-8.

Viitteet[muokkaa | muokkaa wikitekstiä]

  1. Brian C. Hall: Lie Groups, Lie Algebras, and Representations: An Elementary Introduction. Springer, 2003. ISBN 978-0-387-40122-5.