abs:C^x→R^+
で
ker(abs)=S={z∈C|abs(z)=1}
C^x=R^+×S
つまり極形式
ここでR^+を問題のz=re^iθを通る螺旋
R^+={r^te^itθ|t∈R}
にすれば
<z^n>={r^ne^inθ|n∈Z}⊂R^+
なので
R^+/<z^n>=R/Z=S
すなわち
C^x/<z^n>=S×S
複素トーラス