On Abelian continuous groups

Extract

An abstract continuous group, G, is an abstract space whose points have a continuous associative multiplication law, with division. The object of this note is to sketch a proof, which will appear in full elsewhere, that if the space G is locally Cartesian and compact, and the group G is Abelian (commutative), then G is the ordinary closed translation group in n dimensions: i.e. the space is that obtained from the “cube”