Left \(\aleph\)-coherent dimension of rings (Q1808898)

Let \(\aleph\) be an infinite cardinal number, and let \(R\) be a ring with identity element. Following \textit{P. Loustaunau} [Commun. Algebra 17, No. 1, 197-215 (1989; Zbl 0664.16019)], the author calls a left \(R\)-module \(\aleph\)-finitely generated if every subset \(X\) of \(M\) with \(|X|<\aleph\) is contained in a finitely generated submodule of \(M\). As usual, a finitely generated module \(M\) is called \(\aleph\)-finitely presented if there is a homomorphism of a finite rank free module onto \(M\) with \(\aleph\)-finitely generated kernel. The author generalizes this concept by considering a projective resolution of a module by finite rank free modules such that the \(n\)th kernel is \(\aleph\)-finitely generated. This concept is used to define a dimension for modules, so that \(R\) is left \(\aleph\)-coherent if and only if its dimension is \(0\). Also the dimension of a direct sum of rings is the supremum of their dimensions. Bounds for the dimensions can be given in terms of \(\aleph\)-products of flat modules. If \(S\) is an excellent extension of \(R\), then the dimensions of \(R\) and \(S\) are equal.