Proposition 2
Tag 003D, permanent. Cite it as [Bourbaki, Tag 003D].
Algebra, VIII, p. 47, § 3. Simple Modules
Let A be a ring, M and N two A-modules, and a nonzero homomorphism from M to N.
a) If M is simple, then is injective.
b) If N is simple, then is surjective.
c) If M and N are simple,then is an isomorphism.
The kernel of is a proper submodule of M, and the image of is a nonzero submodule of N.
a) If M is simple, then we have Ker() , so is injective.
b) If N is simple, then we have Im() , so is surjective.
c) If M and N are simple, then is both injective and surjective.
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 4, § 20
- Corollary, § 21
- Corollary (Schur’s lemma), § 3
- Proposition 4, § 3
- Proposition 1, Appendix 2
Cites
Nothing.