1. Misalkan H dan K masing-masing adalah subgrup di grup G.

Himpunan HK merupakan
subgrup di G jika dan hanya jika HK=KH.

Bukti

Diketahui HK subgrup. Akan dibuktikan HK=KH. Untuk sebarang hk ∈ HK, ( hk )−1 ∈ HK karena
HK subgrup. Dengan demikian ( hk )−1= h 0 k 0untuk suatu h1 ∈ K dan k 1 ∈ K yang berakibat hk = ¿
−1
=( h 0 k 0 ) = k 0−1 h 0−1 ∈ KH karena k 0−1 ∈K dan h 0−1 ∈ H. Dengan kata lain berlaku HK ⊆KH.
−1 −1
Sebaliknya, untuk sebarang kh ∈ KH, kh = (k ¿ ¿ 0¿¿−1 h0 ) ¿ ¿ ∈ HK karena HK subgrup.
Dengan kata lain berlaku KH ⊆ HK. Jadi terbukti bahwa HK = KH