- , or more simply,
using the convention that juxtaposition denotes the same operation but has higher precedence. A magma or groupoid is an algebraic structure that generalizes a group. This identity has been variously called medial, abelian, alternation, transposition, interchange, bi-commutative, bisymmetric, surcommutative, entropic etc.
Any commutative semigroup is a medial magma, and a medial magma has an identity element if and only if it is a commutative monoid. Another class of semigroups forming medial magmas are the normal bands. Medial magmas need not be associative: for any nontrivial abelian group and integers m ≠ n, replacing the group operation with the binary operation yields a medial magma which in general is neither associative nor commutative.
- (x, y) ∙ (u, v) = (x ∙ u, y ∙ v) .
The binary operation ∙ of M, considered as a function on M × M, maps (x, y) to x ∙ y, (u, v) to u ∙ v, and (x ∙ u, y ∙ v) to (x ∙ u) ∙ (y ∙ v) . Hence, a magma M is medial if and only if its binary operation is a magma homomorphism from M × M to M. This can easily be expressed in terms of a commutative diagram, and thus leads to the notion of a medial magma object in a category with a Cartesian product. (See the discussion in auto magma object.)
If f and g are endomorphisms of a medial magma, then the mapping f∙g defined by pointwise multiplication
is itself an endomorphism.
- x ∗ y = φ(x) + ψ(y) + c
where c some fixed element of A. It is not hard to prove that A forms a medial quasigroup under this operation. The Bruck–Toyoda theorem states that every medial quasigroup is of this form, i.e. is isomorphic to a quasigroup defined from an abelian group in this way. In particular, every medial quasigroup is isotopic to an abelian group.
The result was obtained independently in 1941 by D.C. Murdoch and K. Toyoda. It was then rediscovered by Bruck in 1944.
The term medial or (more commonly) entropic is also used for a generalization to multiple operations. An algebraic structure is an entropic algebra if every two operations satisfy a generalization of the medial identity. Let f and g be operations of arity m and n, respectively. Then f and g are required to satisfy
- Historical comments J.Jezek and T.Kepka: Medial groupoids Rozpravy CSAV, Rada mat. a prir. ved 93/2 (1983), 93 pp
- Yamada, Miyuki (1971), "Note on exclusive semigroups", Semigroup Forum, 3 (1): 160–167, doi:10.1007/BF02572956.
- Kuzʹmin, E. N. & Shestakov, I. P. (1995). "Non-associative structures". Algebra VI. Encyclopaedia of Mathematical Sciences. 6. Berlin, New York: Springer-Verlag. pp. 197–280. ISBN 978-3-540-54699-3.
- Davey, B. A.; Davis, G. (1985). "Tensor products and entropic varieties". Algebra Universalis. 21: 68–88. doi:10.1007/BF01187558.
- Murdoch, D.C. (May 1941), "Structure of abelian quasigroups", Trans. Amer. Math. Soc, 49 (3): 392–409, JSTOR 1989940, doi:10.1090/s0002-9947-1941-0003427-2
- Toyoda, K. (1941), "On axioms of linear functions", Proc. Imp. Acad. Tokyo, 17 (7): 221–7, doi:10.2183/pjab1912.17.221
- Bruck, R.H. (January 1944), "Some results in the theory of quasigroups", Trans. Amer. Math. Soc, 55 (1): 19–52, JSTOR 1990138, doi:10.1090/s0002-9947-1944-0009963-x