On the endomorphic images of \(C_{\lambda}\)-groups (Q795174)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the endomorphic images of \(C_{\lambda}\)-groups |
scientific article |
Statements
On the endomorphic images of \(C_{\lambda}\)-groups (English)
0 references
1984
0 references
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.
0 references
limit ordinal
0 references
abelian p-group
0 references
totally projective
0 references
\(\lambda\)-basic subgroup
0 references
\(C_{\lambda}\)-group
0 references
endomorphic image
0 references