If the fieldπΓ contains an π th root of unity, and
π:π(πΊ)βͺπΓ
is a faithfulcentral character of πΊ,
then there exists a unique (up to equivalence) irrepΞ:πΊβGLβ‘(π) with central character π,
and Ξ is itself faithful.1group
If π΄β€πΊ is a maximal abelian subgroup and π:π΄βπΓ is a linear character extending π, then
πΞ=IndπΊπ΄β‘ππ=πΊβπ΄ππ
where πΞ and ππ denote corresponding [[Module over a group|πΊ-modules]] and IndπΊπ΄β‘ππ denotes the induced module.
Moreover