On Tue, 14 Feb 2006, Schroeppel, Richard wrote:
I've been exploring the binary operator *, which satisifies the rule A*B = B*(A*A). I like to write it in dot notation as AB = B.AA .
...
Empirically, and surprisingly (to me at least), all 85196 tables are commutative. Ditto for smaller tables. And also, apparently there's always at least one idempotent element.
In fact, this axiom implies commutativity, since we have ab = b(aa) = (aa)(bb) = (bb)[(aa)(aa)] = (bb)[a(aa)] = (bb)(aa) = a(bb) = ba. Therefore, we also have ab = (aa)b, so, while not everything has to be idempotent, the multiplication action of every element is the same as that of its square. Of course, without associativity, this does not mean that the multiplication action is idempotent! David