Transformation from group elements to irreps is a unitary matrix.
Multiplied in the other order, the unitarity condition is a an
Average over irreps, or a completeness (spectral resolution of unity),
the "2nd character orthogonality relation".
Every finite group has a regular representation, which contains all its irreps.
Cookbook recipes for constructing character tables.
Character table for D_2