Exercise 111.55.3. Let (A, \mathfrak m, \kappa ) be a Noetherian local ring whose residue field has characteristic not 2. Suppose that \mathfrak m is generated by three elements x, y, z and that x^2 + y^2 + z^2 = 0 in A.
What are the possible values of \dim (A)?
Give an example to show that each value is possible.
Show that A is a domain if \dim (A) = 2. (Hint: look at \bigoplus _{n \geq 0} \mathfrak m^ n/\mathfrak m^{n + 1}.)
Comments (0)