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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
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.
Property / review text: 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. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Q593748 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20K10 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03E45 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03E50 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 4134334 / rank
 
Normal rank
Property / zbMATH Keywords
 
separable abelian p-group
Property / zbMATH Keywords: separable abelian p-group / rank
 
Normal rank
Property / zbMATH Keywords
 
valuated vector space
Property / zbMATH Keywords: valuated vector space / rank
 
Normal rank
Property / zbMATH Keywords
 
\(V=L\)
Property / zbMATH Keywords: \(V=L\) / rank
 
Normal rank
Property / zbMATH Keywords
 
direct sum of cyclics
Property / zbMATH Keywords: direct sum of cyclics / rank
 
Normal rank
Property / zbMATH Keywords
 
\(\omega _ 1\)-separable p-groups
Property / zbMATH Keywords: \(\omega _ 1\)-separable p-groups / rank
 
Normal rank
Property / zbMATH Keywords
 
pure countable subgroups
Property / zbMATH Keywords: pure countable subgroups / rank
 
Normal rank
Property / zbMATH Keywords
 
filtrations
Property / zbMATH Keywords: filtrations / rank
 
Normal rank
Property / zbMATH Keywords
 
filtration-equivalent
Property / zbMATH Keywords: filtration-equivalent / rank
 
Normal rank
Property / zbMATH Keywords
 
isometric socles
Property / zbMATH Keywords: isometric socles / rank
 
Normal rank
Property / zbMATH Keywords
 
isomorphic basic subgroups
Property / zbMATH Keywords: isomorphic basic subgroups / rank
 
Normal rank
Property / zbMATH Keywords
 
\(MA+\neg CH\)
Property / zbMATH Keywords: \(MA+\neg CH\) / rank
 
Normal rank
Property / zbMATH Keywords
 
undecidable in ZFC
Property / zbMATH Keywords: undecidable in ZFC / rank
 
Normal rank

Revision as of 18:34, 1 July 2023

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