Roots of unity are solutions of

for some integer
n:
All roots of unity are algebraic integers that lie on the unit circle:
Not all algebraic numbers on the unit circle are roots of unity:
The minimal polynomial of a root of unity is a cyclotomic polynomial or one of its factor:
Roots of cyclotomic polynomials are roots of unity:
Use
NumberFieldRootsOfUnity to find all roots of unity in a number field: