August 14, 2006
This is a closed book exam. To use a result, you can cite it by name (e.g., say "by the Main Theorem on Finitely Generated Modules over PIDs") or, if the result does not have a common name, you can just restate it (e.g., say "We know from class that the polynomial ring over a UFD is a UFD").
Make sure that I can understand what you write. It will help if you use complete sentences to communicate your ideas. I do not engage in reading minds. You really have to tell me what is going on. Make sure that it is impossible to misunderstand your write-up. I can be somewhat dense, and that will work to your disadvantage.
If you think a problem needs clarification, please ask. I will respond to the class.
There is a total of 0 points on this exam.
This exam has 0 problems and 0 pages. Make sure that none are missing in your copy.
Problems are not sorted according to difficulty.
Prove that there is no simple group of order .
Let be a finite group wherein any two conjugate elements commute. Prove that is solvable. (More is true: actually has to be nilpotent; that is, however, a little harder to show.) There is partial credit for proving that is not simple unless it is Abelian.
Show that any nilpotent group of order 900 is Abelian.
Decide whether
is irreducible in .
Let be a commutative ring. A radical is an ideal such that, for any , we have whenever some power .
( 2 points) Show that every prime ideal is a radical.
(3 points) Assume is a radical and does not lie in . Show that there exists a prime ideal that contains but does not contain . (Hint: use Zorn's lemma)
Over , find the RCF, JCF, the elementary divisors, the invariant factors, the characteristic and the minimal polynomial of:
Determine the number of monic irreducible polynomials of degree 2 in .
Let be a Galois extension of degree 270. Show that there is an intermediate extension with .
Let be field extension and let be algebraic over . Let denote the intermediate field generated by . Show that . Here, we consider as a -module where we let act as multiplication by .
For the following questions, no reasoning is required:
True or false: if a group is solvable, then is is nilpotent.
State the universal property for the tensor product of two Abelian groups.
True or false: every finite simple group has odd order.
Give the definition of when a short exact sequence of groups
splits.
True or false: Every Euclidean ring is a UFD.