If $G$ and $H$ are divisible groups each of which is isomorphic to a subgroup of the other, then $G$ is isomorphic to $H$.
Here, $G$ and $H$ are abelian groups. Can we assume another adjective rather than divisibility?
Asked
Active
Viewed 232 times
4
-
- Cyclic. 2) Finitely-generated-and-torsion-free. Surely many others (perhaps "finitely generated" suffices?)
– Alon Amit May 08 '11 at 13:47
1 Answers
4
These are called Cantor-Bernstein theorems. The result for divisible groups was extended to injective modules in Bumby (1965). A study of these theorems is made in Wisbauer (2004), and in particular Artinian modules and cohopfian uniserial modules have this property. If G,H are both assumed to have the property, then one gets more examples, these are called "correct classes".
Bumby, R. T. "Modules which are isomorphic to submodules of each other." Arch. Math. (Basel) 16 (1965) 184–185. MR184973 DOI:10.1007/BF01220018
Wisbauer, Robert. "Correct classes of modules." Algebra Discrete Math. 2004, no. 4, 106–118. MR2148720 URL:author's preprint.
Jack Schmidt
- 55,589