The totality of motions which leave a point A unchanged forms a subgroup. It is clearly constituted of all possible rotations about all possible axes through A, and is known as the group of rotations about a point. Every motion can be represented as a rotation about some axis through A followed by a translation. Hence if G is the group of motions and H the group of translations, G/H is simply isomorphic with the group of rotations about a point.
The totality of the motions which bring a given solid to congruence with itself again constitutes a subgroup of the group of motions. This will in general be the trivial subgroup formed of the identical operation above, but may in the case of a symmetrical body be more extensive. For a sphere or a right circular cylinder the subgroups are those that leave the centre and the axis respectively unaltered. For a solid bounded by plane faces the subgroup is clearly one of finite order. In particular, to each of the regular solids there corresponds such a group. That for the tetrahedron has 12 for its order, for the cube (or octahedron) 24, and for the icosahedron (or dodecahedron) 60.
The determination of a particular operation of the group of motions involves six distinct measurements; namely, four to give the axis of the twist, one for the magnitude of the translation along the axis, and one for the magnitude of the rotation about it. Each of the six quantities involved may have any value whatever, and the group of motions is therefore a continuous group. On the other hand, a subgroup of the group of motions which leaves a line or a plane unaltered is a mixed group.
We shall now discuss (i.) continuous groups, (ii.) discontinuous groups whose order is not finite, and (iii.) groups of finite order. For proofs of the statements, and the general theorems, the reader is referred to the bibliography.
Continuous Groups.
The determination of a particular operation of a given continuous group depends on assigning special values to each one of a set of parameters which are capable of continuous variation. The first distinction regards the number of these parameters. If this number is finite, the group is called a finite continuous group; if infinite, it is called an infinite continuous group. In the latter case arbitrary functions must appear in the equations defining the operations of the group when these are reduced to an analytical form. The theory of infinite continuous groups is not yet so completely developed as that of finite continuous groups. The latter theory will mainly occupy us here.
Sophus Lie, to whom the foundation and a great part of the development of the theory of continuous groups are due, undoubtedly approached the subject from a geometrical standpoint. His conception of an operation is to regard it as a geometrical transformation, by means of which each point of (n-dimensional) space is changed into some other definite point.
The representation of such a transformation in analytical form involves a system of equations,
x′s = ƒs (x1, x2, ..., xn), (s = 1, 2, ..., n),
expressing x′1, x′2, ..., x′n, the co-ordinates of the transformed point in terms of x1, x2, ..., xn, the co-ordinates of the original point. In these equations the functions ƒs are analytical functions of their arguments. Within a properly limited region they must be one-valued, and the equations must admit a unique solution with respect to x1, x2, ..., xn, since the operation would not otherwise be a definite one.