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.