A magma (or a groupoid) is a set together with a binary operation on this set. (For questions about the computer algebra system named Magma, use the [magma-cas] tag instead.)

learn more… | top users | synonyms

5
votes
4answers
149 views

Associativity for Magma

Say I have the operation table for a magma. I want to know whether or not the operation is associative. However, associativity is defined for an operation on 3 elements, and the operation table deals ...