symmetric monoidal (∞,1)-category of spectra
The Krull dimension of a commutative ring is the supremum of lengths of chains
of distinct prime ideals in .
If is a possibly noncommutative ring and a left -module, then the Krull dimension of is by definition a deviation of the poset of subobjects of .
A deviation of a poset is defined recursively.
the subposets of all elements between and do not have deviation of less than for at most finitely many .
Last revised on July 12, 2023 at 11:11:15. See the history of this page for a list of all contributions to it.