Síkszimmetria-csoportok listája

A cikk összefoglalja az euklideszi sík diszkrét szimmetriacsoportjainak osztályait . Az itt megadott szimmetriacsoportokat három elnevezési séma szerint nevezzük el: nemzetközi jelölés , orbifold jelölés és Coxeter jelölés . A síkban háromféle szimmetriacsoport található:

Pontszimmetria csoportok

A síkon van egy pont, amely invariáns minden transzformáció alatt. A diszkrét kétdimenziós pontcsoportoknak két végtelen családja van. A csoportokat az n paraméter határozza meg , amely megegyezik a forgatási alcsoport sorrendjével. Ezenkívül az n paraméter egyenlő a csoportindexszel.

Család Int.
( orbifold )
Schoenflies Geom. [1]
Coxeter
Rendelés Példák
Ciklikus csoportok n
(n•)
C n n
[n] +
CDel node h2.pngCDel n.pngCDel node h2.png
n
C 1 , [ ] + (•)

C 2 , [2] + (2•)

C 3 , [3] + (3•)

C 4 , [4] + (4•)

C 5 , [5] + (5•)

C 6 , [6] + (6•)
Diédercsoportok 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•)

Határcsoport

A síkban van egy egyenes, amely minden transzformáció során önmagává alakul. Ebben az esetben ennek a vonalnak az egyes pontjai nem maradhatnak mozdulatlanok.

7 szegélycsoport , kétdimenziós élcsoportok . A Schoenflies szimbólumok 7 diédercsoport végtelen határértékeiként vannak megadva. A sárga területek minden határ végtelen alapterületét jelentik.

[1,∞],CDel node h2.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
IUC
( orbifold )
Geom. Schoenflies Coxeter alapvető
terület
Példa
p1
(∞•)
p1 _ C∞_ _ [1,∞] +
CDel node h2.pngCDel 2.pngCDel node h2.pngCDel infin.pngCDel node h2.png

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

[2,∞ + ],CDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel h.pngCDel node.png
IUC
(Orbifold)
Geom. Schoenflies koxéter alapvető
terület
Példa
p11g
(∞×)
p. g 1 S 2∞ [2 + ,∞ + ]
CDel node h2.pngCDel 2x.pngCDel node h4.pngCDel infin.pngCDel node h2.png

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

[2,∞],CDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
IUC
(Orbifold)
Geom. Schoenflies koxéter alapvető
terület
Példa
p2
(22∞)
p2 _ D∞ _ [2,∞] +
CDel node h2.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node h2.png

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

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

Háttérkép csoportok

17 tapétacsoport véges alapterülettel, nemzetközi jelöléssel , orbifold jelöléssel és Coxeter jelöléssel rendezve, és 5 Bravais-rács szerint osztályozva a síkon: négyzet , ferde (párhuzamos), hatszögletű (60 fokos szögű rombusz) , téglalap és rombusz alakú.

A tükörszimmetriájú p1 és p2 csoport minden osztályban előfordul. A hozzá tartozó tiszta Coxeter reflexiók csoportja minden osztályra adott, kivéve a ferde osztályokat.

Négyzet
[4,4],CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png
IUC
( Orb. )
Geom.
Coxeter alapvető
terület
p1
(°)
p 1
p2 (
2222)
p2
[4,1 + ,4] +
CDel labelh.pngCDel node.pngCDel split1-44.pngCDel ága h2h2.pngCDel label2.png
[1 + ,4,4,1 + ] +
CDel csomópont h0.pngCDel 4.pngCDel csomópont h0.pngCDel 4.pngCDel csomópont h0.png
pgg
(22×)
p g 2 g
[4 + ,4 + ]
CDel node h2.pngCDel 4.pngCDel node h4.pngCDel 4.pngCDel node h2.png
pmm
(*2222)
p2
[4,1 + ,4]
CDel node.pngCDel 4.pngCDel csomópont h0.pngCDel 4.pngCDel node.png
[1 + ,4,4,1 + ]
CDel csomópont h0.pngCDel 4.pngCDel node.pngCDel 4.pngCDel csomópont h0.png
cmm
(2*22)
c2
[(4,4,2 + )]
CDel node.pngCDel split1-44.pngCDel ága h2h2.pngCDel label2.png
p4 (
442)
p4
[4,4] +
CDel node h2.pngCDel 4.pngCDel node h2.pngCDel 4.pngCDel node h2.png
p4g
(4*2)
p g 4
[4 + ,4]
CDel node h2.pngCDel 4.pngCDel node h2.pngCDel 4.pngCDel node.png
p4m
(*442)
p4
[4,4]
CDel node.pngCDel 4.pngCDel node.pngCDel 4.pngCDel node.png
Téglalap alakú
[∞ h ,2,∞ v ],CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
IUC
(Orb.)
Geom.
koxéter alapvető
terület
p1
(°)
p 1
[∞ + ,2, ∞ + ]
CDel labelinfin.pngCDel ága h2h2.pngCDel 2.pngCDel ága h2h2.pngCDel labelinfin.png
p2 (
2222)
p2
[∞,2,∞] +
CDel node h2.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node h2.png
pg(h)
(××)
p g 1
h: [∞ + ,(2,∞) + ]
CDel node h2.pngCDel infin.pngCDel node h4.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node h2.png
pg(v)
(××)
p g 1
v: [(∞,2) + ,∞ + ]
CDel node h2.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h4.pngCDel infin.pngCDel node h2.png
pgm
(22*)
p g 2
h: [(∞,2) + ,∞]
CDel node h2.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node.png
pmg
(22*)
p g 2
v: [∞,(2,∞) + ]
CDel node.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node h2.png
pm(h)
(**)
p1
h: [∞ + ,2,∞]
CDel node h2.pngCDel infin.pngCDel node h2.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
pm(v)
(**)
p1
v: [∞,2,∞ + ]
CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node h2.pngCDel infin.pngCDel node h2.png
pmm
(*2222)
p2
[∞,2,∞]
CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.pngCDel infin.pngCDel node.png
rombuszos
[∞ h ,2 + ,∞ v ],CDel node.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node.png
IUC
(Orb.)
Geom.
koxéter alapvető
terület
p1
(°)
p 1
[∞ + ,2 + ,∞ + ]
CDel node h2.pngCDel infin.pngCDel node h4.pngCDel 2x.pngCDel node h4.pngCDel infin.pngCDel node h2.png
p2 (
2222)
p2
[∞,2 + ,∞] +
CDel label2.pngCDel ága h2h2.pngCDel 2.pngCDel iaib.pngCDel 2.pngCDel ága h2h2.pngCDel label2.png
cm(h)
(*×)
c1
h: [∞ + ,2 + ,∞]
CDel node h2.pngCDel infin.pngCDel node h4.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node.png
cm(v)
(*×)
c1
v: [∞,2 + ,∞ + ]
CDel node.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h4.pngCDel infin.pngCDel node h2.png
pgg
(22×)
p g 2 g
[((∞,2) + ) [2] ]
CDel node h2.pngCDel split1-2i.pngCDel csomópontok h4h4.pngCDel split2-i2.pngCDel node h2.png
cmm
(2*22)
c2
[∞,2 + ,∞]
CDel node.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h2.pngCDel infin.pngCDel node.png
Párhuzamos (ferde)
p1
(°)
p 1
p2 (
2222)
p2
Hatszögletű / háromszög alakú
[6,3],CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png/ [3 [3] ],CDel node.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 csomópont h0.pngCDel 6.pngCDel node h2.pngCDel 3.pngCDel node h2.png
[3 [3] ] +
CDel ága h2h2.pngCDel split2.pngCDel node h2.png
p3m1
(*333)
p3
[1 + ,6,3]
CDel csomópont 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 node h2.pngCDel 3.pngCDel node h2.png
p6 (
632)
p6
[6,3] +
CDel node h2.pngCDel 6.pngCDel node h2.pngCDel 3.pngCDel node h2.png
p6m
(*632)
p6
[6,3]
CDel node.pngCDel 6.pngCDel node.pngCDel 3.pngCDel node.png

A háttérkép alcsoportjainak kapcsolata

Az alábbi táblázatban a csoportnak megfelelő sor és a csoportnak megfelelő oszlop metszéspontjában található a -vel izomorf részcsoport minimális indexe . Az átló egy megfelelő alcsoport minimális indexét tartalmazza, amely izomorf a környezeti csoporthoz.

17 háttérképcsoport alcsoportjainak kapcsolata [2]
o 2222 ×× ** 22× 22* *2222 2*22 442 4*2 *442 333 *333 3*3 632 *632
p1 p2 old délután cm pgg pmg pmm cmm p4 p4g p4m p3 p3m1 p31m p6 p6p
o p1 2
2222 p 2 2 2
×× old 2 2
** délután 2 2 2 2
cm 2 2 2 3
22× pgg négy 2 2 3
22* pmg négy 2 2 2 négy 2 3
*2222 pmm négy 2 négy 2 négy négy 2 2 2
2*22 cmm négy 2 négy négy 2 2 2 2 négy
442 p4 négy 2 2
4*2 p4g nyolc négy négy nyolc négy 2 négy négy 2 2 9
*442 p4m nyolc négy nyolc négy négy négy négy 2 2 2 2 2
333 p3 3 3
*333 p3m1 6 6 6 3 2 négy 3
3*3 p31m 6 6 6 3 2 3 négy
632 p6 6 3 2 négy
*632 p6p 12 6 12 12 6 6 6 6 3 négy 2 2 2 3

Lásd még

Jegyzetek

  1. Hestenes, Holt, 2007 .
  2. H.S.M. Coxeter, W.O.J. Moser.  Generátorok és kapcsolatok diszkrét csoportokhoz. Berlin: Springer, 1972. 4.6. §, 4. táblázat

Irodalom

Linkek