Corollary
Tag 00N0, permanent. Cite it as [Bourbaki, Tag 00N0].
Algebra, VIII, p. 388, § 20. Linear Representations of Algebras
Let E be an A-module of finite dimension over K. Then E is of type if and only if is contained in .
The condition is obviously necessary.
Conversely, suppose that contains . The A-module is finite-dimensional over K (VIII, p. 378, Proposition 2), so it is of type by Proposition 7. Now, there exists an integer such that E is isomorphic to an A-submodule of (VIII, p. 378, Proposition 2). Since is hereditary, E is of type .
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.