4. (10 points) Let k be a field and k[x, y, z] kl3]. Define...

60.1K

Verified Solution

Question

Accounting

image

4. (10 points) Let k be a field and k[x, y, z] kl3]. Define the quotient ring R= k[x, y, z]/(x2 (y2 + 1)). (a) Show that R is an integral domain and find the field of fractions K = frac(R). (b) Show that R is a normal ring. Hint: Show that R= k(x)[y] n k(z)[y] in K. (c) Show that R is a UFD if and only if y2 + 1 is irreducible over k. Hint: Show that y2 + 1 is irreducible iff x is prime. Use Nagata's Criterion for one direction; for the other direction show x is irreducible. (d) The coordinate ring of the sphere S2 is defined by: A = R(x, y, z]/(x2 + y2 + z2 1) Show that CR A = C[x,y,z]/(xz (y2 + 1)) and conclude that CR A is not a UFD. Note: A is a UFD but this is harder to show. 4. (10 points) Let k be a field and k[x, y, z] kl3]. Define the quotient ring R= k[x, y, z]/(x2 (y2 + 1)). (a) Show that R is an integral domain and find the field of fractions K = frac(R). (b) Show that R is a normal ring. Hint: Show that R= k(x)[y] n k(z)[y] in K. (c) Show that R is a UFD if and only if y2 + 1 is irreducible over k. Hint: Show that y2 + 1 is irreducible iff x is prime. Use Nagata's Criterion for one direction; for the other direction show x is irreducible. (d) The coordinate ring of the sphere S2 is defined by: A = R(x, y, z]/(x2 + y2 + z2 1) Show that CR A = C[x,y,z]/(xz (y2 + 1)) and conclude that CR A is not a UFD. Note: A is a UFD but this is harder to show

Answer & Explanation Solved by verified expert
Get Answers to Unlimited Questions

Join us to gain access to millions of questions and expert answers. Enjoy exclusive benefits tailored just for you!

Membership Benefits:
  • Unlimited Question Access with detailed Answers
  • Zin AI - 3 Million Words
  • 10 Dall-E 3 Images
  • 20 Plot Generations
  • Conversation with Dialogue Memory
  • No Ads, Ever!
  • Access to Our Best AI Platform: Flex AI - Your personal assistant for all your inquiries!
Become a Member

Other questions asked by students