Exercise 3, § 1
General Topology, VII
Let G be a discrete subgroup of . For a subgroup H of G to be a direct summand of G it is necessary and sufficient that where V is a vector subspace of (for necessity, use Exercise 2; for sufficiency, note that H is also the intersection of G and the vector subspace generated by H).
Solution
No solution has been written yet.