-algebraically compact modules and L__1-compact cardinals

DOI10.1002/MALQ.201400054MaRDI QIDQ5258481zbMATH OpenOpenAlexWikidataFDO

Authors Jan Šaroch

Publication date 22 June 2015

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1406.0098

zbMATH Keywords

\(\mathcal{L}_{\omega_1\omega}\)-compact cardinals\(\omega\)-measurable cardinal\(\Sigma\)-algebraically compact module

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Large cardinals (03E55) Applications of logic in associative algebras (16B70) Injective modules, self-injective associative rings (16D50)

Abstract: We prove that the property Add$(M)subseteq$ Prod$(M)$ characterizes $Sigma$-algebraically compact modules if $|M|$ is not $omega$-measurable. Moreover, under a large cardinal assumption, we show that over any ring $R$ where $|R|$ is not $omega$-measurable, any free module $M$ of $omega$-measurable rank satisfies Add$(M)subseteq$ Prod$(M)$, hence the assumption on $|M|$ cannot be dropped in general (e.g. over small non-right perfect rings). In this way, we extend results from a recent paper by Simion Breaz.

Recommendations

• Compactness phenomena around the class of locally projective modules
• Strong Incompactness for Some Non-Perfect Rings
• A Generalization of Algebraic Compactness
• Algebraic Compactness OF \prod M_\alpha / \oplus M_\alpha
• Compact cardinals and Abelian groups

Cites work

• Elimination of quantifiers for modules
• Group radicals and strongly compact cardinals
• How large is the first strongly compact cardinal? or a study on identity crises
• Model theory of modules
• Model-theoretic aspects of -cotorsion modules
• Possible size of an ultrapower of \(\omega\)
• Reduced direct products
• Slender modules, endo-slender abelian groups and large cardinals

Cited in

(6)

• Test sets for factorization properties of modules
• scientific article; zbMATH DE number 4055912 (Why is no real title available?)
• Algebraic Compactness OF \prod M_\alpha / \oplus M_\alpha
• Compactness phenomena around the class of locally projective modules
• Comparing add \(\operatorname{Add}(M)\) with \(\operatorname{Prod}(M)\)
• The cotorsion pair generated by the Gorenstein projective modules and -pure-injective modules

This page was built for publication: \(\Sigma\)-algebraically compact modules and \(\mathcal{L}_{\omega_1\omega}\)-compact cardinals

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