・K(k)をモジュラスkの第一種完全楕円積分,K'(k)=K(√(1-k))とする。K(λ)/K'(λ)=pK(k)/K'(k) (pは素数) を満たすときのλ^2, k^2の関係式は、ほとんどすべての素数ではp+1次だが、p=5,7,11のときに限りp次だという。ガロアが見つけたらしい。ところで、PSL(2,F…