Example 3
Tag 00NG, permanent. Cite it as [Bourbaki, Tag 00NG].
Algebra, VIII, p. 399, § 21. Linear Representations of Finite Groups
Given a linear representation of G, the contragredient or dual representation of is the representation of G in the K-module dual to M defined by the relation for every (cf. II, §2, No. 5, p. 234). If M is a finite-dimensional free K-module, then so is its dual, and we have for every .
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.