Group character

Centre of a character

Let 𝔛 :𝐺 𝖵𝖾𝖼𝗍() be a finite-degree representation affording character 𝜒. Then

|𝜒(𝑔)|=𝜒(1)𝔛(𝑔)=𝜆1

for some 𝜆 . #m/thm/rep

Proof

#missing/proof


#state/develop | #lang/en | #SemBr