マグマ (数学)
半群(semigroup)または結合的(associative)であるとは、x(yz) = (xy)z が恒等式であるときにいう。
左零付き半群(semigroup with left zeros)であるとは、x = xy を恒等的に満足する元 x が存在するときにいう。
右零付き半群(semigroup with right zeros)であるとは、x = yx が恒等的に成立するような元 x がとれるときにいう。
零半群 semigroup with zero multiplication, null semigroup であるとは、恒等式 xy = uv を満たすときにいう。
left unar であるとは、恒等式 xy = xz が満足されるときにいう。
right unar であるとは、yx = zx なる恒等式が成立するときにいう。
trimedial であるとは、その任意の三元(必ずしも相異なる必要はない)が生成する部分マグマが中可換であるときにいう。
entropic であるとは、ある中可換消約マグマの準同型像となっているときにいう。