Group action orbital

The rank of a transitive group action equals the number of suborbits

Let 𝐺 act transitively on Ω. Then the rank of this action equals the number of suborbits. #m/thm/group

Proof

#missing/proof


#state/develop | #lang/en | #SemBr