Roots of unity in the p-adic numbers
ID: roots-of-unity-in-the-p-adic-numbers
For odd , Teichmuller representatives provide the prime-to- roots, while the logarithm isomorphism on deep principal units makes torsion-free. At two, the decomposition leaves exactly two roots.
New to topics? Read the docs here!