In mathematics, physics and chemistry, a space group is the symmetry group of an object in space, usually in three dimensions.The elements of a space group (its symmetry operations) are the rigid transformations of an object 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 crystallography, space groups are also called the crystallographic or Fedorov groups, and represent a description of the symmetry of the crystal. A definitive source regarding 3-dimensional space groups is the International Tables for Crystallography Hahn (2002).
Space groups in 2 dimensions are the 17 wallpaper groups which have been known for several centuries, though the proof that the list was complete was only given in 1891, after the much more difficult classification of space groups had largely been completed.
In 1879 the German mathematician Leonhard Sohncke listed the 65 space groups (called Sohncke groups) whose elements preserve the chirality. 43d and Fdd2) and one duplication (Fmm2)), and shortly afterwards in 1891 were independently enumerated by Schönflies (whose list had four omissions (I43d, Pc, Cc, ?) and one duplication (P421m)). The correct list of 230 space groups was found by 1892 during correspondence between Fedorov and Schönflies. WilliamBarlow ( 1894 ) later enumerated the groups with a different method, but omitted four groups (Fdd2, I42d, P421d, and P421c) even though he already had the correct list of 230 groups from Fedorov and Schönflies; the common claim that Barlow was unaware of their work is incorrect.[ citation needed ] Burckhardt (1967) describes the history of the discovery of the space groups in detail.More accurately, he listed 66 groups, but both the Russian mathematician and crystallographer Evgraf Fedorov and the German mathematician Arthur Moritz Schoenflies noticed that two of them were really the same. The space groups in three dimensions were first enumerated in 1891 by Fedorov (whose list had two omissions (I
The space groups in three dimensions are made from combinations of the 32 crystallographic point groups with the 14 Bravais lattices, each of the latter belonging to one of 7 lattice systems. What this means is that the action of any element of a given space group can be expressed as the action of an element of the appropriate point group followed optionally by a translation. A space group is thus some combination of the translational symmetry of a unit cell (including lattice centering), the point group symmetry operations of reflection, rotation and improper rotation (also called rotoinversion), and the screw axis and glide plane symmetry operations. The combination of all these symmetry operations results in a total of 230 different space groups describing all possible crystal symmetries.
The elements of the space group fixing a point of space are the identity element, reflections, rotations and improper rotations.
The translations form a normal abelian subgroup of rank 3, called the Bravais lattice (so named after French physicist Auguste Bravais). There are 14 possible types of Bravais lattice. The quotient of the space group by the Bravais lattice is a finite group which is one of the 32 possible point groups.
A glide plane is a reflection in a plane, followed by a translation parallel with that plane. This is noted by , , or , depending on which axis the glide is along. There is also the glide, which is a glide along the half of a diagonal of a face, and the glide, which is a fourth of the way along either a face or space diagonal of the unit cell. The latter is called the diamond glide plane as it features in the diamond structure. In 17 space groups, due to the centering of the cell, the glides occur in two perpendicular directions simultaneously, i.e. the same glide plane can be called b or c, a or b, a or c. For example, group Abm2 could be also called Acm2, group Ccca could be called Cccb. In 1992, it was suggested to use symbol e for such planes. The symbols for five space groups have been modified:
|Space group no.||39||41||64||67||68|
A screw axis is a rotation about an axis, followed by a translation along the direction of the axis. These are noted by a number, n, to describe the degree of rotation, where the number is how many operations must be applied to complete a full rotation (e.g., 3 would mean a rotation one third of the way around the axis each time). The degree of translation is then added as a subscript showing how far along the axis the translation is, as a portion of the parallel lattice vector. So, 21 is a twofold rotation followed by a translation of 1/2 of the lattice vector.
The general formula for the action of an element of a space group is
where M is its matrix, D is its vector, and where the element transforms point x into point y. In general, D = D (lattice) + D(M), where D(M) is a unique function of M that is zero for M being the identity. The matrices M form a point group that is a basis of the space group; the lattice must be symmetric under that point group, but the crystal structure itself may not be symmetric under that point group as applied to any particular point (that is, without a translation). For example, the diamond cubic structure does not have any point where the cubic point group applies.
The lattice dimension can be less than the overall dimension, resulting in a "subperiodic" space group. For (overall dimension, lattice dimension):
There are at least ten methods of naming space groups. Some of these methods can assign several different names to the same space group, so altogether there are many thousands of different names.
The viewing directions of the 7 crystal systems are shown as follows.
|Position in the symbol||Triclinic||Monoclinic||Orthorhombic||Tetragonal||Trigonal||Hexagonal||Cubic|
There are (at least) 10 different ways to classify space groups into classes. The relations between some of these are described in the following table. Each classification system is a refinement of the ones below it. To understand an explanation given here it may be necessary to understand the next one down.
|(Crystallographic) space group types (230 in three dimensions)|
|Two space groups, considered as subgroups of the group of affine transformations of space, have the same space group type if they are the same up to an affine transformation of space that preserves orientation. Thus e.g. a change of angle between translation vectors does not affect the space group type if it does not add or remove any symmetry. A more formal definition involves conjugacy (see Symmetry group). In three dimensions, for 11 of the affine space groups, there is no chirality-preserving (i.e. orientation-preserving) map from the group to its mirror image, so if one distinguishes groups from their mirror images these each split into two cases (such as P41 and P43). So instead of the 54 affine space groups that preserve chirality there are 54 + 11 = 65 space group types that preserve chirality (the Sohncke groups).For most chiral crystals, the two enantiomorphs belong to the same crystallographic space group, such as P213 for FeSi, but for others, such as quartz, they belong to two enantiomorphic space groups.|
|Affine space group types (219 in three dimensions)|
|Two space groups, considered as subgroups of the group of affine transformations of space, have the same affine space group type if they are the same up to an affine transformation, even if that inverts orientation. The affine space group type is determined by the underlying abstract group of the space group. In three dimensions, Fifty-four of the affine space group types preserve chirality and give chiral crystals. The two enantiomorphs of a chiral crystal have the same affine space group.|
|Arithmetic crystal classes (73 in three dimensions)|
|Sometimes called Z-classes. These are determined by the point group together with the action of the point group on the subgroup of translations. In other words, the arithmetic crystal classes correspond to conjugacy classes of finite subgroup of the general linear group GLn(Z) over the integers. A space group is called symmorphic (or split) if there is a point such that all symmetries are the product of a symmetry fixing this point and a translation. Equivalently, a space group is symmorphic if it is a semidirect product of its point group with its translation subgroup. There are 73 symmorphic space groups, with exactly one in each arithmetic crystal class. There are also 157 nonsymmorphic space group types with varying numbers in the arithmetic crystal classes. |
Arithmetic crystal classes may be interpreted as different orientations of the point groups in the lattice, with the group elements' matrix components being constrained to have integer coefficients in lattice space. This is rather easy to picture in the two-dimensional, wallpaper group case. Some of the point groups have reflections, and the reflection lines can be along the lattice directions, halfway in between them, or both.
|(geometric) Crystal classes (32 in three dimensions)||Bravais flocks (14 in three dimensions)|
|Sometimes called Q-classes. The crystal class of a space group is determined by its point group: the quotient by the subgroup of translations, acting on the lattice. Two space groups are in the same crystal class if and only if their point groups, which are subgroups of GLn(Z), are conjugate in the larger group GLn(Q).||These are determined by the underlying Bravais lattice type. |
These correspond to conjugacy classes of lattice point groups in GLn(Z), where the lattice point group is the group of symmetries of the underlying lattice that fix a point of the lattice, and contains the point group.
|Crystal systems (7 in three dimensions)||Lattice systems (7 in three dimensions)|
|Crystal systems are an ad hoc modification of the lattice systems to make them compatible with the classification according to point groups. They differ from crystal families in that the hexagonal crystal family is split into two subsets, called the trigonal and hexagonal crystal systems. The trigonal crystal system is larger than the rhombohedral lattice system, the hexagonal crystal system is smaller than the hexagonal lattice system, and the remaining crystal systems and lattice systems are the same.||The lattice system of a space group is determined by the conjugacy class of the lattice point group (a subgroup of GLn(Z)) in the larger group GLn(Q). In three dimensions the lattice point group can have one of the 7 different orders 2, 4, 8, 12, 16, 24, or 48. The hexagonal crystal family is split into two subsets, called the rhombohedral and hexagonal lattice systems.|
|Crystal families (6 in three dimensions)|
|The point group of a space group does not quite determine its lattice system, because occasionally two space groups with the same point group may be in different lattice systems. Crystal families are formed from lattice systems by merging the two lattice systems whenever this happens, so that the crystal family of a space group is determined by either its lattice system or its point group. In 3 dimensions the only two lattice families that get merged in this way are the hexagonal and rhombohedral lattice systems, which are combined into the hexagonal crystal family. The 6 crystal families in 3 dimensions are called triclinic, monoclinic, orthorhombic, tetragonal, hexagonal, and cubic. Crystal families are commonly used in popular books on crystals, where they are sometimes called crystal systems.|
Conway ,Delgado Friedrichs,andHusonet al. ( 2001 ) gave another classification of the space groups, called a fibrifold notation, according to the fibrifold structures on the corresponding orbifold. They divided the 219 affine space groups into reducible and irreducible groups. The reducible groups fall into 17 classes corresponding to the 17 wallpaper groups, and the remaining 35 irreducible groups are the same as the cubic groups and are classified separately.
In n dimensions, an affine space group, or Bieberbach group, is a discrete subgroup of isometries of n-dimensional Euclidean space with a compact fundamental domain. Bieberbach ( 1911 , 1912 ) proved that the subgroup of translations of any such group contains n linearly independent translations, and is a free abelian subgroup of finite index, and is also the unique maximal normal abelian subgroup. He also showed that in any dimension n there are only a finite number of possibilities for the isomorphism class of the underlying group of a space group, and moreover the action of the group on Euclidean space is unique up to conjugation by affine transformations. This answers part of Hilbert's eighteenth problem. Zassenhaus (1948) showed that conversely any group that is the extension[ when defined as? ] of Zn by a finite group acting faithfully is an affine space group. Combining these results shows that classifying space groups in n dimensions up to conjugation by affine transformations is essentially the same as classifying isomorphism classes for groups that are extensions of Zn by a finite group acting faithfully.
It is essential in Bieberbach's theorems to assume that the group acts as isometries; the theorems do not generalize to discrete cocompact groups of affine transformations of Euclidean space. A counter-example is given by the 3-dimensional Heisenberg group of the integers acting by translations on the Heisenberg group of the reals, identified with 3-dimensional Euclidean space. This is a discrete cocompact group of affine transformations of space, but does not contain a subgroup Z3.
This table gives the number of space group types in small dimensions, including the numbers of various classes of space group. The numbers of enantiomorphic pairs are given in parentheses.
|Dimensions||Crystal families, OEIS sequenceA004032||Crystal systems, OEIS sequenceA004031||Bravais lattices, OEIS sequenceA256413||Abstract crystallographic point groups, OEIS sequenceA006226||Geometric crystal classes, Q-classes, crystallographic point groups, OEIS sequenceA004028||Arithmetic crystal classes, Z-classes, OEIS sequenceA004027||Affine space group types, OEIS sequenceA004029||Crystallographic space group types, OEIS sequenceA006227|
|4||23 (+6)||33 (+7)||64 (+10)||118||227 (+44)||710 (+70)||4783 (+111)||4894|
|6||91||251||841||1594||7103||85308 (+?)||28927915 (+?)||?|
In addition to crystallographic space groups there are also magnetic space groups (also called two-color (black and white) crystallographic groups or Shubnikov groups). These symmetries contain an element known as time reversal. They treat time as an additional dimension, and the group elements can include time reversal as reflection in it. They are of importance in magnetic structures that contain ordered unpaired spins, i.e. ferro-, ferri- or antiferromagnetic structures as studied by neutron diffraction. The time reversal element flips a magnetic spin while leaving all other structure the same and it can be combined with a number of other symmetry elements. Including time reversal there are 1651 magnetic space groups in 3D ( Kim 1999 , p.428). It has also been possible to construct magnetic versions for other overall and lattice dimensions (Daniel Litvin's papers, ( Litvin 2008 ), ( Litvin 2005 )). Frieze groups are magnetic 1D line groups and layer groups are magnetic wallpaper groups, and the axial 3D point groups are magnetic 2D point groups. Number of original and magnetic groups by (overall, lattice) dimension:( Palistrant 2012 )( Souvignier 2006 )
|Ordinary groups||Magnetic groups|
|0||0||Zero-dimensional symmetry group||1||2|
|1||0||One-dimensional point groups||2||5|
|1||One-dimensional discrete symmetry groups||2||7|
|2||0||Two-dimensional point groups||10||31|
|3||0||Three-dimensional point groups||32||122|
|3||Three-dimensional space groups||230||1651|
|4||0||Four-dimensional point groups||271||1202|
|4||Four-dimensional discrete symmetry groups||4894||62227|
Table of the wallpaper groups using the classification of the 2-dimensional space groups:
| Crystal system, |
|Geometric class, point group||Arithmetic |
|Wallpaper groups (cell diagram)|
| Oblique ||1||C1||(1)||[ ]+||1||None||p1|
| Rectangular ||m||D1||(*)||[ ]||2||Along||pm|
|Centered rectangular ||m||D1||(*)||[ ]||2||Between||cm|
| Square ||4||C4||(44)||+||4||None||p4|
| Hexagonal ||3||C3||(33)||+||3||None||p3|
For each geometric class, the possible arithmetic classes are
|№|| Crystal system, |
|Point group||Space groups (international short symbol)|
|1|| Triclinic |
|3–5|| Monoclinic |
|6–9||m||Cs||*11||[ ]||2||Pm, Pc|
C2/m, P2/c, P21/c
|16–24|| Orthorhombic |
|222||D2||222||[2,2]+||4||P222, P2221, P21212, P212121, C2221, C222, F222, I222, I212121|
|25–46||mm2||C2v||*22||||4||Pmm2, Pmc21, Pcc2, Pma2, Pca21, Pnc2, Pmn21, Pba2, Pna21, Pnn2|
Cmm2, Cmc21, Ccc2, Amm2, Aem2, Ama2, Aea2
Imm2, Iba2, Ima2
|47–74||mmm||D2h||*222||[2,2]||8||Pmmm, Pnnn, Pccm, Pban, Pmma, Pnna, Pmna, Pcca, Pbam, Pccn, Pbcm, Pnnm, Pmmn, Pbcn, Pbca, Pnma|
Cmcm, Cmce, Cmmm, Cccm, Cmme, Ccce
Immm, Ibam, Ibca, Imma
|75–80|| Tetragonal |
|4||C4||44||+||4||P4, P41, P42, P43, I4, I41|
|83–88||4/m||C4h||4*||[2,4+]||8||P4/m, P42/m, P4/n, P42/n|
|89–98||422||D4||224||[2,4]+||8||P422, P4212, P4122, P41212, P4222, P42212, P4322, P43212|
|99–110||4mm||C4v||*44||||8||P4mm, P4bm, P42cm, P42nm, P4cc, P4nc, P42mc, P42bc|
I4mm, I4cm, I41md, I41cd
|111–122||42m||D2d||2*2||[2+,4]||8||P42m, P42c, P421m, P421c, P4m2, P4c2, P4b2, P4n2|
I4m2, I4c2, I42m, I42d
|123–142||4/mmm||D4h||*224||[2,4]||16||P4/mmm, P4/mcc, P4/nbm, P4/nnc, P4/mbm, P4/mnc, P4/nmm, P4/ncc, P42/mmc, P42/mcm, P42/nbc, P42/nnm, P42/mbc, P42/mnm, P42/nmc, P42/ncm|
I4/mmm, I4/mcm, I41/amd, I41/acd
|143–146|| Trigonal |
|3||C3||33||+||3||P3, P31, P32|
|149–155||32||D3||223||[2,3]+||6||P312, P321, P3112, P3121, P3212, P3221|
|156–161||3m||C3v||*33||||6||P3m1, P31m, P3c1, P31c|
|162–167||3m||D3d||2*3||[2+,6]||12||P31m, P31c, P3m1, P3c1|
|168–173|| Hexagonal |
|6||C6||66||+||6||P6, P61, P65, P62, P64, P63|
|177–182||622||D6||226||[2,6]+||12||P622, P6122, P6522, P6222, P6422, P6322|
|183–186||6mm||C6v||*66||||12||P6mm, P6cc, P63cm, P63mc|
|187–190||6m2||D3h||*223||[2,3]||12||P6m2, P6c2, P62m, P62c|
|191–194||6/mmm||D6h||*226||[2,6]||24||P6/mmm, P6/mcc, P63/mcm, P63/mmc|
|195–199|| Cubic |
|23||T||332||[3,3]+||12||P23, F23, I23|
|200–206||m3||Th||3*2||[3+,4]||24||Pm3, Pn3, Fm3, Fd3, Im3, Pa3, Ia3|
P4332, P4132, I4132
|215–220||43m||Td||*332||[3,3]||24||P43m, F43m, I43m|
P43n, F43c, I43d
|221–230||m3m||Oh||*432||[3,4]||48||Pm3m, Pn3n, Pm3n, Pn3m|
Fm3m, Fm3c, Fd3m, Fd3c
Note: An e plane is a double glide plane, one having glides in two different directions. They are found in seven orthorhombic, five tetragonal and five cubic space groups, all with centered lattice. The use of the symbol e became official with Hahn (2002).
The lattice system can be found as follows. If the crystal system is not trigonal then the lattice system is of the same type. If the crystal system is trigonal, then the lattice system is hexagonal unless the space group is one of the seven in the rhombohedral lattice system consisting of the 7 trigonal space groups in the table above whose name begins with R. (The term rhombohedral system is also sometimes used as an alternative name for the whole trigonal system.) The hexagonal lattice system is larger than the hexagonal crystal system, and consists of the hexagonal crystal system together with the 18 groups of the trigonal crystal system other than the seven whose names begin with R.
The Bravais lattice of the space group is determined by the lattice system together with the initial letter of its name, which for the non-rhombohedral groups is P, I, F, A or C, standing for the principal, body centered, face centered, A-face centered or C-face centered lattices. There are seven rhombohedral space groups, with initial letter R.
In crystallography, crystal structure is a description of the ordered arrangement of atoms, ions or molecules in a crystalline material. Ordered structures occur from the intrinsic nature of the constituent particles to form symmetric patterns that repeat along the principal directions of three-dimensional space in matter.
In mathematics, a frieze or frieze pattern is a two-dimensional design that repeats in one direction. Such patterns occur frequently in architecture and decorative art. 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 we imagine covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. To a given wallpaper there corresponds a group of such congruent transformations, with function composition as the group operation. Thus, a wallpaper group is in 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 and tiles as well as wallpaper.
In crystallography, a crystal system is a set of point groups. A lattice system is a set of Bravais lattices. Space groups are classified into crystal systems according to their point groups, and into lattice systems according to their Bravais lattices. Crystal systems that have space groups assigned to a common lattice system are combined into a crystal family.
In crystallography, the monoclinic crystal system is one of the seven crystal systems. A crystal system is described by three vectors. In the monoclinic system, the crystal is described by vectors of unequal lengths, as in the orthorhombic system. They form a rectangular prism with a parallelogram as its base. Hence two pairs of vectors are perpendicular, while the third pair makes an angle other than 90°.
In crystallography, the orthorhombic crystal system is one of the 7 crystal systems. Orthorhombic lattices result from stretching a cubic lattice along two of its orthogonal pairs by two different factors, resulting in a rectangular prism with a rectangular base and height (c), such that a, b, and c are distinct. All three bases intersect at 90° angles, so the three lattice vectors remain mutually orthogonal.
In geometry and crystallography, a Bravais lattice, named after Auguste Bravais (1850), is an infinite array of discrete points generated by a set of discrete translation operations described in three dimensional space by
In crystallography, a crystallographic point group is a set of symmetry operations, corresponding to one of the point groups in three dimensions, such that each operation would leave the structure of a crystal unchanged i.e. the same kinds of atoms would be placed in similar positions as before the transformation. For example, in many crystals in the cubic crystal system, a rotation of the unit cell by 90 degrees around an axis that is perpendicular to one of the faces of the cube is a symmetry operation that moves each atom to the location of another atom of the same kind, leaving the overall structure of the crystal unaffected.
In crystallography, the tricliniccrystal system is one of the 7 crystal systems. A crystal system is described by three basis vectors. In the triclinic system, the crystal is described by vectors of unequal length, as in the orthorhombic system. In addition, the angles between these vectors must all be different and may not include 90°.
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 is a mathematical group of symmetry operations 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.
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.
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, Hermann–Mauguin notation is used to represent the symmetry elements in point groups, plane groups and space groups. It is named after the German crystallographer Carl Hermann and the French mineralogist Charles-Victor Mauguin. This notation is sometimes called international notation, because it was adopted as standard by the International Tables For Crystallography since their first edition in 1935.
In crystallography, the hexagonal crystal family is one of the six crystal families, which includes two crystal systems and two lattice systems. While commonly confused, the trigonal crystal system and the rhombohedral lattice system are not equivalent. In particular, there are crystals that have trigonal symmetry but belong to the hexagonal lattice.
In geometry, a parallelohedron is a polyhedron that can be translated without rotations in 3-dimensional Euclidean space to fill space with a honeycomb in which all copies of the polyhedron meet face-to-face. There are five types of parallelohedron, first identified by Evgraf Fedorov in 1885 in his studies of crystallographic systems: the cube, hexagonal prism, rhombic dodecahedron, elongated dodecahedron, and truncated octahedron.
Johann Friedrich Christian Hessel was a German physician and professor of mineralogy at the University of Marburg.
A line group is a mathematical way of describing symmetries associated with moving along a line. These symmetries include repeating along that line, making that line a one-dimensional lattice. However, line groups may have more than one dimension, and they may involve those dimensions in its isometries or symmetry transformations.
In solid state physics, the magnetic space groups, or Shubnikov groups, are the symmetry groups which classify the symmetries of a crystal both in space, and in a two-valued property such as electron spin. To represent such a property, each lattice point is colored black or white, and in addition to the usual three-dimensional symmetry operations, there is a so-called "antisymmetry" operation which turns all black lattice points white and all white lattice points black. Thus, the magnetic space groups serve as an extension to the crystallographic space groups which describe spatial symmetry alone.