COHERENCE

From MaRDI portal





A module \(M\) is defined to be \(\aleph^<\)-coherent if it can be generated by fewer than \(\aleph\) elements and every submodule with fewer than \(\aleph\) generators has fewer than \(\aleph\) relations; when the cardinal \(\aleph\) is \(\aleph_0\), this agrees with the usual definition of coherence. This generalized notion of coherence for rings and modules is studied here, and related to a generalized notion of absolute purity. A module \(M\) is defined to be absolutely \(\aleph^<\)-pure if every consistent system of fewer than \(\aleph\) equations over \(M\) has a solution in \(M\); again, this becomes the usual notion when \(\aleph=\aleph_0\).











This page was built for publication: COHERENCE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4552447)