Qualifying Exam in Algebra

Fall 1995

Attempt all of the following problems. Partial credit will be given.

  1. Let exam_images/algebra-fall951.jpg be a finite group, exam_images/algebra-fall952.jpg a prime number and exam_images/algebra-fall953.jpg a exam_images/algebra-fall954.jpg -Sylow subgroup of exam_images/algebra-fall955.jpg . Let exam_images/algebra-fall956.jpg be the normalizer of exam_images/algebra-fall957.jpg in exam_images/algebra-fall958.jpg , in other words the subgroup of all exam_images/algebra-fall959.jpg such that exam_images/algebra-fall9510.jpg . Show that exam_images/algebra-fall9511.jpg is its own normalizer, i.e. that if exam_images/algebra-fall9512.jpg then exam_images/algebra-fall9513.jpg . (First show that exam_images/algebra-fall9514.jpg is the unique exam_images/algebra-fall9515.jpg -Sylow subgroup of exam_images/algebra-fall9516.jpg .)

  2. Let exam_images/algebra-fall9517.jpg be a field and let exam_images/algebra-fall9518.jpg , exam_images/algebra-fall9519.jpg be two relatively prime polynomials. Show that exam_images/algebra-fall9520.jpg is irreducible in exam_images/algebra-fall9521.jpg .

  3. Let exam_images/algebra-fall9522.jpg be a polynomial of degree exam_images/algebra-fall9523.jpg . Let exam_images/algebra-fall9524.jpg be the splitting field of exam_images/algebra-fall9525.jpg , and suppose that the Galois group of exam_images/algebra-fall9526.jpg over exam_images/algebra-fall9527.jpg is exam_images/algebra-fall9528.jpg , the symmetric group on exam_images/algebra-fall9529.jpg letters.
    1. Show that exam_images/algebra-fall9530.jpg is irreducible.
    2. If exam_images/algebra-fall9531.jpg is a root of exam_images/algebra-fall9532.jpg , show that the only automorphism of the field exam_images/algebra-fall9533.jpg is the identity.
    3. For exam_images/algebra-fall9534.jpg , show that, with exam_images/algebra-fall9535.jpg as in b), exam_images/algebra-fall9536.jpg is not an element of exam_images/algebra-fall9537.jpg .


  4. Let exam_images/algebra-fall9538.jpg be a ring. Define: exam_images/algebra-fall9539.jpg is Noetherian. If exam_images/algebra-fall9540.jpg is Noetherian and exam_images/algebra-fall9541.jpg is a surjective homomorphism, show that exam_images/algebra-fall9542.jpg is an isomorphism.

  5. Let exam_images/algebra-fall9543.jpg be a commutative ring with a multiplicative identity 1. Let exam_images/algebra-fall9544.jpg be a subset of exam_images/algebra-fall9545.jpg closed under multiplication and containing 1. If exam_images/algebra-fall9546.jpg is an exam_images/algebra-fall9547.jpg -module, define the localization exam_images/algebra-fall9548.jpg and show that exam_images/algebra-fall9549.jpg is a functor from the category of exam_images/algebra-fall9550.jpg -modules to the category of exam_images/algebra-fall9551.jpg -modules. Prove that localization is exact, in the sense that if

    exam_images/algebra-fall9552.jpg

    is an exact sequence of exam_images/algebra-fall9553.jpg -modules, then

    exam_images/algebra-fall9554.jpg

    is an exact sequence of exam_images/algebra-fall9555.jpg -modules.

  6. Let exam_images/algebra-fall9556.jpg , exam_images/algebra-fall9557.jpg be commutative rings with a multiplicative identity 1.
    1. Let exam_images/algebra-fall9558.jpg , exam_images/algebra-fall9559.jpg be commutative rings with a multiplicative identity 1, and suppose that exam_images/algebra-fall9560.jpg is a ring homomorphism such that exam_images/algebra-fall9561.jpg . Define what it means for exam_images/algebra-fall9562.jpg to be integral over exam_images/algebra-fall9563.jpg .
    2. In the above situation, if exam_images/algebra-fall9564.jpg and exam_images/algebra-fall9565.jpg are integral domains and exam_images/algebra-fall9566.jpg is an inclusion, show that exam_images/algebra-fall9567.jpg is a field if and only if exam_images/algebra-fall9568.jpg is a field.
    3. Let exam_images/algebra-fall9569.jpg be a field. State but do not prove the Noether normalization lemma.
    4. Using (ii) and (iii), prove Hilbert's Nullstellensatz, in the form that if exam_images/algebra-fall9570.jpg is an algebraically closed field and exam_images/algebra-fall9571.jpg is a maximal ideal in the polynomial ring exam_images/algebra-fall9572.jpg , then there exist exam_images/algebra-fall9573.jpg such that exam_images/algebra-fall9574.jpg .


This page was created using WebEQ from Geometry Technologies.
Math Department Home | Degree Programs | People and Publications | Courses | Seminars and Conferences | Links 
Email your comments by filling out our feedback form.
This page was last modified on (none)