定義
G を群とする。
p をある素数とする。
H を G の部分群とする。
H が p-群（>>776）のとき H を G の p-部分群（p-subgroup）と呼ぶ。