Definition 10.17.1. A local ring is a ring with exactly one maximal ideal. The maximal ideal is often denoted $\mathfrak m_ R$ in this case. We often say “let $(R, \mathfrak m, \kappa )$ be a local ring” to indicate that $R$ is local, $\mathfrak m$ is its unique maximal ideal and $\kappa = R/\mathfrak m$ is its residue field. A local homomorphism of local rings is a ring map $\varphi : R \to S$ such that $R$ and $S$ are local rings and such that $\varphi (\mathfrak m_ R) \subset \mathfrak m_ S$. If it is given that $R$ and $S$ are local rings, then the phrase “local ring map $\varphi : R \to S$” means that $\varphi$ is a local homomorphism of local rings.

There are also:

• 2 comment(s) on Section 10.17: Local rings

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).