cos(απ)+i*sin(απ)が複素数の乗法に関して生成する群をC(α)とおくと
αが有理数か無理数かに従って、C(α)は有限群、または無限群。
これは即座に分かる。