Remark 4
Tag 074K, permanent. Cite it as [Bourbaki, Tag 074K].
Algebra, VII, p. 25, § 4. Finitely generated modules over a principal ideal domain
An -module is called simple (, p. 37) if it is nonzero and has no submodules other than itself and ; it is then necessarily cyclic, so finitely generated, and indecomposable; since the modules are not simple for , while the modules are, and since is simple only if the ring is a field, we deduce that the simple -modules are: a) free modules of rank 1, when is a field; b) modules isomorphic to quotients , where is an irreducible element of , when is not a field.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.