View source for Group of motions

A [[Continuous group|continuous group]] of transformations of a space, the elements of which are the motions (cf. [[Motion|Motion]]) of this space, while the group operation is the execution of two motions in a prescribed sequence. In a broad sense, any group of continuous transformations (cf. also [[Transformation group|Transformation group]]) of a space may be realized as the group of motions of this space. This is done by introducing, for the given group, a concept of equality of figures, which leads to a new geometry for which this group serves as the group of motions (cf. [[Erlangen program|Erlangen program]]).

A group of motions is said to be transitive if for two arbitrary points in the space it is possible to select in the group a motion which maps one of the points to the other; it is said to be intransitive if there exists a pair of points for which a selection of such a motion is not possible.

A space into which it is possible to introduce a given group of motions is said to be a space admitting this group of motions. If the group of motions of a space is of the highest order (dimension), it is said to be a complete group of motions. For instance, the complete transitive group of motions of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452701.png" />-dimensional Euclidean space is a group of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452702.png" />, i.e. the group depends on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452703.png" /> parameters. In the particular case of the Euclidean plane, the parameters of the complete group of motions may be the coordinates of the point into which the coordinate origin is transformed, and the angle of rotation — i.e. this group of motions has three parameters. The group of motions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452704.png" /> of the Euclidean plane is a non-commutative [[Solvable group|solvable group]]. Its subgroup of rotations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452705.png" /> is commutative and intransitive, while the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452706.png" /> of parallel transfers is commutative, transitive and is a [[Normal subgroup|normal subgroup]] of the group of motions. The intersection of these two subgroups is the unit of the group of motions. The quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452707.png" /> is isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452708.png" />, and the [[Commutator subgroup|commutator subgroup]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452709.png" /> is contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527010.png" />. Possible parameters of the group of motions of three-dimensional Euclidean space are the coordinates of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527011.png" /> into which the origin is mapped and the [[Euler angles|Euler angles]], i.e. this group of motions is hexaparametric.

Studies on groups of motions in generalized differential-geometric spaces are conducted in several directions at the same time, the most important of which are listed below.

1) The group-theoretic direction [[#References|[3]]]: To construct a [[Connection|connection]] or an [[Invariant metric|invariant metric]] in the space on which the group of transformations is acting.

2) The study of groups of motions in given spaces, i.e. groups admitted by a space with a given metric or a given connection [[#References|[1]]], [[#References|[2]]].

3) A direction on the interface of the other two, viz. the study of lacunas and lacunary spaces (cf. [[Lacunary space|Lacunary space]]), i.e. the construction of spaces admitting a complete group of motions of a given order or a demonstration of the non-existence of spaces of a given type which would admit some given group of motions.

For instance, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527012.png" />-dimensional affine space admits a group of motions of maximal order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527013.png" />. The order of the groups of motions of other spaces of affine connection belong to the segment of the natural number series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527014.png" />, but not every number of this segment can be an order of the complete group of motions.

Intervals of greatest length constituted by numbers that are not orders of complete groups of motions are known as lacunas, and their complements in the series of natural numbers are said to be condensation segments. A space is said to be a space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527016.png" />-th lacunarity if the order of its complete group of motions forms part of the condensation segment with sequence number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527017.png" />. A principal problem is the distribution of lacunas and condensation segments of possible orders of complete groups of motions defined for the last groups of motions themselves and for their corresponding lacunary spaces. This problem is closely connected with the study of the degrees of freedom of solid bodies.

Riemannian spaces of constant curvature are the only spaces admitting a complete group of motions of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527018.png" />. In all other cases the group of motions of a space has a smaller number of parameters. A manifold with an affine connection admits a complete group of motions (of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527019.png" />) if and only if the connection is symmetric, while the curvature is equal to zero; in such a case the group of motions is a [[General linear group|general linear group]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.P. Egorov,   "Motions in generalized differential-geometric spaces"  ''Itogi Nauk. Algebra Topol. Geom. 1965''  (1967)  pp. 375–428  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  I.P. Egorov,   "Motions in a space with an affine connection" , Kazan'  (1965)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,   "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  I.P. Egorov,   "Geometry" , Moscow  (1972)  (In Russian)</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Kobayashi,   "Transformation groups" , Springer  (1972)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  G. Bredon,   "Introduction to compact transformation groups" , Acad. Press  (1972)</TD></TR></table>