LaTeX-ed solutions are encouraged and appreciated.
If you use LaTeX, hand-in a printed version of your homework.
You are encouraged to discuss homework problems with classmates, but such discussions should NOT include the exchange or written material.
Writing of homework problems should be done on an individual basis.
Outside references for material used in the solution of homework problems should be fully disclosed.
References to results from the textbook and/or class notes should also be included.
The following lists should be considered partial and tentative lists until the word complete appears next to it.
Use 8.5in x 11in paper with smooth borders. Write your name on top of each page. Staple all pages.
Problem Set 9 Due 05/05/2020 (complete)
Prove that a finite group G is solvable iff there is a finite sequence of subgroups 1=H0≤H1≤⋯≤Hn−1≤Hn=G such that each Hi⊴Hi+1 and Hi+1/Hi is cyclic. Show, with a counterexample, that this equivalence does not hold in general for arbitrary groups.
Show that the class of solvable groups is not closed under arbitrary products.
(Optional) Redo Exercise 4.6.1 in the class notes (page 102)
Let p be prime, and G≤Sp. Show that if G contains a p-cycle and a transposition, the G=Sp.
Problem Set 8 Due 04/28/2020 (complete)
Prove Theorem 4.24.1,2 in the class notes (page 90).
Exercise 4.6.1 in the class notes (page 101)
Let K and L be fields. Show that the set Hom(K,L) of all homomorphisms from K to L, is linearly independent over L as a subset of the vector space LK of all functions from K to L. In particular Aut(K) is linearly independent over K.
Let F/K be a finite extension, and L/K its normal closure. Show that L/K is also a finite extension. Hint: if you write E=K(α1,…,αn), and let fi(x)=minK(αi), show that L is the splitting field of the set A={f1(x),…,fn(x)}.
Problem Set 7 Due 04/16/2020 (complete)
Prove or disprove: all cyclotomic polynomials have all their coefficients in {0,±1}.
Show that if n is even then ϕ2n(x)=ϕn(x2), and if n≥3 is odd then ϕ2n(x)=ϕn(−x).
Let P be a locally finite poset. For y≠x∈P, show that ∑y≤z_≤xμ(z,x)=0 Hint: Fix y∈P, and then use induction on the Artinian poset {u∈P∣u>y}.
Show that the sequence of coefficients of the cyclotomic polynomial ϕn(x), for n≥2, is palindrome, i.e. if Φn(x)=φ(n)∑i=0aixi, then aφ(n)−i=ai.