Conjugation of isometries in Euclidean space

Conjugation of isometries in Euclidean space

In a group, the conjugate by g of h is ghg−1.

Contents

Translation

If h is a translation, then its conjugate by an isometry can be described as applying the isometry to the translation:

  • the conjugate of a translation by a translation is the first translation
  • the conjugate of a translation by a rotation is a translation by a rotated translation vector
  • the conjugate of a translation by a reflection is a translation by a reflected translation vector

Thus the conjugacy class within the Euclidean group E(n) of a translation is the set of all translations by the same distance.

The smallest subgroup of the Euclidean group containing all translations by a given distance is the set of all translations. Thus this is the conjugate closure of a singleton containing a translation.

Thus E(n) is a semidirect product of the orthogonal group O(n) and the subgroup of translations T, and O(n) is isomorphic with the quotient group of E(n) by T:

O(n) \cong E(n) / T

Thus there is a partition of the Euclidean group with in each subset one isometry that keeps the origin fixed, and its combination with all translations.

Each isometry is given by an orthogonal matrix A in O(n) and a vector b:

x \mapsto Ax+ b

and each subset in the quotient group is given by the matrix A only.

Similarly, for the special orthogonal group SO(n) we have

SO(n) \cong E+(n) / T

Inversion

The conjugate of the inversion in a point by a translation is the inversion in the translated point, etc.

Thus the conjugacy class within the Euclidean group E(n) of inversion in a point is the set of inversions in all points.

Since a combination of two inversions is a translation, the conjugate closure of a singleton containing inversion in a point is the set of all translations and the inversions in all points. This is the generalized dihedral group dih (Rn).

Similarly { I, −I } is a normal subgroup of O(n), and we have:

E(n) / dih (Rn) \cong O(n) / { I, −I }

For odd n we also have:

O(n) \cong SO(n) × { I, −I }

and hence not only

O(n) / SO(n) \cong { I, −I }

but also:

O(n) / { I, −I } \cong SO(n)

For even n we have:

E+(n) / dih (Rn) \cong SO(n) / { I, −I }

Rotation

In 3D, the conjugate by a translation of a rotation about an axis is the corresponding rotation about the translated axis, etc.

Thus the conjugacy class within the Euclidean group E(3) of a rotation about an axis is a rotation by the same angle about any axis.

The conjugate closure of a singleton containing a rotation in 3D is E+(3).

In 2D it is different in the case of a k-fold rotation: the conjugate closure contains k rotations (including the identity) combined with all translations.

E(2) has quotient group O(2) / Ck and E+(2) has quotient group SO(2) / Ck . For k = 2 this was already covered above.

Reflection

The conjugates of a reflection are reflections with a translated, rotated, and reflected mirror plane. The conjugate closure of a singleton containing a reflection is the whole E(n).

Rotoreflection

The left and also the right coset of a reflection in a plane combined with a rotation by a given angle about a perpendicular axis is the set of all combinations of a reflection in the same or a parallel plane, combined with a rotation by the same angle about the same or a parallel axis, preserving orientation

Isometry groups

Two isometry groups are said to be equal up to conjugacy with respect to affine transformations if there is an affine transformation such that all elements of one group are obtained by taking the conjugates by that affine transformation of all elements of the other group. This applies for example for the symmetry groups of two patterns which are both of a particular wallpaper group type. If we would just consider conjugacy with respect to isometries, we would not allow for scaling, and in the case of a parallelogrammetic lattice, change of shape of the parallelogram. Note however that the conjugate with respect to an affine transformation of an isometry is in general not an isometry, although volume (in 2D: area) and orientation are preserved.

Cyclic groups

Cyclic groups are Abelian, so the conjugate by every element of every element is the latter.

Zmn / Zm \cong Zn.

Zmn is the direct product of Zm and Zn if and only if m and n are coprime. Thus e.g. Z12 is the direct product of Z3 and Z4, but not of Z6 and Z2.

Dihedral groups

Consider the 2D isometry point group Dn. The conjugates of a rotation are the same and the inverse rotation. The conjugates of a reflection are the reflections rotated by any multiple of the full rotation unit. For odd n these are all reflections, for even n half of them.

This group, and more generally, abstract group Dihn, has the normal subgroup Zm for all divisors m of n, including n itself.

Additionally, Dih2n has two normal subgroups isomorphic with Dihn. They both contain the same group elements forming the group Zn, but each has additionally one of the two conjugacy classes of Dih2n \ Z2n.

In fact:

Dihmn / Zn \cong Dihn
Dih2n / Dihn \cong Z2
Dih4n+2 \cong Dih2n+1 × Z2

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Conjugation — Conjugal redirects here. For the type of prison visit, see conjugal visit. Conjugation may refer to: Grammatical conjugation, the modification of a verb from its basic form Marriage, a relationship between two or more individuals Contents 1… …   Wikipedia

  • Space group — In mathematics and geometry, a space group is a symmetry group, usually for three dimensions, that divides space into discrete repeatable domains. In three dimensions, there are 219 unique types, or counted as 230 if chiral copies are considered… …   Wikipedia

  • Symmetric space — In differential geometry, representation theory and harmonic analysis, a symmetric space is a smooth manifold whose group of symmetries contains an inversion symmetry about every point. There are two ways to make this precise. In Riemannian… …   Wikipedia

  • Inner product space — In mathematics, an inner product space is a vector space with the additional structure of inner product. This additional structure associates each pair of vectors in the space with a scalar quantity known as the inner product of the vectors.… …   Wikipedia

  • Lp space — In mathematics, the Lp spaces are function spaces defined using a natural generalization of the p norm for finite dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue (Dunford Schwartz 1958, III.3),… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • List of group theory topics — Contents 1 Structures and operations 2 Basic properties of groups 2.1 Group homomorphisms 3 Basic types of groups …   Wikipedia

  • Orbifold — This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976 77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”,… …   Wikipedia

  • Lorentz group — Group theory Group theory …   Wikipedia

  • Hyperbolic geometry — Lines through a given point P and asymptotic to line R. A triangle immersed in a saddle shape plane (a hyperbolic paraboloid), as well as two diverging ultraparall …   Wikipedia

Share the article and excerpts

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