Bourbaki

Corollary

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

Algebra, VIII, p. 379, § 20. Linear Representations of Algebras

The restricted dual Θ(A) of A is the set of coefficients of the finite-dimensional linear representations of A.

By definition, Θ(A) is the union of the orthogonals of the two-sided ideals of A of finite codimension. We therefore have Θπ(A)⊂Θ(A)\Theta_{\pi}(A)\subset \Theta (A) for every finite-dimensional linear representation π\pi of A. Conversely, let ff be an element of Θ(A), and let a\mathfrak{a} be a two-sided ideal of finite codimension, contained in the kernel of ff (VIII, p. 376, Definition 2). Denote by π\pi the linear representation of A in A/aA/\mathfrak{a} deduced from the left regular representation in A by passing to the quotient. Let xx be the class of 1 (mod a\mathfrak{a}), and let x∗x^* be the linear form on A/aA/\mathfrak{a} deduced from ff. We have f=cπ(x,x∗)f=c_{\pi}(x, x^*), so that ff is a coefficient of π\pi.

Take note that if (V,π)(V, \pi ) is a linear representation of A that is not finite-dimensional over K, then the space Θπ(A)\Theta_{\pi}(A) is not necessarily contained in Θ(A).

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.

Cites

Transcribed from the printed edition, 2023, Springer Nature. Not translated.