- 2,561
- 4
Any direct sum of denumerably many groups will have (at least) denumerably many retracts, and any direct product of denumerably many groups will have uncountably many retracts. The projection maps are retractions.
That "at least" is worrying me. Any countably infinite direct sum of (nontrivial) groups has uncountably many retracts; one for every subset of the index set. (and possibly more) I suspect that an abelian group cannot have exactly countably infinite retracts... and if I'm wrong, it will still be a tricky business finding an example.Any direct sum of denumerably many groups will have (at least) denumerably many retracts
Yeah, you're right.Hurkyl said:That "at least" is worrying me. Any countably infinite direct sum of (nontrivial) groups has uncountably many retracts; one for every subset of the index set.