On the endomorphic images of \(C_{\lambda}\)-groups (Q795174): Difference between revisions

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.