Pólya enumeration theorem

The Pólya enumeration theorem is a combinatorial theorem that provides a way to count the distinct arrangements (or colorings) of objects under group actions, particularly useful in situations where symmetries play a role. Named after mathematician George Pólya, the theorem is a powerful tool in combinatorial enumeration, especially in counting labeled and unlabeled structures that exhibit symmetry.