On socles of Abelian p-groups in L (Q584423): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
 
(3 intermediate revisions by 2 users not shown)
Property / reviewed by
 
Property / reviewed by: Q593748 / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: C. I. Vinsonhaler / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 00:42, 5 March 2024

scientific article
Language Label Description Also known as
English
On socles of Abelian p-groups in L
scientific article

    Statements

    On socles of Abelian p-groups in L (English)
    0 references
    0 references
    0 references
    1988
    0 references
    The subject of this paper is the relationship of a separable abelian p- group A to its socle A[p] viewed as a valuated vector space. If, for example, A is a direct sum of cyclics, then A is determined by A[p]. In Section 1 the authors generalize a result of Hill and Megibben by proving the following Theorem (V\(=L\)). Let A be a separable, abelian p- group of cardinality \(\aleph_ 1\). If A is neither a direct sum of cyclics nor torsion-complete, then there exists a separable p-group \(A'\) such that \(A'\) and A are not isomorphic but \(A'[p]\) and A[p] are isometric. In Section 2, \(\omega_ 1\)-separable p-groups A of cardinality \(\aleph_ 1\) are examined. Any group in this class has an \(\omega_ 1\)- filtration \(A=\cup_{\nu <\omega_ 1}A_{\nu}\) into pure countable subgroups \(A_{\nu}\) such that \(A_{\nu +1}\) is a summand of \(A_{\mu}\) for all \(\nu <\mu <\omega_ 1\). If \(A'=\cup_{\nu <\omega_ 1}A'_{\nu}\) is another such group, then A and \(A'\) are called filtration-equivalent if, for suitable filtrations of A and \(A'\), there are isomorphisms \(f_{\nu}: A_{\nu}\to A'_{\nu}\), for all \(\nu <\omega_ 1\), such that \(f_{\nu}(A_{\mu})=A'_{\mu}\) for all \(\mu\leq \nu.\) Theorem \((2^{\aleph_ 0}<2^{\aleph_ 1})\). There exist \(\omega_ 1\)-separable p-groups which are filtration-equivalent, have isometric socles and isomorphic basic subgroups, but are not themselves isomorphic. Denote by C the class of all \(\omega_ 1\)-separable p-groups A which have a filtration \(\cup A_{\nu}\) where either \(A_{\lambda +1}/A_{\lambda}=Z(p^{\infty})\oplus C_{\lambda}\) with \(C_{\lambda}^ a \)direct sum of cyclics, or \(A_{\lambda}\) is a summand of \(A_{\lambda +1}\) for all \(\lambda <\omega_ 1\). Theorem. If A and \(A'\) in C have isometric socles, then they are filtration equivalent. Theorem (MA\(+\neg CH\)). If A and \(A'\) belong to C, then \(A\simeq A'\) if and only if A[p] and \(A'[p]\) are isometric. As a consequence, it is undecidable in ZFC if groups in C are determined by their socles.
    0 references
    separable abelian p-group
    0 references
    valuated vector space
    0 references
    \(V=L\)
    0 references
    direct sum of cyclics
    0 references
    \(\omega _ 1\)-separable p-groups
    0 references
    pure countable subgroups
    0 references
    filtrations
    0 references
    filtration-equivalent
    0 references
    isometric socles
    0 references
    isomorphic basic subgroups
    0 references
    \(MA+\neg CH\)
    0 references
    undecidable in ZFC
    0 references

    Identifiers