

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
Material Type: Assignment; Class: Commuta Algebra; Subject: Mathematics; University: University of Michigan - Ann Arbor; Term: Fall 2008;
Typology: Assignments
1 / 2
This page cannot be seen from the preview
Don't miss anything!


Math 614, Fall 2008 Problem Set #2: Solutions
Alternatively, every element of S has the form r/w where r ∈ R and w ∈ W. Then (gf )(w)g(r/w) = g(w/1)g(r/w) = g(r/1) = (gf )(r) = (hf )(r) = h(r/1) = h(w/1)h(r/w) = (hf )(w)h(r/w). Since (gf )(w) = (hf )(w), we can conclude that g(r/w) = h(r/w) provided that (gf )(w) is invertible in T. But (gf )(w) = g(w/1) has inverse g(1/w), as required.
the second instance, w is to be thought of as an element of U ). Since the image of V˜ consists of units in U −^1 R we have a unique homomorphism α : V˜ −^1 S ∼= U −^1 R that sends (r/w)/(v/1) 7 → r/(vw). Similarly, since the image of U = V W consists of units
in V˜ −^1 S (the inverse of vw is (1/w)/v), we have a unique R-algebra homomorphism β : U −^1 R → V˜ −^1 S that sends r/(vw) 7 → (r/w)/(v/1). It is now obvious that α ◦ β is the
identity on U −^1 R and that β ◦ α is the identity on V˜ −^1 S.
p 2
. This element is integral over Z, since it is a root of x^2 − x − k = 0.
Clearly, s is in the fraction field of Z[
p], which is Q[
p]. Note that
p = 2s − 1, so Z[
p] ⊆ Z[s]. Since s^2 = s + k, the set Z + Zs is already closed under multiplication, and so Z[s] = Z + Zs. Now suppose that a + b
p is integral over Z, where a, b ∈ Q. We shall show that a + b
p ∈ Z. If b = 0, this follows because Z is a PID, hence, a UFD, and is normal. If b 6 = 0 the minimal monic polynomial of a + b
p over Q is (x − a)^2 − b^2 p = 0.
Since Z is normal, if a + b
5 is integral over Z, we must have that the coefficients are in Z, i.e., that − 2 a and a^2 − b^2 p are in Z. Thus, we we may assume that a = n/2, where n ∈ Z. By subtracting ns we obtain a new integral element of the form c
p, where c is rational. To complete the proof, it suffices to show c must be an integer. Then (c
p)^2 is integral over Z and rational, and so must be an integer. Since pc^2 is an integer, we can write c^2 = n/p. But when we write c = r/s is in lowest terms, r, s ∈ Z, s > 0, r^2 /s^2 is also in lowest terms, which implies that s^2 divides p. Thus, s = 1, as required.
Q ∈ D(a) = Spec (R) − V (a) and Q′^ ∈ D(b) while D(a) ∩ D(b) = ∅: the fact that ab = 0 shows that V (a) ∪ V (b) = Spec (R).
(b) Let Q and Q′^ be distinct prime ideals. Then there is no prime ideal contained in both, since there cannot be a strict containment of two primes. By part (a), Q and Q′^ have disjoint open neighborhoods. This proves that X is a Hausdorff space. It was shown in class that Spec (R) is always quasicompact, so that X is compact. A quasicompact subspace must then be closed. Let two points be given. Then the first has an open neighborhood of the form D(a) that does not contain the second, and D(a) is quasicompact and so closed as well as open.