Definability of completely decomposable torsion-free Abelian groups by homomorphism groups. (Q1889457): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1024085018522 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W194187609 / rank | |||
Normal rank |
Latest revision as of 11:05, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Definability of completely decomposable torsion-free Abelian groups by homomorphism groups. |
scientific article |
Statements
Definability of completely decomposable torsion-free Abelian groups by homomorphism groups. (English)
0 references
2 December 2004
0 references
In the 1970's, \textit{P. Hill} [J. Algebra 19, 379-383 (1971; Zbl 0228.20027)] and \textit{A. M. Sebel'din} [Gruppy Moduly 70-77 (1976)] established that there is no Abelian group \(C\) such that for any Abelian groups \(A\) and \(B\), \(\Hom(A,C)\cong\Hom(B,C)\) implies that \(A\cong B\). In fact, Sebel'din demonstrated two completely decomposable nonisomorphic Abelian groups \(A\) and \(B\) such that \(\Hom(A,C)\cong\Hom(B,C)\) for any Abelian group \(C\). In the current work, the authors investigate the property that \(\Hom(C,A)\cong\Hom(C,B)\) implies that \(A\cong B\). Let \(C\) be an Abelian group. A class \(\chi\) of Abelian groups is called a `\(_CH\)-class' if the relation \(\Hom(C,A)\cong\Hom(C,B)\) implies that \(A\cong B\) for any groups \(A,B\in\chi\). Let \(\mathcal T\) be the class of completely decomposable torsion-free Abelian groups. In the current paper, Beregovaya and Sebel'din three times offer necessary and sufficient conditions on a group \(C\in\mathcal T\) that will ensure that a subclass \(\chi\) of \(\mathcal T\) is a \(_CH\)-class. The first of these conditions is the following: Theorem 1. Let \(C\in\mathcal T\). The class \(\mathcal T\) is a \(_CH\)-class if and only if \(C\) satisfies the following conditions: (1) \(C\) has a direct summand isomorphic to the integers; (2) \(\Omega(C)\) contains idempotent types only; (3) \(C\) is of finite rank.
0 references
completely decomposable Abelian groups
0 references
torsion-free Abelian groups
0 references
idempotent types
0 references
homomorphism groups
0 references