User talk:50.39.185.9

I believe this last set of changes is wrong, and what was there before this revision is right:

b*ab = b (ab) = (ba) b = a−1 b b = a−1 I = a2

b*a2b = b (ba) = (bb) a = a

ab*ab = (aba) b = b b = I

ab*a2b = ab (aab) = a (baab) = a2

a2b*ab = a (abab) = aI = a

a2b*a2b = (a2b a) ab = ab ab = I

I'm a bit sloppy in my notation but it should be obvious what's going on