Lista över plana symmetrigrupper

Artikeln sammanfattar information om klasserna av diskreta symmetrigrupper på det euklidiska planet . Symmetrigrupperna som ges här är namngivna enligt tre namnscheman: internationell notation , orbifold notation och Coxeter notation . Det finns tre typer av symmetrigrupper i planet:

Punktsymmetrigrupper

Det finns en punkt på planet som är invariant under varje transformation. Det finns två oändliga familjer av diskreta tvådimensionella punktgrupper. Grupperna definieras av parametern n , som är lika med ordningen för rotationsundergruppen. Dessutom är parametern n lika med gruppindexet.

Familj Int.
( orbifold )
Schoenflugor Geom. [1]
Coxeter
Ordning Exempel
Cykliska grupper n
(n•)
C n n
[n] +
CDel nod h2.pngCDel n.pngCDel nod h2.png
n
C 1 , [ ] + (•)

C2 , [2] + ( 2•)

C3 , [3] + ( 3•)

C4 , [4] + ( 4•)

C5 , [5] + ( 5•)

C6 , [6] + ( 6•)
Dihedral grupper nm
(*n• )
D n n
[n]
CDel node.pngCDel n.pngCDel node.png
2n _
D 1 , [ ] (*•)

D 2 , [2] (*2•)

D 3 , [3] (*3•)

D 4 , [4] (*4•)

D 5 , [5] (*5•)

D 6 , [6] (*6•)

Gränsgrupp

Det finns en rät linje i planet som förvandlas till sig själv under varje transformation. I detta fall kan enskilda punkter på denna linje inte förbli orörliga.

7 grupper av gränser , tvådimensionella kantgrupper . Schoenflies-symbolerna ges som de oändliga gränserna för 7 dihedriska grupper. De gula områdena representerar de oändliga grundområdena för varje kantlinje.

[1,∞],CDel nod h2.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
IUC
( orbifold )
Geom. Schoenflugor Coxeter grundläggande
område
Exempel
p1
(∞•)
p1 _ C∞ _ [1,∞] +
CDel nod h2.pngCDel 2.pngCDel nod h2.pngCDel infin.pngCDel nod h2.png

p1m1
(*∞•)
p1 C∞v _ [1,∞]
CDel nod h2.pngCDel 2.pngCDel nod c2.pngCDel infin.pngCDel nod c6.png

[2,∞ + ],CDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel h.pngCDel node.png
IUC
(Orbifold)
Geom. Schoenflugor coxeter grundläggande
område
Exempel
p11g
(∞×)
sid. g 1 S 2∞ [2 + ,∞ + ]
CDel nod h2.pngCDel 2x.pngCDel nod h4.pngCDel infin.pngCDel nod h2.png

p11m
(∞*)
sid. ett C∞h _ [2,∞ + ]
CDel nod c2.pngCDel 2.pngCDel nod h2.pngCDel infin.pngCDel nod h2.png

[2,∞],CDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
IUC
(Orbifold)
Geom. Schoenflugor coxeter grundläggande
område
Exempel
p2
(22∞)
p2 _ D∞ _ [2,∞] +
CDel nod h2.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel nod h2.png

p2mg
(2*∞)
p2 g D∞d _ [2 + ,∞]
CDel nod h2.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel nod c2.png

p2mm
(*22∞)
p2 D∞h _ [2,∞]
CDel nod c5.pngCDel 2.pngCDel nod c2.pngCDel infin.pngCDel nod c6.png

Bakgrundsgrupper

17 grupper av tapeter med ändliga grundareor, ordnade efter internationell notation , orbifold notation och Coxeter notation och klassificerade av 5 Bravais gitter på planet: kvadratisk , sned (parallellogram), hexagonal (ruter med 60 graders vinkel) , rektangulär och rombisk.

Grupperna p1 och p2 med spegelsymmetri förekommer i alla klasser. Den tillhörande rena Coxeter-gruppen av reflektioner ges för alla klasser utom de skeva.

kvadrat
[4,4],CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png
IUC
( Orb. )
Geom.
Coxeter grundläggande
område
p1
(°)
p 1
sid2 (
2222)
sid2
[4,1 + ,4] +
CDel labelh.pngCDel node.pngCDel split1-44.pngCDel gren h2h2.pngCDel label2.png
[1 + ,4,4,1 + ] +
CDel nod h0.pngCDel 4.pngCDel nod h0.pngCDel 4.pngCDel nod h0.png
pgg
(22×)
p g 2 g
[4 + ,4 + ]
CDel nod h2.pngCDel 4.pngCDel nod h4.pngCDel 4.pngCDel nod h2.png
pmm
(*2222)
s2
[4,1 + ,4]
CDel node.pngCDel 4.pngCDel nod h0.pngCDel 4.pngCDel node.png
[1 + ,4,4,1 + ]
CDel nod h0.pngCDel 4.pngCDel node.pngCDel 4.pngCDel nod h0.png
cmm
(2*22)
c2
[(4,4,2 + )]
CDel node.pngCDel split1-44.pngCDel gren h2h2.pngCDel label2.png
p4 (
442)
p4
[4,4] +
CDel nod h2.pngCDel 4.pngCDel nod h2.pngCDel 4.pngCDel nod h2.png
p4g
(4*2)
sid g 4
[4 + ,4]
CDel nod h2.pngCDel 4.pngCDel nod h2.pngCDel 4.pngCDel node.png
p4m
(*442)
p4
[4,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png
Rektangulär
[∞ h ,2,∞ v ],CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
IUC
(Orb.)
Geom.
coxeter grundläggande
område
p1
(°)
p 1
[∞ + ,2,∞ + ]
CDel labelinfin.pngCDel gren h2h2.pngCDel 2.pngCDel gren h2h2.pngCDel labelinfin.png
sid2 (
2222)
sid2
[∞,2,∞] +
CDel nod h2.pngCDel infin.pngCDel nod h2.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel nod h2.png
pg(h)
(××)
p g 1
h: [∞ + ,(2,∞) + ]
CDel nod h2.pngCDel infin.pngCDel nod h4.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel nod h2.png
pg(v)
(×× )
pg 1
v: [(∞,2) + ,∞ + ]
CDel nod h2.pngCDel infin.pngCDel nod h2.pngCDel 2x.pngCDel nod h4.pngCDel infin.pngCDel nod h2.png
pgm
(22*)
sid g 2
h: [(∞,2) + ,∞]
CDel nod h2.pngCDel infin.pngCDel nod h2.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel node.png
pmg
(22*)
sid g 2
v: [∞,(2,∞) + ]
CDel node.pngCDel infin.pngCDel nod h2.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel nod h2.png
pm(h)
(**)
p1
h: [∞ + ,2,∞]
CDel nod h2.pngCDel infin.pngCDel nod h2.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
pm(v)
(**)
p1
v: [∞,2,∞ + ]
CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel nod h2.pngCDel infin.pngCDel nod h2.png
pmm
(*2222)
s2
[∞,2,∞]
CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
Rombisk
[∞ h ,2 + ,∞ v ],CDel node.pngCDel infin.pngCDel nod h2.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel node.png
IUC
(Orb.)
Geom.
coxeter grundläggande
område
p1
(°)
p 1
[∞ + ,2 + ,∞ + ]
CDel nod h2.pngCDel infin.pngCDel nod h4.pngCDel 2x.pngCDel nod h4.pngCDel infin.pngCDel nod h2.png
sid2 (
2222)
sid2
[∞,2 + ,∞] +
CDel label2.pngCDel gren h2h2.pngCDel 2.pngCDel iaib.pngCDel 2.pngCDel gren h2h2.pngCDel label2.png
cm(h)
(*×)
cl
h: [∞ + ,2 + ,∞]
CDel nod h2.pngCDel infin.pngCDel nod h4.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel node.png
cm(v)
(*×)
cl
v: [∞,2 + ,∞ + ]
CDel node.pngCDel infin.pngCDel nod h2.pngCDel 2x.pngCDel nod h4.pngCDel infin.pngCDel nod h2.png
pgg
(22×)
p g 2 g
[((∞,2) + ) [2] ]
CDel nod h2.pngCDel split1-2i.pngCDel-noder h4h4.pngCDel split2-i2.pngCDel nod h2.png
cmm
(2*22)
c2
[∞,2 + ,∞]
CDel node.pngCDel infin.pngCDel nod h2.pngCDel 2x.pngCDel nod h2.pngCDel infin.pngCDel node.png
Parallelogram (sned)
p1
(°)
p 1
sid2 (
2222)
sid2
Hexagonal /triangulär
[6,3],CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png/ [3 [3] ],CDel node.pngCDelsplit1.pngCDel-branch.png
p1
(°)
p 1
sid2 (
2222)
sid2
[6,3 ]
cmm
(2*22)
c2
[6,3] ⅄
sid3 (
333)
sid3
[1 + ,6,3 + ]
CDel nod h0.pngCDel 6.pngCDel nod h2.pngCDel 3.pngCDel nod h2.png
[3 [3] ] +
CDel gren h2h2.pngCDel split2.pngCDel nod h2.png
p3m1
(*333)
p3
[1 + ,6,3]
CDel nod h0.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png
[3 [3] ]
CDel-branch.pngCDel split2.pngCDel node.png
p31m
(3*3)
h3
[ 6,3+ ]
CDel node.pngCDel 6.pngCDel nod h2.pngCDel 3.pngCDel nod h2.png
s6 (
632)
s6
[6,3] +
CDel nod h2.pngCDel 6.pngCDel nod h2.pngCDel 3.pngCDel nod h2.png
p6m
(*632)
p6
[6,3]
CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png

Förhållandet mellan tapetundergrupper

I tabellen nedan, i skärningspunkten mellan raden som motsvarar gruppen och kolumnen som motsvarar gruppen , finns det lägsta indexet för undergruppen isomorf till . Diagonalen innehåller det minimala indexet för en riktig undergrupp som är isomorf till den omgivande gruppen.

Förhållandet mellan undergrupper av 17 grupper av bakgrundsbilder [2]
o 2222 ×× ** 22× 22* *2222 2*22 442 4*2 *442 333 *333 3*3 632 *632
p1 p2 sid kl centimeter pgg pmg pmm cmm p4 p4g p4m p3 p3m1 p31m s6 p6m
o p1 2
2222 sid 2 2 2
×× sid 2 2
** kl 2 2 2 2
centimeter 2 2 2 3
22× pgg fyra 2 2 3
22* pmg fyra 2 2 2 fyra 2 3
*2222 pmm fyra 2 fyra 2 fyra fyra 2 2 2
2*22 cmm fyra 2 fyra fyra 2 2 2 2 fyra
442 p4 fyra 2 2
4*2 p4g åtta fyra fyra åtta fyra 2 fyra fyra 2 2 9
*442 p4m åtta fyra åtta fyra fyra fyra fyra 2 2 2 2 2
333 p3 3 3
*333 p3m1 6 6 6 3 2 fyra 3
3*3 p31m 6 6 6 3 2 3 fyra
632 s6 6 3 2 fyra
*632 p6m 12 6 12 12 6 6 6 6 3 fyra 2 2 2 3

Se även

Anteckningar

  1. Hestenes, Holt, 2007 .
  2. H.S.M. Coxeter, W.O.J. Moser.  Generatorer och relationer för diskreta grupper. Berlin: Springer, 1972. § 4.6, Tabell 4

Litteratur

Länkar