Wiktionary
gyrocommutative
a. (context mathematics of a gyrogroup English) Whose binary operation obeys a b = gyr[a, b](b a).