Lazard filtration on a group algebra
= Lazard filtration on a group algebra
{c}
For a p-valued group $(G,\omega)$, give $p^r(g_1-1)\cdots(g_s-1)$ weight $r+\sum_i\omega(g_i)$. The spans of elements of weight at least $\lambda$ form a multiplicative filtration on $\mathbb Z_p[G]$ and its completions.