Group Actions: Orbit Space 2

77 Views Asked by At

Let $X$ and $Y$ be two sets. Assume $X$ and $Y$ are $G$-free action ($G$ is a group). Then $X\times Y$ is a $G$-free action via the diagonal action. My question is why $$(X/G) \times Y = (X\times Y)/G ?$$ where $X/G$ and $(X\times Y)/G$ are orbit spaces