定義
G を群とする。
H と K を G の部分群とする。
{[x, y]；x ∈ H、y ∈ K} で生成される G の部分群を [H, K] と書く。