Definition 10.59.8. Let $R$ be a local Noetherian ring and $M$ a finite $R$-module. We denote $d(M)$ the element of $\{ -\infty , 0, 1, 2, \ldots \}$ defined as follows:

1. If $M = 0$ we set $d(M) = -\infty$,

2. if $M \not= 0$ then $d(M)$ is the degree of the numerical polynomial $\chi _ M$.

There are also:

• 1 comment(s) on Section 10.59: Noetherian 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).