Closed nathancarter closed 4 years ago
This seems to be from the definition for the dihedral group. Pretty sure the definition for the quaternion group should be b^-1ab = a^-1 -- the Wikipedia article lists it as one of several equivalent definitions, for example. I'll check in a fix.
(Using this issue tracker as a to-do holder.)
A user just pointed out that our definition of Q_4 on its group info page is inconsistent with our Cayley Diagrams of that group, such as this one.
The definition says bab=a^-1, but the diagram shows bab=a.
I presume this is just a typo/error in the definition, but I'll need to dig into that and verify it before fixing this. (Or anyone else can feel free to do so and submit a pull request.)