-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) Injective modules, self-injective associative rings (16D50) Large cardinals (03E55) Applications of logic in associative algebras (16B70)

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 \(\Sigma\)-cotorsion modules
• Possible size of an ultrapower of \(\omega\)
• Reduced direct products
• Slender modules, endo-slender abelian groups and large cardinals

Cited in

(4)

• Test sets for factorization properties of modules
• Compactness phenomena around the class of locally projective modules
• Algebraic Compactness OF $\prod M_\alpha / \oplus M_\alpha$
• scientific article; zbMATH DE number 4055912 (Why is no real title available?)

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)