Processing math: 7%

User Tools

Site Tools


people:fer:504ws:spring2020:homework

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

people:fer:504ws:spring2020:homework [2020/02/20 12:07]
fer
people:fer:504ws:spring2020:homework [2020/04/30 16:09] (current)
fer
Line 1: Line 1:
 +~~META:​title=Homework~~
  
 +<WRAP centeralign>​
 +===== Math 504 - Homework =====
 +</​WRAP>​
 +
 +{{page>​people:​fer:​504ws:​504ws_homework_header&​nofooter&​noeditbtn}}
 +----
 +{{page>​people:​fer:​504ws:​defs&​nofooter&​noeditbtn}}
 +
 +**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=H0H1Hn1Hn=G such that each Hi\normaleqHi+1 and H_{i+1}/​H_i 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\leq S_p.  Show that if G contains a p-cycle and a transposition,​ the G=S_p. ​
 +
 +**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 L^K 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(\alpha_1,​\dots,​\alpha_n),​ and let f_i(x)=\min_K(\alpha_i),​ show that L is the splitting field of the set A=\{f_1(x),​\dots,​f_n(x)\}.
 +
 +
 +
 +**Problem Set 7** Due 04/16/2020 (complete)
 +  - Prove or disprove: all cyclotomic polynomials have all their coefficients in \{0,\pm 1\}.
 +  - Show that if n is even then \phi_{2n}(x) = \phi_n(x^2),​ and if n\geq 3 is odd then \phi_{2n}(x) = \phi_n(-x).
 +  - Let P be a locally finite poset. ​ For y\neq x\in P, show that \sum_{y\leq \ul{z}\leq x}\mu(z,​x)=0   Hint: Fix y\in P, and then use induction on the Artinian poset \{u\in P\mid u > y\}.
 +  - Show that the sequence of coefficients of the cyclotomic polynomial \phi_n(x),​ for n\geq 2, is palindrome, i.e. if \Phi_n(x)=\sum_{i=0}^{\varphi(n)}a_ix^i,​ then a_{\varphi(n)-i}=a_i. ​
 +
 +[[people:​fer:​504ws:​Spring2020:​old_homework]]