Bourbaki

Exercise 3, § 1

General Topology, VII

Let G be a discrete subgroup of Rn\mathbf{R}^n. For a subgroup H of G to be a direct summand of G it is necessary and sufficient that H=V∩GH = V \cap G where V is a vector subspace of Rn\mathbf{R}^n (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.

Transcribed from the printed volume. Not translated.