Locally compact abelian groups
1 Introduction
These notes are a gloss on the first chapter of Walter Rudin’s Fourier Analysis on Groups, and may be helpful to someone reading Rudin. The results I do prove are proved in more detail than they are in Rudin. I caution that before reading the first chapter of that book it is know about the Gelfand transform on commutative Banach algebras because results from that are used without even stating them by Rudin. I at least state them.
2 Locally compact abelian groups
Let $G$ be a locally compact abelian (LCA) group. There is a Haar measure $m$ on $G$. It is a fact that if $m$ and ${m}^{\prime}$ are Haar measures on $G$, then there is a positive constant $\lambda $ such that ${m}^{\prime}=\lambda m$.^{1}^{1} 1 Walter Rudin, Fourier Analysis on Groups, p. 2, §1.1.3. If $G$ is compact then there is a unique Haar measure with $m(G)=1$, and if $G$ is discrete then there is a unique Haar measure with $m(\{x\})=1$ for each $x\in G$.
Because Haar measures on $G$ are positive multiples of each other, the elements of ${L}^{p}(G)$ do not depend on the Haar measure we use, but the value of ${\parallel f\parallel}_{p}$ will, where $f:G\to \u2102$ is a Borel function.
If $X$ is a normed vector space and $f:G\to X$ is a function, we say that $f$ is uniformly continuous if for every $\u03f5>0$ there is a neighborhood $V$ of $0$ in $G$ such that $xy\in V$ implies that $$.
If $f:G\to \u2102$ is a function and $x\in G$, we define ${f}_{x}:G\to \u2102$ by
$${f}_{x}(y)=f(yx),y\in G.$$ 
Theorem 1.
If $$ and $f\mathrm{\in}{L}^{p}\mathit{}\mathrm{(}G\mathrm{)}$, then
$$x\mapsto {f}_{x}$$ 
is uniformly continuous $G\mathrm{\to}{L}^{p}\mathit{}\mathrm{(}G\mathrm{)}$.
Proof.
Let $\u03f5>0$. Because ${C}_{c}(G)$ is dense in ${L}^{p}(G)$, there is some $g\in {C}_{c}(G)$ such that $$. Let $K=\mathrm{supp}g$, and because $K$ is compact, $$. $g\in {C}_{c}(G)$ implies that $g$ is uniformly continuous on $G$, so there is a neighborhood $V$ of $0$ in $G$ such that if $xy\in V$ then $$. Then, for all $x\in V$ and $y\in G$, as $y(yx)\in V$ we have $$. That is, for all $x\in V$ we have
$$ 
For $x\in V$, $\mathrm{supp}({g}_{x}g)\subset (K+x)\cup K$ and $m(K+x)=m(K)$, so for all $x\in V$,
${\parallel {g}_{x}g\parallel}_{p}$  $=$  ${\left({\displaystyle {\int}_{\mathrm{supp}({g}_{x}g)}}{{g}_{x}g}^{p}\mathit{d}m\right)}^{1/p}$  
$\le $  ${\left({\displaystyle {\int}_{\mathrm{supp}({g}_{x}g)}}{\u03f5}^{p}{(2m(K))}^{1}\mathit{d}m\right)}^{1/p}$  
$\le $  $\u03f5.$ 
Because ${\parallel {f}_{x}{g}_{x}\parallel}_{p}={\parallel fg\parallel}_{p}$, for all $x\in V$ we have
$$ 
Then, let $x,y\in G$ with $yx\in V$. The above inequality tells us
$$ 
But ${f}_{x}{f}_{y}={(f{f}_{yx})}_{x}$ and ${\parallel {h}_{x}\parallel}_{p}={\parallel h\parallel}_{p}$, so
$$ 
showing that $x\mapsto {f}_{x}$ is uniformly continuous. ∎
If $f$ and $g$ are Borel functions on $G$, for $x\in G$ such that the integral exists we define
$$(f*g)(x)={\int}_{G}f(xy)g(y)\mathit{d}m(y).$$ 
The operation of taking the convolution of functions is particularly suitable for functions that belong to ${L}^{1}(G)$, because if $f,g\in {L}^{1}(G)$, then $(f*g)(x)$ is defined for almost all $x\in G$, and satisfies
$${\parallel f*g\parallel}_{1}\le {\parallel f\parallel}_{1}{\parallel g\parallel}_{1};$$ 
this is proved in Rudin, together with other properties of the convolution.^{2}^{2} 2 Walter Rudin, Fourier Analysis on Groups, p. 4, §1.1.6. From the above inequality, it follows that ${L}^{1}(G)$ with convolution as multiplication is a commutative Banach algebra. The map ${}^{*}:{L}^{1}(G)\to {L}^{1}(G)$ defined by ${f}^{*}(x)=\overline{f(x)}$ for $f\in {L}^{1}(G)$, $x\in G$, is an isometric involution.
If $G$ is discrete, define $e$ on $G$ by $e(0)=1$ and $e(x)=0$ for $x\ne 0$. Then ${\parallel e\parallel}_{1}={\int}_{G}e(x)\mathit{d}m(x)={\sum}_{x\in G}e(x)=1$, so $e\in {L}^{1}(G)$. For $f\in {L}^{1}(G)$ and $x\in G$,
$$(f*e)(x)=\sum _{y\in G}f(xy)e(y)=f(x)e(0)=f(x),$$ 
showing that $f*e=f$. Hence $e$ is unity in ${L}^{1}(G)$. It turns out that if $G$ is not discrete then ${L}^{1}(G)$ does not have a unity.^{3}^{3} 3 Walter Rudin, Fourier Analysis on Groups, p. 30, §1.7.3.
3 Dual groups
Let $\mathbb{T}=\{z\in \u2102:z=1\}$ with the subspace topology inherited from $\u2102$. If $G$ is a locally compact abelian group, we denote by $\mathrm{\Gamma}$ the set of continuous homomorphisms $G\to \mathbb{T}$. For $\gamma \in \mathrm{\Gamma}$ and $x\in G$, we write
$$\u27e8x,\gamma \u27e9=\gamma (x).$$ 
We call a homomorphism $G\to \mathbb{T}$ a character of $G$, so elements of $\mathrm{\Gamma}$ are the continuous characters of $G$.
If $A$ is a Banach algebra and $\mathrm{\Delta}$ is the set of algebra homomorphisms $h:A\to \u2102$ that are not identically zero, the Gelfand transform of $x\in A$ is the map $\widehat{x}:\mathrm{\Delta}\to \u2102$ defined by
$$\widehat{x}(h)=h(x),h\in \mathrm{\Delta}.$$ 
$\mathrm{\Delta}$ is called the maximal ideal space of $A$.
If $f\in {L}^{1}(G)$, we define $\widehat{f}:\mathrm{\Gamma}\to \u2102$ by
$$\widehat{f}(\gamma )={\int}_{G}f(x)\u27e8x,\gamma \u27e9\mathit{d}m(x),\gamma \in \mathrm{\Gamma},$$ 
and call $\widehat{f}$ the Fourier transform of $f$.
The following theorem is from Rudin.^{4}^{4} 4 Walter Rudin, Fourier Analysis on Groups, p. 7, §1.2.2. It establishes a bijection between the dual group $\mathrm{\Gamma}$ of $G$ and the maximal ideal space $\mathrm{\Delta}$ of ${L}^{1}(G)$, and shows, if $\mathrm{\Gamma}$ and $\mathrm{\Delta}$ are identified, that the Fourier transform is the same as the Gelfand transform.
Theorem 2.
For each $\gamma \mathrm{\in}\mathrm{\Gamma}$, the map $h\mathrm{:}{L}^{\mathrm{1}}\mathit{}\mathrm{(}G\mathrm{)}\mathrm{\to}\mathrm{C}$ defined by $h\mathit{}\mathrm{(}f\mathrm{)}\mathrm{=}\widehat{f}\mathit{}\mathrm{(}\gamma \mathrm{)}$ belongs to $\mathrm{\Delta}$. If $h\mathrm{\in}\mathrm{\Delta}$, then there is a unique $\gamma \mathrm{\in}\mathrm{\Gamma}$ such that $h\mathit{}\mathrm{(}f\mathrm{)}\mathrm{=}\widehat{f}\mathit{}\mathrm{(}\gamma \mathrm{)}$ for all $f\mathrm{\in}{L}^{\mathrm{1}}\mathit{}\mathrm{(}G\mathrm{)}$.
Proof.
For $f,g\in {L}^{1}(G)$ and $k=f*g$, then for any $\gamma \in \mathrm{\Gamma}$, using $\u27e8x,\gamma \u27e9=\u27e8x+y,\gamma \u27e9\u27e8y,\gamma \u27e9$,
$\widehat{k}(\gamma )$  $=$  ${\int}_{G}}(f*g)(x)\u27e8x,\gamma \u27e9\mathit{d}m(x)$  
$=$  ${\int}_{G}}\u27e8x,\gamma \u27e9\left({\displaystyle {\int}_{G}}f(xy)g(y)\mathit{d}m(y)\right)\mathit{d}m(x)$  
$=$  ${\int}_{G}}g(y)\u27e8y,\gamma \u27e9\left({\displaystyle {\int}_{G}}f(xy)\u27e8x+y,\gamma \u27e9\mathit{d}m(x)\right)\mathit{d}m(y)$  
$=$  ${\int}_{G}}g(y)\u27e8y,\gamma \u27e9\widehat{f}(x)\mathit{d}m(y)$  
$=$  $\widehat{f}(\gamma )\widehat{g}(\gamma ),$ 
showing that $f\mapsto \widehat{f}(\gamma )$ is an algebra homomorphism. By Urysohn’s lemma, for every neighborhood $V$ of $0\in G$, there is some $f\in {C}_{c}(G)$ with $f(0)=1$, $0\le f\le 1$, and $\mathrm{supp}f\subset V$. As $\u27e80,\gamma \u27e9=1$ and because $x\mapsto \u27e8x,\gamma \u27e9$ is continuous, it follows that there is some neighborhood $V$ of $0$ and some $f$ as above such that $\widehat{f}(\gamma )={\int}_{G}f(x)\u27e8x,\gamma \u27e9\mathit{d}m(x)\ne 0$, showing that $f\mapsto \widehat{f}(\gamma )$ is nonzero.
Now let $h:{L}^{1}(G)\to \u2102$ be a nonzero algebra homomorphism. A homomorphism from a Banach algebra to $\u2102$ is linear functional with norm $1$. It is a fact that for every bounded linear functional $\mathrm{\Lambda}$ on ${L}^{1}(G)$ there is some $\varphi \in {L}^{\mathrm{\infty}}(G)$ such that $\mathrm{\Lambda}(f)={\int}_{G}f\varphi \mathit{d}m$ for all $f\in {L}^{1}(G)$, and ${\parallel \varphi \parallel}_{\mathrm{\infty}}=\parallel \mathrm{\Lambda}\parallel $.^{5}^{5} 5 Walter Rudin, Fourier Analysis on Groups, p. 268, E10. Therefore, there is some $\varphi \in {L}^{\mathrm{\infty}}(G)$, ${\parallel \varphi \parallel}_{\mathrm{\infty}}=1$, such that
$$h(f)={\int}_{G}f\varphi \mathit{d}m,f\in {L}^{1}(G).$$ 
Then for $f,g\in {L}^{1}(G)$ we have
$h(f){\displaystyle {\int}_{G}}g\varphi \mathit{d}m$  $=$  $h(f)h(g)$  
$=$  $h(f*g)$  
$=$  ${\int}_{G}}(f*g)\varphi \mathit{d}m$  
$=$  ${\int}_{G}}\left({\displaystyle {\int}_{G}}f(xy)g(y)\mathit{d}m(y)\right)\varphi (x)\mathit{d}m(x)$  
$=$  ${\int}_{G}}g(y)\left({\displaystyle {\int}_{G}}f(xy)\varphi (x)\mathit{d}m(x)\right)\mathit{d}m(y)$  
$=$  ${\int}_{G}}g(y)h({f}_{y})\mathit{d}m(y),$ 
i.e.
$${\int}_{G}(h(f)\varphi (y)h({f}_{y}))g(y)\mathit{d}m(y)=0.$$ 
Because this is true for all $g\in {L}^{1}(G)$, it follows that for all $f\in {L}^{1}(G)$ and for almost all $y\in G$,
$$h(f)\varphi (y)=h({f}_{y}).$$ 
Because $h\ne 0$, there is some $g\in {L}^{1}(G)$ with $h(g)\ne 0$. Then for almost all $(x,y)\in G\times G$,
$$h(g)\varphi (x+y)=h({g}_{x+y})=h({({g}_{x})}_{y})=h({g}_{x})\varphi (y)=h(g)\varphi (x)\varphi (y),$$ 
and as $h(g)\ne 0$, for almost all $(x,y)\in G\times G$,
$$\varphi (x+y)=\varphi (x)\varphi (y).$$ 
We define ${\varphi}_{1}:G\to \u2102$ by ${\varphi}_{1}(y)=\frac{h({g}_{y})}{h(g)}$, which is continuous because $y\mapsto {g}_{y}$ is continuous and $h$ is continuous. The function ${\varphi}_{1}$ satisfies $\varphi (y)={\varphi}_{1}(y)$ for almost all $y\in G$, so for almost all $(x,y)\in G\times G$,
$${\varphi}_{1}(x+y)={\varphi}_{1}(x){\varphi}_{1}(y).$$ 
$(x,y)\mapsto {\varphi}_{1}(x+y)$ and $(x,y)\mapsto {\varphi}_{1}(x){\varphi}_{1}(y)$ are continuous and the above equality holds for almost all $(x,y)\in G\times G$, so the above equality in fact holds for all $(x,y)\in G\times G$. Hence ${\varphi}_{1}\in \mathrm{\Gamma}$. Define $\gamma :G\to \u2102$ by $\gamma (x)={\varphi}_{1}(x)$. Then $\gamma \in \mathrm{\Gamma}$, and $\gamma (x)=\varphi (x)$ for almost all $x\in G$, so for all $f\in {L}^{1}(G)$,
$\widehat{f}(\gamma )$  $=$  ${\int}_{G}}f(x)\u27e8x,\gamma \u27e9\mathit{d}m(x)$  
$=$  ${\int}_{G}}f(x)\gamma (x)\mathit{d}m(x)$  
$=$  ${\int}_{G}}f(x)\varphi (x)\mathit{d}m(x)$  
$=$  $h(f).$ 
Suppose that ${\gamma}_{1},{\gamma}_{2}\in \mathrm{\Gamma}$ satisfy $\widehat{f}({\gamma}_{1})=\widehat{f}({\gamma}_{2})$ for all $f\in {L}^{1}(G)$. Then $\u27e8x,{\gamma}_{1}\u27e9=\u27e8x,{\gamma}_{2}\u27e9$ for almost all $x\in G$, and because these are continuous they are in fact equal for all $x\in G$, i.e. ${\gamma}_{1}={\gamma}_{2}$. ∎
Let $A(\mathrm{\Gamma})=\{\widehat{f}:f\in {L}^{1}(G)\}$. Elements of $A(\mathrm{\Gamma})$ are functions $\mathrm{\Gamma}\to \u2102$. So far $\mathrm{\Gamma}$ has not been given a topology. We shall be interested in the initial topology on $\mathrm{\Gamma}$ with respect to the family of functions $A(\mathrm{\Gamma})$. That is, the topology on $\mathrm{\Gamma}$ is the coarsest topology so that each element of $A(\mathrm{\Gamma})$ is continuous. Furthermore, it is a fact that the topology on $\mathrm{\Gamma}$ is equal to the subspace topology on $\mathrm{\Gamma}$ inherited from ${L}^{1}{(G)}^{*}$ with the weak* topology. Finally, let the maximal ideal space $\mathrm{\Delta}$ of ${L}^{1}(G)$ have the subspace topology inherited from ${L}^{1}{(G)}^{*}$ with the weak* topology. In Theorem 2 we presented a bijection $\mathrm{\Gamma}\to \mathrm{\Delta}$, and can be proved that this bijection is a homeomorphism.
It is proved in Rudin^{6}^{6} 6 Walter Rudin, Fourier Analysis on Groups, p. 10, §1.2.6. that with this topology, $\mathrm{\Gamma}$ is a locally compact abelian group. The proof constructs a basis for the topology of $\mathrm{\Gamma}$, and because we will use this basis later it will be useful to write out the proof.
Theorem 3.

1.
$(x,\gamma )\mapsto \u27e8x,\gamma \u27e9$ is continuous $G\times \mathrm{\Gamma}\to \u2102$.

2.
For $r>0$ let $$. If $K$ is a compact subset of $G$ then
$$W(K,r)=\{\gamma \in \mathrm{\Gamma}:\u27e8x,\gamma \u27e9\in {U}_{r}\mathit{\text{for all}}x\in K\}$$ is an open subset of $\mathrm{\Gamma}$, and if $C$ is a compact subset of $\mathrm{\Gamma}$ then
$$V(C,r)=\{x\in G:\u27e8x,\gamma \u27e9\in {U}_{r}\mathit{\text{for all}}\gamma \in C\}$$ is an open subset of $G$.

3.
$\{{\gamma}_{0}+W(K,r):{\gamma}_{0}\in \mathrm{\Gamma}\mathit{\text{,}}K\mathit{\text{is a compact subset of}}\mathrm{\Gamma}\mathit{\text{,}}r0\}$ is a basis for the topology of $\mathrm{\Gamma}$.

4.
$\mathrm{\Gamma}$ is a locally compact abelian group.
Proof.
Let $f\in {L}^{1}(G)$. For ${x}_{0}\in G$, ${\gamma}_{0}\in \mathrm{\Gamma}$ and $\u03f5>0$, because $x\mapsto {f}_{x}$ is continuous there is a neighborhood $V$ of ${x}_{0}$ such that $$ for all $x\in V$, and because ${\widehat{f}}_{{x}_{0}}$ is continuous there is a neighborhood $W$ of ${\gamma}_{0}$ such that $$ for all $\gamma \in W$. If $(x,\gamma )\in V\times W$, then
${\widehat{f}}_{x}(\gamma ){\widehat{f}}_{{x}_{0}}({\gamma}_{0})$  $\le $  ${\widehat{f}}_{x}(\gamma ){\widehat{f}}_{{x}_{0}}(\gamma )+{\widehat{f}}_{{x}_{0}}(\gamma ){\widehat{f}}_{{x}_{0}}({\gamma}_{0})$  
$$  ${\parallel {f}_{x}{f}_{{x}_{0}}\parallel}_{1}+\u03f5$  
$$  $2\u03f5,$ 
showing that $(x,\gamma )\mapsto {\widehat{f}}_{x}(\gamma )$ is continuous. But
$$\u27e8x,\gamma \u27e9\widehat{f}(\gamma )={\widehat{f}}_{x}(\gamma ),x\in G,\gamma \in \mathrm{\Gamma},$$ 
and it follows that $(x,\gamma )\mapsto \u27e8x,\gamma \u27e9$ is continuous.
Let $K$ be a compact subset of $G$, $r>0$, and ${\gamma}_{0}\in W(K,r)$. For ${x}_{0}\in K$, $$. Because $(x,\gamma )\mapsto \u27e8x,\gamma \u27e9$ is continuous there is a neighborhood ${V}_{{x}_{0}}$ of ${x}_{0}$ and a neighborhood ${W}_{{x}_{0}}$ of ${\gamma}_{0}$ such that $$ for $(x,\gamma )\in {V}_{{x}_{0}}\times {W}_{{x}_{0}}$, and then $\u27e8x,\gamma \u27e9\in {U}_{r}$ for $(x,\gamma )\in {V}_{{x}_{0}}\times {W}_{{x}_{0}}$. As $K\subset {\bigcup}_{{x}_{0}\in K}{V}_{{x}_{0}}$ and $K$ is compact, there are ${x}_{1},\mathrm{\dots},{x}_{n}\in K$ such that $K\subset \bigcup {V}_{{x}_{i}}$. Let $W=\bigcap {W}_{{x}_{i}}$, which is a finite intersection of neighborhoods of ${\gamma}_{0}$ and hence itself a neighborhood of ${\gamma}_{0}$. It is apparent that $W\subset W(K,r)$, showing that $W(K,r)$ is open.
Let $C$ be a compact subset of $G$, $r>0$, and ${x}_{0}\in V(C,r)$. For ${\gamma}_{0}\in C$, $$, so there is a neighborhood ${V}_{{\gamma}_{0}}$ of ${x}_{0}$ and a neighborhood ${W}_{{\gamma}_{0}}$ of ${\gamma}_{0}$ such that $$ for $(x,\gamma )\in {V}_{{\gamma}_{0}}\times {W}_{{\gamma}_{0}}$, therefore $\u27e8x,\gamma \u27e9\in {U}_{r}$ for $(x,\gamma )\in {V}_{{\gamma}_{0}}\times {W}_{{\gamma}_{0}}$. There are ${\gamma}_{1},\mathrm{\dots},{\gamma}_{n}\in C$ such that $C\subset \bigcup {W}_{{\gamma}_{i}}$, and $V=\bigcap {V}_{{\gamma}_{i}}$ is a neighborhood of ${x}_{0}$ that is contained in $V(C,r)$, showing that $V(C,r)$ is open.
Let ${\gamma}_{0}\in \mathrm{\Gamma}$ and let $W$ be a neighborhood of ${\gamma}_{0}$. Because $\mathrm{\Gamma}$ has the initial topology for $A(\mathrm{\Gamma})$, a local subbasis at ${\gamma}_{0}$ is given by sets of the form $$, $f\in {L}^{1}(G)$ and $\u03f5>0$. Therefore, there are ${f}_{1},\mathrm{\dots},{f}_{n}\in {L}^{1}(G)$ and ${\u03f5}_{1},\mathrm{\dots},{\u03f5}_{n}>0$ such that
$$  (1) 
Let $\u03f5$ be the minimum of the ${\u03f5}_{i}$, let ${g}_{i}\in {C}_{0}(G)$ with $$, let $K$ be the union of the supports of ${g}_{i}$, and let $M$ be the maximum of ${\parallel {g}_{i}\parallel}_{1}$. With $$, for $\gamma \in {\gamma}_{0}+W(K,r)$ we have
${\widehat{f}}_{i}(\gamma ){\widehat{f}}_{i}({\gamma}_{0})$  $\le $  ${\widehat{f}}_{i}(\gamma ){\widehat{g}}_{i}(\gamma )+{\widehat{g}}_{i}(\gamma ){\widehat{g}}_{i}({\gamma}_{0})+{\widehat{g}}_{i}({\gamma}_{0}){\widehat{f}}_{i}({\gamma}_{0})$  
$\le $  ${\parallel {f}_{i}{g}_{i}\parallel}_{1}+\left{\displaystyle {\int}_{K}}{g}_{i}(x)(\u27e8x,\gamma \u27e9\u27e8x,{\gamma}_{0}\u27e9)\mathit{d}m(x)\right+{\parallel {f}_{i}{g}_{i}\parallel}_{1}$  
$$  $\frac{2}{3}}\u03f5+{\displaystyle {\int}_{K}}{g}_{i}(x)1\u27e8x,\gamma {\gamma}_{0}\u27e9\mathit{d}m(x)$  
$\le $  $\frac{2}{3}}\u03f5+r{\parallel {g}_{i}\parallel}_{1$  
$$  $\u03f5.$ 
Thus, if $\gamma \in {\gamma}_{0}+W(K,r)$ then $\gamma $ belongs to the intersection (1), and this shows that ${\gamma}_{0}+W(K,r)\subset W$. This establishes that the collection of those sets of the form ${\gamma}_{0}+W(K,r)$, for ${\gamma}_{0}\in \mathrm{\Gamma}$, $K$ a compact subset of $\mathrm{\Gamma}$, and $r>0$, is a basis for the topology of $\mathrm{\Gamma}$.
Let ${\gamma}_{1},{\gamma}_{2}\in \mathrm{\Gamma}$, let $K$ be a compact subset of $\mathrm{\Gamma}$, and let $r>0$. Because
$$({\gamma}_{1}+W(K,r/2))({\gamma}_{2}+W(K,r/2))\subset {\gamma}_{1}{\gamma}_{2}+W(K,r),$$ 
for $({\gamma}^{\prime},{\gamma}^{\prime \prime})\in ({\gamma}_{1}+W(K,r/2))\times ({\gamma}_{2}+W(K,r/2))$ we have ${\gamma}^{\prime}{\gamma}^{\prime \prime}\in {\gamma}_{1}{\gamma}_{2}+W(K,r)$, and this shows that $({\gamma}^{\prime},{\gamma}^{\prime \prime})\mapsto {\gamma}^{\prime}{\gamma}^{\prime \prime}$ is continuous, which shows that $\mathrm{\Gamma}$ is a topological group. $\mathrm{\Gamma}$ is locally compact because it is homeomorphic to the maximal ideal space $\mathrm{\Delta}$ of ${L}^{1}(G)$, and it is a fact that the maximal ideal space of any commutative Banach algebra is a locally compact Hausdorff space. This completes the proof. ∎
A fact that Rudin uses but merely asserts is the following (he refers to it being true for the Gelfand transform, and then merely asserts its truth there).
Theorem 4.
$A(\mathrm{\Gamma})\subset {C}_{0}(\mathrm{\Gamma})$.
Proof.
Let ${\mathrm{\Gamma}}^{\prime}$ be the weak* closure of $\mathrm{\Gamma}$ in ${L}^{1}{(G)}^{*}$. For $\mathrm{\Lambda}\in {\mathrm{\Gamma}}^{\prime}$, there is a net ${\gamma}_{i}\in \mathrm{\Gamma}$ that weak* converges to $\mathrm{\Lambda}$. For $x,y\in G$,
$$\mathrm{\Lambda}(ab)=\underset{i}{lim}{\gamma}_{i}(ab)=\underset{i}{lim}{\gamma}_{i}(a){\gamma}_{i}(b)=\left(\underset{i}{lim}{\gamma}_{i}(a)\right)\left(\underset{i}{lim}{\gamma}_{i}(b)\right)=\mathrm{\Lambda}(a)\mathrm{\Lambda}(b).$$ 
Similarly, $\mathrm{\Lambda}$ is linear, so $\mathrm{\Lambda}$ is an algebra homomorphism $G\to \u2102$. Hence taking the closure of $\mathrm{\Gamma}$ in ${L}^{1}{(G)}^{*}$ has added precisely the map that is identically $0$:
$${\mathrm{\Gamma}}^{\prime}=\mathrm{\Gamma}\cup \{0\}.$$ 
With $K=\{\mathrm{\Lambda}\in {L}^{1}{(G)}^{*}:\parallel \mathrm{\Lambda}\parallel \le 1\}$, the BanachAlaoglu theorem tells us that $K$ is a weak* compact subset of ${L}^{1}{(G)}^{*}$. It is apparent that ${\mathrm{\Gamma}}^{\prime}\subset K$, so ${\mathrm{\Gamma}}^{\prime}$ is a weak* compact subset of ${L}^{1}{(G)}^{*}$.
If $f\in {L}^{1}(G)$ and $\u03f5>0$, then because $\widehat{f}:\mathrm{\Gamma}\to \u2102$ is continuous,
$${K}_{0}=\{\gamma \in \mathrm{\Gamma}:\widehat{f}(\gamma )\ge \u03f5\}$$ 
is a closed subset of $\mathrm{\Gamma}$. The only way ${K}_{0}$ would fail to be a weak* closed subset of ${\mathrm{\Gamma}}^{\prime}$ is if $0$ belonged to its weak* closure, and it is straightforward to see that this is not the case. So ${K}_{0}$ is in fact a weak* closed subset of the weak* compact set ${\mathrm{\Gamma}}^{\prime}$, and hence is itself weak* compact. It follows that ${K}_{0}$ is a compact subset of $\mathrm{\Gamma}$, and this shows that $\widehat{f}\in {C}_{0}(\mathrm{\Gamma})$. ∎
Now that we know that $A(\mathrm{\Gamma})\subset {C}_{0}(\mathrm{\Gamma})$, it does not take long to verify that the conditions of the StoneWeierstrass theorem are satisfied (for distinct ${\gamma}_{1},{\gamma}_{2}\in \mathrm{\Gamma}$ there is some $f\in {L}^{1}(G)$ with $\widehat{f}({\gamma}_{1})\ne \widehat{f}({\gamma}_{2})$; $A(\mathrm{\Gamma})$ is selfadjoint; for each $\gamma \in \mathrm{\Gamma}$ there is some $f\in {L}^{1}(G)$ with $\widehat{f}(\gamma )\ne 0$), and hence that $A(\mathrm{\Gamma})$ is dense in ${C}_{0}(\mathrm{\Gamma})$.
Theorem 5.
If $G$ is discrete then $\mathrm{\Gamma}$ is compact, and if $G$ is compact then $\mathrm{\Gamma}$ is discrete.
Proof.
We remarked earlier that the bijection $\mathrm{\Gamma}\to \mathrm{\Delta}$ is a homeomorphism, where $\mathrm{\Delta}$ is the maximal ideal space of ${L}^{1}(G)$ and has the subspace topology inherited from ${L}^{1}{(G)}^{*}$ with the weak* topology. If $G$ is discrete, then ${L}^{1}(G)$ is unital, and it is a fact that the maximal ideal space of a unital commutative Banach algebra is compact, so $\mathrm{\Gamma}$ is compact.
Suppose that $G$ is compact, with Haar measure $m$ satisfing $m(G)=1$. If $\gamma \in \mathrm{\Gamma}$ and there is some ${x}_{0}\in G$ with $\gamma ({x}_{0})\ne 1$ (i.e. $\gamma $ is not the $0$ homomorphism), then
$${\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}m(x)=\u27e8{x}_{0},\gamma \u27e9{\int}_{G}\u27e8x{x}_{0},\gamma \u27e9\mathit{d}m(x)=\u27e8{x}_{0},\gamma \u27e9{\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}m(x).$$ 
As $\u27e8{x}_{0},\gamma \u27e9\ne 1$, this means that ${\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}m(x)=0$. Therefore,
$${\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}m(x)=\{\begin{array}{cc}1\hfill & \gamma =0,\hfill \\ 0\hfill & \gamma \ne 0.\hfill \end{array}$$ 
As $G$ is compact, ${\chi}_{G}\in {L}^{1}(G)$, and
$${\widehat{\chi}}_{G}(\gamma )={\int}_{G}{\chi}_{G}(x)\u27e8x,\gamma \u27e9\mathit{d}m(x)={\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}m(x)=\{\begin{array}{cc}1\hfill & \gamma =0,\hfill \\ 0\hfill & \gamma \ne 0.\hfill \end{array}$$ 
${\widehat{\chi}}_{G}$ is continuous, so $\{\gamma \in \mathrm{\Gamma}:{\widehat{\chi}}_{G}(\gamma )=0\}$ is a closed subset of $\mathrm{\Gamma}$, hence its complement $\{\gamma \in \mathrm{\Gamma}:{\widehat{\chi}}_{G}(\gamma )\ne 0\}$ is an open subset of $\mathrm{\Gamma}$. But by the above this complement is $\{0\}$, and $\mathrm{\Gamma}$ is a topological group so this implies that each singleton is open, meaning that $\mathrm{\Gamma}$ is discrete. ∎
4 Regular complex Borel measures on $G$
Let $M(G)$ be the set of regular complex Borel measures on $G$. If $E$ is a Borel set in $G$, define ${E}_{n}=\{({x}_{1},\mathrm{\dots},{x}_{n}):{x}_{1}+\mathrm{\cdots}+{x}_{n}\in E\}$, which is a Borel set in ${G}^{n}$. For ${\mu}_{1},\mathrm{\dots},{\mu}_{n}\in M(G)$, we define
$$({\mu}_{1}*\mathrm{\cdots}*{\mu}_{n})(E)=({\mu}_{1}\times \mathrm{\cdots}\times {\mu}_{n})({E}_{n}).$$ 
It is proved in Rudin^{7}^{7} 7 Walter Rudin, Fourier Analysis on Groups, p. 13, §1.3.1. that ${\mu}_{1}*\mathrm{\cdots}*{\mu}_{n}\in M(G)$, and that with convolution as multiplication and norm $\parallel \mu \parallel =\mu (G)$ (the total variation norm), $M(G)$ is a commutative Banach algebra with unity ${\delta}_{0}$.
The Fourier transform of $\mu \in M(G)$ is the function $\widehat{\mu}:\mathrm{\Gamma}\to \u2102$ defined by
$$\widehat{\mu}(\gamma )={\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}\mu (x),\gamma \in \mathrm{\Gamma}.$$ 
We write $B(\mathrm{\Gamma})=\{\widehat{\mu}:\mu \in M(G)\}$. For $f\in {L}^{1}(G)$ we have proved that $\widehat{f}\in {C}_{0}(G)$. We prove now that for $\mu \in M(G)$, $\widehat{\mu}$ is bounded and uniformly continuous on $\mathrm{\Gamma}$. However, ${\delta}_{0}\in M(G)$, and for $\gamma \in \mathrm{\Gamma}$,
$${\widehat{\delta}}_{0}(\gamma )={\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}{\delta}_{0}(x)=\u27e80,\gamma \u27e9=\gamma (0)=1,$$ 
so ${\widehat{\delta}}_{0}\notin {C}_{0}(\mathrm{\Gamma})$. The proof is from Rudin.^{8}^{8} 8 Walter Rudin, Fourier Analysis on Groups, p. 15, §1.3.3.
Theorem 6.
If $\mu \mathrm{\in}M\mathit{}\mathrm{(}G\mathrm{)}$, then $\widehat{\mu}\mathrm{:}\mathrm{\Gamma}\mathrm{\to}\mathrm{C}$ is bounded and uniformly continuous.
Proof.
For any $\gamma \in \mathrm{\Gamma}$,
$$ 
where $\mu $ is the variation of $\mu $. Hence $\widehat{\mu}$ is bounded.
$\mu $ is regular, so for any $\delta >0$ there is some compact set $K$ such that $$, where ${K}^{\prime}=G\setminus K$. For ${\gamma}_{1},{\gamma}_{2}\in \mathrm{\Gamma}$, $\u27e8x,{\gamma}_{1}{\gamma}_{2}\u27e9=\u27e8x,{\gamma}_{1}\u27e9{\u27e8x,{\gamma}_{2}\u27e9}^{1}$ and hence
$$\u27e8x,{\gamma}_{1}\u27e9\u27e8x,{\gamma}_{2}\u27e9=1\u27e8x,{\gamma}_{1}{\gamma}_{2}\u27e9,$$ 
with which we get
$$\widehat{\mu}({\gamma}_{1})\widehat{\mu}({\gamma}_{2})\le {\int}_{G}1\u27e8x,{\gamma}_{1}{\gamma}_{2}\u27e9d\mu (x).$$ 
We know that $W(K,\delta )$ defined in Theorem 3 is an open neighborhood of $0$. If ${\gamma}_{1}{\gamma}_{2}\in W(K,\delta )$, then by the definition of $W(K,\delta )$, for all $x\in K$ we have $$, giving
$$ 
showing that $\widehat{\mu}$ is uniformly continuous.
∎
If $f\in {L}^{1}(G)$, we define ${\mu}_{f}\in M(G)$ by
$${\mu}_{f}(E)={\int}_{E}f(x)\mathit{d}m(x),$$ 
for Borel subsets $E$ of $G$, where $m$ is Haar measure on $G$. Thus, ${\mu}_{f}$ is absolutely continuous with respect to $m$ and has density $f$. Then, for $\gamma \in \mathrm{\Gamma}$,
$${\widehat{\mu}}_{f}(\gamma )={\int}_{G}\u27e8x,\gamma \u27e9\mathit{d}{\mu}_{f}(x)={\int}_{G}\u27e8x,\gamma \u27e9f(x)\mathit{d}m(x)=\widehat{f}(\gamma ),$$ 
showing that $A(\mathrm{\Gamma})\subset B(\mathrm{\Gamma})$. Furthermore, ${\parallel f\parallel}_{1}=\parallel {\mu}_{f}\parallel $, hence it makes sense to identify ${L}^{1}(G)$ with its image in $M(G)$ under the map $f\mapsto {\mu}_{f}$. To talk about a function that belongs to $M(G)$ is to speak about ${\mu}_{f}$ for some $f\in {L}^{1}(G)$. It is proved in Rudin that ${L}^{1}(G)$ is a closed ideal in the Banach algebra $M(G)$.^{9}^{9} 9 Walter Rudin, Fourier Analysis on Groups, p. 16, §1.3.4.
Rudin calls the following theorem the uniqueness theorem.^{10}^{10} 10 Walter Rudin, Fourier Analysis on Groups, p. 17, §1.3.6.
Theorem 7.
If $\mu \mathrm{\in}M\mathit{}\mathrm{(}\mathrm{\Gamma}\mathrm{)}$ and
$${\int}_{\mathrm{\Gamma}}\u27e8x,\gamma \u27e9\mathit{d}\mu (\gamma )=0$$ 
for all $x\mathrm{\in}G$, then $\mu \mathrm{=}\mathrm{0}$.
Proof.
Let $f\in {L}^{1}(G)$.
${\int}_{\mathrm{\Gamma}}}\widehat{f}(\gamma )\mathit{d}\mu (\gamma )$  $=$  ${\int}_{\mathrm{\Gamma}}}{\displaystyle {\int}_{G}}f(x)\u27e8x,\gamma \u27e9\mathit{d}m(x)\mathit{d}\mu (\gamma )$  
$=$  ${\int}_{G}}f(x){\displaystyle {\int}_{\mathrm{\Gamma}}}\u27e8x,\gamma \u27e9\mathit{d}\mu (\gamma )\mathit{d}m(x)$  
$=$  $0.$ 
Because $A(\mathrm{\Gamma})$ is dense in ${C}_{0}(\mathrm{\Gamma})$, it follows that for all $\varphi \in {C}_{0}(\mathrm{\Gamma})$,
$${\int}_{\mathrm{\Gamma}}\varphi \mathit{d}\mu =0,$$ 
and this implies that $\mu =0$. ∎
5 Positivedefinite functions
A function $\varphi :G\to \u2102$ is called positivedefinite if for every $N$ and every ${x}_{1},\mathrm{\dots},{x}_{N}\in G$, ${c}_{1},\mathrm{\dots},{c}_{N}\in \u2102$, we have
$$\sum _{n,m=1}^{N}{c}_{n}\overline{{c}_{m}}\varphi ({x}_{n}{x}_{m})\ge 0.$$  (2) 
In particular, the lefthand side of the above inequality is real.
Let $\varphi $ be a character of $G$, which we do not assume to be continuous. Then,
$$\sum _{n,m=1}^{N}{c}_{n}\overline{{c}_{m}}\varphi ({x}_{n}{x}_{m})=\sum _{n,m=1}^{N}{c}_{n}\overline{{c}_{m}}\varphi ({x}_{n})\overline{\varphi ({x}_{m})}={\left\sum _{n=1}^{N}{c}_{n}\varphi ({x}_{n})\right}^{2}\ge 0,$$ 
so any character of $G$, whether or not it is continuous, is positivedefinite.
Lemma 8.
If $\varphi \mathrm{:}G\mathrm{\to}\mathrm{C}$ is positivedefinite, then
$$\varphi (0)\ge 0,$$ 
$$\varphi (x)=\overline{\varphi (x)},\varphi (x)\le \varphi (0),x\in G,$$ 
and
$${\varphi (x)\varphi (y)}^{2}\le 2\varphi (0)\mathrm{Re}(\varphi (0)\varphi (xy)),x,y\in G.$$ 
Proof.
Take $N=1$, ${c}_{1}=1$, ${x}_{1}=0$. Then (2) is
$$\varphi (0)\ge 0.$$ 
Take $N=2$, ${x}_{1}=0,{x}_{2}=x,{c}_{1}=1,{c}_{2}=c$. Then (2) is
$$\varphi (0)+\overline{c}\varphi (x)+c\varphi (x)+{c}^{2}\varphi (0)\ge 0.$$  (3) 
Because $\varphi (0)$ is real, this means that $c\varphi (x)+\overline{c}\varphi (x)$ is real, hence is equal to its own complex conjugate. Writing $\varphi (x)=A+iB$ and $\varphi (x)=C+iD$, for $c=1$ this implies that
$$A+iB+C+iD=AiB+CiD$$ 
and for $c=i$ this is
$$iABiC+D=iAB+iC+D.$$ 
The first equation tells us $B+D=0$, and the second equation tells us $AC=0$. Thus
$$\varphi (x)=C+iD=AiB=\overline{\varphi (x)}.$$ 
Use (3) with $c$ chosen so that $c\varphi (x)=\varphi (x)$. $c=1$, and using $\varphi (x)=\overline{\varphi (x)}$,
$$2\varphi (0)+2\varphi (x)\ge 0.$$ 
Take $N=3$, ${x}_{1}=0,{x}_{2}=x,{x}_{3}=y$, ${c}_{1}=1$, $\lambda \in \mathbb{R}$,
$${c}_{2}=\frac{\lambda \varphi (x)\varphi (y)}{\varphi (x)\varphi (y)},$$ 
${c}_{3}={c}_{2}$; since $\varphi (0)\ge 0$, the claim is obviously true for the case $x=y$, which we discard. Then (2) is
$$(1+2{{c}_{2}}^{2})\varphi (0)+\overline{{c}_{2}}(\varphi (x)\varphi (y))+{c}_{2}(\varphi (x)\varphi (y)){{c}_{2}}^{2}(\varphi (xy)+\varphi (yx))\ge 0.$$ 
Using the definition of ${c}_{2}$ and the fact that $\overline{\varphi (z)}=\varphi (z)$,
$$(1+2{\lambda}^{2})\varphi (0)+2\lambda \varphi (x)\varphi (y){\lambda}^{2}(\varphi (xy)+\overline{\varphi (xy)})\ge 0,$$ 
or
$${\lambda}^{2}(2\varphi (0)2\mathrm{R}\mathrm{e}\varphi (xy))+2\lambda \varphi (x)\varphi (y)+\varphi (0)\ge 0.$$ 
The fact that this quadratic polynomial does not take negative values implies that it has either 0 or 1 real roots, and hence that its discriminant is $\le 0$:
$$4{\varphi (x)\varphi (y)}^{2}4(2\varphi (0)2\mathrm{R}\mathrm{e}\varphi (xy))\varphi (0)\le 0,$$ 
which is the claim. ∎
We remind ourselves that ${f}^{*}(x)=\overline{f(x)}$.
Theorem 9.
If $f\mathrm{\in}{L}^{\mathrm{2}}\mathit{}\mathrm{(}G\mathrm{)}$, then $\varphi \mathrm{=}f\mathrm{*}{f}^{\mathrm{*}}$ is positivedefinite and belongs to ${C}_{\mathrm{0}}\mathit{}\mathrm{(}G\mathrm{)}$.
Proof.
$\sum _{n,m=1}^{N}}{c}_{n}\overline{{c}_{m}}\varphi ({x}_{n}{x}_{m})$  $=$  $\sum _{n,m=1}^{N}}{c}_{n}\overline{{c}_{m}}{\displaystyle {\int}_{G}}f({x}_{n}{x}_{m}y)\overline{f(y)}\mathit{d}y$  
$=$  $\sum _{n,m=1}^{N}}{c}_{n}\overline{{c}_{m}}{\displaystyle {\int}_{G}}f({x}_{n}y)\overline{f({x}_{m}y)}\mathit{d}y$  
$=$  ${\int}_{G}}{\left{\displaystyle \sum _{n=1}^{N}}{c}_{n}f({x}_{n}y)\right}^{2}\mathit{d}y$  
$\ge $  $0.$ 
It is a fact that if $$, $\frac{1}{p}+\frac{1}{q}=1$ and $f\in {L}^{p}(G)$, $g\in {L}^{q}(G)$, then $f*g\in {C}_{0}(G)$.^{11}^{11} 11 Walter Rudin, Fourier Analysis on Groups, p. 4, §1.1.6. ∎
The following theorem is from Rudin.^{12}^{12} 12 Walter Rudin, Fourier Analysis on Groups, p. 19, §1.4.2.
Theorem 10.
If $\mu \mathrm{\in}M\mathit{}\mathrm{(}\mathrm{\Gamma}\mathrm{)}$, $\mu \mathrm{\ge}\mathrm{0}$ (i.e. $\mu \mathrm{=}\mathrm{}\mu \mathrm{}$), and
$$\varphi (x)={\int}_{\mathrm{\Gamma}}\u27e8x,\gamma \u27e9\mathit{d}\mu (\gamma ),x\in G,$$ 
then $\varphi $ is uniformly continuous and positivedefinite.
Proof.
$\sum _{n,m=1}^{N}}{c}_{n}\overline{{c}_{m}}\varphi ({x}_{n}{x}_{m})$  $=$  ${\int}_{\mathrm{\Gamma}}}{\displaystyle \sum _{n,m=1}^{N}}{c}_{n}\overline{{c}_{m}}\u27e8{x}_{n}{x}_{m},\gamma \u27e9d\mu (\gamma )$  
$=$  ${\int}_{\mathrm{\Gamma}}}{\displaystyle \sum _{n,m=1}^{N}}{c}_{n}\overline{{c}_{m}}\u27e8{x}_{n},\gamma \u27e9\overline{\u27e8{x}_{m},\gamma \u27e9}d\mu (\gamma )$  
$=$  ${\int}_{\mathrm{\Gamma}}}{\left{\displaystyle \sum _{n=1}^{N}}{c}_{n}\u27e8{x}_{n},\gamma \u27e9\right}^{2}\mathit{d}\mu (\gamma )$  
$\ge $  $0,$ 
showing that $\varphi $ is positivedefinite.
$\mu $ is regular, so for any $\delta >0$ there is a compact set $C$ such that $$, where ${C}^{\prime}=\mathrm{\Gamma}\setminus C$. We know $V(C,\delta )$ defined in Theorem 3 is an open neighborhood of $0$. If ${x}_{1}{x}_{2}\in V(C,\delta )$, then by the definition of $V(C,\delta )$, for all $\gamma \in C$ we have $$, and so
$\varphi ({x}_{1})\varphi ({x}_{2})$  $\le $  ${\int}_{\mathrm{\Gamma}}}1\u27e8{x}_{1}{x}_{2},\gamma \u27e9\mathit{d}\mu (\gamma )$  
$=$  ${\int}_{C}}1\u27e8{x}_{1}{x}_{2},\gamma \u27e9\mathit{d}\mu (\gamma )+{\displaystyle {\int}_{{C}^{\prime}}}1\u27e8{x}_{1}{x}_{2},\gamma \u27e9\mathit{d}\mu (\gamma )$  
$\le $  ${\int}_{C}}\delta \mathit{d}\mu (\gamma )+{\displaystyle {\int}_{{C}^{\prime}}}2\mathit{d}\mu (\gamma )$  
$$  $\delta \parallel \mu \parallel +2\delta .$ 
∎
The above theorem shows that the inverse Fourier transform of a nonnegative measure on $\mathrm{\Gamma}$ is a uniformly continuous positivedefinite function on $G$. The following theorem shows that any continuous positivedefinite function on $G$ has this form. We remind ourselves that if a positivedefinite function is continuous then it is uniformly continuous, by Lemma 8. We are following the proof given in Rudin.^{13}^{13} 13 Walter Rudin, Fourier Analysis on Groups, p. 19, §1.4.3.
Theorem 11 (Bochner’s theorem).
If $\varphi \mathrm{:}G\mathrm{\to}\mathrm{C}$ is uniformly continuous and positivedefinite, then there is some nonnegative measure $\mu \mathrm{\in}M\mathit{}\mathrm{(}\mathrm{\Gamma}\mathrm{)}$ such that
$$\varphi (x)={\int}_{\mathrm{\Gamma}}\u27e8x,\gamma \u27e9\mathit{d}\mu (\gamma ),x\in G.$$ 
Proof.
As $\varphi $ is positivedefinite, $\varphi (0)$ is a nonnegative real number, and $\varphi (x)\le \varphi (0)$ for all $x\in G$. If $\varphi (0)=0$ then use $\mu =0$. Otherwise, it makes sense to divide $\varphi $ by $\varphi (0)$ and the resulting function is also continuous and positivedefinite. Thus without loss of generality we suppose that $\varphi (0)=1$.
Using the fact that $\varphi $ is positivedefinite one shows that for any $f\in {C}_{c}(G)$, ${\int}_{G}{\int}_{G}f(x)\overline{f(y)}\varphi (xy)\mathit{d}m(x)\mathit{d}m(y)$ is nonnegative by approximating this integral with finite sums. Then as ${C}_{c}(G)$ is dense in ${L}^{1}(G)$, the previous integral is nonnegative for any $f\in {L}^{1}(G)$. We define ${T}_{\varphi}:{L}^{1}(G)\to \u2102$ by
$${T}_{\varphi}(f)={\int}_{G}f\varphi \mathit{d}m,f\in {L}^{1}(G),$$ 
and define, for $f,g\in {L}^{1}(G)$,
$[f,g]$  $=$  ${T}_{\varphi}(f*{g}^{*})$  
$=$  ${\int}_{G}}(f*{g}^{*})(x)\varphi (x)\mathit{d}m(x)$  
$=$  ${\int}_{G}}{\displaystyle {\int}_{G}}f(xy)\overline{g(y)}\varphi (x)\mathit{d}m(y)\mathit{d}m(x)$  
$=$  ${\int}_{G}}{\displaystyle {\int}_{G}}f(x)\overline{g(y)}\varphi (xy)\mathit{d}m(x)\mathit{d}m(y).$ 
Therefore, $[f,f]\ge 0$, and thus $[\cdot ,\cdot ]$ is an inner product on ${L}^{1}(G)$ and hence satisfies the CauchySchwarz inequality:
$${[f,g]}^{2}\le [f,f][g,g],f,g\in {L}^{1}(G).$$ 
Suppose that $V$ is a symmetric neighborhood of $0$ in $G$ and define $g=\frac{{\chi}_{V}}{m(V)}$.
$[f,g]{T}_{\varphi}(f)$  $=$  ${\int}_{G}}{\displaystyle {\int}_{G}}f(x)\overline{g(y)}\varphi (xy)\mathit{d}m(x)\mathit{d}m(y){\displaystyle {\int}_{G}}f(x)\varphi (x)\mathit{d}m(x)$  
$=$  ${\int}_{G}}{\displaystyle \frac{1}{m(V)}}{\displaystyle {\int}_{V}}f(x)\varphi (xy)\mathit{d}m(y)\mathit{d}m(x)$  
${\displaystyle {\int}_{G}}{\displaystyle \frac{1}{m(V)}}{\displaystyle {\int}_{V}}f(x)\varphi (x)\mathit{d}m(y)\mathit{d}m(x)$  
$=$  ${\int}_{G}}f(x){\displaystyle \frac{1}{m(V)}}{\displaystyle {\int}_{V}}(\varphi (xy)\varphi (x))\mathit{d}m(y)\mathit{d}m(x)$ 
and
$$[g,g]1=\frac{1}{m{(V)}^{2}}{\int}_{V}{\int}_{V}(\varphi (xy)1)\mathit{d}m(x)\mathit{d}m(y).$$ 
Because $\varphi $ is uniformly continuous, for any $\delta >0$ there is some $V$ such that both these integrals have absolute value $$, and then using the CauchySchwarz inequality we get
$${{T}_{\varphi}(f)}^{2}\le [f,f],f\in {L}^{1}(G).$$  (4) 
Let $f\in {L}^{1}(G)$ and define $h=f*{f}^{*}$ and ${h}^{n}={h}^{n1}*h$ for $n\ge 2$. $\varphi (x)\le \varphi (0)=1$ tells us ${\parallel \varphi \parallel}_{\mathrm{\infty}}=1$ and so $\parallel {T}_{\varphi}\parallel \le 1$. In fact, one checks that $\parallel {T}_{\varphi}\parallel =1$. Applying (4) to $h,{h}^{2},{h}^{4},\mathrm{\dots}$ we obtain
$${{T}_{\varphi}(f)}^{2}\le {T}_{\varphi}(f*{f}^{*})={T}_{\varphi}(h)\le {({T}_{\varphi}(h*{h}^{*}))}^{1/2}={({T}_{\varphi}({h}^{2}))}^{1/2}\le \mathrm{\dots},$$ 
so for any $n\ge 1$, because $\parallel {T}_{\varphi}\parallel =1$,
$${{T}_{\varphi}(f)}^{2}\le {({T}_{\varphi}({h}^{{2}^{n}}))}^{{2}^{n}}\le {\parallel {h}^{{2}^{n}}\parallel}_{1}^{{2}^{n}}.$$ 
The spectral radius formula tells us that
$$\underset{n\to \mathrm{\infty}}{lim}{\parallel {h}^{{2}^{n}}\parallel}_{1}^{{2}^{n}}={\parallel \widehat{h}\parallel}_{\mathrm{\infty}}.$$ 
But $\widehat{h}=\widehat{f}\widehat{{f}^{*}}={\widehat{f}}^{2}$, so ${{T}_{\varphi}(f)}^{2}\le {\parallel \widehat{f}\parallel}_{\mathrm{\infty}}^{2}$, i.e.
$${T}_{\varphi}(f)\le {\parallel \widehat{f}\parallel}_{\mathrm{\infty}},f\in {L}^{1}(G).$$ 
We define ${S}_{\varphi}$ on $A(\mathrm{\Gamma})$ by ${S}_{\varphi}(\widehat{f})={T}_{\varphi}(f)$; this makes sense because if $\widehat{{f}_{1}}=\widehat{{f}_{2}}$ then ${T}_{\varphi}({f}_{1}{f}_{2})\le {\parallel \widehat{{f}_{1}}\widehat{{f}_{2}}\parallel}_{\mathrm{\infty}}=0$, so ${T}_{\varphi}({f}_{1})={T}_{\varphi}({f}_{2})$. The above inequality means that
$${S}_{\varphi}(\widehat{f})\le {\parallel \widehat{f}\parallel}_{\mathrm{\infty}},\widehat{f}\in A(\mathrm{\Gamma}).$$ 
Therefore ${S}_{\varphi}$ is a bounded linear functional on $A(\mathrm{\Gamma})$, and because $A(\mathrm{\Gamma})$ is dense in ${C}_{0}(\mathrm{\Gamma})$, ${S}_{\varphi}$ can be extended to a bounded linear functional on ${C}_{0}(\mathrm{\Gamma})$ with norm $\parallel {T}_{\varphi}\parallel =1$. But $\mathrm{\Gamma}$ is a locally compact Hausdorff space, so by the Riesz representation theorem there is a unique measure $\mu \in M(\mathrm{\Gamma})$ such that
$${S}_{\varphi}(g)={\int}_{\mathrm{\Gamma}}g(\gamma )\mathit{d}\mu (\gamma ),g\in {C}_{0}(\mathrm{\Gamma}),$$ 
and $\parallel \mu \parallel =\parallel {S}_{\varphi}\parallel =1$; we state the above with $g(\gamma )$ rather than $g(\gamma )$ for later convenience. For $f\in {L}^{1}(G)$,
${T}_{\varphi}(f)$  $=$  ${S}_{\varphi}(\widehat{f})$  
$=$  ${\int}_{\mathrm{\Gamma}}}\widehat{f}(\gamma )\mathit{d}\mu (\gamma )$  
$=$  ${\int}_{\mathrm{\Gamma}}}{\displaystyle {\int}_{G}}f(x)\u27e8x,\gamma \u27e9\mathit{d}m(x)\mathit{d}\mu (\gamma )$  
$=$  ${\int}_{G}}f(x)\left({\displaystyle {\int}_{\mathrm{\Gamma}}}\u27e8x,\gamma \u27e9\mathit{d}\mu (\gamma )\right)\mathit{d}m(x).$ 
But the definition of ${T}_{\varphi}$ states
$${T}_{\varphi}(f)={\int}_{G}f(x)\varphi (x)\mathit{d}m(x).$$ 
Since these two expressions for ${T}_{\varphi}(f)$ are equal for all $f\in {L}^{1}(G)$, we get that
$${\int}_{\mathrm{\Gamma}}\u27e8x,\gamma \u27e9\mathit{d}\mu (\gamma )=\varphi (x)$$ 
for almost all $x\in G$. Since both sides of the above equality are continuous, they are equal for all $x\in G$. For $x=0$,
$$1=\varphi (0)={\int}_{\mathrm{\Gamma}}\u27e80,\gamma \u27e9\mathit{d}\mu (\gamma )={\int}_{\mathrm{\Gamma}}\mathit{d}\mu (\gamma )\le {\int}_{\mathrm{\Gamma}}d\mu (\gamma )\le \parallel \mu \parallel =1.$$ 
Hence ${\int}_{\mathrm{\Gamma}}\mathit{d}\mu (\gamma )={\int}_{\mathrm{\Gamma}}d\mu (\gamma )$, from which it follows that $\mu =\mu $, and therefore $\mu $ is a nonnegative measure. ∎
6 The inversion theorem
Define $B(G)$ to be the set of those $f:G\to \u2102$ for which there is some ${\mu}_{f}\in M(\mathrm{\Gamma})$ such that
$$f(x)={\int}_{\mathrm{\Gamma}}\u27e8x,\gamma \u27e9\mathit{d}{\mu}_{f}(\gamma ),x\in G.$$ 
It is apparent from Theorem 7 that there is at most one ${\mu}_{f}\in M(\mathrm{\Gamma})$ such that the above holds.
The following proof is from Rudin.^{14}^{14} 14 Walter Rudin, Fourier Analysis on Groups, p. 22, §1.5.1.
Theorem 12 (Inversion theorem).
If $f\mathrm{\in}{L}^{\mathrm{1}}\mathit{}\mathrm{(}G\mathrm{)}\mathrm{\cap}B\mathit{}\mathrm{(}G\mathrm{)}$, then $\widehat{f}\mathrm{\in}{L}^{\mathrm{1}}\mathit{}\mathrm{(}\mathrm{\Gamma}\mathrm{)}$.
If the Haar measure $m$ on $G$ is fixed, then there is a Haar measure ${m}_{\mathrm{\Gamma}}$ on $\mathrm{\Gamma}$ such that for all $f\mathrm{\in}{L}^{\mathrm{1}}\mathit{}\mathrm{(}G\mathrm{)}\mathrm{\cap}B\mathit{}\mathrm{(}G\mathrm{)}$,
$$f(x)={\int}_{\mathrm{\Gamma}}\widehat{f}(\gamma )\u27e8x,\gamma \u27e9\mathit{d}{m}_{\mathrm{\Gamma}}(\gamma ),x\in G.$$ 
Proof.
Write ${B}^{1}={L}^{1}(G)\cap B(G)$. For $f\in {B}^{1}$ and $h\in {L}^{1}(G)$,
$(h*f)(0)$  $=$  ${\int}_{G}}h(x)f(x)\mathit{d}m(x)$  
$=$  ${\int}_{G}}h(x){\displaystyle {\int}_{\mathrm{\Gamma}}}\u27e8x,\gamma \u27e9\mathit{d}{\mu}_{f}(\gamma )\mathit{d}m(x)$  
$=$  ${\int}_{\mathrm{\Gamma}}}\widehat{h}(\gamma )\mathit{d}{\mu}_{f}(\gamma ).$ 
For $g\in {B}^{1}$, we have $h*g\in {L}^{1}(G)$ and $h*f\in {L}^{1}(G)$, and so using the above equality,
$${\int}_{\mathrm{\Gamma}}\widehat{h*g}\mathit{d}{\mu}_{f}=((h*g)*f)(0)=((h*f)*g)(0)={\int}_{\mathrm{\Gamma}}\widehat{h*f}\mathit{d}{\mu}_{g},$$ 
hence
$${\int}_{\mathrm{\Gamma}}\widehat{h}\widehat{g}\mathit{d}{\mu}_{f}={\int}_{\mathrm{\Gamma}}\widehat{h}\widehat{f}\mathit{d}{\mu}_{g},f,g\in {B}^{1},h\in {L}^{1}(G).$$ 
Because $A(\mathrm{\Gamma})$ is dense in ${C}_{0}(\mathrm{\Gamma})$ and the above holds for all $h\in {L}^{1}(G)$, it follows that
$$\widehat{g}d{\mu}_{f}=\widehat{f}d{\mu}_{g},f,g\in {B}^{1}.$$  (5) 
We define $T:{C}_{c}(\mathrm{\Gamma})\to \u2102$ as follows. Let $\psi \in {C}_{c}(\mathrm{\Gamma})$, $K=\mathrm{supp}\psi $. For ${\gamma}_{0}\in K$, there is some $\varphi \in {C}_{0}(\mathrm{\Gamma})$ such that $\varphi ({\gamma}_{0})\ne 0$, and because $A(\mathrm{\Gamma})$ is dense in ${C}_{0}(\mathrm{\Gamma})$ there is therefore some $f\in {L}^{1}(G)$ such that $\widehat{f}({\gamma}_{0})\ne 0$. With $\delta =\widehat{f}({\gamma}_{0})$, there is some $u\in {C}_{c}(G)$ with $$, and
$$ 
which shows that $\widehat{u}({\gamma}_{0})\ne 0$. $\widehat{u*{u}^{*}}={\widehat{u}}^{2}\ge 0$, so there is some open neighborhood $U$ of ${\gamma}_{0}$ on which $\widehat{u*{u}^{*}}$ is positive, as it is a continuous function. Since $K$ is compact, it is covered by finitely many of these open neighborhoods. Call the corresponding functions ${u}_{1},\mathrm{\dots},{u}_{n}\in {C}_{c}(G)$, and write
$$g={u}_{1}*{u}_{1}^{*}+\mathrm{\cdots}+{u}_{n}*{u}_{n}^{*}.$$ 
$g$ satisfies $\widehat{g}(\gamma )>0$ for all $\gamma \in K$. Because each ${u}_{n}$ belongs to ${C}_{c}(G)$, ${u}_{n}*{u}_{n}^{*}$ belongs to ${C}_{c}(G)$ and so $g\in {C}_{c}(G)$. Moreover, by Theorem 9, each ${u}_{n}*{u}_{n}^{*}$ is positivedefinite, and one checks that as $g$ is a linear combination of positivedefinite functions with nonnegative coefficients it is itself positivedefinite. Because $g$ is positivedefinite, by Bochner’s theorem it belongs to $B(G)$, and because $g\in {C}_{c}(G)$, $g$ belongs to ${L}^{1}(G)$. Hence $g\in {B}^{1}$. We have now proved that there is at least one element of ${B}^{1}$ whose Fourier transform does not vanish on $K$. Suppose that $f$ is any such function. Then using (5),
$${\int}_{\mathrm{\Gamma}}\frac{\psi}{\widehat{f}}\mathit{d}{\mu}_{f}={\int}_{\mathrm{\Gamma}}\frac{\psi}{\widehat{f}\widehat{g}}\widehat{g}\mathit{d}{\mu}_{f}={\int}_{\mathrm{\Gamma}}\frac{\psi}{\widehat{f}\widehat{g}}\widehat{f}\mathit{d}{\mu}_{g}={\int}_{G}\frac{\psi}{\widehat{g}}\mathit{d}{\mu}_{g}.$$ 
Thus, it makes sense to define
$$T\psi ={\int}_{\mathrm{\Gamma}}\frac{\psi}{\widehat{g}}\mathit{d}{\mu}_{g}.$$  (6) 
One checks that $T$ is linear. Because $g$ is positivedefinite, the measure ${\mu}_{g}$ supplied by Bochner’s theorem is nonnegative, and hence if $\psi \ge 0$ then $T\psi \ge 0$, namely, $T$ is positive. There are $f\in {B}^{1}$ and $\psi \in {C}_{c}(G)$ such that ${\int}_{\mathrm{\Gamma}}\psi \mathit{d}{\mu}_{f}\ne 0$, and $\psi \widehat{f}\in {C}_{c}(G)$, so there is some $g\in {B}^{1}$ satisfying
$$T(\psi \widehat{f})={\int}_{\mathrm{\Gamma}}\frac{\psi \widehat{f}}{\widehat{g}}\mathit{d}{\mu}_{g}={\int}_{\mathrm{\Gamma}}\psi \mathit{d}{\mu}_{f}\ne 0,$$ 
showing that $T\ne 0$.
Let $\psi \in {C}_{c}(\mathrm{\Gamma})$ and ${\gamma}_{0}\in \mathrm{\Gamma}$. There is some $g\in {B}^{1}$ such that $\widehat{g}$ is positive on both $K$ and $K+{\gamma}_{0}$. For $f(x)=\u27e8x,{\gamma}_{0}\u27e9g(x)$, $x\in G$, we have $\widehat{f}(\gamma )=\widehat{g}(\gamma +{\gamma}_{0})$, $\gamma \in \mathrm{\Gamma}$, and ${\mu}_{f}(E)={\mu}_{g}(E{\gamma}_{0})$. For ${\psi}_{0}\in {C}_{c}(\mathrm{\Gamma})$ defined by ${\psi}_{0}(\gamma )=\psi (\gamma {\gamma}_{0})$,
$$T{\psi}_{0}={\int}_{\mathrm{\Gamma}}\frac{\psi (\gamma {\gamma}_{0})}{\widehat{g}(\gamma )}\mathit{d}{\mu}_{g}(\gamma )={\int}_{\mathrm{\Gamma}}\frac{\psi (\gamma )}{\widehat{f}(\gamma )}\mathit{d}{\mu}_{f}(\gamma )=T\psi ,$$ 
showing that $T$ is translation invariant. Then by the Riesz representation theorem, there is some nonnegative regular measure ${m}_{\mathrm{\Gamma}}$ on $\mathrm{\Gamma}$ satisfying
$$T\psi ={\int}_{\mathrm{\Gamma}}\psi \mathit{d}{m}_{\mathrm{\Gamma}},\psi \in {C}_{c}(\mathrm{\Gamma}).$$ 
This measure ${m}_{\mathrm{\Gamma}}$ is translation invariant and not the zero measure because $T$ has these properties, and this means that it is a Haar measure on $\mathrm{\Gamma}$.
For $f\in {B}^{1}$,
$${\int}_{\mathrm{\Gamma}}\psi \mathit{d}{\mu}_{f}=T(\psi \widehat{f})={\int}_{\mathrm{\Gamma}}\psi \widehat{f}\mathit{d}{m}_{\mathrm{\Gamma}},\psi \in {C}_{c}(\mathrm{\Gamma}),$$ 
which implies that
$$d{\mu}_{f}=\widehat{f}d{m}_{\mathrm{\Gamma}},f\in {B}^{1}.$$ 
Because $$ (as ${\mu}_{f}\in M(\mathrm{\Gamma})$), the above equality implies that $\widehat{f}\in {L}^{1}(\mathrm{\Gamma})$. Moreover, by the definition of ${\mu}_{f}$, for any $x\in G$ we have
$$f(x)={\int}_{\mathrm{\Gamma}}\u27e8x,\gamma \u27e9\mathit{d}{\mu}_{f}(\gamma )={\int}_{\mathrm{\Gamma}}\u27e8x,\gamma \u27e9\widehat{f}\mathit{d}{m}_{\mathrm{\Gamma}}(\gamma ).$$ 
∎
Using the inversion theorem, we prove the following lemma.^{15}^{15} 15 Walter Rudin, Fourier Analysis on Groups, p. 23, §1.5.2.
Lemma 13.
$\{{x}_{0}+V(C,r):{x}_{0}\in G\mathit{\text{,}}C\mathit{\text{is a compact subset of}}G\mathit{\text{,}}r0\}$ is a basis for the topology of $G$.
$\mathrm{\Gamma}$ separates points in $G$.
Proof.
Let ${m}_{\mathrm{\Gamma}}$ be the Haar measure on $\mathrm{\Gamma}$ specified in the inversion theorem. Suppose that $V$ is a neighborhood of $0$ in $G$. Let $W$ be a compact neighborhood of $0$ in $G$ satisfying $WW\subset V$. (One proves that there are such $W$.) Define $f=\frac{{\chi}_{W}}{\sqrt{m(W)}}$ and $g=f*{f}^{*}$. $g$ is continuous and positivedefinite, and $\mathrm{supp}g\subset WW$. Because $g$ is continuous and positivedefinite, by Bochner’s theorem it belongs to $B(G)$, and because $\mathrm{supp}g\subset WW$ it belongs to ${L}^{1}(G)$, so we can apply the inversion theorem to get $\widehat{g}\in {L}^{1}(\mathrm{\Gamma})$ and
$${\int}_{\mathrm{\Gamma}}\widehat{g}\mathit{d}{m}_{\mathrm{\Gamma}}(\gamma )=g(0)={\int}_{G}f(y)\overline{f(y)}\mathit{d}m(y)={\int}_{G}{f(y)}^{2}\mathit{d}m(y)=1.$$ 
Because $\widehat{g}={\widehat{f}}^{2}\ge 0$, there is a compact set $C$ in $\mathrm{\Gamma}$ such that
$${\int}_{C}\widehat{g}(\gamma )\mathit{d}{m}_{\mathrm{\Gamma}}(\gamma )>\frac{2}{3}.$$ 
To say that $x\in V(C,1/3)$ means $$ for all $\gamma \in C$ and hence $\mathrm{Re}\u27e8x,\gamma \u27e9>\frac{2}{3}$, and satisfies
$$g(x)=\mathrm{Re}{\int}_{C}\widehat{g}(\gamma )\u27e8x,\gamma \u27e9\mathit{d}{m}_{\mathrm{\Gamma}}(\gamma )+\mathrm{Re}{\int}_{{C}^{\prime}}\widehat{g}(\gamma )\u27e8x,\gamma \u27e9\mathit{d}{m}_{\mathrm{\Gamma}}(\gamma ).$$ 
The first term is $>\frac{4}{9}$ and the second term has absolute value $$, so $g(x)>\frac{1}{9}$ for $x\in V(C,1/3)$. But $g(x)>\frac{1}{9}$ means that $x\in \mathrm{supp}g=WW\subset V$, so
$$V(C,1/3)\subset V,$$ 
from which it follows that $V(C,r)$, $C$ compact and $r>0$, is a local basis at $0$.
For ${x}_{0}\in G$, ${x}_{0}\ne 0$, let $V$ be a neighborhood of $0$ that does not include ${x}_{0}$, and the above gives $x\notin V(C,1/3)$, i.e., there is some $\gamma \in \mathrm{\Gamma}$ such that $1\u27e8x,\gamma \u27e9\ge \frac{1}{3}$, and hence $\u27e8x,\gamma \u27e9\ne 1$. Therefore, if ${x}_{1}\ne {x}_{2}$, there is some $\gamma \in \mathrm{\Gamma}$ such that $\u27e8{x}_{1}{x}_{2},\gamma \u27e9\ne 1$, and hence $\u27e8{x}_{1},\gamma \u27e9\ne \u27e8{x}_{2},\gamma \u27e9$, which is what it means to say that $\mathrm{\Gamma}$ separates points in $G$. ∎
7 Pontryagin duality theorem
The dual group $\mathrm{\Gamma}$ of $G$ is itself a locally compact abelian group and so has a dual group $\widehat{\mathrm{\Gamma}}$. We proved in Theorem 3 that $(x,\gamma )\mapsto \u27e8x,\gamma \u27e9$ is continuous, and therefore for any $x\in G$, the function $\alpha (x):\mathrm{\Gamma}\to \u2102$ defined by
$$\u27e8\gamma ,\alpha (x)\u27e9=\u27e8x,\gamma \u27e9,\gamma \in \mathrm{\Gamma},$$ 
belongs to $\widehat{\mathrm{\Gamma}}$. For $x,y\in G$, $\alpha (xy)\in \widehat{\mathrm{\Gamma}}$ satisfies
$$\u27e8\gamma ,\alpha (xy)\u27e9=\u27e8xy,\gamma \u27e9=\u27e8x,\gamma \u27e9\u27e8y,\gamma \u27e9=\u27e8\gamma ,\alpha (x)\u27e9\u27e8\gamma ,\alpha (y)\u27e9,$$ 
showing that $\alpha :G\to \widehat{\mathrm{\Gamma}}$ is a homomorphism. The following theorem, proved in Rudin,^{16}^{16} 16 Walter Rudin, Fourier Analysis on Groups, p. 28, §1.7.2. shows that $\alpha $ is an isomorphism of topological groups. That is, it states that a locally compact abelian group is isomorphic as a topological group to its double dual. Let LCA denote the category of locally compact abelian groups, where morphisms are continuous group homomorphisms. Taking the double dual of an element of LCA is a functor, and it can be proved that there is a natural isomorphism between the identity functor in LCA and the double dual functor.^{17}^{17} 17 For more, see the nLab page: http://ncatlab.org/nlab/show/Pontrjagin+dual
Theorem 14 (Pontryagin duality theorem).
$\alpha :G\to \widehat{\mathrm{\Gamma}}$ defined by
$$\u27e8\gamma ,\alpha (x)\u27e9=\u27e8x,\gamma \u27e9,\gamma \in \mathrm{\Gamma},$$ 
is an isomorphism of topological groups.
We proved earlier that if $G$ is discrete then $\mathrm{\Gamma}$ is compact and that if $G$ is compact then $\mathrm{\Gamma}$ is discrete, but had not established that if $\mathrm{\Gamma}$ is compact then $G$ is discrete or if $\mathrm{\Gamma}$ is discrete then $G$ is compact, but we obtain these conclusions from the Pontryagin duality theorem: if $\mathrm{\Gamma}$ is compact then $\widehat{\mathrm{\Gamma}}$ is discrete, and $G$ is isomorphic as a topological group to $\widehat{\mathrm{\Gamma}}$ so $G$ is discrete, and likewise if $\mathrm{\Gamma}$ is discrete then $G$ is compact.
8 Further reading
Keith Conrad, http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/characterQ.pdf works out explicitly the form of all characters of $\mathbb{Q}$, and shows that the group of all characters of $\mathbb{Q}$ (namely, the dual group of $\mathbb{Q}$ when $\mathbb{Q}$ has the discrete topology), is isomorphic as a group to the quotient group ${\mathbb{A}}_{\mathbb{Q}}/\mathbb{Q}$. This gives a satisfying reason for caring about the $p$adic numbers ${\mathbb{Q}}_{p}$ and the adeles ${\mathbb{A}}_{\mathbb{Q}}$.