Remarks 111.49.2. Here are some trivial remarks.
On a Noetherian integral scheme $X$ the sheaf ${\mathcal K}_ X$ is constant with value the function field $K(X)$.
To make sense out of the definitions above one needs to show that
\[ \text{length}_{\mathcal O}({\mathcal O}/(ab)) = \text{length}_{\mathcal O}({\mathcal O}/(a)) + \text{length}_{\mathcal O}({\mathcal O}/(b)) \]for any pair $(a, b)$ of nonzero elements of a Noetherian 1-dimensional local domain ${\mathcal O}$. This will be done in the lectures.
Comments (0)