Cauchy-Frobenius lemma

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
group theory result
gptkbp:alsoKnownAs gptkb:Burnside's_lemma
gptkbp:appliesTo finite sets
finite group actions
gptkbp:describes number of orbits of a group action
gptkbp:field group theory
combinatorics
gptkbp:form |X/G| = (1/|G|) ∑_{g∈G} |Fix(g)|
https://www.w3.org/2000/01/rdf-schema#label Cauchy-Frobenius lemma
gptkbp:namedAfter gptkb:Augustin-Louis_Cauchy
gptkb:Ferdinand_Georg_Frobenius
gptkbp:publishedIn 19th century
gptkbp:relatedTo gptkb:Polya_enumeration_theorem
orbit-stabilizer theorem
gptkbp:usedFor counting distinct colorings
enumeration under symmetry
gptkbp:bfsParent gptkb:Burnside's_lemma
gptkbp:bfsLayer 6