マグマ (数学)

抽象代数学における**マグマ**（）または**亜群**（あぐん、）とは、一つの集合と、その集合上に閉じて定義された一つの二項演算で構成される組（代数的構造）である。

このような構造に「マグマ」という呼称を導入したのはニコラ・ブルバキである。旧来はによる用語で**亜群**（）と呼ばれていたもので、現在でもしばしばそのように呼ばれる。（ただし、圏論において、「（）」と呼ばれる全く別の概念もある。）

## 定義
マグマ (*M*, *μ*) とは、集合 *M* と、*M* 上での**閉性**（*M* の元 *a*, *b* のどの組み合わせについても、*μ*(*a*, *b*) がまた *M* の元であること）を満たす二項演算 *μ* を、組として考えたものである。二項演算 *μ* は、集合 *M* 上での閉性のほかに公理を課されない。

演算が明らかで紛れのおそれが無いときは、演算の記号を落として台集合の記号のみによってマグマ *M* などとも表す。しばしば二項演算 *μ* はマグマ *M* における**乗法**とも呼ばれ、このときの演算結果 *μ*(*a*, *b*) は *a* と *b* との**積**という。また、誤解のおそれが無いならば積 *μ*(*a*, *b*) は演算記号を省略してしばしば *ab* と書かれる。演算記号が省略されている場合に、マグマが台集合と演算の対であることを明示するにはプレースホルダを用いて (*M*, &middot;) のように書かれる。

演算 *&mu;* が偏演算（局所演算、部分演算）ならば、(*M*, *&mu;*) を局所マグマ（偏マグマ）という。

### 部分マグマ
マグマ (*M*, *μ*) の台集合 *M* の部分集合 *N* が *μ* とマグマを成すならば、マグマ (*N*, *μ*) を (*M*, *μ*) の**部分マグマ**（）という。

### マグマ準同型
ふたつのマグマ (*M*, *&mu;*), (*N*, *&nu;*) の間の準同型写像（）または**マグマ準同型**とは写像 *f*: *M* &rarr; *N* であって、

:f(\mu(x,y)) = \nu(f(x),f(y))

なる意味でマグマの二項演算を保つものをいう。マグマ準同型 *f*: *M* &rarr; *N* が全単射ならば *f* の逆写像 *f* *N* &rarr; *M* もまたマグマ準同型であり、*M* と *N* はマグマとして同じ構造を持つと考えられる。このとき、*f*（および *f*）を**マグマ同型写像**（）または**マグマ同型**と呼び、ふたつのマグマ *M* と *N* は互いに**同型**（）であるという。

### マグマ合同と剰余マグマ
マグマ (*M*, *&mu;*) と台集合 *M* 上の同値関係 &sim; が与えられているとき、同値関係 &sim; が**マグマ合同**であるとは
: x\sim y,\, u\sim v \Longrightarrow \mu(x,u) \sim \mu(y,v)
が任意の *x*, *y*, *u*, *v* &isin; *M* に対して成り立つという意味でマグマ演算 *&mu;* と両立することをいう。&sim; がマグマ合同であるとき、&sim; による合同類の全体
: M/{\sim} := \{[x] \mid x\in M\} \quad ([x] := \{z \in M \mid x\sim z\})
に二項演算 *&mu;* が
: \mu'([x], [u]) := [\mu(x,u)]
とおくことにより矛盾なく定まり、(*M*/&sim;, *&mu;*) は再びマグマを成す。これをマグマ *M* のマグマ合同 &sim; による**剰余マグマ**（）、**商マグマ**（）、**因子マグマ**（）などと呼ぶ。

## 結合順序の組合せ論

一般の非結合的な場合のマグマ演算を繰り返し反復適用することを考え、演算を適用する対を表すのに括弧を用いる。演算を繰り返して得られた文字列は、マグマの元を表す記号と開閉の対応のとれた括弧からなるものとなる。対応のとれた括弧からなる可能な限りの文字列全体の成す集合はダイク言語と呼ばれる。マグマ演算を *n*-回適用して得られる相異なる文字列の総数はカタラン数 *C**n* で与えられる。したがって例えば、*C*2 = 2 であることから、マグマの三つの元に二回演算を適用するときの組合せは
: (*ab*)*c* または *a*(*bc*)
のふた通りしかないことがわかる。  

表記の簡略化のためしばしば括弧の数を減らすことが行われる。これは演算を適用する場所でだけ文字を併置することで実現される。たとえば、マグマ演算を中置記法で &lowast; とすると、*xy* &lowast; *z* が  (*x* &lowast; *y*)&lowast; *z* の簡略表示である。さらなる簡略化は空白の挿入・抜取によるもので、例えば、*xy*&lowast;*z* &lowast; *wv* によって  ((*x* &lowast; *y*) &lowast; *z*) &lowast; (*w* &lowast; *v*) が表せる。もちろん、もっと複雑な式に対しては、括弧の使用は不可避のものとなる。括弧の使用を完全に避ける方法としては、演算を中置記法で記すのではなく、前置記法や後置記法によればよい。

## 自由マグマ
集合 *X* 上の**[[自由マグマ]]**（）とは集合 *X* から生成されるマグマのうち「可能な限り最も一般」なもの（つまり、元を生成するときに、生成された元の間に何の関係や公理も課さないという意味で自由なマグマ）をいう。これは、*X* を字母集合としたとき、括弧を保った非結合的な語の集合とみなすこともできる。また、計算機科学でよく用いられる概念をつかえば、自由マグマは、葉ノードがそれぞれ *X* の元でラベル付けられた二分木全体の集合であると見ることもできる。この見方をするとき、マグマ演算は二つの木を根と根で結合する操作に対応する。したがって、これは構文論において基礎的な役割を演じる。

自由マグマのもつ「可能な限り最も一般」という性質（普遍性）は次のように表すことができる。

: 集合 *S* から任意のマグマ *M* への写像 *f*: *S* &rarr; *M* が与えられたとき、*f* は *S* 上の自由マグマ *F**S* から *M* へのマグマ準同型\tilde{f}\colon F_S \to Mに一意的に拡張される。

すなわち、任意のマグマはある自由マグマのマグマ準同型像（同じことだが剰余マグマ）にマグマ同型である。

## マグマのクラス

一般には、マグマをそのままマグマとして調べるということはまずあり得ず、代わりに（部分的なクラスに分けるために）マグマの二項演算に適当な公理を課した、いくつかの別な種類の代数系として調べることになる。よく知られたクラスの、特別な名前が付いている代数系としては
* 準群: 空でないマグマで除法が常にできるもの。
* ループ: 単位元を持つ準群。単位的準群。
* 半群: 演算が結合的なマグマ。
* モノイド: 単位元をもつ半群。単位的半群。
* 群: 逆元を持つモノイド。
* アーベル群: 演算が可換な群。
といったようなものを挙げることができる。もちろん、特別な呼び方はなくとも、可換マグマや可換モノイドといったような代数系のクラスもしばしば扱われる。

### 更なる定義
マグマ *M* が、

* **[[単位元|単位的]]**（）であるとは、それが単位元を持つときにいう。
* **[[中可換マグマ|中可換]]**（）であるとは、恒等式 (*xy*)(*uz*) = (*xu*)(*yz*) を満たすときにいう。
* **左半中可換**（）であるとは、恒等式 (*xx*)(*yz*) = (*xy*)(*xz*) を満たすときにいう。
* **右半中可換**（）であるとは、恒等式 (*yz*)(*xx*) = (*yx*)(*zx*) が満たされるときにいう。
* **[[半中可換]]**（）であるとは、左中可換かつ右中可換であるときにいう。
* **左分配的**（）であるとは、恒等式 *x*(*yz*) = (*xy*)(*xz*) を満たすときにいう。
* **右分配的**（）であるとは、恒等式 (*yz*)*x* = (*yx*)(*zx*) が満足されるときにいう。
* **[[分配法則|両側分配的]]**（）であるとは、左分配的かつ右分配的であるときにいう。
* **[[可換]]**（）であるとは、*xy* = *yx* なる恒等式が成立するときにいう。
* **[[冪等]]**（）であるとは、*xx* = *x* が恒等的に成り立つときに言う。
* **[[単冪]]**（）であるとは、恒等的に *xx* = *yy* となるときにいう。
* **[[零冪]]**（）であるとは、恒等式 (*xx*)*y* = *y*(*xx*) = *xx* が成立するときにいう。
* **左交代的**（）であるとは、恒等式 (*xx*)*y* = *x*(*xy*) が成立するときにいう。
* **右交代的**（）であるとは、恒等式 *y*(*xx*) = (*yx*)*x* が成立するときにいう。
* ****（）であるとは、左交代的かつ右交代的であるときにいう。
* **[[冪結合的]]**（）であるとは、その任意の元の生成する部分マグマが必ず結合的となるときにいう。
* **左消約的**（）であるとは、等式 *xy* = *xz* から常に *y* = *z* が帰結できるときにいう。
* **右消約的**（）であるとは、等式 *yx* = *zx* から *y* = *z* が常に帰結されるときにいう。
* **[[消約的]]**（）であるとは、それが左消約的かつ右消約的となるときにいう。
* **[[半群]]**（）または**[[結合的]]**（）であるとは、*x*(*yz*) = (*xy*)*z* が恒等式であるときにいう。
* **左零付き半群**()であるとは、*x* = *xy* を恒等的に満足する元 *x* が存在するときにいう。
* **右零付き半群**()であるとは、*x* = *yx* が恒等的に成立するような元 *x* がとれるときにいう。
* **[[零半群]]**  であるとは、恒等式 *xy* = *uv* を満たすときにいう。
* *left [[Unar (mathematics)|unar]]* であるとは、恒等式 *xy* = *xz* が満足されるときにいう。
* *right unar* であるとは、*yx* = *zx* なる恒等式が成立するときにいう。
* *[[trimedial]]* であるとは、その任意の三元（必ずしも相異なる必要はない）が生成する部分マグマが中可換であるときにいう。
* *[[entropic (algebra)|entropic]]* であるとは、ある中可換消約マグマの準同型像となっているときにいう。

## 一般化
を見よ。

## 関連項目
* 
* 
* 普遍代数学
* Magma (数式処理システム)
* 
* 代数的構造

## 注記


## 参考文献

* 
* 
* 
* 

## 外部リンク
* 
* 代数系への入門 (PDF): 広島大学 2004-2009各年度代数学講義用レジュメ、松本研究室
* 『数学ガール』ミルカさんとコンボリューション (PDF): 結城浩著、物語形式の数学読物のシリーズの一作。括弧のつけ方がテーマの回。とくに3節と7節およびあとがき。