-algebraically compact modules and L__1-compact cardinals

DOI10.1002/MALQ.201400054zbMATH Open1357.03073arXiv1406.0098OpenAlexW1907229285WikidataQ105335773 ScholiaQ105335773MaRDI QIDQ5258481FDOQ5258481

Jan Šaroch

Publication date: 22 June 2015

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

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.

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Algebraic Compactness OF $\prod M_\alpha / \oplus M_\alpha$
• Test sets for factorization properties of 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)