Math 503 Problem Set 10: Module and Field Extensions, Assignments of Abstract Algebra

Problem set 10 for math 503, due in lab during the week of march 26, 2007. Students are required to read artin, chapter 13, sections 1-3, and solve various problems related to module and field extensions. Topics include tensor products, homomorphisms, automorphisms, and degree of field extensions.

Typology: Assignments

Pre 2010

Uploaded on 03/28/2010

koofers-user-rel
koofers-user-rel 🇺🇸

10 documents

1 / 1

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Math 503 Problem Set #10 Due the week of March 26, 2007, in lab.
Read Artin, Chapter 13, sections 1-3.
Part A:
From Artin, do these problems (given at the end of Chapter 12): Miscellaneous problems
8, 9.
From Artin, do these problems (given at the end of Chapter 13): Section 13.1: 1, 4; 13.2:
1; 13.3: 1, 2.
Part B:
1. a) If Ris a commutative ring, find an isomorphism RZZ[2]
R[x]/(x22).
b) Determine whether Z[3] ZZ[2] and Z[2] ZZ[2] are integral domains.
c) Simplify each of the following Z-modules (up to isomorphism):
Z/10 ZZ,Z/10 ZZ/6, Z/10 ZQ,QZQ,Z/10 Z3.
2. Let Rbe a commutative ring, let φ:N1N2be a homomorphism of R-modules, and
let Mbe an R-module.
a) Show that there is an induced homomorphism of R-modules φ:MN1MN2
defined by φ(mn) = mφ(n).
b) Show that if φis surjective then so is φ.
c) Show that if Mis a free R-module (e.g. if Ris a field), then if φis injective then so
is φ. But show by example that if Mis arbitrary, then it is possible for φto be injective
and φnot to be injective. [Compare PS #9, problem B2.]
3. For each of the following field extensions Fof Q, find the degree of Fover Qand find
the group Aut(F) of automorphisms of F.
Q,Q[5], Q[ζ5] (where ζ5is a primitive fifth root of unity), Q[4
2], Q[5
2]
Part C:
From Artin, do these problems (at the end of Chapter 13):
Section 13.1: 2, 3; 13.2: 3.
Also do the following problem:
Let K=Q[2] and L=Q[p2 + 2].
a) Find the multiplicative inverse of p2 + 2inL(as a polynomial in p2 + 2).
b) Show KL. What is [K:Q]? [L:K]? [L:Q]?
c) Let φbe an automorphism of L. What can you say about the restriction φ|Q?
d) Let φbe an automorphism of L. What can you say about the restriction φ|K?
e) Find an element of order 4 in Aut(L). What is the group Aut(L) abstractly?

Partial preview of the text

Download Math 503 Problem Set 10: Module and Field Extensions and more Assignments Abstract Algebra in PDF only on Docsity!

Math 503 Problem Set #10 Due the week of March 26, 2007, in lab.

Read Artin, Chapter 13, sections 1-3.

Part A:

From Artin, do these problems (given at the end of Chapter 12): Miscellaneous problems

8, 9.

From Artin, do these problems (given at the end of Chapter 13): Section 13.1: 1, 4; 13.2:

1; 13.3: 1, 2.

Part B:

  1. a) If R is a commutative ring, find an isomorphism R ⊗Z Z[

2] →

∼ R[x]/(x 2 − 2). b) Determine whether Z[

3] ⊗Z Z[

2] and Z[

2] ⊗Z Z[

2] are integral domains. c) Simplify each of the following Z-modules (up to isomorphism):

Z/ 10 ⊗Z Z, Z/ 10 ⊗Z Z/6, Z/ 10 ⊗Z Q, Q ⊗Z Q, Z/ 10 ⊗ Z 3 .

  1. Let R be a commutative ring, let φ : N 1 → N 2 be a homomorphism of R-modules, and

let M be an R-module.

a) Show that there is an induced homomorphism of R-modules φ∗ : M ⊗N 1 → M ⊗N 2

defined by φ∗(m ⊗ n) = m ⊗ φ(n).

b) Show that if φ is surjective then so is φ∗. c) Show that if M is a free R-module (e.g. if R is a field), then if φ is injective then so

is φ∗. But show by example that if M is arbitrary, then it is possible for φ to be injective

and φ∗ not to be injective. [Compare PS #9, problem B2.]

  1. For each of the following field extensions F of Q, find the degree of F over Q and find

the group Aut(F ) of automorphisms of F.

Q, Q[

5], Q[ζ 5 ] (where ζ 5 is a primitive fifth root of unity), Q[

2], Q[

2]

Part C:

From Artin, do these problems (at the end of Chapter 13):

Section 13.1: 2, 3; 13.2: 3.

Also do the following problem:

Let K = Q[

2] and L = Q[

2].

a) Find the multiplicative inverse of

2 in L (as a polynomial in

b) Show K ⊂ L. What is [K : Q]? [L : K]? [L : Q]? c) Let φ be an automorphism of L. What can you say about the restriction φ|Q? d) Let φ be an automorphism of L. What can you say about the restriction φ|K? e) Find an element of order 4 in Aut(L). What is the group Aut(L) abstractly?