Remark 3

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

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

Let E be a left A-submodule of $A^*$ . Let $\varepsilon$ be the linear form $y\mapsto y(1)$ on E. For every $x$ in E, we have $x=c_E(x, \varepsilon )$ , so E is an A-submodule of $\Theta_E(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

Proposition 7, § 20

Cites

Nothing.