>>193
いいんだけど・・・
要するに[S^1]が生成元だからね。