マグマ (数学)
抽象代数学におけるマグマ(英語: magma)または亜群(あぐん、groupoid)とは、集合 M とその上の二項演算 M × M → M からなる組をいう。マグマ M における二項演算は M において閉じていることは要求するが、それ以外の何らの公理も課さない。1つの集合上の1つの二項演算のみによって定義される最も基本的な代数的構造である。 このような構造に対して「マグマ」という呼称を導入したのはニコラ・ブルバキである。旧来はオイステイン・オア(英語版)による用語で亜群(groupoid)と呼ばれていたもので、現在でもしばしばそのように呼ばれる(ただし、圏論において、「亜群(英語版)(groupoid)」と呼ばれる全く別の概念もある)。