Definition talk:Antiassociative Operation

The term "antiassociative" has not been coined for ProofWiki:

http://www.doc.ic.ac.uk/~sgc/html_papers/colton_ijcar01.html

--prime mover 05:19, 1 August 2012 (UTC)

Oh. I wonder why I couldn't find it. It was a pretty natural idea. Fun while it lasted though. Thinking it was my own. --Jshflynn 07:55, 1 August 2012 (UTC)


 * Now my idea of what antiassociativeness "ought" to mean would be: defined on a structure $\left({S, +, *}\right)$ with 2 operations, antiassociative would be:
 * $\forall a, b, c \in S: a * \left({b * c}\right) + \left({a * b}\right) * c = 0$
 * where $0$ is the identity element of $+$.


 * That is, one way round is specifically equal to the additive inverse of (i.e. "minus") the other way round.
 * But I haven't seen that defined like that, as such. Mind, I have a book on Lie Groups and Lie Algebras which I've never been able to penetrate in any depth because of the unconventionality of the language (physics rather than maths) which goes into this in some detail, discussing the "associator". --prime mover 11:47, 1 August 2012 (UTC)