Ax's deduction: Brumer's theorem gives $r$ conjugates of a Minkowski unit with $\mathbb{Z}_p$-independent $p$-adic logarithms (totally real abelian fields)

Initializing...

Ax's deduction: Brumer's theorem gives $r$ conjugates of a Minkowski unit with $\mathbb{Z}_p$-independent $p$-adic logarithms (totally real abelian fields) · Prove2Me