On strongly-non-reflexive groups (Q1101832): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:13, 5 March 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