の全ての自己同型群はのべきで、生成元はに互いに素なに対して、べきである.
群