読ませていただきました。
どうも、私の頭の中で整理がつきません。おそらくは何か自分で勘違いしていると思います。 「部分巡回群と元の位数」ですが、有限巡回群であれば、s-tはいつでもnになるのでしょうか?となると、有限巡回群のkの選び方は一通りしかなくて、いつでもnになるのでしょうか?
私もまだまだしつこく考えてみようと思います。