Proposition
Let be a permutation group on a finite set and let be a point stabilizer of on . If acts on transitively, then the rank of equals the number of orbits of acting on .
Proposition
Let be a permutation group on a finite set and let be a point stabilizer of on . If acts on transitively, then the rank of equals the number of orbits of acting on .