Consider the subring k[x2,x3]k[x]. Now we may consider the ideal (x4) in this ring, and quotient so that:

A:=k[x2,x3]/(x4)

Now this ring is artin local with maximal ideal m=(x2,x3). We can show that the images in m/m2 are linearly independent. This is an local artin ring which does not satisfy the previous proposition.

Powered by Forestry.md