Definition 15
Tag 059Z, permanent. Cite it as [Bourbaki, Tag 059Z].
Algebra, chapter I, § 4. Groups and groups with operators
A group is called monogenous if it admits a system of generators consisting of a single element. A finite monogenous group is called cyclic.
Every monogenous group is commutative (no. 3, Corollary 2 to Proposition 2). Every quotient group of a monogenous group is monogenous (no. 3, Corollary 3 to Proposition 2).
The additive group is monogenous: it is generated by . For every positive integer , the group is monogenous, for it is a quotient of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.