Character expansion on a finite surface [fdip-006U]

The two-element torus law counts plaquette signs. For a noncommutative finite gauge group, irreducible characters replace those signs. Averaging each edge pairs two representation matrices; the remaining index sums count vertices. On a closed oriented surface, Euler characteristic then determines the power of each representation's dimension.

The face weight and the measure are explicit throughout. The quaternion group and the binary tetrahedral group give finite examples with the same two-dimensional spinor Wilson action. Their exact surface partition functions and one-face loop expectations depend on their different character tables. These are finite pure-gauge models; no continuum limit or matter field is assumed.