Let be a finite group and be a splitting field for . A supercharacter theory of over is a partition of the conjugacy classes of and a partition of the irreducible characters of over a splitting field such that:
- The identity element is its own block in
- For each block , there exists a corresponding character which is a positive integer combination of the characters in such that is constant on the blocks of .
Each block of conjugacy classes is termed a superconjugacy class, and the term may also be used for the union of all the conjugacy classes (i.e., the set of group elements).
Any positive integer combination that works for (3) is termed a supercharacter for this supercharacter theory. All supercharacters for a given block are scalar multiples of each other. We may distinguish the supercharacter that uses the smallest positive integer combination from the others.
- The supercharacter theory where all the blocks are singleton subsets, i.e., each conjugacy class is its own block in and each irreducible representation is its own block in .
- The supercharacter theory where the identity element is one block and all other conjugacy classes are the other block. On the representation side, the trivial representation forms one block and all other representations form another block.
- The orbits under the action of the automorphism group give a supercharacter theory. Related: number of orbits of irreducible representations equals number of orbits under automorphism group, which relies on Brauer's permutation lemma.
- The orbits under various Galois group actions also give supercharacter theories.
- Supercharacter theory corresponding to a normal series: We can construct supercharacter theories associated with normal subgroups and normal series.
- Supercharacter theory of an algebra group
- Supercharacter formulas for pattern groups by Persi Diaconis and Nathaniel Thiem