Nonvanishing of the nontrivial character sums of $\log_p$ of the conjugates of a Minkowski unit (Ax, from Brumer)

Initializing...

Nonvanishing of the nontrivial character sums of $\log_p$ of the conjugates of a Minkowski unit (Ax, from Brumer) · Prove2Me