
Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
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
1 / 1
This page cannot be seen from the preview
Don't miss anything!

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:
∼ R[x]/(x 2 − 2). b) Determine whether Z[
2] and 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 .
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.]
the group Aut(F ) of automorphisms of F.
Q, Q[
5], Q[ζ 5 ] (where ζ 5 is a primitive fifth root of unity), Q[
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[
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?