Example
Tag 05EB, permanent. Cite it as [Bourbaki, Tag 05EB].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
The group is of order 6. It contains a normal Sylow 3-subgroup of order 3: the group . It contains three Sylow 2-subgroups of order 2: the groups , where is a transposition. The group is thus not nilpotent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.