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 for every finite-dimensional linear representation of A. Conversely, let be an element of Θ(A), and let be a two-sided ideal of finite codimension, contained in the kernel of (VIII, p. 376, Definition 2). Denote by the linear representation of A in deduced from the left regular representation in A by passing to the quotient. Let be the class of 1 (mod ), and let be the linear form on deduced from . We have , so that is a coefficient of .
Take note that if is a linear representation of A that is not finite-dimensional over K, then the space 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.