A commutative ring \(R\) is local if it has a unique maximal ideal \(\mfm\), that is, \(\mspec R = \theset{ \mfm }\). The residue field of the local ring \((R,\mfm)\) is \(\kappa \coloneqq R/\mfm\).
Local ring
D-TGB4R
D-TGB4R
A commutative ring \(R\) is local if it has a unique maximal ideal \(\mfm\), that is, \(\mspec R = \theset{ \mfm }\). The residue field of the local ring \((R,\mfm)\) is \(\kappa \coloneqq R/\mfm\).