定理 p-Sylow 群の個数は，mod p で 1 に合同．証明 p-Sylow 群 S は，共役により，p-Sylow 群全体の集合に作用する．固定点が S のみであることを言えばよい．もし他に固定点 S' があれば，部分集合 SS' は S を真に含む p-部分群になるので矛盾．// http:/…

ショウテン氏，イシイさん，Arapura さんの講演を聴く．懇親会は天文館「薩摩ぢどっこ亭」．隣に座ったショウテン氏に，「位数 2001 の群は巡回群であることを示せ」という問題を出された．