Proposition 4 (Orthogonality relation for characters)
Tag 00SG, permanent. Cite it as [Bourbaki, Tag 00SG].
Algebra, VIII, p. 410, § 21. Linear Representations of Finite Groups
For and in , we have .
This is the specific case of relations (20) and (23) when the endomorphisms and are taken to be the identity.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.