分配多元環のソースを表示

{{one source|date=April 2012}}
[[数学]]における'''分配多元環'''（ぶんぱいたげんかん、{{lang-en-short|''distributive algebra''}}）または'''非結合多元環'''（ひけつごうたげんかん、{{lang-en-short|''non-associative algebra''}}{{sfn|Schafer|1966|loc=Chapter 1}}）は、[[可換体|体]]（または[[可換環]]）''K'' 上の線型空間（あるいは一般に[[環上の加群|加群]]{{sfn|Schafer|1966|loc=pp.1}}）''A'' であって、さらにその上の''K''-[[双線型写像]] ''A'' × ''A'' → ''A'' が存在して ''A'' 上に乗法演算（[[中置記法|中置的]]二項演算）を定めるものを言う。いま、乗法の結合性については全く仮定しないので、乗法を行う順番については[[パーレン|丸括弧]]などを用いて指定することが非常に重要になる。例えば (''ab'')(''cd'') や (''a''(''bc''))''d'' あるいは ''a''(''b''(''cd'')) などは異なる値を取り得る。

ここで、結合性を仮定しないことを以って「非結合的」という言い方をするけれども、それは[[結合法則|結合律]]が成立しないことを意味するものではない。言ってみれば、「非結合的」という修飾辞は「必ずしも結合的でない」という意味であって、これは[[非可換環]]が「必ずしも可換でない」という意味で「非可換」を冠しているのとまさに同じである。

''A'' の元を左または右から掛けるという操作は、''A'' の ''K''-[[線型変換]]
: <math>L_a\colon x \mapsto ax\quad R_a\colon x \mapsto xa</math>
を引き起こす（''L''<sub>''a''</sub> および ''R''<sub>''a''</sub> をそれぞれ ''a'' による左移動および右移動作用と呼ぶ）。分配多元環 ''A'' の'''包絡環''' (''enveloping algebra'') とは、''A'' の[[自己準同型環]]の部分環で、''A'' の左移動および右移動によって生成されるものを言う{{sfn|Schafer|1966|loc=pp.14-15}}。この包絡環は、''A'' が結合的でない場合でも、必ず結合的になる。この意味で、包絡環は「''A'' を含む最小の結合多元環」である。

多元環が'''単型'''あるいは'''[[単位的多元環|単位的]]''' (''unital'', ''unitary'') であるとは、それが乗法[[単位元]]（''Ix'' = ''x'' = ''xI'' がその多元環のどんな ''x'' についても成立するような元 ''I''）が存在するときに言う。
<!-- {{Algebraic structures|cTopic=[[algebra over a field|Algebra]]-like structures}} -->

== 恒等関係式 ==
二つの二項演算を持つ環と類似の構造は、何の制約もなければ非常に広範なクラスであって、議論を展開するには一般すぎる。それが故に、何らかの意味で乗法を簡素化する[[恒等式]]を満足するような分配多元環として、いくつかの種類がよく知られている。例えば以下のようなものが挙げられる。

以下、''x'', ''y'', ''z'' を多元環の任意の元とする。
* [[結合多元環|結合性]]:  (''xy'')''z'' = ''x''(''yz'').
* [[可換多元環|対称性]]（可換性）:  ''xy'' = ''yx''.
* [[反対称性]]（反交換性、交代性）: ''xy'' = −''yx''.<ref>このとき任意の ''x'' に対して ''xx'' = 0 なる恒等式も得られるが、逆は標数が 2 でない体の場合には成り立つ。</ref>
* [[ヤコビ恒等式]]: (''xy'')''z'' + (''yz'')''x'' + (''zx'')''y'' = 0. 
* [[ジョルダン恒等式]]: (''xy'')''x''<sup>2</sup> = ''x''(''yx''<sup>2</sup>).
* [[冪結合性]]: ''x''<sup>''m''</sup> ''x''<sup>''n''</sup>=''x''<sup>''n+m''</sup>（''m'', ''n'' は非負整数）。これは ''a'', ''b'', ''c'' が任意に選んだ元 ''x'' の非負整数冪ならば ''a''(''bc'')=(''ab'')''c'' といっても同じである。
* [[交代代数|交代結合性]]: (''xx'')''y'' = ''x''(''xy'') かつ (''yx'')''x'' = ''y''(''xx'').
* [[柔軟代数|柔軟性]]{{sfn|Okubo|1995|loc=p. 16}}: ''x''(''yx'') = (''xy'')''x''.

これらの性質の関係性は 
# 「結合的」⇒ 「交代結合的」⇒「冪結合的」 
# 「結合的」⇒「ジョルダン」⇒「冪結合的」
# 「結合的」、「対称的」、「反対称的」、「ジョルダン」、「ヤコビ」の各条件から「柔軟性」が従う{{sfn|Okubo|1995|loc=p. 16}}。
# 標数が 2 でない体上の多元環については、対称かつ反対称ならば、その多元体が {0} に他ならないことが言える。

== 例 ==
* 三次元の[[ユークリッド空間]] '''R'''<sup>3</sup> にベクトルの[[交叉積]]を入れたものは、反対称かつ非結合的な多元環の例を与える。交叉積はヤコビの等式も満たす。
* [[リー多元環]]（リー代数）は反対称かつヤコビの等式を満たす多元環である。
* （''K'' が[[実数]]体 '''R''' または[[複素数]]体 '''C''' のときの）[[可微分多様体]]あるいは（''K'' が一般のときの）[[代数多様体]] ''M'' の上の[[ベクトル場]]全体の成す多元環。
* [[ジョルダン多元環]]（ジョルダン代数）は可換かつジョルダン恒等式を満たす多元環である。
* 任意の結合多元環は、[[交換子]]をリー括弧積としてリー多元環を成す。実は任意のリー多元環はこの方法で得られるか、さもなくばこの方法で得られるリー多元環の部分リー多元環になる。
* 標数が 2 でない任意の体上の任意の結合多元環は、新しく乗法 "&lowast;" を ''x'' &lowast; ''y'' = (1/2)(''xy'' + ''yx'') で定めると、この乗法に関してジョルダン多元環になる。リー多元環の場合とは対照的に、全てのジョルダン多元環がこの方法で得られるわけではなく、この方法で得られるジョルダン多元環は特殊 (''special'') であるという。
* [[交代多元環]]（交代代数）は交代結合性を満たす多元環である。交代多元環のもっとも重要な例は[[八元数]]全体の成す実多元環及び別な係数体を考えて得られる[[八元数環]]である。任意の結合多元環は交代多元環になる。実有限次元の交代多元体（[[可除多元環|可除]]な交代多元環）は、[[同型を除いて]]、実数体、複素数体、四元数体、八元数体の何れかである（後述）。
* [[冪結合多元環]]は冪結合性を満たす多元環である。例えば、任意の結合多元環、任意の交代代数、任意のジョルダン環、あるいは[[十六元数]]の全体は、冪結合多元環である。
* '''R''' 上の[[双曲四元数]]環は、[[特殊相対論]]に[[ミンコフスキー空間]]が用いられるようになる以前に経験的に用いられていた。

そのほかの多元環のクラスとしては以下のようなものが挙げられる：

* [[次数多元環]]: [[多重線型代数学]]で用いられる多くの多元環、例えば与えられた[[ベクトル空間]]上の[[テンソル代数]]、[[外積代数]]、[[対称代数]]などは次数付きである。次数付き多元環の概念は[[フィルター付き多元環]]に一般化される。
* [[可除多元環]]（多元体）は任意の非零元が乗法逆元を持つ。実数体上の有限次元可除交代代数の分類は知られている。それは[[実数]]体（一次元）、[[複素数体]]（二次元）、[[四元数]]体（四次元）、[[八元数]]体（八次元）である。四元数体と八元数体は非可換で、八元数のみが非結合的である。
* [[二次代数]]は、各 ''x'' に対して基礎体の適当な元（スカラー）''r'', ''s'' を選べば ''xx'' = ''re'' + ''sx'' とできるような多元環で、単位元 ''e'' を持つものである。例えば、任意の有限次元交代代数や、二次の正方行列環が二次代数を成す。同型を除いて、零因子を持たない実交代二次代数は、実数体、複素数体、四元数体、および八元数体に限る。
* 基礎体 ''K'' が '''R''' のときの[[ケイリー・ディクソン代数]]は以下の何れかから構成することができる。
** 複素数体 '''C''': 可換結合多元環
** 四元数体 '''H''': 結合多元環
** 八元数体 '''O''': 交代代数
** 十六元数環 '''S''': 冪結合代数（これは全てのケイリー・ディクソン代数に共通の性質）
* [[ポアソン代数]]は[[幾何学的量子化]]において考えられる。これには二種類の乗法が入っていて、それぞれによって可換多元環およびリー環にすることができる。
* {{仮リンク|遺伝代数|en|Genetic algebra}}は数理遺伝学で用いられる非結合多元環である。

== 注釈 ==
{{reflist}}

== 参考文献 ==
*{{citation|last=Okubo|first=Susumu|title=Introduction to Octonion and Other Non-Associative Algebras in Physics|year=1995|publisher=Cambridge University Press|ISBN=978-0-521-47215-9 |DOI=10.1017/CBO9780511524479 }}
*{{citation|first=Richard D. |last= Schafer|title=An Introduction to Nonassociative Algebras|year=1996|ISBN=0-486-68813-5|url=http://www.gutenberg.org/ebooks/25156}}

{{Normdaten}}
{{DEFAULTSORT:ふんはいたけんかん}}
[[Category:分配多元環|*]]
[[Category:数学に関する記事]]