Discussion between The Coding Wombat and Maurizio Moreschi

Imported from a comment discussion on https://math.stackexchange.com/questions/2979025/proof-that-langle-y-rangle-is-a-normal-subgroup-of-g-with-order-q-and-g/2979050#2979050