On weakly complete group algebras of compact groups

We study group algebras for compact groups in the category of real and complex weakly complete vector spaces. We also show that the group algebra is a quotient of the weakly complete universal enveloping algebra of the Lie algebra of the compact group. We relate this to Tannaka duality, and to functorial properties of the group algebra. We determine the structure of the group algebra in terms of the irreducible representation, both in the real and the complex case. The particular case of a compact abelian group is worked out in detail.