Can take ring of integers \({\mathcal{O}}_K\) as the integral closure of \({\mathbf{Z}}\) in \(K\), or equivalently the algebraic integers in \(K\). Note \(\operatorname{ff}({\mathcal{O}}_K) = K\) and \({\mathcal{O}}_K\) is a Dedekind domain of Krull dimension one.

- Tags: - #AG/basics - Refs: - See Bhatt-Lurie 2022 for Cartier-Witt divisors, generalized Cartier divisors, and their relation to prisms: https://arxiv.org/pdf/2201.06120.pdf#page=1 #resources/papers/2022 - Links: - divisor - Ring theory: - Krull dimension - regular ring - Scheme theory: - Noetherian scheme - integral scheme - separated scheme - closed subscheme