# Completion $\widehat{G}$ is a topological group

I want to verify that if $G$ is an abelian topological group then so is its completion $\widehat{G}$.

Note that $G$ is not necessarily a metric space. Hence we define a sequence $x_n$ to be Cauchy if for every neighborhood $U$ of $0$ there exists an $N$ such that for $n,m \geq N$, $x_n - x_m \in U$.

It's clear to me that the constant sequence $\bar{0}$ is Cauchy and hence in $\widehat{G}$. It's also clear that if $x_n$ is Cauchy then so is $-x_n$.

The part I'm not sure about is, if we define the group operation elementwise: $\overline{x} + \overline{y} = (x_n) + (y_n) = (x_n + y_n) = \overline{x+y}$, then I need to check two things: first that addition is well-defined, that is if $\overline{x} = \overline{x^\prime}$ and $\overline{y} = \overline{y^\prime}$ then $\overline{x} + \overline{y} = \overline{x^\prime} + \overline{y^\prime}$ and also that $\overline{x} + \overline{y}$ is Cauchy.

So I thought perhaps I could show that $\overline{x} + \overline{y}$ is Cauchy by doing something like this: $x_n + y_n = (x_n - x_m) + (x_m + y_i) + (y_n - y_i)$ but then I cannot say anything about $x_m + y_i$.

Would someone please show me how to verify these two properties? Thank you.

Edit

This is the relevant part in Atiyah-Macdonald:

-
$x_n + y_n - (x_m + y_m) = (x_n - x_m) + (y_n - y_m)$ and by continuity of addition, given a 0-nhood $U$ there is a 0-nhood $V$ with $V + V \subseteq U$. – martini Jul 25 '12 at 11:14
Not metrizable? You cannot use mere sequences. Must use something else: nets, filters, neighborhoods, etc. – GEdgar Jul 25 '12 at 21:34
Sequences should be enough if the topology comes from a subgroup filtration $G_1 \supset G_2\supset \cdots$. Otherwise I have no idea. – Dylan Moreland Jul 25 '12 at 22:24
@GEdgar Yes, right. We are using a countable neighborhood basis. – Rudy the Reindeer Jul 26 '12 at 12:17
In a (Hausdorff) topological group: if there is a countable neighborhood basis, then there is a metric for the topology. – GEdgar Jul 26 '12 at 12:24

In general, if $H$ is a topological group and $G$ is an abelian dense subgroup of $H$, then $H$ is abelian. It follows from the continuity of the sum.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}