added statement and proof (here) that the complex group algebra of a finite group is isomorphic to the direct sum of linear endomrophism algebras of its complex irreps.

]]>I have added into group algebra a definition of the completed group algebra of a profinite group.

]]>the entry *group algebra* had been full of notation mismatch and also of typos. I have reworked it now.