We consider the
permutation group
for a set with three elements, that is, consists of all bijective mappings of the set to itself. The trivial group and the whole group are
normal subgroups.
The subset
,
where is the element that swops
and
and fixes , is a
subgroup.
However, it is not a normal subgroup. To show this, let denote the bijection that fixes and swops
and .
The inverse of is itself. The
conjugation
is the mapping that sends
to ,
to ,
and
to .
This bijection does not belong to .