Slender group
In mathematics, a slender group is a torsion-free abelian group that is "small" in a sense that is made precise in the definition below.
Definition
Let denote the Baer–Specker group, that is, the group of all integer sequences, with termwise addition. For each natural number, let be the sequence with -th term equal to 1 and all other terms 0.A torsion-free abelian group is said to be slender if every homomorphism from into maps all but finitely many of the to the identity element.
Examples
Every free abelian group is slender.The additive group of rational numbers is not slender: any mapping of the into extends to a homomorphism from the free subgroup generated by the, and as is injective this homomorphism extends over the whole of. Therefore, a slender group must be reduced.
Every countable reduced torsion-free abelian group is slender, so every proper subgroup of is slender.
Properties
- A torsion-free abelian group is slender if and only if it is reduced and contains no copy of the Baer–Specker group and no copy of the -adic integers for any.
- Direct sums of slender groups are also slender.
- Subgroups of slender groups are slender.
- Every homomorphism from into a slender group factors through for some natural number.