Final Examination - Algebraic Structures - Spring 2005 | MATH 547, Exams of Mathematics

Material Type: Exam; Professor: Vraciu; Class: ALGEBRAIC STRUCTURES II; Subject: Mathematics; University: University of South Carolina - Columbia; Term: Spring 2005;

Typology: Exams

2010/2011

Uploaded on 06/21/2011

koofers-user-o51
koofers-user-o51 🇺🇸

5

(1)

9 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Math 547, Final Exam, Spring , 2005
The exam is worth 100 points. Each problem is worth 11 1/9 points.
Write your answers as legibly as you can on the blank sheets of paper provided.
Use only one side of each sheet. Take enough space for each problem. Turn in
your solutions in the order: problem 1, problem 2, ... ; although, by using enough
paper, you can do the problems in any order that suits you.
I will e-mail your grade to you as soon as I finish grading the exams.
I will post the solutions on my website later today.
1. Let KLbe fields, f(x) be a polynomial in K[x] , σAutKL, and `L.
Suppose that f(`) = 0 . Prove f(σ(`)) = 0 . Give all details.
2. Let KLbe fields, f(x) be an irreducible polynomial of K[x] , and α1
and α2be elements of Lwith f(α1) = f(α2) = 0 . Prove that there exists a
ring isomorphism σ:K[α1]K[α2] with σ(α1) = α2and σ(k) = kfor all
kK. Give all details.
3. State the Fundamental Theorem of Galois Theory. Please give hypotheses and
conclusions.
4. Let Ibe an ideal of the ring R. Prove that Iis a maximal ideal of Rif and
only if R/I is a field.
5. Prove that Q[x] is a Principal Ideal Domain.
6. Let Ibe an ideal in a Principal Ideal Domain R. Prove that the following
statements are equivalent. (That is, if one of the statements is true, then they
all are true. If one of the statements is false, then they all are false.)
(a) There is an irreducible element rof Rwith I= (r) .
(b) The ideal Iis a non-zero prime ideal.
(c) The ideal Iis a maximal ideal.
7. Let Kbe the splitting field of x52 over Q. We have shown that
K=Q[5
2, ω] , where ω=e2πi
5. We have also shown that dimQK= 20 ,
and that there exist auotmorphisms σ, τ in AutQKwith
σ(5
2) = 5
2σ(ω) = ω2
τ(5
2) = ω5
2τ(ω) = ω.
Furthermore we have shown that AutQKis generated by σand τ. You do
not have to re-prove any of the above facts. However, I do want complete details
for the following things: Find a field Ewith QEKand dimQE= 2 .
Find the subgroup Hof AutQKwith KH=E. (“Find” means tell me
generators.)
pf2

Partial preview of the text

Download Final Examination - Algebraic Structures - Spring 2005 | MATH 547 and more Exams Mathematics in PDF only on Docsity!

Math 547, Final Exam, Spring , 2005 The exam is worth 100 points. Each problem is worth 11 1/9 points.

Write your answers as legibly as you can on the blank sheets of paper provided. Use only one side of each sheet. Take enough space for each problem. Turn in your solutions in the order: problem 1, problem 2,... ; although, by using enough paper, you can do the problems in any order that suits you.

I will e-mail your grade to you as soon as I finish grading the exams.

I will post the solutions on my website later today.

  1. Let K ⊆ L be fields, f (x) be a polynomial in K[x] , σ ∈ AutK L , and ∈ L. Suppose that f () = 0. Prove f (σ(`)) = 0. Give all details.
  2. Let K ⊆ L be fields, f (x) be an irreducible polynomial of K[x] , and α 1 and α 2 be elements of L with f (α 1 ) = f (α 2 ) = 0. Prove that there exists a ring isomorphism σ : K[α 1 ] → K[α 2 ] with σ(α 1 ) = α 2 and σ(k) = k for all k ∈ K. Give all details.
  3. State the Fundamental Theorem of Galois Theory. Please give hypotheses and conclusions.
  4. Let I be an ideal of the ring R. Prove that I is a maximal ideal of R if and only if R/I is a field.
  5. Prove that Q[x] is a Principal Ideal Domain.
  6. Let I be an ideal in a Principal Ideal Domain R. Prove that the following statements are equivalent. (That is, if one of the statements is true, then they all are true. If one of the statements is false, then they all are false.) (a) There is an irreducible element r of R with I = (r). (b) The ideal I is a non-zero prime ideal. (c) The ideal I is a maximal ideal.
  7. Let K be the splitting field of x^5 − 2 over Q. We have shown that K = Q[ 5

2 , ω] , where ω = e 2 πi^5. We have also shown that dimQ K = 20 , and that there exist auotmorphisms σ, τ in AutQ K with

σ( 5

2 σ(ω) = ω^2

τ ( 5

  1. = ω 5

2 τ (ω) = ω.

Furthermore we have shown that AutQ K is generated by σ and τ. You do not have to re-prove any of the above facts. However, I do want complete details for the following things: Find a field E with Q ⊆ E ⊆ K and dimQ E = 2. Find the subgroup H of AutQ K with KH^ = E. (“Find” means tell me generators.)

2

  1. Let H be the subgroup <(1, 2 , 3 , 4), (1, 3)> of S 4. Let S 4 /H be the set of left cosets of H in S 4. Let H act on S 4 /H by left translation. In other words, if h is in H and gH is a left coset of H in S 4 (i.e., g ∈ S 4 ), then h sends gH to the left coset hgH. (a) Find the orbit of each element of S 4 /H. (b) Find the normalizer of H in S 4. Recall that the normalizer of H in S 4 is NS 4 (H) = {g ∈ S 4 | gHg−^1 = H}.
  2. Let K be the splitting field of x^17 − 1 over Q. We know that K = Q[ω] , for ω = e

217 πi

. We also know that AutQ K is the cyclic group of order 16 which is generated by the automorphism σ where σ(ω) = ω^3. You do not have to re-prove any of the above facts. However, I do want complete details for the following things: Find a subgroup H of AutQ K with 8 elements. Find the field KH^. (“Find” means tell me generators.)