Partition Equation


Theorem

Let group $G$ act on a finite set $X$.

Let the distinct orbits of $X$ under the action of $G$ be:

$\Orb {x_1}, \Orb {x_2}, \ldots, \Orb {x_s}$


Then:

$\card X = \card {\Orb {x_1} } + \card {\Orb {x_2} } + \cdots + \card {\Orb {x_s} }$


Proof

Follows trivially from the fact that the Group Action Induces Equivalence Relation.


This article, or a section of it, needs explaining.
In particular: cite a result about equiv rels and partitions, and one about cardinality and partitions
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Explain}} from the code.


$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.