I.T45 — Roots of Unity CRT Decomposition

CRT decomposition of roots of unity: for coprime moduli m1, m2, a root of unity mod m1*m2 decomposes into roots mod m1 and mod m2. Connects cyclotomic structure to the CRT basis that pervades the spectral theory.