Composite of Quotient Mappings
From ProofWiki
Theorem
Let $\mathcal R_1$ be an equivalence on $S$, and $\mathcal R_2$ be an equivalence on the quotient set $S / \mathcal R_1$.
We can find an equivalence $\mathcal R_3$ on $S$ such that $\left({S / \mathcal R_1}\right) / \mathcal R_2$ is in one-to-one correspondence with $S / \mathcal R_3$ under the mapping:
- $\left[\!\left[{\left[\!\left[{x}\right]\!\right]_{\mathcal R_1}}\right]\!\right]_{\mathcal R_2} \mapsto \left[\!\left[{x}\right]\!\right]_{\mathcal R_3}$.
Proof
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Sources
- Allan Clark: Elements of Abstract Algebra (1971)... (previous)... (next): $\S 17 \gamma$
