Cyclotomic field

Kronecker’s root of unity lemma

If is a nonzero algebraic integer whose embeddings into all have absolute value at most 1, them is a root of unity.¹ alg

Proof

proof

---

develop | en | sembr

Footnotes

1. 2022. Algebraic number theory course notes, ¶2.35, p. 49 ↩