On strongly-non-reflexive groups (Q1101832): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02774142 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2022239144 / rank | |||
Normal rank |
Latest revision as of 09:44, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On strongly-non-reflexive groups |
scientific article |
Statements
On strongly-non-reflexive groups (English)
0 references
1987
0 references
\textit{K. Eda} and \textit{H. Ohta} [Abelian group theory, Proc. Oberwolfach 1985, 241-257 (1987)] gave an elegant proof of a long standing problem on reflexivity of abelian groups. Combining results on topological spaces and methods from abelian groups, they proved the existence of abelian groups A of cardinality \(2^{\aleph_ 0}\) such that \(A^{*n}\) is not reflexive for all \(n\in \omega\). Here \(A^{*n}\) is defined inductively \(A^{*n+1}=Hom(A^{*n},{\mathbb{Z}})\) and \(A^{*0}=A\). Moreover A is reflexive if \(A\cong^{\sigma}A^{**}\) under the evaluation map \(\sigma\). The present paper ``assumes additional set theory \(\diamond_{\omega_ 1}''\) which follows from V\(=L\). The proofs are much more technical, however the final result is much stronger. The authors exhibit a group A of cardinality \(\aleph_ 1=2^{\aleph_ 0}\) such that \(A^{*n}\not\cong A^{*n+2}\), i.e. \(A^{*n}\) is strongly-non- reflexive. Moreover \(A^{*n}\) can be chosen weakly \(\omega_ 1\)- separable.
0 references
reflexivity of abelian groups
0 references
evaluation map
0 references
\(V=L\)
0 references
strongly-non- reflexive
0 references
weakly \(\omega _ 1\)-separable
0 references