Large subdirect products of graded modules
\(\aleph\)-productsfinitely \(\aleph\)-presented modulesfinitely generated graded submodulesflat right modulesgraded \(\aleph\)-productsgraded modulesleft \(\aleph\)-coherent ringslocally finitely generated Grothendieck categoriesstrongly graded rings
Free, projective, and flat modules and ideals in associative algebras (16D40) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Module categories in associative algebras (16D90) Chain conditions on other classes of submodules, ideals, subrings, etc.; coherence (associative rings and algebras) (16P70) Associative rings of functions, subdirect products, sheaves of rings (16S60) Graded rings and modules (associative rings and algebras) (16W50)
Let \(\aleph\) be an infinite cardinal number. The \(\aleph\)-product of a family of modules \(\{M_i\}\) is \(\prod^\aleph M_i=\{x\in\prod M_i;\;|\text{supp }x|<\aleph\}\). Let \(R\) be a ring graded by a group \(G\) with neutral element \(e\). First an \(\aleph\)-product is developed for the category \(R\)-gr. A graded module \(M\) is called \(\aleph\)-finitely generated in \(R\)-gr if, for any subset \(S\) of \(M\) with \(| S|<\aleph\), there exists a finitely generated graded submodule \(N\) of \(M\) with \(S\subseteq N\); this concept is used to define finitely \(\aleph\)-presented modules in \(R\)-gr in the natural way. For an Abelian group \(G\), characterizations are given for the following properties: (1) \(M\) is \(\aleph\)-finitely generated in \(R\)-gr, (2) \(M\) is \(\aleph\)-finitely presented in \(R\)-gr, and (3) the graded \(\aleph\)-product of any flat right modules is flat (i.e., \(R\) is left \(\aleph\)-coherent in \(R\)-gr). Then the authors study when the graded \(\aleph\)-product of copies of a single gr-flat module remains flat. The \(\aleph\)-product is preserved by equivalences of locally finitely generated Grothendieck categories; this is used for the categories \(R\)-gr and \(R_e\)-mod when \(G\) is Abelian. When \(G\) is Abelian and \(R\) is strongly graded, \(R\) is \(\aleph\)-coherent in \(R\)-gr if and only if \(R_e\) is left \(\aleph\)-coherent. When \(R\) is strongly graded by a locally finite Abelian group \(G\), \(R\) is left \(\aleph\)-coherent if and only if \(R_e\) is left \(\aleph\)-coherent.
- Left -coherent dimension of rings
- On \((\aleph,U)\)-coherence of modules and rings.
- Large subdirect product of modules as direct summand of their direct product
- Large subdirect products of projective modules
- scientific article; zbMATH DE number 1311363 (Why is no real title available?)
- Large subdirect products of flat modules
This page was built for publication: Large subdirect products of graded modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237112)
