talk:>>426 位数11の群はZ/(11Z)と同型なものしかない。後はできるだろう。
talk:>>563 私はプログラムはあまり知らない。Maximaならもっと簡潔なプログラムになるのだろう。