Powerful Lie algebra over p-adic integers

ID: powerful-lie-algebra-over-p-adic-integers

A Lie algebra over the p-adic integers whose underlying module is free of finite rank and whose Lie bracket satisfies , where for odd and for . Finite freeness is part of this convention: merely requiring a small Lie bracket on a torsion module would not correspond to uniform pro-p groups.

New to topics? Read the docs here!