Corollary

Tag 05A2, permanent. Cite it as [Bourbaki, Tag 05A2].

Algebra, chapter I, § 4. Groups and groups with operators

Every subgroup of a monogenous group is monogenous.

Let a and b be two integers $\neq 0$ . The relation $b \in a\mathbf{Z}$ is also written: b is a multiple of a, and also a divides b or a is a divisor of b.

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

Cited by

Nothing.

Cites

Nothing.