Suppose is an exact sequence of groups, with finite. Let be a -Sylow subgroup.
(a) Show that is a -Sylow subgroup of .
(b) If are two -Sylow subgroups of with , show that there exists with . (Hint: apply a Sylow theorem to a subgroup of .)
Spam yourself with math PhD qualifying-exam questions.
Suppose is an exact sequence of groups, with finite. Let be a -Sylow subgroup.
(a) Show that is a -Sylow subgroup of .
(b) If are two -Sylow subgroups of with , show that there exists with . (Hint: apply a Sylow theorem to a subgroup of .)
(a) Let denote a complex primitive root of unity. Show that has no roots in .
(b) If , show that is not a power in .
Let be a commutative ring, and an -module.
(a) Define what it means to say that is -flat, and prove that is a flat -module that is not projective.
(b) Prove that is flat if and only if for all -modules .
(c) Prove that if is a short exact sequence of -modules and and are -flat then so is .
(a) Let , prime, and let denote a finite field of elements. How many monic irreducible polynomials of degree 2 are there over ? How many monic irreducible polynomials of degree 3 are there over ? (Hint: Think about elements of and .)
(b) Determine the number of conjugacy classes in the group . (Hint: Use canonical forms of modules over a principal ideal domain. One canonical form would use part (a), but you can also solve part (b) without using part (a).)
Let be an algebraic closure of a field . Consider a field with and a homomorphism with . Prove that extends to an automorphism . (Hint: first produce a homomorphism , and then show that is surjective.)
(a) Let be an algebraically closed field. Suppose is the set of common zeros of a family of polynomials , and assume is non-empty. Suppose
is a rational function such that the polynomial is non-zero at all points of . Thus defines a -valued function on . Prove that there is a polynomial so that for all . (Hint: Consider the ideal generated by the and .)
(b) Give a counterexample to part (a) if is not algebraically closed, by taking , , , and , and showing that there is no with on . (Hint: You may use without proof the fact that any polynomial that vanishes on must be a multiple of .)
Let be a finite-dimensional complex representation of a finite group . On the respective spaces and of bilinear forms (on ) and linear maps, define left -actions
(a) Prove that the natural linear map defined by is an isomorphism as well as -equivariant.
(b) Prove that if and only if there exists a nonzero bilinear form satisfying for all and , and deduce that if is irreducible then such a nonzero exists if and only if the character of is -valued.
Find, with proof, all algebraic integers in the field . For which of the integer primes is there exactly one prime ideal in the ring of integers lying over the prime ideal ?
Let be a finite-dimensional algebra over a field .
(a) Prove that if is a commutative integral domain, then is a field.
(b) Suppose is not commutative. Prove that implies .
(a) Let be a group and a subgroup of finite index . Prove that contains a normal subgroup of index at most . (Hint: think about homomorphisms from to .)
(b) Let be a group which is generated by two elements. Prove that has at most 17 subgroups of index 3. (Hint: think about homomorphisms from to .)