Ok, so far I have that aba-1=b2, rewritten as b-1ab=ba. Raising both sides to the 5th power gives us e=(ba)5, therefore the order of ba is 5 or m where m|5. so m=1,2,3,4. m can't be 2,3,4 because they don't divide m. 1|5 but then we have ba=e, where ba=b-1ab. So b-1ab=e, giving us ab=b, which...