scientific article; zbMATH DE number 124316

Authors Raimund Behler, Rüdiger Göbel, Ray Mines

Publication date 21 February 1993

Black Box of Shelah endomorphism ring length limit ordinal reduced \(\lambda\)-skinny \(p\)-group thin mixed group totally projective group

Mathematics Subject Classification ID

Endomorphism rings; matrix rings (16S50) Torsion groups, primary groups and generalized primary groups (20K10) Mixed groups (20K21) Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30)

Review text

[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.

Recommendations

Cited in

(6)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4025939)