Bourbaki

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 Z\mathbf{Z} is monogenous: it is generated by {1}\{1\}. For every positive integer aa, the group Z/aZ\mathbf{Z}/a\mathbf{Z} is monogenous, for it is a quotient of Z\mathbf{Z}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.