The Stacks project

90.2 Notation and Conventions

A ring is commutative with $1$. The maximal ideal of a local ring $A$ is denoted by $\mathfrak {m}_ A$. The set of positive integers is denoted by $\mathbf{N} = \{ 1, 2, 3, \ldots \} $. If $U$ is an object of a category $\mathcal{C}$, we denote by $\underline{U}$ the functor $\mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(U, -): \mathcal{C} \to \textit{Sets}$, see Remarks 90.5.2 (12). Warning: this may conflict with the notation in other chapters where we sometimes use $\underline{U}$ to denote $h_ U(-) = \mathop{\mathrm{Mor}}\nolimits _\mathcal {C}(-, U)$.

Throughout this chapter $\Lambda $ is a Noetherian ring and $\Lambda \to k$ is a finite ring map from $\Lambda $ to a field. The kernel of this map is denoted $\mathfrak m_\Lambda $ and the image $k' \subset k$. It turns out that $\mathfrak m_\Lambda $ is a maximal ideal, $k' = \Lambda /\mathfrak m_\Lambda $ is a field, and the extension $k/k'$ is finite. See discussion surrounding (

Comments (2)

Comment #1320 by on

I guess there is a "we" missing in "where sometimes use U− to denote".

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 06G9. Beware of the difference between the letter 'O' and the digit '0'.