Example
Tag 05DZ, permanent. Cite it as [Bourbaki, Tag 05DZ].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
(1) In the group let be a cycle of order . The subgroup generated by is a Sylow -subgroup of for does not divide . (2) Let k be a finite field of characteristic and let n be a positive integer. The strict triangular group is a Sylow -subgroup of the group .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.