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

出典:wikipedia