Definition 2
Tag 004E, permanent. Cite it as [Bourbaki, Tag 004E].
Algebra, VIII, p. 61, § 4. Semisimple Modules
An A-module M is isotypical of type S if it has the equivalent properties of Proposition 1. The module M is called isotypical if there exists a simple A-module T such that M is isotypical of type T.
Every isotypical module is semisimple.
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.