Group Actions

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Group Actions.

• Burnside's lemma — The orbit-counting result that the number of orbits of a finite group action equals the average number of elements fixed by a group element.