Quotient Subgroup of Semigroup Induced on Power Set

From ProofWiki
Jump to navigation Jump to search


Let $\struct {G, \circ}$ be a group.

Let $\struct {H, \circ}$ be a normal subgroup of $\struct {G, \circ}$.

Then $\struct {G / H, \circ_H}$ is a subgroup of $\struct {\powerset G, \circ_\PP}$, where:

$\struct {G / H, \circ_H}$ is the quotient group of $G$ by $H$
$\struct {\powerset G, \circ_\PP}$ is the semigroup induced by the operation $\circ$ on the power set $\powerset G$ of $G$.


Follows directly from: