Definition:Operation Induced on Quotient Set

From ProofWiki
Jump to navigation Jump to search


Let $\struct {S, \circ}$ be an algebraic structure.

Let $\mathcal R$ be a congruence relation on $\struct {S, \circ}$.

Let $S / \mathcal R$ be the quotient set of $S$ by $\mathcal R$.

The operation $\circ_\mathcal R$ induced on $S / \mathcal R$ by $\circ$ is defined as:

$\eqclass x {\mathcal R} \circ_\mathcal R \eqclass y {\mathcal R} = \eqclass {x \circ y} {\mathcal R}$

Also see