Seznam rovinných grup symetrie

Článek shrnuje informace o třídách diskrétních grup symetrie euklidovské roviny . Zde uvedené skupiny symetrie jsou pojmenovány podle tří schémat pojmenování: mezinárodní notace , orbifold notace a Coxeterova notace . V rovině existují tři typy skupin symetrie:

Skupiny symetrie bodů

V rovině je bod, který je pod každou transformací invariantní. Existují dvě nekonečné rodiny diskrétních dvourozměrných skupin bodů. Skupiny jsou definovány parametrem n , který je roven pořadí rotace podskupiny. Také parametr n se rovná indexu skupiny.

Rodina Int.
( orbifold )
Schoenflies Geom. [1]
Coxeter
Objednat Příklady
Cyklické skupiny n
(n•)
C n n
[n] +
CDel uzel h2.pngCDel n.pngCDel uzel h2.png
n
C 1 , [ ] + (•)

C2 , [ 2 ] + (2•)

C3 , [ 3 ] + (3•)

C4 , [ 4 ] + (4•)

C 5 , [5] + (5•)

C6 , [ 6 ] + (6•)
Dihedrální skupiny nm
(*n• )
D n n
[n]
CDel uzel.pngCDel n.pngCDel uzel.png
2n _
D 1 , [ ] (*•)

D 2 , [2] (*2•)

D 3 , [3] (*3•)

D 4 , [4] (*4•)

D 5 , [5] (*5•)

D 6 , [6] (*6•)

Hraniční skupina

V rovině je přímka, která se pod každou transformací proměňuje v sebe. Jednotlivé body této linie v tomto případě nesmí zůstat nehybné.

7 skupin hranic , dvourozměrné skupiny hran . Symboly Schoenflies jsou uvedeny jako nekonečné limity 7 dihedrálních skupin. Žluté oblasti představují nekonečné základní oblasti pro každý okraj.

[1,∞],CDel uzel h2.pngCDel 2.pngCDel uzel.pngCDel infin.pngCDel uzel.png
IUC
( orbifold )
Geom. Schoenflies Coxeter základní
oblast
Příklad
p1
(∞•)
p1 _ C∞ _ [1,∞] +
CDel uzel h2.pngCDel 2.pngCDel uzel h2.pngCDel infin.pngCDel uzel h2.png

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

[2,∞ + ],CDel uzel.pngCDel 2.pngCDel uzel.pngCDel infin.pngCDel h.pngCDel uzel.png
IUC
(Orbifold)
Geom. Schoenflies coxeter základní
oblast
Příklad
p11g
(∞×)
p. g 1 S 2∞ [2 + ,∞ + ]
CDel uzel h2.pngCDel 2x.pngCDel uzel h4.pngCDel infin.pngCDel uzel h2.png

p11m
(∞*)
p. jeden C∞h _ [2,∞ + ]
CDel uzel c2.pngCDel 2.pngCDel uzel h2.pngCDel infin.pngCDel uzel h2.png

[2,∞],CDel uzel.pngCDel 2.pngCDel uzel.pngCDel infin.pngCDel uzel.png
IUC
(Orbifold)
Geom. Schoenflies coxeter základní
oblast
Příklad
p2
(22∞)
p2 _ D∞ _ [2,∞] +
CDel uzel h2.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel h2.png

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

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

Skupiny tapet

17 skupin tapet s konečnými základními plochami, uspořádaných podle mezinárodní notace , orbifold notace a Coxeter notace a klasifikovaných 5 Bravaisovými mřížkami v rovině: čtvercové , šikmé (rovnoběžník), šestiúhelníkové (kosočtverce s úhly 60 stupňů) , obdélníkový a kosočtverečný.

Skupiny p1 a p2 se zrcadlovou symetrií se vyskytují ve všech třídách. Přidružená čistá Coxeterova skupina odrazů je uvedena pro všechny třídy kromě těch šikmých.

čtverec
[4,4],CDel uzel.pngCDel 4.pngCDel uzel.pngCDel 4.pngCDel uzel.png
IUC
( Orb. )
Geom.
Coxeter základní
oblast
p1
(°)
p 1
p2 (
2222)
p2
[4,1 + ,4] +
CDel labelh.pngCDel uzel.pngCDel split1-44.pngCDel větev h2h2.pngCDel label2.png
[1 + ,4,4,1 + ] +
CDel uzel h0.pngCDel 4.pngCDel uzel h0.pngCDel 4.pngCDel uzel h0.png
pgg
(22×
) pg 2 g
[4 + ,4 + ]
CDel uzel h2.pngCDel 4.pngCDel uzel h4.pngCDel 4.pngCDel uzel h2.png
pmm
(*2222)
p2
[4,1 + ,4]
CDel uzel.pngCDel 4.pngCDel uzel h0.pngCDel 4.pngCDel uzel.png
[1 + ,4,4,1 + ]
CDel uzel h0.pngCDel 4.pngCDel uzel.pngCDel 4.pngCDel uzel h0.png
cmm
(2*22)
c2
[(4,4,2 + )]
CDel uzel.pngCDel split1-44.pngCDel větev h2h2.pngCDel label2.png
p4 (
442)
p4
[4,4] +
CDel uzel h2.pngCDel 4.pngCDel uzel h2.pngCDel 4.pngCDel uzel h2.png
p4g
(4*2)
p g 4
[4 + ,4]
CDel uzel h2.pngCDel 4.pngCDel uzel h2.pngCDel 4.pngCDel uzel.png
p4m
(*442)
p4
[4,4]
CDel uzel.pngCDel 4.pngCDel uzel.pngCDel 4.pngCDel uzel.png
Obdélníkový
[∞ h ,2,∞ v ],CDel uzel.pngCDel infin.pngCDel uzel.pngCDel 2.pngCDel uzel.pngCDel infin.pngCDel uzel.png
IUC
(Orb.)
Geom.
coxeter základní
oblast
p1
(°)
p 1
[∞ + ,2,∞ + ]
CDel labelinfin.pngCDel větev h2h2.pngCDel 2.pngCDel větev h2h2.pngCDel labelinfin.png
p2 (
2222)
p2
[∞,2,∞] +
CDel uzel h2.pngCDel infin.pngCDel uzel h2.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel h2.png
pg(h)
(××
) pg 1
h: [∞ + ,(2,∞) + ]
CDel uzel h2.pngCDel infin.pngCDel uzel h4.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel h2.png
pg(v)
(××
) pg 1
v: [(∞,2) + ,∞ + ]
CDel uzel h2.pngCDel infin.pngCDel uzel h2.pngCDel 2x.pngCDel uzel h4.pngCDel infin.pngCDel uzel h2.png
pgm
(22* )
pg 2
h: [(∞,2) + ,∞]
CDel uzel h2.pngCDel infin.pngCDel uzel h2.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel.png
pmg
(22*)
p g 2
v: [∞,(2,∞) + ]
CDel uzel.pngCDel infin.pngCDel uzel h2.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel h2.png
pm(h)
(**)
p1
h: [∞ + ,2,∞]
CDel uzel h2.pngCDel infin.pngCDel uzel h2.pngCDel 2.pngCDel uzel.pngCDel infin.pngCDel uzel.png
pm(v)
(**)
p1
v: [∞,2,∞ + ]
CDel uzel.pngCDel infin.pngCDel uzel.pngCDel 2.pngCDel uzel h2.pngCDel infin.pngCDel uzel h2.png
pmm
(*2222)
p2
[∞,2,∞]
CDel uzel.pngCDel infin.pngCDel uzel.pngCDel 2.pngCDel uzel.pngCDel infin.pngCDel uzel.png
Kosočtverec
[∞ h ,2 + ,∞ v ],CDel uzel.pngCDel infin.pngCDel uzel h2.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel.png
IUC
(Orb.)
Geom.
coxeter základní
oblast
p1
(°)
p 1
[∞ + ,2 + ,∞ + ]
CDel uzel h2.pngCDel infin.pngCDel uzel h4.pngCDel 2x.pngCDel uzel h4.pngCDel infin.pngCDel uzel h2.png
p2 (
2222)
p2
[∞,2 + ,∞] +
CDel label2.pngCDel větev h2h2.pngCDel 2.pngCDel iaib.pngCDel 2.pngCDel větev h2h2.pngCDel label2.png
cm(h)
(*×)
c1
h: [∞ + ,2 + ,∞]
CDel uzel h2.pngCDel infin.pngCDel uzel h4.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel.png
cm(v)
(*×)
c1
v: [∞,2 + ,∞ + ]
CDel uzel.pngCDel infin.pngCDel uzel h2.pngCDel 2x.pngCDel uzel h4.pngCDel infin.pngCDel uzel h2.png
pgg
(22×
) pg 2 g
[((∞,2) + ) [2] ]
CDel uzel h2.pngCDel split1-2i.pngCDel uzly h4h4.pngCDel split2-i2.pngCDel uzel h2.png
cmm
(2*22)
c2
[∞,2 + ,∞]
CDel uzel.pngCDel infin.pngCDel uzel h2.pngCDel 2x.pngCDel uzel h2.pngCDel infin.pngCDel uzel.png
Rovnoběžník (šikmý)
p1
(°)
p 1
p2 (
2222)
p2
Šestihranný / trojúhelníkový
[6,3],CDel uzel.pngCDel 6.pngCDel uzel.pngCDel 3.pngCDel uzel.png/ [3 [3] ],CDel uzel.pngCDelsplit1.pngCDel-branch.png
p1
(°)
p 1
p2 (
2222)
p2
[6,3 ]
cmm
(2*22)
c2
[6,3] ⅄
p3 (
333)
p3
[1 + ,6,3 + ]
CDel uzel h0.pngCDel 6.pngCDel uzel h2.pngCDel 3.pngCDel uzel h2.png
[3 [3] ] +
CDel větev h2h2.pngCDel split2.pngCDel uzel h2.png
p3m1
(*333)
p3
[1 + ,6,3]
CDel uzel h0.pngCDel 6.pngCDel uzel.pngCDel 3.pngCDel uzel.png
[3 [3] ]
CDel-branch.pngCDel split2.pngCDel uzel.png
p31m
(3*3)
h3
[ 6,3+ ]
CDel uzel.pngCDel 6.pngCDel uzel h2.pngCDel 3.pngCDel uzel h2.png
p6 (
632)
p6
[6,3] +
CDel uzel h2.pngCDel 6.pngCDel uzel h2.pngCDel 3.pngCDel uzel h2.png
p6m
(*632)
p6
[6,3]
CDel uzel.pngCDel 6.pngCDel uzel.pngCDel 3.pngCDel uzel.png

Vztah podskupin tapet

V níže uvedené tabulce je na průsečíku řádku odpovídajícího skupině a sloupce odpovídajícího skupině , minimální index podskupiny izomorfní k . Diagonála obsahuje minimální index správné podskupiny izomorfní k okolní skupině.

Vztah podskupin 17 skupin tapet [2]
Ó 2222 ×× ** 22× 22* *2222 2*22 442 4*2 *442 333 *333 3*3 632 *632
p1 p2 str odpoledne cm pgg pmg pmm cmm p4 p4g p4m p3 p3m1 p31m p6 p6m
Ó p1 2
2222 p 2 2 2
×× str 2 2
** odpoledne 2 2 2 2
cm 2 2 2 3
22× pgg čtyři 2 2 3
22* pmg čtyři 2 2 2 čtyři 2 3
*2222 pmm čtyři 2 čtyři 2 čtyři čtyři 2 2 2
2*22 cmm čtyři 2 čtyři čtyři 2 2 2 2 čtyři
442 p4 čtyři 2 2
4*2 p4g osm čtyři čtyři osm čtyři 2 čtyři čtyři 2 2 9
*442 p4m osm čtyři osm čtyři čtyři čtyři čtyři 2 2 2 2 2
333 p3 3 3
*333 p3m1 6 6 6 3 2 čtyři 3
3*3 p31m 6 6 6 3 2 3 čtyři
632 p6 6 3 2 čtyři
*632 p6m 12 6 12 12 6 6 6 6 3 čtyři 2 2 2 3

Viz také

Poznámky

  1. Hestenes, Holt, 2007 .
  2. H.S.M. Coxeter, W.O.J. Moser.  Generátory a vztahy pro diskrétní skupiny. Berlin: Springer, 1972. § 4.6, tabulka 4

Literatura

Odkazy