久しぶりでございます。現在、有限群の分類を題材にした群論の教科書的なものを執筆していますが、群論の「基礎」をどこまでとするかで悩んでいます。Sylow の定理などは有限群の分類では欠かせない物で、群論の中でも「基本」の定理なのですが、その証明に…