中可換マグマ
抽象代数学における中可換マグマ（なかかかんマグマ、）あるいは中可換亜群 () は、二項演算を備えた集合であって、以下の恒等式（中可換律）formula_1を満足するものをいう。ここで「文字の併置は、同じ演算を表すが、より優先度が高い」という規約を設ければ、同じ恒等式をより簡明に と書くこともできる。
ここに、マグマ（亜群とも呼ばれる）は群を一般化する代数的構造である。上記の恒等式は、"medial", "abelian", "alternation", "transposition", "interchange", "bi-commutative", "bisymmetric", "surcommutative", "entropic" など様々な呼ばれ方をする
任意の可換半群は中可換マグマであり、また中可換マグマが単位元を持つための必要十分条件はそれが可換モノイドを成すことである。中可換マグマの成す半群の別のクラスにがある。中可換マグマは必ずしも結合的でない。実際、任意の非自明なアーベル群と自然数 を用意して、アーベル群の群演算 を少し改変した二項演算 を考えれば、一般には結合的でも可換でもない中可換マグマが得られる。
圏論的な仕方で直積を定めるとき、直平方マグマ 上の演算を成分ごとの演算により と定義することができる。 上の二項演算 を写像 と見れば、, および が成り立つから、したがってマグマ が中可換となるための必要十分条件を、その二項演算がマグマ準同型 となっていることと述べることができる。このことは可換図式を用いて容易に表示することができ、それによって圏論的直積を持つ圏の中可換マグマ対象の概念が導かれる。（の項も参照）
中可換マグマの自己準同型 に対して、写像 を点ごとの積 formula_2 と定めると、それ自身が一つの自己準同型を与える。