Definition:Commutative Local Ring