Remark
Tag 05A6, permanent. Cite it as [Bourbaki, Tag 05A6].
Algebra, chapter I, § 4. Groups and groups with operators
A finite group G of prime order is necessarily cyclic. G admits no subgroup other than G and and hence it is generated by every element .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.