75 problems.
ALGEBRA QUALIFYING EXAM, SUMMER 2009 (pp. 1–2)
- Sylow \(2\)-subgroup of \(S_5\), Sylow \(5\)-subgroup of \(S_{15}\), and Sylow \(p\)-subgroups of \(S_p\)
- The class equation, and a nontrivial normal subgroup of a \(p\)-group meets the center
- Groups of order \(pq\) with \(p<q\) primes are not simple, abelian if \(p\nmid q-1\), and the possibilities when \(p\mid q-1\)
- If \(A\) and \(B\) are normal and \(G/A\), \(G/B\) are abelian then \(G/(A \cap B)\) is abelian
- Examples of vanishing tensors over \(\mathbf{Z}\) and \(\mathbf{Q}\), torsion-free nonfree modules, maximal nonprime ideals, non-Noetherian rings, and non-ideal centers
- Quotients of Artinian rings, Artinian domains are fields, and primes are maximal
- Groups of order \(120\), \(\mathbb{Q}[x]\)-modules of dimension \(6\) annihilated by \((x-3)^2(x+5)\), and rational canonical forms with that minimal polynomial
- Factorizations of \(x^5-1\), \(x^6-1\), and related polynomials over \(\mathbf{C}\), \(\mathbf{Q}\), and finite fields
- Splitting field of \(x^4-4x^2-3\) over \(\mathbb{Q}\): degree, Galois group, and subfields
- True-or-false: constructible roots, finite-field extensions, and Galois composita
- \(L = K(\alpha)\) iff the Galois conjugates of \(\alpha\) are distinct
- The sum of algebraic elements is algebraic, and the minimal polynomial of \(\sqrt{5} + 2\sqrt{7}\)
Preliminary exam in algebra, June 11, 2008, 9 a.m.–noon (pp. 3–6)
- Sylow’s theorem, and no group of order \(6545\) is simple
- Elementary divisors and invariant factors of \(\mathbf{Z}_{15}\times\mathbf{Z}_{20}\times\mathbf{Z}_9\); abelian groups of order \(2700\)
- A \(p\)-group acting on a finite set of order not divisible by \(p\) has a fixed point
- Conjugacy class size equals the index of the centralizer; restriction to a subgroup of index \(2\)
- Rational canonical forms of \(6\times 6\) matrices over \(\mathbb{Q}\) with minimal polynomial \((x+2)^2(x-1)\)
- Every Euclidean domain is a principal ideal domain, and \(\mathbb{Z}[i]/(\alpha)\) has representatives of norm less than \(N(\alpha)\) and is finite
- Jordan canonical form of a nilpotent matrix
- If \(A \oplus A \cong B \oplus B\) for finitely generated modules over a PID then \(A \cong B\)
- Galois groups over \(\mathbb{Q}\) of \(x^4-25\) and \(x^3-x+1\)
- Definition of a splitting field, and \([E:F] \le n!\) without the fundamental theorem
- Galois groups over \(\mathbb{Q}\) of \(x^4+4\) and \(x^3+x^2-2x-1\)
- Every finite group is a Galois group over some extension \(E \supseteq F\)
ALGEBRA QUALIFYING EXAM, SUMMER 2007 (pp. 19–21)
- Sylow theorems; groups of order \(105\) have a normal subgroup of order \(35\), and both Sylow \(5\)- and \(7\)-subgroups are normal
- \(\operatorname{Aut}(C_n)\cong(\mathbb{Z}/n\mathbb{Z})^\times\)
- If \(G/Z(G)\) is cyclic then \(G\) is abelian
- Two \(3\)-cycles in \(S_5\) generate \(A_4\) or \(A_5\)
- Examples of maximal ideals, prime non-maximal ideals, torsion-free modules, UFDs, and non-Noetherian rings
- The characteristic of an integral domain is zero or prime
- The ring of integers of \(\mathbb{Q}(\sqrt{2})\) is a Euclidean domain
- Abelian groups of order \(90\), and \(\mathbb{R}[x]\)-modules of dimension \(4\) annihilated by \(x^4-1\)
- Splitting field of \(x^3-7\) over \(\mathbb{Q}\): Galois group, subfields, and which are Galois
- Splitting field of \(x^5-3\) over \(\mathbb{Q}\): cyclotomic subfield, Galois group over \(\mathbb{Q}(\zeta_5)\), and degree
- Elements of a Galois extension of degree \(2^n\) are constructible; a root of an irreducible quartic with splitting-field degree \(24\) is not
- Degree of a compositum when the factors have coprime degrees, and a counterexample without coprimeness
- A finite field has \(p^n\) elements; subfields of a field of size \(3^{12}\); an infinite field of characteristic \(3\)
Algebra Qualifying Exam of July 12, 2006 (pp. 23–26)
- Class equation and nontrivial center of p-group
- Sylow subgroups and simplicity
- Subgroups of index the smallest prime divisor are normal
- Normal subgroups of p-groups of every order up to p^k
- Galois extension definition and fundamental theorem of Galois theory
- Splitting field and Galois group of \(x^4-2\) over \(\QQ\)
- Galois group of finite field and inseparable splitting field
- Nonisomorphism of \(\QQ(\sqrt{2})\) and \(\QQ(\sqrt{3})\)
- Structure theorem for finitely generated abelian groups
- Principal ideal domains
- Non-free submodule of a free module
- Rational canonical form over Q
Algebra Preliminary Examination, Summer 2005 (pp. 27–28)
- Sylow theorems, groups of order 35, simplicity of order 24
- Structure theorem and abelian groups of order \(360\)
- Principal ideal domains and the nonprincipal ideal \((2,x)\subset\ZZ[x]\)
- Sylow subgroups and a field tower for \((x^3-2)(x^2-3)\)
- Roots of \(x^{80}-1\), \(x^{81}-1\), and \(x^{88}-1\) over \(\mathbb F_{81}\)
- Non-similar matrices with same rational eigenvalue
ALGEBRA PRELIMINARY EXAM – 2004 (pp. 29–38)
- Groups of size 15 are solvable; no simple groups of size 36
- Every group of size 15 is cyclic
- The fifty groups of order \(72\)
- Normality at the smallest prime index
- A Euclidean domain, a UFD that is not a PID, and a domain that is not a UFD
- A cyclic \(2\times2\) matrix and canonical forms with characteristic polynomial \((x^2+1)(x+1)^2\)
- Local rings characterized by their nonunits
- Splitting field of \(x^4-5\) over \(\QQ\)
- Every finite group is a Galois group over a suitable fixed field
- Non-Galois cubics and cubic subfields of a degree-\(105\) Galois extension
- Subfields of a field of order \(5^{20}\) — Fields 4 (PDF p. 38)
Algebra Preliminary Examination, July 28, 2003 (pp. 39–48)
- Sylow subgroups and self-centralizing normalizers at order \(84\)
- A normal \(D_8\times D_8\) in every Sylow \(2\)-subgroup of \(S_8\)
- No GCD in polynomial ring and subring of Euclidean domain
- The prime field and all subfields of \(\mathbb F_{1024}\)
- Galois groups of \(x^4+x^3+x^2+x+1\) over \(\QQ\) and \(\mathbb F_5\)
- Galois groups with four incomparable proper intermediate fields
- Removing a base-field linear factor preserves the splitting field
- Abelian groups of order \(720\) and cancellation for finitely generated \(\ZZ\)-modules
- Solvability of \(S_4\), quartics, and a quintic counterexample