The Bauhinia blakeana flower on the Hong Kong region flag has C5 symmetry; the star on each petal has D5 symmetry. | The Yin and Yang symbol has C2 symmetry of geometry with inverted colors |
In geometry, a point group is a mathematical group of symmetry operations (isometries in a Euclidean space) that have a fixed point in common. The coordinate origin of the Euclidean space is conventionally taken to be a fixed point, and every point group in dimension d is then a subgroup of the orthogonal group O(d). Point groups are used to describe the symmetries of geometric figures and physical objects such as molecules.
Each point group can be represented as sets of orthogonal matrices M that transform point x into point y according to y = Mx. Each element of a point group is either a rotation (determinant of M = 1), or it is a reflection or improper rotation (determinant of M = −1).
The geometric symmetries of crystals are described by space groups, which allow translations and contain point groups as subgroups. Discrete point groups in more than one dimension come in infinite families, but from the crystallographic restriction theorem and one of Bieberbach's theorems, each number of dimensions has only a finite number of point groups that are symmetric over some lattice or grid with that number of dimensions. These are the crystallographic point groups.
Point groups can be classified into chiral (or purely rotational) groups and achiral groups. [1] The chiral groups are subgroups of the special orthogonal group SO(d): they contain only orientation-preserving orthogonal transformations, i.e., those of determinant +1. The achiral groups contain also transformations of determinant −1. In an achiral group, the orientation-preserving transformations form a (chiral) subgroup of index 2.
Finite Coxeter groups or reflection groups are those point groups that are generated purely by a set of reflectional mirrors passing through the same point. A rank n Coxeter group has n mirrors and is represented by a Coxeter–Dynkin diagram. Coxeter notation offers a bracketed notation equivalent to the Coxeter diagram, with markup symbols for rotational and other subsymmetry point groups. Reflection groups are necessarily achiral (except for the trivial group containing only the identity element).
There are only two one-dimensional point groups, the identity group and the reflection group.
Group | Coxeter | Coxeter diagram | Order | Description |
---|---|---|---|---|
C1 | [ ]+ | 1 | identity | |
D1 | [ ] | 2 | reflection group |
Point groups in two dimensions, sometimes called rosette groups.
They come in two infinite families:
Applying the crystallographic restriction theorem restricts n to values 1, 2, 3, 4, and 6 for both families, yielding 10 groups.
Group | Intl | Orbifold | Coxeter | Order | Description |
---|---|---|---|---|---|
Cn | n | n• | [n]+ | n | cyclic: n-fold rotations; abstract group Zn, the group of integers under addition modulo n |
Dn | nm | *n• | [n] | 2n | dihedral: cyclic with reflections; abstract group Dihn, the dihedral group |
The subset of pure reflectional point groups, defined by 1 or 2 mirrors, can also be given by their Coxeter group and related polygons. These include 5 crystallographic groups. The symmetry of the reflectional groups can be doubled by an isomorphism, mapping both mirrors onto each other by a bisecting mirror, doubling the symmetry order.
Reflective | Rotational | Related polygons | |||||||
---|---|---|---|---|---|---|---|---|---|
Group | Coxeter group | Coxeter diagram | Order | Subgroup | Coxeter | Order | |||
D1 | A1 | [ ] | 2 | C1 | []+ | 1 | digon | ||
D2 | A12 | [2] | 4 | C2 | [2]+ | 2 | rectangle | ||
D3 | A2 | [3] | 6 | C3 | [3]+ | 3 | equilateral triangle | ||
D4 | BC2 | [4] | 8 | C4 | [4]+ | 4 | square | ||
D5 | H2 | [5] | 10 | C5 | [5]+ | 5 | regular pentagon | ||
D6 | G2 | [6] | 12 | C6 | [6]+ | 6 | regular hexagon | ||
Dn | I2(n) | [n] | 2n | Cn | [n]+ | n | regular polygon | ||
D2×2 | A12×2 | [[2]] = [4] | = | 8 | |||||
D3×2 | A2×2 | [[3]] = [6] | = | 12 | |||||
D4×2 | BC2×2 | [[4]] = [8] | = | 16 | |||||
D5×2 | H2×2 | [[5]] = [10] | = | 20 | |||||
D6×2 | G2×2 | [[6]] = [12] | = | 24 | |||||
Dn×2 | I2(n)×2 | [[n]] = [2n] | = | 4n |
Point groups in three dimensions, sometimes called molecular point groups after their wide use in studying symmetries of molecules.
They come in 7 infinite families of axial groups (also called prismatic), and 7 additional polyhedral groups (also called Platonic). In Schönflies notation,
Applying the crystallographic restriction theorem to these groups yields the 32 crystallographic point groups.
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(*) When the Intl entries are duplicated, the first is for even n, the second for odd n. |
The reflection point groups, defined by 1 to 3 mirror planes, can also be given by their Coxeter group and related polyhedra. The [3,3] group can be doubled, written as [[3,3]], mapping the first and last mirrors onto each other, doubling the symmetry to 48, and isomorphic to the [4,3] group.
Schönflies | Coxeter group | Coxeter diagram | Order | Related regular and prismatic polyhedra | |||
---|---|---|---|---|---|---|---|
Td | A3 | [3,3] | 24 | tetrahedron | |||
Td×Dih1 = Oh | A3×2 = BC3 | [[3,3]] = [4,3] | = | 48 | stellated octahedron | ||
Oh | BC3 | [4,3] | 48 | cube, octahedron | |||
Ih | H3 | [5,3] | 120 | icosahedron, dodecahedron | |||
D3h | A2×A1 | [3,2] | 12 | triangular prism | |||
D3h×Dih1 = D6h | A2×A1×2 | [[3],2] | = | 24 | hexagonal prism | ||
D4h | BC2×A1 | [4,2] | 16 | square prism | |||
D4h×Dih1 = D8h | BC2×A1×2 | [[4],2] = [8,2] | = | 32 | octagonal prism | ||
D5h | H2×A1 | [5,2] | 20 | pentagonal prism | |||
D6h | G2×A1 | [6,2] | 24 | hexagonal prism | |||
Dnh | I2(n)×A1 | [n,2] | 4n | n-gonal prism | |||
Dnh×Dih1 = D2nh | I2(n)×A1×2 | [[n],2] | = | 8n | |||
D2h | A13 | [2,2] | 8 | cuboid | |||
D2h×Dih1 | A13×2 | [[2],2] = [4,2] | = | 16 | |||
D2h×Dih3 = Oh | A13×6 | [3[2,2]] = [4,3] | = | 48 | |||
C3v | A2 | [1,3] | 6 | hosohedron | |||
C4v | BC2 | [1,4] | 8 | ||||
C5v | H2 | [1,5] | 10 | ||||
C6v | G2 | [1,6] | 12 | ||||
Cnv | I2(n) | [1,n] | 2n | ||||
Cnv×Dih1 = C2nv | I2(n)×2 | [1,[n]] = [1,2n] | = | 4n | |||
C2v | A12 | [1,2] | 4 | ||||
C2v×Dih1 | A12×2 | [1,[2]] | = | 8 | |||
Cs | A1 | [1,1] | 2 |
The four-dimensional point groups (chiral as well as achiral) are listed in Conway and Smith, [1] Section 4, Tables 4.1–4.3.
The following list gives the four-dimensional reflection groups (excluding those that leave a subspace fixed and that are therefore lower-dimensional reflection groups). Each group is specified as a Coxeter group, and like the polyhedral groups of 3D, it can be named by its related convex regular 4-polytope. Related pure rotational groups exist for each with half the order, and can be represented by the bracket Coxeter notation with a '+' exponent, for example [3,3,3]+ has three 3-fold gyration points and symmetry order 60. Front-back symmetric groups like [3,3,3] and [3,4,3] can be doubled, shown as double brackets in Coxeter's notation, for example [[3,3,3]] with its order doubled to 240.
Coxeter group/notation | Coxeter diagram | Order | Related polytopes | ||
---|---|---|---|---|---|
A4 | [3,3,3] | 120 | 5-cell | ||
A4×2 | [[3,3,3]] | 240 | 5-cell dual compound | ||
BC4 | [4,3,3] | 384 | 16-cell / tesseract | ||
D4 | [31,1,1] | 192 | demitesseractic | ||
D4×2 = BC4 | <[3,31,1]> = [4,3,3] | = | 384 | ||
D4×6 = F4 | [3[31,1,1]] = [3,4,3] | = | 1152 | ||
F4 | [3,4,3] | 1152 | 24-cell | ||
F4×2 | [[3,4,3]] | 2304 | 24-cell dual compound | ||
H4 | [5,3,3] | 14400 | 120-cell / 600-cell | ||
A3×A1 | [3,3,2] | 48 | tetrahedral prism | ||
A3×A1×2 | [[3,3],2] = [4,3,2] | = | 96 | octahedral prism | |
BC3×A1 | [4,3,2] | 96 | |||
H3×A1 | [5,3,2] | 240 | icosahedral prism | ||
A2×A2 | [3,2,3] | 36 | duoprism | ||
A2×BC2 | [3,2,4] | 48 | |||
A2×H2 | [3,2,5] | 60 | |||
A2×G2 | [3,2,6] | 72 | |||
BC2×BC2 | [4,2,4] | 64 | |||
BC22×2 | [[4,2,4]] | 128 | |||
BC2×H2 | [4,2,5] | 80 | |||
BC2×G2 | [4,2,6] | 96 | |||
H2×H2 | [5,2,5] | 100 | |||
H2×G2 | [5,2,6] | 120 | |||
G2×G2 | [6,2,6] | 144 | |||
I2(p)×I2(q) | [p,2,q] | 4pq | |||
I2(2p)×I2(q) | [[p],2,q] = [2p,2,q] | = | 8pq | ||
I2(2p)×I2(2q) | [[p]],2,[[q]] = [2p,2,2q] | = | 16pq | ||
I2(p)2×2 | [[p,2,p]] | 8p2 | |||
I2(2p)2×2 | [[[p]],2,[p]]] = [[2p,2,2p]] | = | 32p2 | ||
A2×A1×A1 | [3,2,2] | 24 | |||
BC2×A1×A1 | [4,2,2] | 32 | |||
H2×A1×A1 | [5,2,2] | 40 | |||
G2×A1×A1 | [6,2,2] | 48 | |||
I2(p)×A1×A1 | [p,2,2] | 8p | |||
I2(2p)×A1×A1×2 | [[p],2,2] = [2p,2,2] | = | 16p | ||
I2(p)×A12×2 | [p,2,[2]] = [p,2,4] | = | 16p | ||
I2(2p)×A12×4 | [[p]],2,[[2]] = [2p,2,4] | = | 32p | ||
A1×A1×A1×A1 | [2,2,2] | 16 | 4-orthotope | ||
A12×A1×A1×2 | [[2],2,2] = [4,2,2] | = | 32 | ||
A12×A12×4 | [[2]],2,[[2]] = [4,2,4] | = | 64 | ||
A13×A1×6 | [3[2,2],2] = [4,3,2] | = | 96 | ||
A14×24 | [3,3[2,2,2]] = [4,3,3] | = | 384 |
The following table gives the five-dimensional reflection groups (excluding those that are lower-dimensional reflection groups), by listing them as Coxeter groups. Related chiral groups exist for each with half the order, and can be represented by the bracket Coxeter notation with a '+' exponent, for example [3,3,3,3]+ has four 3-fold gyration points and symmetry order 360.
Coxeter group/notation | Coxeter diagrams | Order | Related regular and prismatic polytopes | ||
---|---|---|---|---|---|
A5 | [3,3,3,3] | 720 | 5-simplex | ||
A5×2 | [[3,3,3,3]] | 1440 | 5-simplex dual compound | ||
BC5 | [4,3,3,3] | 3840 | 5-cube, 5-orthoplex | ||
D5 | [32,1,1] | 1920 | 5-demicube | ||
D5×2 | <[3,3,31,1]> | = | 3840 | ||
A4×A1 | [3,3,3,2] | 240 | 5-cell prism | ||
A4×A1×2 | [[3,3,3],2] | 480 | |||
BC4×A1 | [4,3,3,2] | 768 | tesseract prism | ||
F4×A1 | [3,4,3,2] | 2304 | 24-cell prism | ||
F4×A1×2 | [[3,4,3],2] | 4608 | |||
H4×A1 | [5,3,3,2] | 28800 | 600-cell or 120-cell prism | ||
D4×A1 | [31,1,1,2] | 384 | demitesseract prism | ||
A3×A2 | [3,3,2,3] | 144 | duoprism | ||
A3×A2×2 | [[3,3],2,3] | 288 | |||
A3×BC2 | [3,3,2,4] | 192 | |||
A3×H2 | [3,3,2,5] | 240 | |||
A3×G2 | [3,3,2,6] | 288 | |||
A3×I2(p) | [3,3,2,p] | 48p | |||
BC3×A2 | [4,3,2,3] | 288 | |||
BC3×BC2 | [4,3,2,4] | 384 | |||
BC3×H2 | [4,3,2,5] | 480 | |||
BC3×G2 | [4,3,2,6] | 576 | |||
BC3×I2(p) | [4,3,2,p] | 96p | |||
H3×A2 | [5,3,2,3] | 720 | |||
H3×BC2 | [5,3,2,4] | 960 | |||
H3×H2 | [5,3,2,5] | 1200 | |||
H3×G2 | [5,3,2,6] | 1440 | |||
H3×I2(p) | [5,3,2,p] | 240p | |||
A3×A12 | [3,3,2,2] | 96 | |||
BC3×A12 | [4,3,2,2] | 192 | |||
H3×A12 | [5,3,2,2] | 480 | |||
A22×A1 | [3,2,3,2] | 72 | duoprism prism | ||
A2×BC2×A1 | [3,2,4,2] | 96 | |||
A2×H2×A1 | [3,2,5,2] | 120 | |||
A2×G2×A1 | [3,2,6,2] | 144 | |||
BC22×A1 | [4,2,4,2] | 128 | |||
BC2×H2×A1 | [4,2,5,2] | 160 | |||
BC2×G2×A1 | [4,2,6,2] | 192 | |||
H22×A1 | [5,2,5,2] | 200 | |||
H2×G2×A1 | [5,2,6,2] | 240 | |||
G22×A1 | [6,2,6,2] | 288 | |||
I2(p)×I2(q)×A1 | [p,2,q,2] | 8pq | |||
A2×A13 | [3,2,2,2] | 48 | |||
BC2×A13 | [4,2,2,2] | 64 | |||
H2×A13 | [5,2,2,2] | 80 | |||
G2×A13 | [6,2,2,2] | 96 | |||
I2(p)×A13 | [p,2,2,2] | 16p | |||
A15 | [2,2,2,2] | 32 | 5-orthotope | ||
A15×(2!) | [[2],2,2,2] | = | 64 | ||
A15×(2!×2!) | [[2]],2,[2],2] | = | 128 | ||
A15×(3!) | [3[2,2],2,2] | = | 192 | ||
A15×(3!×2!) | [3[2,2],2,[[2]] | = | 384 | ||
A15×(4!) | [3,3[2,2,2],2]] | = | 768 | ||
A15×(5!) | [3,3,3[2,2,2,2]] | = | 3840 |
The following table gives the six-dimensional reflection groups (excluding those that are lower-dimensional reflection groups), by listing them as Coxeter groups. Related pure rotational groups exist for each with half the order, and can be represented by the bracket Coxeter notation with a '+' exponent, for example [3,3,3,3,3]+ has five 3-fold gyration points and symmetry order 2520.
Coxeter group | Coxeter diagram | Order | Related regular and prismatic polytopes | |
---|---|---|---|---|
A6 | [3,3,3,3,3] | 5040 (7!) | 6-simplex | |
A6×2 | [[3,3,3,3,3]] | 10080 (2×7!) | 6-simplex dual compound | |
BC6 | [4,3,3,3,3] | 46080 (26×6!) | 6-cube, 6-orthoplex | |
D6 | [3,3,3,31,1] | 23040 (25×6!) | 6-demicube | |
E6 | [3,32,2] | 51840 (72×6!) | 122, 221 | |
A5×A1 | [3,3,3,3,2] | 1440 (2×6!) | 5-simplex prism | |
BC5×A1 | [4,3,3,3,2] | 7680 (26×5!) | 5-cube prism | |
D5×A1 | [3,3,31,1,2] | 3840 (25×5!) | 5-demicube prism | |
A4×I2(p) | [3,3,3,2,p] | 240p | duoprism | |
BC4×I2(p) | [4,3,3,2,p] | 768p | ||
F4×I2(p) | [3,4,3,2,p] | 2304p | ||
H4×I2(p) | [5,3,3,2,p] | 28800p | ||
D4×I2(p) | [3,31,1,2,p] | 384p | ||
A4×A12 | [3,3,3,2,2] | 480 | ||
BC4×A12 | [4,3,3,2,2] | 1536 | ||
F4×A12 | [3,4,3,2,2] | 4608 | ||
H4×A12 | [5,3,3,2,2] | 57600 | ||
D4×A12 | [3,31,1,2,2] | 768 | ||
A32 | [3,3,2,3,3] | 576 | ||
A3×BC3 | [3,3,2,4,3] | 1152 | ||
A3×H3 | [3,3,2,5,3] | 2880 | ||
BC32 | [4,3,2,4,3] | 2304 | ||
BC3×H3 | [4,3,2,5,3] | 5760 | ||
H32 | [5,3,2,5,3] | 14400 | ||
A3×I2(p)×A1 | [3,3,2,p,2] | 96p | duoprism prism | |
BC3×I2(p)×A1 | [4,3,2,p,2] | 192p | ||
H3×I2(p)×A1 | [5,3,2,p,2] | 480p | ||
A3×A13 | [3,3,2,2,2] | 192 | ||
BC3×A13 | [4,3,2,2,2] | 384 | ||
H3×A13 | [5,3,2,2,2] | 960 | ||
I2(p)×I2(q)×I2(r) | [p,2,q,2,r] | 8pqr | triaprism | |
I2(p)×I2(q)×A12 | [p,2,q,2,2] | 16pq | ||
I2(p)×A14 | [p,2,2,2,2] | 32p | ||
A16 | [2,2,2,2,2] | 64 | 6-orthotope |
The following table gives the seven-dimensional reflection groups (excluding those that are lower-dimensional reflection groups), by listing them as Coxeter groups. Related chiral groups exist for each with half the order, defined by an even number of reflections, and can be represented by the bracket Coxeter notation with a '+' exponent, for example [3,3,3,3,3,3]+ has six 3-fold gyration points and symmetry order 20160.
Coxeter group | Coxeter diagram | Order | Related polytopes | |
---|---|---|---|---|
A7 | [3,3,3,3,3,3] | 40320 (8!) | 7-simplex | |
A7×2 | [[3,3,3,3,3,3]] | 80640 (2×8!) | 7-simplex dual compound | |
BC7 | [4,3,3,3,3,3] | 645120 (27×7!) | 7-cube, 7-orthoplex | |
D7 | [3,3,3,3,31,1] | 322560 (26×7!) | 7-demicube | |
E7 | [3,3,3,32,1] | 2903040 (8×9!) | 321, 231, 132 | |
A6×A1 | [3,3,3,3,3,2] | 10080 (2×7!) | ||
BC6×A1 | [4,3,3,3,3,2] | 92160 (27×6!) | ||
D6×A1 | [3,3,3,31,1,2] | 46080 (26×6!) | ||
E6×A1 | [3,3,32,1,2] | 103680 (144×6!) | ||
A5×I2(p) | [3,3,3,3,2,p] | 1440p | ||
BC5×I2(p) | [4,3,3,3,2,p] | 7680p | ||
D5×I2(p) | [3,3,31,1,2,p] | 3840p | ||
A5×A12 | [3,3,3,3,2,2] | 2880 | ||
BC5×A12 | [4,3,3,3,2,2] | 15360 | ||
D5×A12 | [3,3,31,1,2,2] | 7680 | ||
A4×A3 | [3,3,3,2,3,3] | 2880 | ||
A4×BC3 | [3,3,3,2,4,3] | 5760 | ||
A4×H3 | [3,3,3,2,5,3] | 14400 | ||
BC4×A3 | [4,3,3,2,3,3] | 9216 | ||
BC4×BC3 | [4,3,3,2,4,3] | 18432 | ||
BC4×H3 | [4,3,3,2,5,3] | 46080 | ||
H4×A3 | [5,3,3,2,3,3] | 345600 | ||
H4×BC3 | [5,3,3,2,4,3] | 691200 | ||
H4×H3 | [5,3,3,2,5,3] | 1728000 | ||
F4×A3 | [3,4,3,2,3,3] | 27648 | ||
F4×BC3 | [3,4,3,2,4,3] | 55296 | ||
F4×H3 | [3,4,3,2,5,3] | 138240 | ||
D4×A3 | [31,1,1,2,3,3] | 4608 | ||
D4×BC3 | [3,31,1,2,4,3] | 9216 | ||
D4×H3 | [3,31,1,2,5,3] | 23040 | ||
A4×I2(p)×A1 | [3,3,3,2,p,2] | 480p | ||
BC4×I2(p)×A1 | [4,3,3,2,p,2] | 1536p | ||
D4×I2(p)×A1 | [3,31,1,2,p,2] | 768p | ||
F4×I2(p)×A1 | [3,4,3,2,p,2] | 4608p | ||
H4×I2(p)×A1 | [5,3,3,2,p,2] | 57600p | ||
A4×A13 | [3,3,3,2,2,2] | 960 | ||
BC4×A13 | [4,3,3,2,2,2] | 3072 | ||
F4×A13 | [3,4,3,2,2,2] | 9216 | ||
H4×A13 | [5,3,3,2,2,2] | 115200 | ||
D4×A13 | [3,31,1,2,2,2] | 1536 | ||
A32×A1 | [3,3,2,3,3,2] | 1152 | ||
A3×BC3×A1 | [3,3,2,4,3,2] | 2304 | ||
A3×H3×A1 | [3,3,2,5,3,2] | 5760 | ||
BC32×A1 | [4,3,2,4,3,2] | 4608 | ||
BC3×H3×A1 | [4,3,2,5,3,2] | 11520 | ||
H32×A1 | [5,3,2,5,3,2] | 28800 | ||
A3×I2(p)×I2(q) | [3,3,2,p,2,q] | 96pq | ||
BC3×I2(p)×I2(q) | [4,3,2,p,2,q] | 192pq | ||
H3×I2(p)×I2(q) | [5,3,2,p,2,q] | 480pq | ||
A3×I2(p)×A12 | [3,3,2,p,2,2] | 192p | ||
BC3×I2(p)×A12 | [4,3,2,p,2,2] | 384p | ||
H3×I2(p)×A12 | [5,3,2,p,2,2] | 960p | ||
A3×A14 | [3,3,2,2,2,2] | 384 | ||
BC3×A14 | [4,3,2,2,2,2] | 768 | ||
H3×A14 | [5,3,2,2,2,2] | 1920 | ||
I2(p)×I2(q)×I2(r)×A1 | [p,2,q,2,r,2] | 16pqr | ||
I2(p)×I2(q)×A13 | [p,2,q,2,2,2] | 32pq | ||
I2(p)×A15 | [p,2,2,2,2,2] | 64p | ||
A17 | [2,2,2,2,2,2] | 128 |
The following table gives the eight-dimensional reflection groups (excluding those that are lower-dimensional reflection groups), by listing them as Coxeter groups. Related chiral groups exist for each with half the order, defined by an even number of reflections, and can be represented by the bracket Coxeter notation with a '+' exponent, for example [3,3,3,3,3,3,3]+ has seven 3-fold gyration points and symmetry order 181440.
Coxeter group | Coxeter diagram | Order | Related polytopes | |
---|---|---|---|---|
A8 | [3,3,3,3,3,3,3] | 362880 (9!) | 8-simplex | |
A8×2 | [[3,3,3,3,3,3,3]] | 725760 (2×9!) | 8-simplex dual compound | |
BC8 | [4,3,3,3,3,3,3] | 10321920 (288!) | 8-cube,8-orthoplex | |
D8 | [3,3,3,3,3,31,1] | 5160960 (278!) | 8-demicube | |
E8 | [3,3,3,3,32,1] | 696729600 (192×10!) | 421, 241, 142 | |
A7×A1 | [3,3,3,3,3,3,2] | 80640 | 7-simplex prism | |
BC7×A1 | [4,3,3,3,3,3,2] | 645120 | 7-cube prism | |
D7×A1 | [3,3,3,3,31,1,2] | 322560 | 7-demicube prism | |
E7×A1 | [3,3,3,32,1,2] | 5806080 | 321 prism, 231 prism, 142 prism | |
A6×I2(p) | [3,3,3,3,3,2,p] | 10080p | duoprism | |
BC6×I2(p) | [4,3,3,3,3,2,p] | 92160p | ||
D6×I2(p) | [3,3,3,31,1,2,p] | 46080p | ||
E6×I2(p) | [3,3,32,1,2,p] | 103680p | ||
A6×A12 | [3,3,3,3,3,2,2] | 20160 | ||
BC6×A12 | [4,3,3,3,3,2,2] | 184320 | ||
D6×A12 | [33,1,1,2,2] | 92160 | ||
E6×A12 | [3,3,32,1,2,2] | 207360 | ||
A5×A3 | [3,3,3,3,2,3,3] | 17280 | ||
BC5×A3 | [4,3,3,3,2,3,3] | 92160 | ||
D5×A3 | [32,1,1,2,3,3] | 46080 | ||
A5×BC3 | [3,3,3,3,2,4,3] | 34560 | ||
BC5×BC3 | [4,3,3,3,2,4,3] | 184320 | ||
D5×BC3 | [32,1,1,2,4,3] | 92160 | ||
A5×H3 | [3,3,3,3,2,5,3] | |||
BC5×H3 | [4,3,3,3,2,5,3] | |||
D5×H3 | [32,1,1,2,5,3] | |||
A5×I2(p)×A1 | [3,3,3,3,2,p,2] | |||
BC5×I2(p)×A1 | [4,3,3,3,2,p,2] | |||
D5×I2(p)×A1 | [32,1,1,2,p,2] | |||
A5×A13 | [3,3,3,3,2,2,2] | |||
BC5×A13 | [4,3,3,3,2,2,2] | |||
D5×A13 | [32,1,1,2,2,2] | |||
A4×A4 | [3,3,3,2,3,3,3] | |||
BC4×A4 | [4,3,3,2,3,3,3] | |||
D4×A4 | [31,1,1,2,3,3,3] | |||
F4×A4 | [3,4,3,2,3,3,3] | |||
H4×A4 | [5,3,3,2,3,3,3] | |||
BC4×BC4 | [4,3,3,2,4,3,3] | |||
D4×BC4 | [31,1,1,2,4,3,3] | |||
F4×BC4 | [3,4,3,2,4,3,3] | |||
H4×BC4 | [5,3,3,2,4,3,3] | |||
D4×D4 | [31,1,1,2,31,1,1] | |||
F4×D4 | [3,4,3,2,31,1,1] | |||
H4×D4 | [5,3,3,2,31,1,1] | |||
F4×F4 | [3,4,3,2,3,4,3] | |||
H4×F4 | [5,3,3,2,3,4,3] | |||
H4×H4 | [5,3,3,2,5,3,3] | |||
A4×A3×A1 | [3,3,3,2,3,3,2] | duoprism prisms | ||
A4×BC3×A1 | [3,3,3,2,4,3,2] | |||
A4×H3×A1 | [3,3,3,2,5,3,2] | |||
BC4×A3×A1 | [4,3,3,2,3,3,2] | |||
BC4×BC3×A1 | [4,3,3,2,4,3,2] | |||
BC4×H3×A1 | [4,3,3,2,5,3,2] | |||
H4×A3×A1 | [5,3,3,2,3,3,2] | |||
H4×BC3×A1 | [5,3,3,2,4,3,2] | |||
H4×H3×A1 | [5,3,3,2,5,3,2] | |||
F4×A3×A1 | [3,4,3,2,3,3,2] | |||
F4×BC3×A1 | [3,4,3,2,4,3,2] | |||
F4×H3×A1 | [3,4,2,3,5,3,2] | |||
D4×A3×A1 | [31,1,1,2,3,3,2] | |||
D4×BC3×A1 | [31,1,1,2,4,3,2] | |||
D4×H3×A1 | [31,1,1,2,5,3,2] | |||
A4×I2(p)×I2(q) | [3,3,3,2,p,2,q] | triaprism | ||
BC4×I2(p)×I2(q) | [4,3,3,2,p,2,q] | |||
F4×I2(p)×I2(q) | [3,4,3,2,p,2,q] | |||
H4×I2(p)×I2(q) | [5,3,3,2,p,2,q] | |||
D4×I2(p)×I2(q) | [31,1,1,2,p,2,q] | |||
A4×I2(p)×A12 | [3,3,3,2,p,2,2] | |||
BC4×I2(p)×A12 | [4,3,3,2,p,2,2] | |||
F4×I2(p)×A12 | [3,4,3,2,p,2,2] | |||
H4×I2(p)×A12 | [5,3,3,2,p,2,2] | |||
D4×I2(p)×A12 | [31,1,1,2,p,2,2] | |||
A4×A14 | [3,3,3,2,2,2,2] | |||
BC4×A14 | [4,3,3,2,2,2,2] | |||
F4×A14 | [3,4,3,2,2,2,2] | |||
H4×A14 | [5,3,3,2,2,2,2] | |||
D4×A14 | [31,1,1,2,2,2,2] | |||
A3×A3×I2(p) | [3,3,2,3,3,2,p] | |||
BC3×A3×I2(p) | [4,3,2,3,3,2,p] | |||
H3×A3×I2(p) | [5,3,2,3,3,2,p] | |||
BC3×BC3×I2(p) | [4,3,2,4,3,2,p] | |||
H3×BC3×I2(p) | [5,3,2,4,3,2,p] | |||
H3×H3×I2(p) | [5,3,2,5,3,2,p] | |||
A3×A3×A12 | [3,3,2,3,3,2,2] | |||
BC3×A3×A12 | [4,3,2,3,3,2,2] | |||
H3×A3×A12 | [5,3,2,3,3,2,2] | |||
BC3×BC3×A12 | [4,3,2,4,3,2,2] | |||
H3×BC3×A12 | [5,3,2,4,3,2,2] | |||
H3×H3×A12 | [5,3,2,5,3,2,2] | |||
A3×I2(p)×I2(q)×A1 | [3,3,2,p,2,q,2] | |||
BC3×I2(p)×I2(q)×A1 | [4,3,2,p,2,q,2] | |||
H3×I2(p)×I2(q)×A1 | [5,3,2,p,2,q,2] | |||
A3×I2(p)×A13 | [3,3,2,p,2,2,2] | |||
BC3×I2(p)×A13 | [4,3,2,p,2,2,2] | |||
H3×I2(p)×A13 | [5,3,2,p,2,2,2] | |||
A3×A15 | [3,3,2,2,2,2,2] | |||
BC3×A15 | [4,3,2,2,2,2,2] | |||
H3×A15 | [5,3,2,2,2,2,2] | |||
I2(p)×I2(q)×I2(r)×I2(s) | [p,2,q,2,r,2,s] | 16pqrs | ||
I2(p)×I2(q)×I2(r)×A12 | [p,2,q,2,r,2,2] | 32pqr | ||
I2(p)×I2(q)×A14 | [p,2,q,2,2,2,2] | 64pq | ||
I2(p)×A16 | [p,2,2,2,2,2,2] | 128p | ||
A18 | [2,2,2,2,2,2,2] | 256 |
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient space which takes the object to itself, and which preserves all the relevant structure of the object. A frequent notation for the symmetry group of an object X is G = Sym(X).
In geometry, an improper rotation is an isometry in Euclidean space that is a combination of a rotation about an axis and a reflection in a plane perpendicular to that axis. Reflection and inversion are each special case of improper rotation. Any improper rotation is an affine transformation and, in cases that keep the coordinate origin fixed, a linear transformation. It is used as a symmetry operation in the context of geometric symmetry, molecular symmetry and crystallography, where an object that is unchanged by a combination of rotation and reflection is said to have improper rotation symmetry.
In mathematics, a frieze or frieze pattern is a two-dimensional design that repeats in one direction. The term is derived from architecture and decorative arts, where such repeating patterns are often used. Frieze patterns can be classified into seven types according to their symmetries. The set of symmetries of a frieze pattern is called a frieze group.
A wallpaper is a mathematical object covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. For each wallpaper there corresponds a group of congruent transformations, with function composition as the group operation. Thus, a wallpaper group is a mathematical classification of a two‑dimensional repetitive pattern, based on the symmetries in the pattern. Such patterns occur frequently in architecture and decorative art, especially in textiles, tessellations, tiles and physical wallpaper.
In mathematics, physics and chemistry, a space group is the symmetry group of a repeating pattern in space, usually in three dimensions. The elements of a space group are the rigid transformations of the pattern that leave it unchanged. In three dimensions, space groups are classified into 219 distinct types, or 230 types if chiral copies are considered distinct. Space groups are discrete cocompact groups of isometries of an oriented Euclidean space in any number of dimensions. In dimensions other than 3, they are sometimes called Bieberbach groups.
In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space ; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). The group depends only on the dimension n of the space, and is commonly denoted E(n) or ISO(n).
The Schoenfliesnotation, named after the German mathematician Arthur Moritz Schoenflies, is a notation primarily used to specify point groups in three dimensions. Because a point group alone is completely adequate to describe the symmetry of a molecule, the notation is often sufficient and commonly used for spectroscopy. However, in crystallography, there is additional translational symmetry, and point groups are not enough to describe the full symmetry of crystals, so the full space group is usually used instead. The naming of full space groups usually follows another common convention, the Hermann–Mauguin notation, also known as the international notation.
In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of all isometries that leave the origin fixed, or correspondingly, the group of orthogonal matrices. O(3) itself is a subgroup of the Euclidean group E(3) of all isometries.
A regular octahedron has 24 rotational symmetries, and 48 symmetries altogether. These include transformations that combine a reflection and a rotation. A cube has the same set of symmetries, since it is the polyhedron that is dual to an octahedron.
A regular tetrahedron has 12 rotational symmetries, and a symmetry order of 24 including transformations that combine a reflection and a rotation.
In geometry, orbifold notation is a system, invented by the mathematician William Thurston and promoted by John Conway, for representing types of symmetry groups in two-dimensional spaces of constant curvature. The advantage of the notation is that it describes these groups in a way which indicates many of the groups' properties: in particular, it follows William Thurston in describing the orbifold obtained by taking the quotient of Euclidean space by the group under consideration.
In geometry, dihedral symmetry in three dimensions is one of three infinite sequences of point groups in three dimensions which have a symmetry group that as an abstract group is a dihedral group Dihn.
In three dimensional geometry, there are four infinite series of point groups in three dimensions (n≥1) with n-fold rotational or reflectional symmetry about one axis (by an angle of 360°/n) that does not change the object.
In geometry, a two-dimensional point group or rosette group is a group of geometric symmetries (isometries) that keep at least one point fixed in a plane. Every such group is a subgroup of the orthogonal group O(2), including O(2) itself. Its elements are rotations and reflections, and every such group containing only rotations is a subgroup of the special orthogonal group SO(2), including SO(2) itself. That group is isomorphic to R/Z and the first unitary group, U(1), a group also known as the circle group.
In geometry, a Coxeter–Dynkin diagram is a graph with numerically labeled edges representing a Coxeter group or sometimes a uniform polytope or uniform tiling constructed from the group.
In geometry, a point reflection is a transformation of affine space in which every point is reflected across a specific fixed point. When dealing with crystal structures and in the physical sciences the terms inversion symmetry, inversion center or centrosymmetric are more commonly used.
In geometry, Coxeter notation is a system of classifying symmetry groups, describing the angles between fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson.
In geometry, a point group in four dimensions is an isometry group in four dimensions that leaves the origin fixed, or correspondingly, an isometry group of a 3-sphere.
In geometry, an object has symmetry if there is an operation or transformation that maps the figure/object onto itself. Thus, a symmetry can be thought of as an immunity to change. For instance, a circle rotated about its center will have the same shape and size as the original circle, as all points before and after the transform would be indistinguishable. A circle is thus said to be symmetric under rotation or to have rotational symmetry. If the isometry is the reflection of a plane figure about a line, then the figure is said to have reflectional symmetry or line symmetry; it is also possible for a figure/object to have more than one line of symmetry.