Point groups in two dimensions

Point groups in two dimensions

In geometry, a point group in two dimensions is an isometry group in two dimensions that leaves the origin fixed, or correspondingly, an isometry group of a circle. It is a subgroup of the orthogonal group O(2), the group of all isometries which leave the origin fixed, or correspondingly, the group of orthogonal matrices. O(2) itself is a subgroup of the Euclidean group "E"(2) of all isometries.

Abelian group SO(2), also called the circle group, is a subgroup of "E"+(2), which consists of "direct" isometries, i.e., isometries preserving orientation; it contains those which leave the origin fixed. The group is isomorphic to R/Z and to U(1), the first unitary group.

Types of subgroups of SO(2):
*finite cyclic subgroups "C""n" ("n" ≥ 1); for every "n" there is one isometry group, of abstract group type Z"n"
*finitely generated groups, each isomorphic to one of the form Z"m" oplusZ "n" generated by "C""n" and "m" independent rotations with an irrational number of turns, and "m", "n" ≥ 1; for each pair ("m", "n") there are uncountably many isometry groups, all the same as abstract group; for the pair (1, 1) the group is cyclic.
*other countable subgroups. For example, for an integer "n", the group generated by all rotations of a number of turns equal to a negative integer power of "n"
*uncountable subgroups, including SO(2) itself

For every subgroup of SO(2) there is a corresponding uncountable class of subgroups of O(2) which are mutually isomorphic as abstract group: each of the subgroups in one class is generated by the first-mentioned subgroup and a single reflection in a line through the origin. These are the (generalized) dihedral groups, including the finite ones "D""n" ("n" ≥ 1) of abstract group type Dih"n". For "n" = 1 the common notation is "C""s", of abstract group type Z2.

As topological subgroups of O(2), only the finite isometry groups and SO(2) and O(2) are closed.

ymmetry groups

The 2D symmetry groups correspond to the isometry groups, except that symmetry according to O(2) and SO(2) can only be distinguished in the generalized symmetry concept applicable for vector fields.

Also, depending on application, homogeneity up to arbitrarily fine detail in transverse direction may be considered equivalent to full homogeneity in that direction. This greatly simplifies the categorization: we can restrict ourselves to the closed topological subgroups of O(2): the finite ones and O(2) (circular symmetry), and for vector fields SO(2).

Combinations with translational symmetry

"E"(2) is a semidirect product of "O"(2) and the translation group "T". In other words "O"(2) is a subgroup of "E"(2) isomorphic to the quotient group of "E"(2) by "T"::"O"(2) cong "E"(2) "/ T"

There is a "natural" surjective group homomorphism "p" : "E"(2) → "E"(2)"/ T", sending each element "g" of "E"(2) to the coset of "T" to which "g" belongs, that is: "p" ("g") = "gT", sometimes called the "canonical projection" of "E"(2) onto "E"(2) "/ T" or "O"(2). Its kernel is "T".

For every subgroup of "E"(2) we can consider its image under "p": a point group consisting of the cosets to which the elements of the subgroup belong, in other words, the point group obtained by ignoring translational parts of isometries. For every "discrete" subgroup of "E"(2), due to the crystallographic restriction theorem, this point group is either "C""n" or of type "D""n" for "n" = 1, 2, 3, 4, or 6.

C"n" and "D""n" for "n" = 1, 2, 3, 4, and 6 can be combined with translational symmetry, sometimes in more than one way. Thus these 10 groups give rise to 17 wallpaper groups, and the four groups with "n" = 1 and 2, give also rise to 7 frieze groups.

For each of the wallpaper groups p1, p2, p3, p4, p6, the image under "p" of all isometry groups (i.e. the "projections" onto "E"(2) "/ T" or "O"(2) ) are all equal to the corresponding "C""n"; also two frieze groups correspond to "C"1 and "C"2.

The isometry groups of p6m are each mapped to one of the point groups of type "D"6. For the other 11 wallpaper groups, each isometry group is mapped to one of the point groups of the types "D"1, "D"2, "D"3, or "D"4. Also five frieze groups correspond to "D"1 and "D"2.

For a given hexagonal translation lattice there are two different groups "D"3, giving rise to P31m and p3m1. For each of the types "D"1, "D"2, and "D"4 the distinction between the 3, 4, and 2 wallpaper groups, respectively, is determined by the translation vector associated with each reflection in the group: since isometries are in the same coset regardless of translational components, a reflection and a glide reflection with the same mirror are in the same coset. Thus, isometry groups of e.g. type p4m and p4g are both mapped to point groups of type "D"4.

For a given isometry group, the conjugates of a translation in the group by the elements of the group generate a translation group (a lattice) which is a subgroup of the isometry group which only depends on the translation we started with and the point group associated with the isometry group. This is because e.g. the conjugate of the translation by a glide reflection is the same as by the corresponding reflection: the translation vector is reflected.

If the isometry group contains an "n"-fold rotation then the lattice has "n"-fold symmetry for even "n" and 2"n"-fold for odd "n". If, in the case of a discrete isometry group containing a translation, we apply this for a translation of minimum length, then, considering the vector difference of translations in two adjacent directions, it follows that "n" ≤ 6, and for odd "n" that 2"n" ≤ 6, hence "n" = 1, 2, 3, 4, or 6 (the crystallographic restriction theorem).

ee also

*point groups in three dimensions


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • 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… …   Wikipedia

  • Point group — The Bauhinia blakeana flower on the Hong Kong flag has C5 symmetry; the star on each petal has D5 symmetry. In geometry, a point group is a group of geometric symmetries (isometries) that keep at least one point fixed. Point groups can exist in a …   Wikipedia

  • Dihedral symmetry in three dimensions — This article deals with three infinite sequences of point groups in three dimensions which have a symmetry group that as abstract group is a dihedral group Dihn ( n ≥ 2 ). See also point groups in two dimensions. Chiral: Dn (22n) of… …   Wikipedia

  • Fixed points of isometry groups in Euclidean space — A fixed point of an isometry group is a point that is a fixed point for every isometry in the group. For any isometry group in Euclidean space the set of fixed points is either empty or an affine space.For an object, any unique center and, more… …   Wikipedia

  • Two-dimensional gel electrophoresis — Two dimensional gel electrophoresis, abbreviated as 2 DE or 2 D electrophoresis, is a form of gel electrophoresis commonly used to analyze proteins. Mixtures of proteins are separated by two properties in two dimensions on 2D gels.Basis for… …   Wikipedia

  • Crystallographic point group — In crystallography, a crystallographic point group is a set of symmetry operations, like rotations or reflections, that leave a central point fixed while moving other directions and faces of the crystal to the positions of features of the same… …   Wikipedia

  • List of small groups — The following list in mathematics contains the finite groups of small order up to group isomorphism.The list can be used to determine which known group a given finite group G is isomorphic to: first determine the order of G , then look up the… …   Wikipedia

  • List of spherical symmetry groups — List of symmetry groups on the sphere = Spherical symmetry groups are also called point groups in three dimensions. This article is about the finite ones.There are four fundamental symmetry classes which have triangular fundamental domains:… …   Wikipedia

  • Covering groups of the alternating and symmetric groups — In the mathematical area of group theory, the covering groups of the alternating and symmetric groups are groups that are used to understand the projective representations of the alternating and symmetric groups. The covering groups were… …   Wikipedia

  • Orthogonal group — Group theory Group theory …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”