On the endomorphic images of C_-groups

From MaRDI portal
Publication:795174





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.











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)