Monday, September 8, 2008

Codimension of local rings

If (R, m) is a local ring then
dim R = dim Rm = codim m.

No comments: