Iwasawa algebra (source code)

= Iwasawa algebra
{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$.