Definition. The affine group of degree n is the transformation group consisting of all affine transformations of R^{n}.
Definition. The Euclidean group of degree n is the transformation group consisting of all isometries of R^{n}. The term isometry group is also used.
Definition. If G is a transformation group, a subset H of G is a subgroup of G if H is itself a transformation group.
Example. For a given integer n >= 1 the Euclidean group of degree n is a subgroup of the affine group of degree n.
Definition. If G is a group of transformations of a set X and S is a subset of X, the set G_{S} of all transformations g in G that fix every point of the set S is called the fixer of S in G.
Proposition 1. For any subset S of X the set G_{S} is a subgroup of G.
Definition. If S = {x} is the set consisting of a single point x of X, G_{S} = G_{x} is called the isotropy subgroup of G at x.
Proposition 2. If G is a group of transformations of X, S a subset of X, g an element of G, and T = g(S) the set to which S is carried by g, then one has
| G_{T} = g G_{S} g^{-1} = |
| . |
What is the isotropy subgroup of the affine group at the origin of R^{n} ?
If A is the third coordinate axis in R^{3}, what is the fixer G_{A} of A in the affine group G of degree 3 ?
With the point (x, y) \in R^{2} corresponding to the point with homogeneous coordinates (x, y, 1 - x - y) in P^{2} and x + y + z = 0 the equation of the line l_{INFTY} at infinity in P^{2}, the affine group G of degree 2 is realized as a subgroup of the group of all projective transformations of P^{2}. What is the fixer G_{l_{INFTY}} ?
Write a proof of proposition 1.
Write a proof of proposition 2.
The composition of the rotation of R^{3} by the angle pi about the line through (0, 0, 0) and (1, 1, 1) following the mirror reflection in the plane normal to the vector (0,0,1) is a reflective rotation (though the axis of the given rotation is not perpendicular to the fixed plane of the given reflection). For this reflective rotation find its axis of rotation, the fixed plane of its reflection component (which is normal to the axis of rotation), and the cosine of the angle of rotation about its axis.