コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

マグマ (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』
マグマ準同型から転送)

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

群に似た構造
全域性 結合性 単位的 可逆的
Yes Yes Yes Yes
モノイド Yes Yes Yes No
半群 Yes Yes No No
ループ Yes No Yes Yes
準群 Yes No No Yes
マグマ Yes No No No
亜群英語版 No Yes Yes Yes
No Yes Yes No

定義

[編集]

マグマは集合 M と、M のどの二元 a, b に対しても μ(a, b) で表される別の元を対応させる二項演算 μ を対として考える。集合と演算の対 (M,μ) がマグマと呼ばれるためには、マグマの公理として知られる条件

  • 演算について閉じていること: M の任意の元 a, b に対して、その二項演算 μ の演算結果 μ(a, b) が再び M に属する。

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

演算 μ偏演算(局所演算、部分演算)ならば、(M, μ) を局所マグマ(偏マグマ)という[* 2]

部分マグマ

[編集]

マグマ (M, μ) に対し、台となる集合 M の部分集合 NM の演算 μ に関するマグマを成すならば、マグマ (N, μ) を M部分マグマsubmagma)という。

マグマ準同型

[編集]

ふたつのマグマ (M, μ), (N, ν) の間の準同型写像magma morphism/homomorphism)またはマグマ準同型とは写像 f: MN であって、

なる意味でマグマの二項演算を保つものをいう。マグマ準同型 f: MN全単射ならば f逆写像 f−1 NM もまたマグマ準同型であり、MN はマグマとして同じ構造を持つと考えられる。このとき、f(および f−1)をマグマ同型写像magma isomorphism)またはマグマ同型と呼び、ふたつのマグマ MN は互いに同型isomorphic)であるという。

マグマ合同と剰余マグマ

[編集]

マグマ (M, μ) と台集合 M 上の同値関係 ∼ が与えられているとき、同値関係 ∼ がマグマ合同であるとは

が任意の x, y, u, vM に対して成り立つという意味でマグマ演算 μ と両立することをいう。∼ がマグマ合同であるとき、∼ による合同類の全体

に二項演算 μ'

とおくことにより矛盾なく定まり、(M/∼, μ') は再びマグマを成す。これをマグマ M のマグマ合同 ∼ による剰余マグマresidue class magma)、商マグマquotient magma)、因子マグマfactor magma)などと呼ぶ。

結合順序の組合せ論

[編集]

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

(ab)c または a(bc)

のふた通りしかないことがわかる。

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

自由マグマ

[編集]

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

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

自由対象
自由対象
集合 S から任意のマグマ M への写像 f: SM が与えられたとき、fS 上の自由マグマ FS から M へのマグマ準同型
に一意的に拡張される。

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

マグマのクラス

[編集]
マグマから群へ:
各頂点は
  • マグマ (magma)
  • 準群 (quasigroup)
  • 半群 (semigroup)
  • ループ (loop)
  • モノイド (monoid)
  • 群 (group)
各矢印は
  • 可除性 (divisibility)
  • 結合性 (associativity)
  • 単位元をもつ (identity)
  • 可逆性 (invertibility)
可除性も可逆性も消約性の成立を含意することに注意。

一般には、マグマをそのままマグマとして調べるということはまずあり得ず、代わりに(部分的なクラスに分けるために)マグマの二項演算に適当な公理を課した、いくつかの別な種類の代数系として調べることになる。よく知られたクラスの、特別な名前が付いている代数系としては

といったようなものを挙げることができる。もちろん、特別な呼び方はなくとも、可換マグマや可換モノイドといったような代数系のクラスもしばしば扱われる。

更なる定義

[編集]

マグマ M が、[* 3]

  • 単位的unital)であるとは、それが単位元を持つときにいう。
  • 中可換medial)であるとは、恒等式 (xy)(uz) = (xu)(yz) を満たすときにいう。
  • 左半中可換left semimedial)であるとは、恒等式 (xx)(yz) = (xy)(xz) を満たすときにいう。
  • 右半中可換right semimedial)であるとは、恒等式 (yz)(xx) = (yx)(zx) が満たされるときにいう。
  • 半中可換semimedial)であるとは、左中可換かつ右中可換であるときにいう。
  • 左分配的left distributive)であるとは、恒等式 x(yz) = (xy)(xz) を満たすときにいう。
  • 右分配的right distributive)であるとは、恒等式 (yz)x = (yx)(zx) が満足されるときにいう。
  • 両側分配的autodistributive)であるとは、左分配的かつ右分配的であるときにいう。
  • 可換commutative)であるとは、xy = yx なる恒等式が成立するときにいう。
  • 冪等idempotent)であるとは、xx = x が恒等的に成り立つときに言う。
  • 単冪unipotent)であるとは、恒等的に xx = yy となるときにいう。
  • 零冪zeropotent)であるとは、恒等式 (xx)y = y(xx) = xx が成立するときにいう。
  • 左交代的left-alternative)であるとは、恒等式 (xx)y = x(xy) が成立するときにいう。
  • 右交代的right-alternative)であるとは、恒等式 y(xx) = (yx)x が成立するときにいう。
  • 交代的英語版alternative)であるとは、左交代的かつ右交代的であるときにいう。
  • 冪結合的power-associative)であるとは、その任意の元の生成する部分マグマが必ず結合的となるときにいう。
  • 左消約的left-cancellative)であるとは、等式 xy = xz から常に y = z が帰結できるときにいう。
  • 右消約的right-cancellative)であるとは、等式 yx = zx から y = z が常に帰結されるときにいう。
  • 消約的cancellative)であるとは、それが左消約的かつ右消約的となるときにいう。
  • 半群semigroup)または結合的associative)であるとは、x(yz) = (xy)z が恒等式であるときにいう。
  • 左零付き半群(semigroup with left zeros)であるとは、x = xy を恒等的に満足する元 x が存在するときにいう。
  • 右零付き半群(semigroup with right zeros)であるとは、x = yx が恒等的に成立するような元 x がとれるときにいう。
  • 零半群 semigroup with zero multiplication, null semigroup であるとは、恒等式 xy = uv を満たすときにいう。
  • left unar であるとは、恒等式 xy = xz が満足されるときにいう。
  • right unar であるとは、yx = zx なる恒等式が成立するときにいう。
  • trimedial であるとは、その任意の三元(必ずしも相異なる必要はない)が生成する部分マグマが中可換であるときにいう。
  • entropic であるとは、ある中可換消約マグマの準同型像となっているときにいう。

一般化

[編集]

多項群英語版を見よ。

関連項目

[編集]

注記

[編集]
  1. ^ 数の乗法およびの用語を流用したものではあるが、一般にはそれらの概念と直接的な関係は無い。
  2. ^ 写像ではなく、定義域と始域が一致しない部分写像(partial function)となっているような演算を偏演算(partial operation)という。"partial" には「部分」「偏」などの訳語が当てられることが多いが、これを「部分マグマ」とよぶと "submagma" と紛らわしい。(田村 1972) では「偏亜群」等
  3. ^ 各訳語はおおかた (田村 1972) に従った。

参考文献

[編集]
  • M. Hazewinkel (2001), “Magma”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Magma 
  • M. Hazewinkel (2001), “Free magma”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Free_magma 
  • Weisstein, Eric W. "Groupoid". mathworld.wolfram.com (英語).
  • 田村孝行『半群論』共立出版、1972年。 

外部リンク

[編集]