On the endomorphic images of C_-groups
Let \(\lambda\) be a limit ordinal. An abelian p-group G is a \(C_{\lambda}\)-group if \(G/p^{\sigma}G\) is totally projective for all ordinals \(\sigma<\lambda\). A subgroup B of G is called a \(\lambda\)-basic subgroup provided (1) \(p^{\lambda}B=0\); (2) B is totally projective; (3) B is \(p^{\lambda}\)-pure in G; and (4) G/B is divisible. The author proves Theorem. Let B be a \(\lambda\)-basic subgroup of the \(C_{\lambda}\)-group G. Then B is an endomorphic image of G. This generalizes the result of Szele for ordinary basic subgroups.
- \(C_\lambda\)-groups and \(\lambda\)-basic subgroups in modular group rings
- Subgroups generated by images of endomorphisms of abelian groups and duality
- scientific article; zbMATH DE number 124316
- On \(\lambda\)-large subgroups of \(n\)-summable \(C_{\omega_1}\)-groups.
- On λ-Large Subgroups of Summable CΩ-Groups
This page was built for publication: On the endomorphic images of \(C_{\lambda}\)-groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q795174)