Group character

Centre of a character

Let be a finite-degree representation affording character . Then

for some . #m/thm/rep

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