ka on Nostr: ...

巡回群の部分群が巡回群になる，何を当たり前のことを言ってるんだ？って気持ちになる部分が正直ある．単位元に一番近い一番小さいとこ持ってきてみ？それを生成元にして部分群全部辿れるやろ？当たり前やんけ！感