Definition 12
Tag 05LP, permanent. Cite it as [Bourbaki, Tag 05LP].
Algebra, chapter II, § 1. Modules
A module is called monogenous if it is generated by a single element.
Proposition 9 of no. 7 shows that, if E is a monogenous A-module and a is an element generating E, E is identical with the set A.a of ξa, where ξ runs through A.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.