Cosets, normal subgroups and factor groups in GAP

advertisement
Mathematics 566
Homework (due Sep. 26th)
A. Hulpke
D&F;3.1: 3,11,33,36,41
D&F;3.2: 5,8,12,16
Cosets, normal subgroups and factor groups in GAP
The command IsNormal(G, U ) tests whether U is normal in G.
If N C G the command NaturalHomomorphismByNormalSubgroup(G, N ) returns a
homomorphism from G with kernel N , the image of this homomorphism is thus isomorphic to
the factor group G/N .
RightCoset(U, g) creates a coset with representative g, RightCosets(G, U ) returns the
set of right cosets U \G. RightTransversal(G, U ) returns a set of coset representatives.
1) (GAP) Let G = S4 and V = h(1, 2)(3, 4), (1, 3)(2, 4)i. Show that V C G. Compute the
multiplication table for the cosets of V in G (compute the cosets, multiply representatives, and
check with in, in which of the cosets the result lies).
2) Give an example of a group G and a subgroup U such that the multiplication of representatives does not give a well-defined multiplication of the cosets. (you can use GAP for calculations,
if you want)
Download