First isomorphism theorem says G/Ker(Φ) is isomorphic to this group
What is Φ(G)?
The representation of an element g in G as a permutation following Cayley’s Theorem
What is left multiplication permutation
In the symmetric group Sn, permutations are classified as either even or odd based on this property
What is parity?
The equivalence relation that forms cosets of a subgroup H
What is ab-1 in H
S3 has this many automorphisms
What is 6?
Cayley's Theorem says that any group of order n can be embedded in this symmetric group
What is Sn
Every permutation is a product of this
2-cycles
This is equivalent to left and right cosets being equal
What is normality?
The Inner Automorphism Group of Zn
What is Un?
In Cayley's Theorem, if G has order n, then this is the maximum possible size of the image of G within the embedding into the symmetric group
What is n! ?
What is n?
This needs to be true for HK to be a subgroup
What is HK=KH?
If G is finite, the inverse map (f(x)=x-1) is an automorphism if and only if this property is true
What is abelian?
Following ISH, if we have a homomorphism from G to a the symmetric group of the set of right cosets of a subgroup H, this is the kernel of the homomorphism.
The index of An in Sn
The size of HK
o(H)o(K)/o(H∩K)
If G is finite with a subgroup H of index 2, every automorphism must do this to H.
What is map H to itself?
ISH lets us cut down the size of S for our homomorphism from G to A(s) when this is true
G has no non-trivial normal subgroups
Two cycles commute if they have this property
What is disjoint?
What is the commutator group?