 Completed group algebra

For a profinite group $G$ and a finite or profinite coefficient ring $R$, the completed group algebra iswhere $U$ ranges over the open normal subgroups. It records convergent noncommutative power series in topological generators of $G$.