Some cardinality questions for flat modules and coherence (Q2534211)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some cardinality questions for flat modules and coherence |
scientific article |
Statements
Some cardinality questions for flat modules and coherence (English)
0 references
1969
0 references
For an infinite cardinal number \(\aleph\) a ring \(R\) is called left \(\aleph\)-Noetherian if any left ideal is generated by \(\aleph\) elements, and \(R\) is called left \(\aleph\)-coherent if any left ideal generated by \(\aleph\) elements has the form \(F/K\) where \(F\) is free and both \(F\) and \(K\) are generated by \(\aleph\) elements. It is proved that if \(R\) is either left \(\aleph\)-Noetherian or left \(\aleph\)-coherent with a left perfect classical right quotient ring, then any flat left R-module is a directed union of \(\aleph\)-generated flat submodules. However, there exists no universal cardinal number \(\aleph\) such that for any ring any flat module is a directed union of \(\aleph\)-generated flat submodules, since there exist arbitrarily large cardinal numbers \(\aleph\) and \(\aleph\)-Noetherian rings \(R\) for which there are flat \(R\)-modules not representable as directed unions of flat modules generated by less than \(\aleph\) elements. Next it is shown that for special classes of Noetherian rings any flat module is directed union of finitely generated projective submodules. In particular this holds for polynomial rings in two variables over a field. By results of P. M. Cohn this holds for polynomials in any number of noncommuting variables over a field. In the second part of the paper rings of formal power series with exponents in a fully ordered group and coefficients in a von Neumann regular ring are studied with respect to weak global dimension and coherence.
0 references
associative rings
0 references
flat modules
0 references
left \(\aleph\)-Noetherian
0 references
left \(\aleph\)-coherent
0 references
rings of formal power series
0 references
weak global dimension
0 references
coherence
0 references