1: \begin{abstract} A topological vector space over the real 

2: or complex field $\K$ is {\it weakly complete} 

3: if it is isomorphic to a power $\K^J$.

4: For each topological group $G$ there is a {\it weakly complete 

5: topological group Hopf algebra} $\K[G]$ over $\K=\R$ or $\C$,

6: for which three  insights are contributed:

7: Firstly, {\it there is a comprehensive structure theorem 

8: saying that the topological algebra $\K[G]$ is

9: the cartesian product of its finite dimensional minimal ideals 

10: whose  structure is clarified.}

11: Secondly, {\it for a  compact {\rm abelian}

12: group $G$ and its  character group $\A$, the weakly complete 

13: {\rm complex}

14: Hopf algebra $\C[G]$ is the product algebra $\C^\A$ with the comultiplication

15: $c\colon\C^\A\to\C^{\A\times\A}\cong\C^\A\otimes\C^\A$, $c(F)(\chi_1,\chi_2)=

16: F(\chi_1+\chi_2)$ for $F\colon\A\to\C$ in $\C^\A$. The 

17: subgroup $\Gamma(\C^\A)$ of grouplike elements of the group of units of the

18: algebra $\C^\A$ is $\Hom(\A,(\C\setminus\{0\},.))$ 

19: while

20: the vector subspace of primitive elements is $\Hom(\A,(\C,+))$.}

21: This forces  the

22: group $\Gamma(\R[G])\subseteq\Gamma(\C[G])$ to be 

23: $\Hom(\A,\SS^1)\cong\hats G\cong G$ with

24: the complex circle group $\SS^1$. While the relation $\Gamma(\R[G])\cong G$

25: remains true for {\it any} compact group,  $\Gamma(\C[G])\cong G$ 

26: holds for a  compact abelian  group $G$ if and only if it is profinite.

27: Thirdly,  for each pro-Lie algebra $L$ a weakly complete

28: universal enveloping Hopf algebra $\UU_\K(L)$ over $\K$ exists such

29: that {\it for each {\em connected} compact group $G$ 

30: the weakly complete real group Hopf

31: algebra $\R[G]$ is a quotient Hopf algebra of 

32:  $\UU_\R(\L(G))$ with the (pro-)Lie algebra

33: $\L(G)$ of $G$. The group $\Gamma(\UU_\R(\L(G)))$ of grouplike elements

34:  of the weakly complete enveloping algebra of $\L(G)$ maps onto

35: $\Gamma(\R[G])\cong G$ and is therefore nontrivial} in   contrast 

36: to the case of  

37: the discrete classical enveloping Hopf algebra 

38: of an abstract Lie algebra.

39: \end{abstract}

40: