Example 1

Tag 00NE, permanent. Cite it as [Bourbaki, Tag 00NE].

Algebra, VIII, p. 399, § 21. Linear Representations of Finite Groups

The unit or trivial representation of G is the representation $(K, \varepsilon )$ , where $\varepsilon (g) =$ Id $_K$ for every $g\in G$ . Its character is the constant function with value 1.

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

§ 21. Linear Representations of Finite Groups

Cites

Nothing.