Proposition 1
Tag 00ND, permanent. Cite it as [Bourbaki, Tag 00ND].
Algebra, VIII, p. 399, § 21. Linear Representations of Finite Groups
Suppose that K is a commutative field. Let and be finite-dimensional semisimple K-linear representations of G.
a) If the characteristic polynomials of and are the same for every , then the representations and are isomorphic.
b) Suppose, moreover, that K has characteristic 0. If the characters and are equal, then the representations and are isomorphic.
Assertion a) follows from Corollary 1 of VIII, p. 386; assertion b) follows from part a) of the corollary of VIII, p. 384.
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
Nothing.