理想双曲3単体の体積．

定義 有限群 と素数 に対し， の位数が であるとき，位数 の の部分群を の -Sylow 群 という．例 の位数 は でちょうど 回割り切れる．対角成分がすべて1である上三角行列全体のなす部分群を とすると， の位数は なので， は の -Sylow 群である．定理 任…