Exercises

1. Under the hypothesis of Theorem 11.1.1, use an argument similar to that given in the proof of this theorem to first show that $(H_1 \cap G_2)H_2\lhd (G_1 \cap G_2)H_2$ and then that equation (11.6) above holds.