HOME

TheInfoList



OR:

In
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 ...
, 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 A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the c ...
. 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. Symmetry groups of geometric objects are isometry groups. Accordingly, analysis of isometry groups is analysis of possible symmetries. All isometries of a bounded (finite) 3D object have one or more common fixed points. We follow the usual convention by choosing the
origin Origin(s) or The Origin may refer to: Arts, entertainment, and media Comics and manga * Origin (comics), ''Origin'' (comics), a Wolverine comic book mini-series published by Marvel Comics in 2002 * The Origin (Buffy comic), ''The Origin'' (Bu ...
as one of them. The symmetry group of an object is sometimes also called its full symmetry group, as opposed to its proper symmetry group, the intersection of its full symmetry group with E+(3), which consists of all ''direct isometries'', i.e., isometries preserving orientation. For a bounded object, the proper symmetry group is called its rotation group. It is the intersection of its full symmetry group with SO(3), the full rotation group of the 3D space. The rotation group of a bounded object is equal to its full symmetry group
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bic ...
the object is chiral. The point groups that are generated purely by a finite set of reflection mirror planes passing through the same point are the
finite Coxeter group In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
s, represented by Coxeter notation. The point groups in three dimensions are heavily used in
chemistry Chemistry is the scientific study of the properties and behavior of matter. It is a natural science that covers the elements that make up matter to the compounds made of atoms, molecules and ions: their composition, structure, proper ...
, especially to describe the symmetries of a
molecule A molecule is a group of two or more atoms held together by attractive forces known as chemical bonds; depending on context, the term may or may not include ions which satisfy this criterion. In quantum physics, organic chemistry, and b ...
and of
molecular orbital In chemistry, a molecular orbital is a mathematical function describing the location and wave-like behavior of an electron in a molecule. This function can be used to calculate chemical and physical properties such as the probability of find ...
s forming
covalent bond A covalent bond is a chemical bond that involves the sharing of electrons to form electron pairs between atoms. These electron pairs are known as shared pairs or bonding pairs. The stable balance of attractive and repulsive forces between ato ...
s, and in this context they are also called molecular point groups.


3D isometries that leave origin fixed

The symmetry group operations ( symmetry operations) are the isometries of
three-dimensional space Three-dimensional space (also: 3D space, 3-space or, rarely, tri-dimensional space) is a geometric setting in which three values (called ''parameters'') are required to determine the position of an element (i.e., point). This is the informa ...
R3 that leave the origin fixed, forming the group O(3). These operations can be categorized as: *The direct (orientation-preserving) symmetry operations, which form the group SO(3): **The identity operation, denoted by ''E'' or the identity matrix ''I''. **Rotation about an axis through the origin by an angle θ. Rotation by θ = 360°/''n'' for any positive integer ''n'' is denoted ''C''''n'' (from the Schoenflies notation for the group ''C''''n'' that it generates). The identity operation, also written ''C''1, is a special case of the rotation operator. *The indirect (orientation-reversing) operations: **Inversion, denoted i or ''C''i. The matrix notation is ''−I''. **Reflection in a plane through the origin, denoted σ. ** Improper rotation, also called rotation-reflection: rotation about an axis by an angle θ, combined with reflection in the plane through the origin perpendicular to the axis. Rotation-reflection by θ = 360°/''n'' for any positive integer ''n'' is denoted ''S''''n'' (from the Schoenflies notation for the group ''S''''n'' that it generates). Inversion is a special case of rotation-reflection (i = ''S''2), as is reflection (σ = ''S''1), so these operations are often considered to be improper rotations. A circumflex is sometimes added to the symbol to indicate an operator, as in ''Ĉ''''n'' and ''Ŝ''''n''.


Conjugacy

When comparing the symmetry type of two objects, the origin is chosen for each separately, i.e. they need not have the same center. Moreover, two objects are considered to be of the same symmetry type if their symmetry groups are conjugate subgroups of O(3) (two subgroups ''H''1, ''H''2 of a group ''G'' are ''conjugate'', if there exists ''g'' ∈ ''G'' such that ''H''1 = ''g''−1''H''2''g'' ). For example, two 3D objects have the same symmetry type: *if both have mirror symmetry, but with respect to a different mirror plane *if both have 3-fold rotational symmetry, but with respect to a different axis. In the case of multiple mirror planes and/or axes of rotation, two symmetry groups are of the same symmetry type if and only if there is a rotation mapping the whole structure of the first symmetry group to that of the second. (In fact there will be more than one such rotation, but not an infinite number as when there is only one mirror or axis.) The conjugacy definition would also allow a mirror image of the structure, but this is not needed, the structure itself is achiral. For example, if a symmetry group contains a 3-fold axis of rotation, it contains rotations in two opposite directions. (The structure ''is'' chiral for 11 pairs of '' space groups'' with a screw axis.)


Infinite isometry groups

There are many infinite isometry groups; for example, the " cyclic group" (meaning that it is generated by one element – not to be confused with a torsion group) generated by a rotation by an irrational number of turns about an axis. We may create non-cyclical
abelian group In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is comm ...
s by adding more rotations around the same axis. The set of points on a circle at rational numbers of degrees around the circle illustrates a point group requiring an infinite number of generators. There are also non-abelian groups generated by rotations around different axes. These are usually (generically) free groups. They will be infinite unless the rotations are specially chosen. All the infinite groups mentioned so far are not
closed Closed may refer to: Mathematics * Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set * Closed set, a set which contains all its limit points * Closed interval, ...
as topological subgroups of O(3). We now discuss topologically closed subgroups of O(3). The whole O(3) is the symmetry group of spherical symmetry; SO(3) is the corresponding rotation group. The other infinite isometry groups consist of all rotations about an axis through the origin, and those with additionally reflection in the planes through the axis, and/or reflection in the plane through the origin, perpendicular to the axis. Those with reflection in the planes through the axis, with or without reflection in the plane through the origin perpendicular to the axis, are the symmetry groups for the two types of
cylindrical symmetry In geometry, circular symmetry is a type of continuous symmetry for a planar object that can be rotated by any arbitrary angle and map onto itself. Rotational circular symmetry is isomorphic with the circle group in the complex plane, or the ...
. Any 3D shape (subset of R3) having infinite rotational symmetry must also have mirror symmetry for every plane through the axis. Physical objects having infinite rotational symmetry will also have the symmetry of mirror planes through the axis, but vector fields may not, for instance the velocity vectors of a cone rotating about its axis, or the magnetic field surrounding a wire. There are seven continuous groups which are all in a sense limits of the finite isometry groups. These so called ''limiting point groups'' or ''Curie limiting groups'' are named after
Pierre Curie Pierre Curie ( , ; 15 May 1859 – 19 April 1906) was a French physicist, a pioneer in crystallography, magnetism, piezoelectricity, and radioactivity. In 1903, he received the Nobel Prize in Physics with his wife, Marie Curie, and Henri Becq ...
who was the first to investigate them. The seven infinite series of axial groups lead to five limiting groups (two of them are duplicates), and the seven remaining point groups produce two more continuous groups. In international notation, the list is ∞, ∞2, ∞/m, ∞mm, ∞/mm, ∞∞, and ∞∞m. Not all of these are possible for physical objects, for example objects with ∞∞ symmetry also have ∞∞m symmetry. See below for other designations and more details.


Finite isometry groups

Symmetries in 3D that leave the origin fixed are fully characterized by symmetries on a sphere centered at the origin. For finite 3D point groups, see also spherical symmetry groups. Up to conjugacy, the set of finite 3D point groups consists of: *, which have at most one more-than-2-fold rotation axis; they are the finite symmetry groups on an infinite
cylinder A cylinder (from ) has traditionally been a three-dimensional solid, one of the most basic of curvilinear geometric shapes. In elementary geometry, it is considered a prism with a circle as its base. A cylinder may also be defined as an ...
, or equivalently, those on a finite cylinder. They are sometimes called the axial or prismatic point groups. *, which have multiple 3-or-more-fold rotation axes; these groups can also be characterized as point groups having multiple 3-fold rotation axes. The possible combinations are: **Four 3-fold axes (the three tetrahedral symmetries ''T'', ''T''h, and ''T''d) **Four 3-fold axes and three 4-fold axes ( octahedral symmetries ''O'' and ''O''h) **Ten 3-fold axes and six 5-fold axes ( icosahedral symmetries ''I'' and ''I''h) According to the crystallographic restriction theorem, only a limited number of point groups are compatible with discrete translational symmetry: 27 from the 7 infinite series, and 5 of the 7 others. Together, these make up the 32 so-called crystallographic point groups.


The seven infinite series of axial groups

The infinite series of axial or prismatic groups have an index ''n'', which can be any integer; in each series, the ''n''th symmetry group contains ''n''-fold
rotational symmetry Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which ...
about an axis, i.e. symmetry with respect to a rotation by an angle 360°/''n''. ''n''=1 covers the cases of no rotational symmetry at all. There are four series with no other axes of rotational symmetry (see cyclic symmetries) and three with additional axes of 2-fold symmetry (see dihedral symmetry). They can be understood as
point groups in two dimensions 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 ele ...
extended with an axial coordinate and reflections in it. They are related to the frieze groups; they can be interpreted as frieze-group patterns repeated ''n'' times around a cylinder. The following table lists several notations for point groups: Hermann–Mauguin notation (used in crystallography), Schönflies notation (used to describe molecular symmetry), orbifold notation, and Coxeter notation. The latter three are not only conveniently related to its properties, but also to the order of the group. The orbifold notation is a unified notation, also applicable for wallpaper groups and frieze groups. The crystallographic groups have ''n'' restricted to 1, 2, 3, 4, and 6; removing crystallographic restriction allows any positive integer. The series are: For odd ''n'' we have Z2''n'' = Z''n'' × Z2 and Dih2''n'' = Dih''n'' × Z2. The groups ''C''''n'' (including the trivial ''C''1) and ''D''''n'' are chiral, the others are achiral. The terms horizontal (h) and vertical (v), and the corresponding subscripts, refer to the additional mirror plane, that can be parallel to the rotation axis (vertical) or perpendicular to the rotation axis (horizontal). The simplest nontrivial axial groups are equivalent to the abstract group Z2: *''C''i (equivalent to ''S''2) –
inversion Inversion or inversions may refer to: Arts * , a French gay magazine (1924/1925) * ''Inversion'' (artwork), a 2005 temporary sculpture in Houston, Texas * Inversion (music), a term with various meanings in music theory and musical set theory * ...
symmetry *''C''2 – 2-fold
rotational symmetry Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which ...
*''C''s (equivalent to ''C''1hand ''C''1v) – reflection symmetry, also called bilateral symmetry. The second of these is the first of the uniaxial groups ( cyclic groups) ''C''''n'' of order ''n'' (also applicable in 2D), which are generated by a single rotation of angle 360°/''n''. In addition to this, one may add a mirror plane perpendicular to the axis, giving the group ''C''''n''h of order 2''n'', or a set of ''n'' mirror planes containing the axis, giving the group ''C''''n''v, also of order 2''n''. The latter 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, quadrilate ...
. A typical object with symmetry group ''C''''n'' or ''D''''n'' is a propeller. If both horizontal and vertical reflection planes are added, their intersections give ''n'' axes of rotation through 180°, so the group is no longer uniaxial. This new group of order 4''n'' is called ''D''''n''h. Its subgroup of rotations is the dihedral group ''D''''n'' of order 2''n'', which still has the 2-fold rotation axes perpendicular to the primary rotation axis, but no mirror planes. Note: in 2D, ''D''''n'' includes reflections, which can also be viewed as flipping over flat objects without distinction of frontside and backside; but in 3D, the two operations are distinguished: ''D''''n'' contains "flipping over", not reflections. There is one more group in this family, called ''D''''n''d (or ''D''''n''v), which has vertical mirror planes containing the main rotation axis, but instead of having a horizontal mirror plane, it has an isometry that combines a reflection in the horizontal plane and a rotation by an angle 180°/''n''. ''D''''n''h is the symmetry group for a "regular" ''n''-gonal prism and also for a "regular" ''n''-gonal
bipyramid A (symmetric) -gonal bipyramid or dipyramid is a polyhedron formed by joining an -gonal pyramid and its mirror image base-to-base. An -gonal bipyramid has triangle faces, edges, and vertices. The "-gonal" in the name of a bipyramid does ...
. ''D''''n''d is the symmetry group for a "regular" ''n''-gonal antiprism, and also for a "regular" ''n''-gonal
trapezohedron In geometry, an trapezohedron, -trapezohedron, -antidipyramid, -antibipyramid, or -deltohedron is the dual polyhedron of an antiprism. The faces of an are congruent and symmetrically staggered; they are called ''twisted kites''. With a hi ...
. ''D''''n'' is the symmetry group of a partially rotated ("twisted") prism. The groups ''D''2 and ''D''2h are noteworthy in that there is no special rotation axis. Rather, there are three perpendicular 2-fold axes. ''D''2 is a subgroup of all the polyhedral symmetries (see below), and ''D''2h is a subgroup of the polyhedral groups ''T''h and ''O''h. ''D''2 occurs in molecules such as
twistane Twistane (IUPAC name: tricyclo .4.0.03,8ecane) is an organic compound with the formula C10 H16. It is a cycloalkane and an isomer of the simplest diamondoid, adamantane, and like adamantane, is not very volatile. Twistane was named for the way i ...
and in homotetramers such as Concanavalin A. The elements of ''D''2 are in 1-to-2 correspondence with the rotations given by the unit Lipschitz quaternions. The group ''S''''n'' is generated by the combination of a reflection in the horizontal plane and a rotation by an angle 360°/n. For ''n'' odd this is equal to the group generated by the two separately, ''C''''n''h of order 2''n'', and therefore the notation ''S''''n'' is not needed; however, for ''n'' even it is distinct, and of order ''n''. Like ''D''''n''d it contains a number of improper rotations without containing the corresponding rotations. All symmetry groups in the 7 infinite series are different, except for the following four pairs of mutually equal ones: *''C''1h and ''C''1v: group of order 2 with a single reflection (''C''s ) *''D''1 and ''C''2: group of order 2 with a single 180° rotation *''D''1h and ''C''2v: group of order 4 with a reflection in a plane and a 180° rotation through a line in that plane *''D''1d and ''C''2h: group of order 4 with a reflection in a plane and a 180° rotation through a line perpendicular to that plane. ''S''2 is the group of order 2 with a single inversion (''C''i ). "Equal" is meant here as the same up to conjugacy in space. This is stronger than "up to algebraic isomorphism". For example, there are three different groups of order two in the first sense, but there is only one in the second sense. Similarly, e.g. ''S''2''n'' is algebraically isomorphic with Z2''n''''. The groups may be constructed as follows: * ''C''''n''. Generated by an element also called ''C''''n'', which corresponds to a rotation by angle 2π/''n'' around the axis. Its elements are E (the identity), ''C''''n'', ''C''''n''2, ..., ''C''''n''''n''−1, corresponding to rotation angles 0, 2π/''n'', 4π/''n'', ..., 2(''n'' − 1)π/''n''. * ''S''2''n''. Generated by element ''C''2''n''σh, where σh is a reflection in the direction of the axis. Its elements are the elements of ''C''''n'' with ''C''2''n''σh, ''C''2''n''3σh, ..., ''C''2''n''2''n''−1σh added. * ''C''''n''h. Generated by element ''C''''n'' and reflection σh. Its elements are the elements of group ''C''''n'', with elements σh, ''C''''n''σh, ''C''''n''2σh, ..., ''C''''n''''n''−1σh added. * ''C''''n''v. Generated by element ''C''''n'' and reflection σv in a direction in the plane perpendicular to the axis. Its elements are the elements of group ''C''''n'', with elements σv, ''C''''n''σv, ''C''''n''2σv, ..., ''C''''n''''n''−1σv added. * ''D''''n''. Generated by element ''C''''n'' and 180° rotation U = σhσv around a direction in the plane perpendicular to the axis. Its elements are the elements of group ''C''''n'', with elements U, ''C''''n''U, ''C''''n''2U, ..., ''C''''n''''n'' − 1U added. * ''D''''n''d. Generated by elements ''C''2''n''σh and σv. Its elements are the elements of group ''C''''n'' and the additional elements of ''S''2''n'' and ''C''''n''v, with elements ''C''2''n''σhσv, ''C''2''n''3σhσv, ..., ''C''2''n''2''n'' − 1σhσv added. * ''D''''n''h. Generated by elements ''C''''n'', σh, and σv. Its elements are the elements of group ''C''''n'' and the additional elements of ''C''''n''h, ''C''''n''v, and ''D''''n''. Groups with continuous axial rotations are designated by putting ∞ in place of ''n''. Note however that ''C'' here is not the same as the infinite cyclic group (also sometimes designated ''C''), which is isomorphic to the integers. The following table gives the five continuous axial rotation groups. They are limits of the finite groups only in the sense that they arise when the main rotation is replaced by rotation by an arbitrary angle, so not necessarily a rational number of degrees as with the finite groups. Physical objects can only have ''C'' or ''D'' symmetry, but vector fields can have the others.


The seven remaining point groups

The remaining point groups are said to be of very high or polyhedral symmetry because they have more than one rotation axis of order greater than 2. Here, ''C''''n'' denotes an axis of rotation through 360°/n and ''S''''n'' denotes an axis of improper rotation through the same. On successive lines are the orbifold notation, the Coxeter notation and Coxeter diagram, and the Hermann–Mauguin notation (full, and abbreviated if different) and the order (number of elements) of the symmetry group. The groups are: The continuous groups related to these groups are: * ∞∞, K, or SO(3), all possible rotations. * ∞∞m, Kh, or
O(3) In mathematics, the orthogonal group in dimension , denoted , is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations. ...
, all possible rotations and reflections. As noted above for the infinite isometry groups, any physical object having K symmetry will also have Kh symmetry.


Reflective Coxeter groups

The reflective point groups in three dimensions are also called Coxeter groups and can be given by a Coxeter-Dynkin diagram and represent a set of mirrors that intersect at one central point. Coxeter notation offers a bracketed notation equivalent to the Coxeter diagram, with markup symbols for rotational and other subsymmetry point groups. In Schoenflies notation, the reflective point groups in 3D are ''C''''n''v, ''D''''n''h, and the full polyhedral groups ''T'', ''O'', and ''I''. The mirror planes bound a set of
spherical triangle Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, geodesics are gre ...
domains on the surface of a sphere. A rank ''n'' Coxeter group has ''n'' mirror planes. Coxeter groups having fewer than 3 generators have degenerate spherical triangle domains, as lunes or a
hemisphere Hemisphere refers to: * A half of a sphere As half of the Earth * A hemisphere of Earth ** Northern Hemisphere ** Southern Hemisphere ** Eastern Hemisphere ** Western Hemisphere ** Land and water hemispheres * A half of the (geocentric) celes ...
. In Coxeter notation these groups are tetrahedral symmetry ,3 octahedral symmetry ,3 icosahedral symmetry ,3 and dihedral symmetry ,2 The number of mirrors for an irreducible group is ''nh/2'', where ''h'' is the Coxeter group's
Coxeter number In mathematics, the Coxeter number ''h'' is the order of a Coxeter element of an irreducible Coxeter group. It is named after H.S.M. Coxeter. Definitions Note that this article assumes a finite Coxeter group. For infinite Coxeter groups, there ...
, ''n'' is the dimension (3).


Rotation groups

The rotation groups, i.e. the finite subgroups of SO(3), are: the cyclic groups ''C''''n'' (the rotation group of a canonical
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, quadrilate ...
), the dihedral groups ''D''''n'' (the rotation group of a uniform prism, or canonical
bipyramid A (symmetric) -gonal bipyramid or dipyramid is a polyhedron formed by joining an -gonal pyramid and its mirror image base-to-base. An -gonal bipyramid has triangle faces, edges, and vertices. The "-gonal" in the name of a bipyramid does ...
), and the rotation groups ''T'', ''O'' and ''I'' of a regular
tetrahedron In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all ...
, octahedron/ cube and icosahedron/ dodecahedron. In particular, the dihedral groups ''D''3, ''D''4 etc. are the rotation groups of plane regular polygons embedded in three-dimensional space, and such a figure may be considered as a degenerate regular prism. Therefore, it is also called a '' dihedron'' (Greek: solid with two faces), which explains the name ''dihedral group''. *An object having symmetry group ''C''''n'', ''C''''n''h, ''C''''n''v or ''S''2''n'' has rotation group ''C''''n''. *An object having symmetry group ''D''''n'', ''D''''n''h, or ''D''''n''d has rotation group ''D''''n''. *An object having a polyhedral symmetry (''T'', ''T''d, ''T''h, ''O'', ''O''h, ''I'' or ''I''h) has as its rotation group the corresponding one without a subscript: ''T'', ''O'' or ''I''. The rotation group of an object is equal to its full symmetry group if and only if the object is chiral. In other words, the chiral objects are those with their symmetry group in the list of rotation groups. Given in Schönflies notation, Coxeter notation, ( orbifold notation), the rotation subgroups are:


Correspondence between rotation groups and other groups


Groups containing inversion

The rotation group SO(3) is a subgroup of O(3), the full point rotation group of the 3D Euclidean space. Correspondingly, O(3) is the
direct product In mathematics, one can often define a direct product of objects already known, giving a new one. This generalizes the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one t ...
of SO(3) and the
inversion Inversion or inversions may refer to: Arts * , a French gay magazine (1924/1925) * ''Inversion'' (artwork), a 2005 temporary sculpture in Houston, Texas * Inversion (music), a term with various meanings in music theory and musical set theory * ...
group ''C''i (where inversion is denoted by its
matrix Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** '' The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchi ...
−''I''): :O(3) = SO(3) × Thus there is a 1-to-1 correspondence between all direct isometries and all indirect isometries, through inversion. Also there is a 1-to-1 correspondence between all groups ''H'' of direct isometries in SO(3) and all groups ''K'' of isometries in O(3) that contain inversion: :''K'' = ''H'' × :''H'' = ''K'' ∩ SO(3) where the isometry ( ''A'', ''I'' ) is
identified ''Identified'' is the second studio album by Vanessa Hudgens, released on July 1, 2008 in the U.S. June 24, 2008 in Japan, February 13, 2009 in most European countries and February 16, 2009 in the United Kingdom. The album re ...
with ''A''. For finite groups, the correspondence is:


Groups containing indirect isometries but no inversion

If a group of direct isometries ''H'' has a subgroup ''L'' of index 2, then there is a corresponding group that contains indirect isometries but no inversion: :''M'' = ''L'' ∪ ( (''H'' ''L'') × ) For example, ''H'' = ''C''4 corresponds to ''M'' = ''S''4. Thus ''M'' is obtained from ''H'' by inverting the isometries in . This group ''M'' is, when considered as an
abstract group In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as ...
, isomorphic to ''H''. Conversely, for all point groups ''M'' that contain indirect isometries but no inversion we can obtain a rotation group ''H'' by inverting the indirect isometries. For finite groups, the correspondence is:


Normal subgroups

In 2D, the cyclic group of ''k''-fold rotations ''C''''k'' is for every positive integer ''k'' a normal subgroup of O(2) and SO(2). Accordingly, in 3D, for every axis the cyclic group of ''k''-fold rotations about that axis is a normal subgroup of the group of all rotations about that axis. Since any subgroup of index two is normal, the group of rotations (''C''''n'') is normal both in the group (''C''''n''v) obtained by adding to (''C''''n'') reflection planes through its axis and in the group (''C''''n''h) obtained by adding to (''C''''n'') a reflection plane perpendicular to its axis.


Maximal symmetries

There are two discrete point groups with the property that no discrete point group has it as proper subgroup: ''O''h and ''I''h. Their largest common subgroup is ''T''h. The two groups are obtained from it by changing 2-fold rotational symmetry to 4-fold, and adding 5-fold symmetry, respectively. There are two crystallographic point groups with the property that no crystallographic point group has it as proper subgroup: ''O''h and ''D''6h. Their maximal common subgroups, depending on orientation, are ''D''3d and ''D''2h.


The groups arranged by abstract group type

Below the groups explained above are arranged by abstract group type. The smallest abstract groups that are ''not'' any symmetry group in 3D, are the quaternion group (of order 8), Z3 × Z3 (of order 9), the dicyclic group Dic3 (of order 12), and 10 of the 14 groups of order 16. The column "# of order 2 elements" in the following tables shows the total number of isometry subgroups of types ''C''2, ''C''i, ''C''s. This total number is one of the characteristics helping to distinguish the various abstract group types, while their isometry type helps to distinguish the various isometry groups of the same abstract group. Within the possibilities of isometry groups in 3D, there are infinitely many abstract group types with 0, 1 and 3 elements of order 2, there are two with 4''n'' + 1 elements of order 2, and there are three with 4''n'' + 3 elements of order 2 (for each ''n'' ≥ 8 ). There is never a positive even number of elements of order 2.


Symmetry groups in 3D that are cyclic as abstract group

The symmetry group for ''n''-fold rotational
symmetry Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...
is ''C''''n''; its abstract group type is cyclic group Z''n'', which is also denoted by ''C''''n''. However, there are two more infinite series of symmetry groups with this abstract group type: *For even order 2''n'' there is the group ''S''2''n'' (Schoenflies notation) generated by a rotation by an angle 180°/n about an axis, combined with a reflection in the plane perpendicular to the axis. For ''S''2 the notation ''C''i is used; it is generated by inversion. *For any order 2''n'' where ''n'' is odd, we have ''C''''n''h; it has an ''n''-fold rotation axis, and a perpendicular plane of reflection. It is generated by a rotation by an angle 360°/''n'' about the axis, combined with the reflection. For ''C''1h the notation ''C''s is used; it is generated by reflection in a plane. Thus we have, with bolding of the 10 cyclic crystallographic point groups, for which the crystallographic restriction applies: etc.


Symmetry groups in 3D that are dihedral as abstract group

In 2D dihedral group ''D''''n'' includes reflections, which can also be viewed as flipping over flat objects without distinction of front- and backside. However, in 3D the two operations are distinguished: the symmetry group denoted by ''D''''n'' contains ''n'' 2-fold axes perpendicular to the ''n''-fold axis, not reflections. ''D''''n'' is the rotation group of the ''n''-sided prism with regular base, and ''n''-sided
bipyramid A (symmetric) -gonal bipyramid or dipyramid is a polyhedron formed by joining an -gonal pyramid and its mirror image base-to-base. An -gonal bipyramid has triangle faces, edges, and vertices. The "-gonal" in the name of a bipyramid does ...
with regular base, and also of a regular, ''n''-sided antiprism and of a regular, ''n''-sided
trapezohedron In geometry, an trapezohedron, -trapezohedron, -antidipyramid, -antibipyramid, or -deltohedron is the dual polyhedron of an antiprism. The faces of an are congruent and symmetrically staggered; they are called ''twisted kites''. With a hi ...
. The group is also the full symmetry group of such objects after making them chiral by e.g. an identical chiral marking on every face, or some modification in the shape. The abstract group type is dihedral group Dih''n'', which is also denoted by ''D''''n''. However, there are three more infinite series of symmetry groups with this abstract group type: *''C''''n''v of order 2''n'', the symmetry group of 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, quadrilate ...
*''D''''n''d of order 4''n'', the symmetry group of a regular ''n''-sided antiprism *''D''''n''h of order 4''n'' for odd ''n''. For ''n'' = 1 we get ''D''2, already covered above, so ''n'' ≥ 3. Note the following property: :Dih4''n''+2 \cong Dih2''n''+1 × Z2 Thus we have, with bolding of the 12 crystallographic point groups, and writing ''D''1d as the equivalent ''C''2h: etc.


Other

''C''2''n'',h of order 4''n'' is of abstract group type Z2''n'' × Z2. For ''n'' = 1 we get Dih2, already covered above, so ''n'' ≥ 2. Thus we have, with bolding of the 2 cyclic crystallographic point groups: etc. ''D''''n''h of order 4''n'' is of abstract group type Dihn × Z2. For odd ''n'' this is already covered above, so we have here ''D''2''n''h of order 8''n'', which is of abstract group type Dih2''n'' × Z2 (''n''≥1). Thus we have, with bolding of the 3 dihedral crystallographic point groups: etc. The remaining seven are, with bolding of the 5 crystallographic point groups (see also above):


Fundamental domain

The fundamental domain of a point group is a conic solid. An object with a given symmetry in a given orientation is characterized by the fundamental domain. If the object is a surface it is characterized by a surface in the fundamental domain continuing to its radial bordal faces or surface. If the copies of the surface do not fit, radial faces or surfaces can be added. They fit anyway if the fundamental domain is bounded by reflection planes. For a polyhedron this surface in the fundamental domain can be part of an arbitrary plane. For example, in the disdyakis triacontahedron one full face is a fundamental domain of icosahedral symmetry. Adjusting the orientation of the plane gives various possibilities of combining two or more adjacent faces to one, giving various other polyhedra with the same symmetry. The polyhedron is convex if the surface fits to its copies and the radial line perpendicular to the plane is in the fundamental domain. Also the surface in the fundamental domain may be composed of multiple faces.


Binary polyhedral groups

The map Spin(3) → SO(3) is the double cover of the rotation group by the
spin group In mathematics the spin group Spin(''n'') page 15 is the double cover of the special orthogonal group , such that there exists a short exact sequence of Lie groups (when ) :1 \to \mathrm_2 \to \operatorname(n) \to \operatorname(n) \to 1. As a ...
in 3 dimensions. (This is the only connected cover of SO(3), since Spin(3) is simply connected.) By the lattice theorem, there is a Galois connection between subgroups of Spin(3) and subgroups of SO(3) (rotational point groups): the image of a subgroup of Spin(3) is a rotational point group, and the preimage of a point group is a subgroup of Spin(3). (Note that Spin(3) has alternative descriptions as the special unitary group SU(2) and as the group of unit quaternions. Topologically, this Lie group is the 3-dimensional sphere S3.) The preimage of a finite point group is called a binary polyhedral group, represented as ⟨l,n,m⟩, and is called by the same name as its point group, with the prefix binary, with double the order of the related polyhedral group (l,m,n). For instance, the preimage of the icosahedral group (2,3,5) is the binary icosahedral group, ⟨2,3,5⟩. The binary polyhedral groups are: * A_n: binary cyclic group of an (''n'' + 1)-gon, order 2''n'' * D_n: binary dihedral group of an ''n''-gon, ⟨2,2,''n''⟩, order 4''n'' * E_6: binary tetrahedral group, ⟨2,3,3⟩, order 24 * E_7: binary octahedral group, ⟨2,3,4⟩, order 48 * E_8: binary icosahedral group, ⟨2,3,5⟩, order 120 These are classified by the
ADE classification In mathematics, the ADE classification (originally ''A-D-E'' classifications) is a situation where certain kinds of objects are in correspondence with simply laced Dynkin diagrams. The question of giving a common origin to these classifications, r ...
, and the quotient of C2 by the action of a binary polyhedral group is a
Du Val singularity In algebraic geometry, a Du Val singularity, also called simple surface singularity, Kleinian singularity, or rational double point, is an isolated singularity of a complex surface which is modeled on a double branched cover of the plane, with mi ...
. For point groups that reverse orientation, the situation is more complicated, as there are two pin groups, so there are two possible binary groups corresponding to a given point group. Note that this is a covering of ''groups,'' not a covering of ''spaces'' – the sphere is simply connected, and thus has no covering spaces. There is thus no notion of a "binary polyhedron" that covers a 3-dimensional polyhedron. Binary polyhedral groups are discrete subgroups of a Spin group, and under a representation of the spin group act on a vector space, and may stabilize a polyhedron in this representation – under the map Spin(3) → SO(3) they act on the same polyhedron that the underlying (non-binary) group acts on, while under spin representations or other representations they may stabilize other polyhedra. This is in contrast to projective polyhedra – the sphere does cover projective space (and also lens spaces), and thus a tessellation of projective space or lens space yields a distinct notion of polyhedron.


See also

* List of spherical symmetry groups * List of character tables for chemically important 3D point groups *
Point groups in two dimensions 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 ele ...
*
Point groups in four dimensions 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. History on four-dimensional groups * 1889 Édouard Goursat, ''Sur les su ...
*
Symmetry Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...
* Euclidean plane isometry * Group action * Point group * Crystal system * Space group * List of small groups * Molecular symmetry


Footnotes


References

* . * 6.5 The binary polyhedral groups, p. 68 *


External links


Graphic overview of the 32 crystallographic point groups
– form the first parts (apart from skipping ''n''=5) of the 7 infinite series and 5 of the 7 separate 3D point groups

(uses Java)
Point Groups and Crystal Systems
by Yi-Shu Wei, pp. 4–6

{{DEFAULTSORT:Point Groups In Three Dimensions Euclidean symmetries Group theory