Some cardinality questions for flat modules and coherence (Q2534211)

From MaRDI portal





scientific article; zbMATH DE number 3282729
Language Label Description Also known as
default for all languages
No label defined
    English
    Some cardinality questions for flat modules and coherence
    scientific article; zbMATH DE number 3282729

      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

      Identifiers