On some Commutator Identities in Finite Groups

In this paper, we will show that if H, K are subgroups of a finite group G that satisfy [h, k, k] = 1 = [k, h, h] for all h in H and k in K, then [H, K, K, K] ⁴ = 1.