Cube map on 3-adic principal units
ID: cube-map-on-3-adic-principal-units
The cube of is . Conversely the polynomial has a unique simple residue root modulo three for each , so Hensel lemma produces a cube root of every . Thus the principal units modulo their cubes have order three. The change of variable removes the derivative obstruction that prevents direct simple-root lifting for .
New to topics? Read the docs here!