Local Noetherian ring