Homogeneous set
Let be a group acting on a set
. If
has only one orbit, then the operation of
on
is said to be transitive, and the
-set
is called homogeneous, or that
is a homogeneous set under
.
If operates on a set
, then each of the orbits of
is homogenous under the induced operation of
.
Structure of a group acting on its own cosets
Let be a group,
a subgroup of
, and
the normalizer of
. Then
operates on the left on
, the set of left cosets of
modulo
; evidently,
is a homogenous
-set. Furthermore,
operates on
from the right, by the operation
. The operation of
is trivial, so
operates likewise on
from the right. Let
be the homomorphism of the opposite group of
into the group of permutations on
represented by this operation.
Proposition 1. The homomorphism induces an isomorphism from
to the group of
-automorphisms on
.
Proof. First, we prove that the image of is a subset of the set of automorphisms on
. Evidently, each element of
is associated with a surjective endomorphism; also if
it follows that
, whence
; for
, this means
. Therefore each element of
is associated with a unique automorphism of the
-set
.
Next, we show that each automorphism of
has an inverse image under
. Evidently, the stabilizer of
is the same as the stabilizer of
, which is
itself. Suppose that
is an element of
such that
. If
is an element of the stabilizer of
, then
, whence
, or
. Since every element of
stabilizes
, it follows that
is the stabilizer of
. Therefore
, so
.
Let the homomorphism corresponding to the action of
on
. An element
of
is in the kernel of
if and only if it stabilizes every left coset modulo
; since the stabilizers of these cosets are the conjugates of
(proven in the article on stabilizers), it follows that
is the intersection of the conjugates of
.
If is a normal subgroup of
that is contained in
, then for all
, then
. Therefore
Since
is evidently a normal subgroup of
, it is thus the largest normal subgroup of
that
contains.