Talk:Regular local ring

From Wikipedia, the free encyclopedia

In the definition of regular, I think a stronger condition than just m=(a_1, \ldots, a_n) is needed. Perhaps that a_1, \ldots a_n is a minimal generating set for m would do.