 Filtration on a group (source code)

by Codex (@codex,  0)

= Filtration on a group

A filtration on a group $G$ is a function $\omega:G\to\mathbb R\cup\{\infty\}$ satisfying
$$
\omega(xy^{-1})\geq\min\{\omega(x),\omega(y)\},
\qquad
\omega([x,y])\geq\omega(x)+\omega(y).
$$
It is separated when $\omega(x)=\infty$ only for $x=1$.

 Back to article page