マグマ (数学)
マグマ M が、
単位的(unital)であるとは、それが単位元を持つときにいう。
中可換(medial)であるとは、恒等式 (xy)(uz) = (xu)(yz) を満たすときにいう。
左半中可換(left semimedial)であるとは、恒等式 (xx)(yz) = (xy)(xz) を満たすときにいう。
右半中可換(right semimedial)であるとは、恒等式 (yz)(xx) = (yx)(zx) が満たされるときにいう。
半中可換(semimedial)であるとは、左中可換かつ右中可換であるときにいう。
左分配的(left distributive)であるとは、恒等式 x(yz) = (xy)(xz) を満たすときにいう。
右分配的(right distributive)であるとは、恒等式 (yz)x = (yx)(zx) が満足されるときにいう。
両側分配的(autodistributive)であるとは、左分配的かつ右分配的であるときにいう。
可換(commutative)であるとは、xy = yx なる恒等式が成立するときにいう。