GAPとは ある群が与えられた時にその群の部分群を求めたり、位数を指定してその位数の有限群を求めたりする、というのは代数の教科書でもおなじみですよね。 それでふと思ったんです。 そういう計算をコンピュータにさせることはできないか、と。 これは面白…