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.1 #m/thm/num/alg

Proof

#missing/proof

#state/develop | #lang/en | #SemBr

Footnotes

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