An infinite cardinal-valued Krull dimension for rings (Q1989817)

Cardinal Krull dimension of a ring $R$ (denoted by c.dim($R$)) is the supremum of the lengths of chains of prime ideals of $R$, the notion that soon naturally sprang out of the original finite notion of the Krull dimension. Clearly c.dim$(R)\leq 2^{|R|}$ and the supremum in the definition is not attainable for many rings (like Noetherian). Hence a definition of a strong cardinal Krull dimension sc.dim($R)=\kappa$ if c.dim($R)=\kappa$ and there is a chain of prime ideals of $R$ of length $\kappa$. sc.dim($R$) exists whenever c.dim($R$) is a successor cardinal; likewise, when prime ideals of $R$ form a chain. The main objective of this paper is to answer the question for which cardinal pairs $(\kappa,\lambda)$ there exists a ring $R$ of cardinality $\kappa$ and (strong) cardinal Krull dimension $\lambda$? Relying on the results from literature, the authors show that, for $\kappa\geq\lambda$, there exists a ring $R$ with cardinality $\kappa$ and strong cardinal Krull dimension $\lambda$, if and only if, $\kappa\geq 2$ and either $\kappa\geq \omega$ or $\lambda=0$. Given an infinite cardinal $\kappa$, the authors are able to construct a valuation ring, a polynomial ring and a Leavitt path algebra of cardinality $\kappa$ with c.dim strictly greater than $\kappa$. With the aid of some set-theoretic assumptions (such as the (Generalized) Continuum Hypothesis) other possible situations are discussed in the context of the original objective.