>>421
G を群、H_1 と H_2 をその部分群で
H_2 が G において正規とするとき、
H_1*H_2 := ｛h_1*h_2 | h_1 ∈ H_1, h_2 ∈ H_2｝
は G の部分群であることを証明せよ。