
Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
A set of 4 problems related to group theory and finite fields, including proofs of subgroups' normality, free and doubly transitive group actions, and the number of elements in certain groups and fields. It is intended for a graduate-level math course.
Typology: Assignments
1 / 1
This page cannot be seen from the preview
Don't miss anything!
Due Friday, October 31 at noon
A. Suppose A, B, C are subgroups of G with A / B , C / G and suppose BC = G. Prove that AC is a normal subgroup of G.
B. Suppose G is an Abelian group that acts transitively on the set X.
(1) Show that G acts faithfully if and only if g.x = x only happens when g = e (regardless of what x is). [Such an action is called free.] (2) Show that G acts doubly transitively and faithfully on X if and only if |G| = |X| = 2 and the non-identity element of G swaps the two elements of X. [Hint: Let x ∈ X and let g 1 , g 2 be elements of G different from the identity – possibly g 1 = g 2 – and consider the “source pair” x, g 2 .x and the “target pair” g 1 .x, x in the definition of doubly transitive.]
C. (1) Prove that if n ≥ 3, every element of An is a product of 3-cycles. [This is true for all n if we understand the product of zero 3-cycles to be the identity.] (2) Prove that if n ≥ 5, every element of An is a product of permutations of the form (a b)(c d) where a, b, c, d are distinct.
D. Suppose F is a finite field with q elements (so F = Fq ). Explain the following equalities.
(1) |Pn−^1 (F )| = (qn^ − 1)/(q − 1). (2) |GLn(F )| =
∏n− 1 i=0 (q
n (^) − qi) = qn(n−1)/ (^2) · (qn (^) − 1)(qn− (^1) − 1) · · · (q − 1).