Absolutely indecomposable modules
From MaRDI portal
Other combinatorial set theory (03E05) Structure, classification theorems for modules and ideals in commutative rings (13C05) Projective and free modules and ideals in commutative rings (13C10) Other special types of modules and ideals in commutative rings (13C13) Applications of logic to commutative algebra (13L05) Torsion-free groups, finite rank (20K15) Direct sums, direct products, etc. for abelian groups (20K25) Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30)
Abstract: A module is called absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. We want to show the existence of large abelian groups that are absolutely indecomposable. This will follow from a more general result about R-modules over a large class of commutative rings R with endomorphism ring R which remains the same when passing to a generic extension of the universe. It turns out that `large' in this context has the precise meaning, namely being smaller then the first omega-Erdos cardinal defined below. We will first apply result on large rigid trees with a similar property established by Shelah in 1982, and will prove the existence of related ` R_omega-modules' (R-modules with countably many distinguished submodules) and finally pass to R-modules. The passage through R_omega-modules has the great advantage that the proofs become very transparent essentially using a few `linear algebra' arguments accessible also for graduate students. The result gives a new construction of indecomposable modules in general using a counting argument.
Recommendations
Cites work
- Approximations and endomorphism algebras of modules.
- Automorphism groups of feelds.II
- Automorphism groups of geometric lattices.
- Better quasi-orders for uncountable cardinals
- Endomorphism algebras of large modules with distinguished submodules
- Endomorphism algebras of modules with distinguished partially ordered submodules over commutative rings
- Endomorphism algebras of vector spaces with distinguished sets of subspaces
- Endomorphism Rings of Vector Spaces and Torsion Free Abelian Groups
- Four submodules suffice for realizing algebras over commutative rings
- Fully rigid systems of modules
- scientific article; zbMATH DE number 4091765 (Why is no real title available?)
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- scientific article; zbMATH DE number 463967 (Why is no real title available?)
- scientific article; zbMATH DE number 1762597 (Why is no real title available?)
- scientific article; zbMATH DE number 1361389 (Why is no real title available?)
- scientific article; zbMATH DE number 3232673 (Why is no real title available?)
- scientific article; zbMATH DE number 3406215 (Why is no real title available?)
- Indecomposable Almost Free Modules—The Local Case
- Independence in Completions and Endomorphism Algebras
- Infinite Abelian groups, Whitehead problem and some constructions
- Modules with absolute endomorphism rings.
- Outer automorphisms of locally finite \(p\)-groups.
- Prescribing Endomorphism Algebras, a Unified Treatment
- Small almost free modules with prescribed topological endomorphism rings.
- Vector spaces with five distinguished subspaces
Cited in
(17)- Modules with absolute endomorphism rings.
- Large indecomposable modules in torsion theories
- Absolute graphs with prescribed endomorphism monoid
- Nice infinitary logics
- Absolutely rigid fields and Shelah's absolutely rigid trees
- An upper cardinal bound on absolute E-rings
- An axiomatic construction of an almost full embedding of the category of graphs into the category of \(R\)-objects
- Indecomposable Almost Free Modules—The Local Case
- scientific article; zbMATH DE number 1361389 (Why is no real title available?)
- scientific article; zbMATH DE number 4000154 (Why is no real title available?)
- On Ext-universal modules in Gödel's universe
- Absolute \(E\)-rings
- Absolute \(E\)-modules
- On the existence of uncountable Hopfian and co-Hopfian abelian groups
- Expressive power of infinitary logic and absolute co-Hopfianity
- Borel complexity of modules
- Fully rigid systems of modules
This page was built for publication: Absolutely indecomposable modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3430167)
