群論の「基礎」はどこまで ?

久しぶりでございます。

現在、有限群の分類を題材にした群論の教科書的なものを執筆していますが、群論の「基礎」をどこまでとするかで悩んでいます。

Sylow の定理などは有限群の分類では欠かせない物で、群論の中でも「基本」の定理なのですが、その証明にはいろいろと準備が必要で、「基礎」ほどには容易でないと思います。

線引きが難しいですね。