Circle groupの部分群が、必ず位数ｎ＞１の元を含むかといえば、そんなことはない
例えばexp(i)で生成される群は、位数ｎ＞１の元を含まない

つまりCircle groupは、Zを部分群として持つ
これ豆なｗ