Structure of ultrapowers on Abelian groups over

From MaRDI portal
Publication:1311067





It is known that if \(G\) is an algebraically compact group then the invariants of its maximal divisible subgroup along with the invariants of its \(p\)-adic components constitute a complete, independent system of invariants for \(G\). Ultraproducts \(E\) are \(\omega_ 1\)-saturated groups [\textit{Yu. Ershov}, Decision problems and constructivizable models (1980; Zbl 0495.03009)] and hence algebraically compact groups. Thus, in order to determine the structure of the ultrapowers of abelian groups over \(\omega\) the author computes these invariants for \(A^ \omega\). The following ranks are characterized for a group \(G\) in order to be isomorphic to some ultrapower \(A^ \omega: r(p^ k G[p]/p^{k + 1} G[p])\), \(r_ 0(p\)-basic subgroup of \(G\)), \(r_ p(D(G))\) and \(r_ 0(D(G))\) where \(D(G)\) is the maximal divisible subgroup of \(G\).











This page was built for publication: Structure of ultrapowers on Abelian groups over \(\omega\)

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