Symmetrische Gruppen

Jeder k-Zyklus hat in S_n Ordnung k

Disjunkte Zyklen sind Vertauschbar s*t=t*s

Für s aus S_n ist sign(s)=(-1)^k. K ist die Anzahl von Fehlstände

Fehlstand: für (i,j) i<j und s(i)>s(j)

sign ist ein Homomorphismus

sign(s)=sign(s^-1)

A_n ist NT von S_n

A_n ist für n>=5 einfach