[일반] 군론 문제 하나 냄

[호몰로지(eisenbud)]

Syl_p(G)는 p-실로우군들의 집합

증명