This is Exercise 1.1.5(c) of "Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations," by Magnus et al.
The Question:
Give a presentation of $C_4$ using one generating symbol $b$ and two defining relators, neither of which is $b^4$ or $b^{-4}$.
My Attempt:...
And it seems that Did had some comments on your questions, too:
No need to argue endlessly. At present you are misusing the site. Either this stops, at everybody's satisfaction, or you decide to continue in the same vein and then... well, we shall see what happens. — DidJul 27 at 12:47
@MartinSleziak If only we had a way to vote to remove their math stack exchange account once all questions are gone and a period of inactivity persists. That user is likely never returning to even read the responses.
This is Exercise 1.1.5(c) of "Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations," by Magnus et al.
The Question:
Give a presentation of $C_4$ using one generating symbol $b$ and two defining relators, neither of which is $b^4$ or $b^{-4}$.
My Attempt:...
