In three dimensional

geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...

, there are four infinite series of

point groups in three dimensions 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 t ...

(''n''≥1) with ''n''-fold rotational or reflectional symmetry about one axis (by an angle of 360°/''n'') that does not change the object. They are the finite

symmetry group 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 amb ...

s on a cone. For ''n'' = ∞ they correspond to four frieze groups. Schönflies notation is used. The terms horizontal (h) and vertical (v) imply the existence and direction of reflections with respect to a vertical axis of symmetry. Also shown are Coxeter notation in brackets, and, in parentheses,

orbifold notation In geometry, orbifold notation (or orbifold signature) 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 advant ...

Types

;Chiral: *''C_n'', sup>+, (''nn'') of order ''n'' - ''n''-fold rotational symmetry - acro-n-gonal group (abstract group ''Z_n''); for ''n''=1: no symmetry ( trivial group) ;Achiral: S shaped packing

*''C_nh'', ⁺,2 (''n''*) of order 2''n'' - prismatic symmetry or ortho-n-gonal group (abstract group ''Z_n'' × ''Dih₁''); for ''n''=1 this is denoted by ''C_s'' (1*) and called

reflection symmetry In mathematics, reflection symmetry, line symmetry, mirror symmetry, or mirror-image symmetry is symmetry with respect to a reflection. That is, a figure which does not change upon undergoing a reflection has reflectional symmetry. In 2D the ...

, also bilateral symmetry. It has

with respect to a plane perpendicular to the ''n''-fold rotation axis. *''C_nv'', (*''nn'') of order 2''n'' - pyramidal symmetry or full acro-n-gonal group (abstract group ''Dih_n''); in biology ''C_2v'' is called biradial symmetry. For ''n''=1 we have again ''C_s'' (1*). It has vertical mirror planes. This is the symmetry group for a regular ''n''-sided

pyramid A pyramid (from el, πυραμίς ') is a structure whose outer surfaces are triangular and converge to a single step at the top, making the shape roughly a pyramid in the geometric sense. The base of a pyramid can be trilateral, quadrila ...

. *''S_2n'', ⁺,2n⁺ (''n''×) of order 2''n'' - gyro-n-gonal group (not to be confused with

symmetric group In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group ...

s, for which the same notation is used; abstract group ''Z_2n''); It has a 2''n''-fold rotoreflection axis, also called 2''n''-fold improper rotation axis, i.e., the symmetry group contains a combination of a reflection in the horizontal plane and a rotation by an angle 180°/n. Thus, like ''D_nd'', it contains a number of improper rotations without containing the corresponding rotations. ** for ''n''=1 we have ''S₂'' (1×), also denoted by ''C_i''; this is inversion symmetry. ''C_2h'', ,2⁺(2*) and ''C_2v'', (*22) of order 4 are two of the three 3D symmetry group types with the

Klein four-group In mathematics, the Klein four-group is a group with four elements, in which each element is self-inverse (composing it with itself produces the identity) and in which composing any two of the three non-identity elements produces the third on ...

as abstract group. ''C_2v'' applies e.g. for a rectangular tile with its top side different from its bottom side.

Frieze groups

In the limit these four groups represent Euclidean plane frieze groups as C_∞, C_∞h, C_∞v, and S_∞. Rotations become translations in the limit. Portions of the infinite plane can also be cut and connected into an infinite cylinder.

Examples

References

* * ''On Quaternions and Octonions'', 2003, John Horton Conway and Derek A. Smith * ''The Symmetries of Things'' 2008, John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, * Kaleidoscopes: Selected Writings of

H.S.M. Coxeter Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington t ...

, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995,

* Norman Johnson (mathematician), N.W. Johnson: ''Geometries and Transformations'', (2018) Chapter 11: ''Finite symmetry groups'', 11.5 Spherical Coxeter groups {{DEFAULTSORT:Cyclic Symmetries Symmetry

Types

Frieze groups

Examples

See also

References