So, we have $|G_1/H_1| = |G_1|/|H_1|$ and $|G_2/H_2| = |G_2|/|H_2|$.
Now, we are considering the direct product of these two quotient groups, denoted by $G_1/H_1 \oplus G_2/H_2$. The order of a direct product of two groups is the product of their orders.
Show more…