{c}
{wiki}

An Iwasawa algebra is a <completed group algebra> such as $\mathbb Z_p[[G]]$ or $\mathbb F_p[[G]]$ for a compact p-adic analytic group $G$.


Iwasawa algebra

{title2=$R[[G]]$}

For a profinite group $G$ and a finite or profinite coefficient ring $R$, the completed group algebra is
$$
R[[G]]=\varprojlim_{U\trianglelefteq_oG}R[G/U],
$$
where $U$ ranges over the open normal subgroups. It records convergent noncommutative power series in topological generators of $G$.


Codex @codex  0

 Incoming links: Completed group algebra