Next: Curves in Up: Introducing Curves Previous: Euclidean Space

# Group actions

In algebra, geometry and topology we often exploit the fact that important structures arise from families of morphisms that are indexed by a group. For example, rotations in the plane about the origin are indexed by the unimodular group of complex numbers; we say that this group acts on the plane and the orbit of a point at distance r from the origin is the circle of radius r.

We use in geometry the groups that act on subsets of while preserving Euclidean distances and angles; these are groups of isometries of They form subgroups of matrix groups. The set of nonsingular real matrices forms a group , often just written GL(n), the general linear group, under matrix multiplication. So does O(n), the subset consisting of orthogonal matrices, and its subset SO(n) consisting of those with determinant +1.

The Euclidean group E(n) consists of all isometries of Euclidean n-space . Isometries can always be written as an ordered pair from with action on given by

and composition

Thus, topologically E(n) is the product but algebraically it is not the product group. It is called a semidirect product of O(n) and .

Definitions
A group G is said to act on a set (for example, a group, vector space, manifold, topological space) X on the left if there is a map (for example, homomorphism, linear, smooth, continuous)

such that and for all . Normally, we shall want each to be an isomorphism in the category for X; in this case, an action is the same as a representation of G in the automorphism group of X, or a representation on X. We sometimes abbreviate the notation to , especially when is fixed for the duration of a discussion. There is a dual theory of actions on the right; we have to keep the concepts separate because every group acts on itself by its group operation, but it may be different on the right from on the left.

The orbit   of under the action of G is the set

It is easy to show that the orbits partition X, so they define an equivalence relation on X:

The quotient object (set, space, etc.) is called the orbit space  and denoted by X/G.

The stabilizer  or isotropy subgroup  of x is defined to be the set

and it is always a subgroup of G.

The action is called transitive if for all we can find such that

free   if the only with a fixed point has g = e (the identity of G),
and effective   if

Note that an action being transitive is equivalent to it having exactly one orbit, or to its orbit space being a singleton.

The situations of most practical interest are when:

• X is a subset of Euclidean space, a group or vector space--especially , or

• G,X are topological groups , so each has a topology with respect to which its binary operation and the taking of inverses is continuous;

• G is a topological group and X is a topological space;

• G is a Lie group, so G has a differentiable structure with respect to which its binary operation and the taking of inverses is smooth, and X is a smooth manifold. Here smooth means all derivatives of all orders exist and are continuous. Important examples of Lie groups are GL(n) and where the differentiability arises from that of the underlying real functions.

Exercises on group actions

1.
is a subgroup of .
2.
The symmetric group Sn of permutations of n objects is not abelian for n > 2.
3.
Find a group G consisting of four, real matrices such that Gacts on the plane For the case n = 2 find discrete subgroups G < E(2) such that is: (i) the cylinder; (ii) the torus.
4.
The general linear group is not abelian if n > 1.
5.
Prove that GL(2) has a subgroup consisting of rotations in a plane

This is actually SO(2), the special orthogonal group of real matrices.
6.
Find an isomorphism

and give its inverse.
7.
Prove that, for all elements a in group G, the map

is an automorphism; find the inverse of ca.

8.
The group SO(2) of rotations in a plane acts on a sphere as rotations of angles of longitude. The orbits are circles of latitude and the quotient space by this action is the interval [-1,1]. The action is neither transitive nor free, but it is effective.
9.
Prove that SO(2) defines a left action on by

where LA p denotes matrix multiplication of the coordinate column vector p by the matrix A. To establish this you need to show that the map is well-defined and that it satisfies two rules for all and all namely
Product
LA (LBp)=LAB p
Identity
LI p=p
[In fact, the whole of the general linear group GL(2) acts on ]
10.
Prove that the action is effective but neither free nor transitive. Find the orbits under this action of the points on the x-axis of
11.
Prove that the action preserves the scalar product; that is, for all and all

Hence deduce that the action preserves Euclidean angles, lengths and areas.
12.
Show that

and find the image under LJ of the unit square in the upper right quadrant of [Hint: Check the edge vectors.] Find an element with and This defines a linear map LK; compare its effect on the unit square with the image found for LJ.
13.
It is clear that GL(3), which acts on has a subgroup SO(3),consisting of real matrices having determinant +1. Find three distinct subgroups of SO(3), consisting of rotations around the three coordinate axes, respectively, by finding three group homomorphisms with trivial kernels.
14.
Use the subgroups of SO(3) found in the previous exercise, and the parametric equation for the equator of to show how any other great circle on can be found by appropriate combinations of rotations of the equator.
15.
Find two matrices, R1 and R2 from SO(3)which represent, respectively, rotation by about the y-axis and rotation by about the z-axis; each rotation must be in a right-hand-screw sense in the positive direction of its axis. Find the product matrix R1R2 and show that its transpose is its inverse.

Next: Curves in Up: Introducing Curves Previous: Euclidean Space
Kit Dodson
2000-01-23