Definition:Subset Product Action/Right

From ProofWiki
Jump to navigation Jump to search


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

Let $\powerset G$ be the power set of $G$.

The (right) subset product action of $G$ is the group action $*: G \times \powerset G \to \powerset G$:

$\forall g \in G, S \in \powerset G: g * S = S \circ g$

Also see

  • Results about the Subset Product action can be found here.