When does the isomorphism $G/H_1/H_2\simeq G/(H_1\times H_2)$ hold?

44 Views Asked by At

In the answer to this question it seems that $$ \frac{O(n)/O(n-k)}{O(k)}\simeq \frac{O(n)}{O(n-k)\times O(k)} $$ should be obvious. How can I see this? Does this relation hold for $O(N)$ only or for more general Lie groups and subgroups too?