Relation With Alternating Group
For n≥5, the alternating group An is simple, and the induced quotient is the sign map: An → Sn → S2 which is split by taking a transposition of two elements. Thus Sn is the semidirect product An ⋊ S2, and has no other proper normal subgroups, as they would intersect An in either the identity (and thus themselves be the identity or a 2-element group, which is not normal), or in An (and thus themselves be An or Sn).
Sn acts on its subgroup An by conjugation, and for n ≠ 6, Sn is the full automorphism group of An: Aut(An) ≅ Sn. Conjugation by even elements are inner automorphisms of An while the outer automorphism of An of order 2 corresponds to conjugation by an odd element. For n = 6, there is an exceptional outer automorphism of An so Sn is not the full automorphism group of An.
Conversely, for n ≠ 6, Sn has no outer automorphisms, and for n ≠ 2 it has no center, so for n ≠ 2, 6 it is a complete group, as discussed in automorphism group, below.
For n ≥ 5, Sn is an almost simple group, as it lies between the simple group An and its group of automorphisms.
Read more about this topic: Symmetric Group
Famous quotes containing the words relation and/or group:
“You know there are no secrets in America. It’s quite different in England, where people think of a secret as a shared relation between two people.”
—W.H. (Wystan Hugh)
“Stripped of ethical rationalizations and philosophical pretensions, a crime is anything that a group in power chooses to prohibit.”
—Freda Adler (b. 1934)