Bourbaki

Exercise 21, § 6

Algebra, I, p. 138

Soient pp et qq two prime numbers such that p>qp > q. (a) Now prove that every finite group G of order pqpq is an extension of Z/qZ\mathbf{Z}/q\mathbf{Z} by Z/pZ\mathbf{Z}/p\mathbf{Z} (notice that every pp-Sylow subgroup of G is distinguished). If moreover p≢1(modq)p \not\equiv 1 \pmod{q}, prove that G is cyclic. (b) Deduce that the center of a group cannot be of index 69. (c) Now prove that, if p≡1(modq)p \equiv 1 \pmod{q} there exists a group of order pqpq whose center is reduced to ee. (d) Now prove that every noncommutative group of order 6 is isomorphic to S3\mathfrak{S}_3.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.