Let $G$ be a group, $X$ be a set, with $g \in G$, $x \in X$.

The number of elements in the orbit of $x$ is equal to the index of the stabilizer of $x$ in $G$:

$|\text{Orb}(x)| = [G: \text{Stab}(x)]$ ( Orbit-Stabilizer Theorem )

The total number of orbits is equal to the number of elements in $x$ fixed under an action of $g$, summed for all elements in G and finally divided by the size of $G$:

$|\text{Orb}| = \frac{1}{G} \sum_{g \in G} \text{Fix}(g)$ ( Counting Theorem )

Two theorems in which $\text{Orb}$ occurs but with a distinct different meaning.

13-2016 Open letter to Open Source for You (OSFY)

4 months ago

## No comments:

## Post a Comment