No label defined (Q4025939)

[For the entire collection see Zbl 0745.00066.] Let \(\lambda\) be a limit ordinal with countable cofinality. The authors investigate the question: Given a ring \(A\), when is there a \(p\)-group \(G\) of length \(\lambda\) such that \(A\) is isomorphic to the endomorphism ring \(\text{End}(G)\) modulo a certain natural ideal. Two theorems, based on the Black Box of Shelah, give the essence of the paper. We state these, then follow with the relevant definitions. Theorem. Let \(H\) be a reduced \(\lambda\)-skinny \(p\)-group and let \(A\) be a subring of \(\text{End}(H)\) containing the identity. If \(A^ +\) is a torsion-free, \(p\)-reduced, algebraically compact group, then there exists a \(p\)-group \(G\) of length \(\lambda\), containing \(H\), with \(\text{End}(G) \simeq A \oplus \text{Small}_ \lambda(G)\). Theorem. Let \(H\) be a \(\lambda\)-thin mixed group such that its torsion subgroup is dense in \(\widehat{H}\), the completion in the \(p^ \lambda\)- topology, and let \(A\) be a subring of \(\text{End}(H)\) containing the identity. If \(A^ +\) is torsion-free and \(p\)-reduced, then there exists a mixed group \(G\) of length \(\lambda\) containing \(H\) with \(\text{End}(G) \simeq A \oplus \text{Bd}_ \lambda(G)\). The \(p^ \lambda\)-topology on \(H\) is obtained by taking \(\{p^ \alpha H: \alpha < \lambda\}\) as a neighborhood base of 0. A homomorphism \(\varphi: G \to H\) is \(\lambda\)-small if for all \(k< \omega\) there is an \(\alpha(k) < \lambda\) with \(p^{\alpha(k)}\varphi G[p^ k] = 0\); \(\varphi\) if \(\lambda\)-bounded if there exists \(\alpha < \lambda\) such that \(\varphi[p^ \alpha G] = 0\). The set of \(\lambda\)-small (respectively, \(\lambda\)-bounded) endomorphisms of \(G\) is denoted by \(\text{Small}_ \lambda(G)\) (respectively, \(\text{Bd}_ \lambda(G)\)). The group \(H\) is \(\lambda\)-skinny if for each subgroup \(U\) of \(H[p]\), \(U \cap p^ \alpha H \neq 0\) for all \(\alpha < \lambda\) implies \(U\) is not complete in the \(p^ \lambda\)-topology of \(H\); \(H\) is \(\lambda\)-thin if each epimorphism from the \(p^ \lambda\)-completion of a totally projective group of length \(\lambda\) to \(H\) is \(\lambda\)-bounded.