Brumer's theorem: $p$-adic logarithms of algebraic numbers independent over $\mathbb{Q}$ are independent over $\overline{\mathbb{Q}}$

Initializing...

Brumer's theorem: $p$-adic logarithms of algebraic numbers independent over $\mathbb{Q}$ are independent over $\overline{\mathbb{Q}}$ · Prove2Me