Definition 16
Tag 05A3, permanent. Cite it as [Bourbaki, Tag 05A3].
Algebra, chapter I, § 4. Groups and groups with operators
An integer is called prime if and it admits no divisor > 1 other than p.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.