結合多元環のソースを表示

[[数学]]における（結合）'''線型環'''あるいは'''結合的代数'''または'''結合多元環'''（けつごうたげんかん、{{lang-en-short|''associative algebra''}}）は、[[環 (数学)|結合的な環]]であって、かつそれと両立するような、何らかの[[可換体|体]]上の[[線型空間]]（若しくはもっと一般の[[可換環|可換]][[環上の加群]]）の構造を備えたものである。即ち、線型環 ''A'' は（[[結合律]]や[[分配律]]を含む）幾つかの公理を満足する二項演算（内部演算）としての加法と乗法を備え、同時に乗法と両立するスカラー（体 ''K'' や環 ''R'' の元）による乗法（外部演算）を備える。

分野によっては、線型環が乗法単位元 1 を持つと仮定することが典型的である場合もある。このような余分の仮定を満たすことを明らかにする場合には、そのような線型環を[[単型線型環]]（単位的（結合）多元環）と呼ぶ。

<!--{{Algebraic structures|cTopic=[[algebra over a field|Algebra]]-like structures}}-->
== 厳密な定義 ==
[[可換環]] ''R'' を固定して考える。'''結合 ''R''-代数'''とは、加法的に書かれた[[アーベル群]] ''A'' であって、[[環 (数学)|環]]および[[環上の加群| ''R''-加群]]の構造をともに備え、かつ環としての乗法が任意の ''r'' &isin; ''R'', ''x'', ''y'' &isin; ''A'' について
:<math>r\cdot(xy) = (r\cdot x)y = x(r\cdot y)</math>
を満たすという意味で[[双線型写像| ''R''-双線型]]となるものをいう。

結合代数 ''A'' が'''単型'''あるいは'''単位的'''であるとは、
:<math>1 x = x = x 1 </math>
を如何なる ''x'' ∈ ''A'' についても満たすような元 1 &isin; ''A'' を持つことをいう。

結合代数 ''A'' が、それ自身環として可換ならば、''A'' は'''可換 ''R''-代数'''と言う。

=== 特別な ''R''-加群として ===
''R''-加群 ''A'' から始めるならば、''R''-線型環 ''A'' は、''R''-双線型写像 ''m'': ''A'' &times; ''A'' → ''A''; (''x'', ''y'') ↦ ''xy'' で、''A'' の任意の ''x'', ''y'', ''z'' について
:<math>x(yz) = (xy)z</math>
を満たすものを持つ ''R''-加群 ''A'' として定義される。この ''R''-双線型写像が ''A'' に環の構造を与え、''R''-線型環の構造が入るのである。任意の ''R''-線型環はこの方法で得られる。

さらにこのようにして得られた線型環 ''A'' が単型である必要十分な条件は
:<math>\exists 1\in A,\; 1x = x1 = x</math>
となることである。圏論的に述べれば、この定義は「単型 ''R''-線型環は ''R''-加群全体の成す[[モノイド圏]] '''''R''-Mod''' における[[モノイド対象]]である」と言うに等しい。

=== 特別な環として ===
環 ''A'' から始めるならば、単位的結合 ''R''-多元環は、像が環 ''A'' の[[環の中心|中心]]に入る[[環準同型]] &eta;: ''R'' &rarr; ''A'' によって与えられる。こうして得られる多元環 ''A'' は、任意の ''r'' ∈ ''R'' および ''x'' ∈ ''A'' に対して
:<math>rx := \eta(r)x</math>
と定めることにより ''R''-加群の構造を持つ。

環 ''A'' が可換ならば、''A'' の中心は ''A'' 自身と等しいから、可換 ''R''-多元環は単に、可換環の準同型　&eta;: ''R'' &rarr; ''A'' によって定義することができる。

== 多元環準同型 ==
''R''-結合多元環の間の[[準同型]]とは、''R''-線型な[[環準同型]]を言う。陽に書けば、二つの ''R''-結合多元環 ''A''<sub>1</sub>, ''A''<sub>2</sub> に対し、写像 &phi;: ''A''<sub>1</sub> &rarr; ''A''<sub>2</sub> が ''R''-'''線型環準同型'''であるとは、任意の ''r'' &isin; ''R'' および ''x'', ''y'' &isin; ''A''<sub>1</sub> に対して
:<math>\phi(rx) = r\phi(x)</math>
:<math>\phi(x+y) = \phi(x)+\phi(y)</math>
:<math>\phi(xy) = \phi(x)\phi(y)</math>
を満たすことを言う。'''単位的''' ''R''-結合代数に対する準同型は、上記に加えてさらに
:<math>\phi(1) = 1</math>
なることを要す。

単位的結合 ''R''-代数の全てと、それらの間の全ての単位的結合代数準同型を合わせたものは[[圏 (数学)|圏]]を成し、'''''R''-Alg''' などで表される。可換 ''R''-線型環の成す[[部分圏]]は、[[可換環の圏]] '''CRing''' の[[余スライス圏]] ''R''/'''CRing''' として特徴づけられる。

== 例 ==
* 体 ''K'' に成分をとる ''n''-次[[正方行列]]の全体は、''K''-上の単型線型環を成す。
* [[複素数]]の全体 '''C''' は、[[実数]]体 '''R''' 上二次元の単型線型環を成す。
* [[四元数]]の全体 '''H''' は、実数体 '''R''' 上の四次元単型線型環を成す（が、複素数体上の線型環にはならない。これは '''C''' を '''H''' の部分集合と見做したとき、各複素数は任意の四元数と可換とは限らないからである）。
* 平面上の変換として有用な、[[実二次正方行列]]の全体は線型環を成す。
* 実係数[[多項式]]の全体 {{math|'''R'''[''X'']}} は、実数体 '''R''' 上の単型線型環を成す。
* 任意の[[バナッハ空間]] ''X'' に対し、[[連続写像|連続]][[線型作用素]] ''A'': ''X'' → ''X'' の全体は、（作用素の合成を積として）単型線型環を成す。これは[[バナッハ線型環]]である。
* 任意の[[位相空間]] ''X'' に対し、''X'' 上の実（または複素）数値連続函数の全体は、実（または複素）単型線型環を成す。ただし、ここでは函数の和と積は点ごとの演算で入れる。
* 単型でない線型環の例の一つは、''x'' &rarr; &infin; での極限が 0 となるような函数 ''f'': '''R''' → '''R''' 全体の成す集合によって与えられる。
* [[クリフォード線型環]]は[[幾何学]]および[[物理学]]において有用である。
* 局所有限[[半順序集合]]の[[隣接代数 (順序理論)|隣接代数]]は、[[組合せ論]]で用いられる単型線型環である。
* 任意の環 ''A'' を一意的な仕方で '''Z'''-線型環と見做すことができる。事実、1 を ''A'' の単位元へ写すということから環準同型 '''Z''' &rarr; ''A'' が一意的に定まる。従って、環の概念と '''Z'''-線型環の概念とは同一の概念を定める（これは任意の[[アーベル群]]と '''Z'''-加群とが同一の概念であることと同様である）。
* 同様にして、[[標数]] ''n'' の任意の環は ('''Z'''/''n'''''Z''')-線型環になる。
* 任意の環 ''A'' はその中心 ''Z''(''A'')（及びその任意の部分環）上の線型環である。
* 任意の可換環 ''R'' は自分自身あるいはその任意の部分環上の線型環である。
* ''R''-加群 ''M'' に対し、その[[自己準同型環]] End<sub>''R''</sub>(''M'') は (''r''φ)(''x'') := ''r''(φ(''x'')) と定めて ''R''-線型環となる。
* 可換環 ''R'' に成分を持つ任意の[[全行列環]]は、行列の通常の和と乗法に関して ''R''-線型環を成す。これはひとつ前の例で ''M'' が有限生成 ''R''-自由加群である場合と考えられる。
* 任意の[[多項式環]] {{math|''R''[''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>]}} は可換 ''R''-線型環である。実はこれは、集合 {''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>} 上の[[自由対象|自由]]な可換 ''R''-線型環である。
* 集合 ''E'' 上の[[自由線型環|自由 ''R''-線型環]]とは、''R'' に係数を持ち、集合 ''E'' の元を非可換不定元とする非可換多項式全体の成す線型環のことである。
* ''R''-加群の[[テンソル代数]]は自然に ''R''-代数になり、またその商代数である[[外積代数]]と[[対称代数]]も同様である。圏論的な言葉で言えば、''R''-加群をそのテンソル代数へ写す[[函手]]は ''R''-代数を台となる ''R''-加群へ写す函手（環構造を忘れる忘却函手）の[[左随伴]]である。
* 可換環 ''R'' と任意の環 ''A'' に対し、[[環のテンソル積]] ''R'' ⊗<sub>'''Z'''</sub> ''A'' は ''r''(''s'' ⊗ ''a'') := (''rs'' ⊗ ''a'') と定めて ''R''-多元環の構造が入る。''A'' を ''R'' ⊗<sub>'''Z'''</sub> ''A'' へ写す函手は、''R''-多元環をその台となる環へ写す函手（加群構造を忘れる忘却函手）の[[左随伴]]である。

== 構成法 ==
; 部分線型環: ''R''-線型環 ''A'' の部分線型環とは、''A'' の部分集合であって、''A'' の[[部分環]]にも[[部分加群]]にもなっているようなものを言う。つまり部分線型環は、加法、環の乗法、スカラー乗法の何れについても閉じていて、かつ ''A'' の単位元を含まねばならない。
; 商線型環: ''R''-線型環 ''A'' の任意の環論的な意味での[[イデアル (環論)|イデアル]] ''I'' は、''r''·''x'' = (''r''1<sub>''A''</sub>)''x'' ゆえ自動的に ''R''-加群の構造を持つ。従って[[剰余環]] ''A''/''I'' にも ''R''-加群の構造が入って、実は ''R''-線型環を成す。従って ''A'' の任意の環準同型像がまた ''R''-線型環となることがわかる。
; 積線型環: ''R''-線型環の族に対する直積とは、環としての直積を言う。得られる直積環に明らかな仕方でスカラー乗法を定めると、これはまた ''R''-線型環を成す。
; 自由積線型環: [[群の自由積]]と同様にして ''R''-線型環の自由積を構成することができる。線型環の自由積は、圏論的には ''R''-線型環の[[余積]]である。
; テンソル積線型環: 二つの ''R''-線型環のテンソル積は自然な仕方でふたたび ''R''-線型環となる。詳細は[[代数のテンソル積|多元環のテンソル積]]を参照。

== 結合性と乗法写像 ==
上では結合性を ''A'' の全称量化された「元」を以って定義したが、元を陽に用いずに結合性を定義することも可能である。多元環を、線型空間 ''A'' 上の写像（乗法）
:<math>M\colon A \times A \to A</math>
として定義する。このとき結合多元環は、写像 ''M'' が
:<math>M \circ (\text{Id} \times M) = M \circ (M \times \text{Id})</math>
なる性質を満たすような多元環として定まる。ここで、記号 "∘" は[[写像の合成]]、{{math|Id: ''A'' → ''A''}} は ''A'' 上の[[恒等写像]]である。

これが上で与えた定義と同値な定義であることを見るには、上記等式の各辺が[[アリティ|三つの引数]]をとる写像であることを理解するだけで十分である。例えば左辺は
:<math>( M \circ (\mbox {Id} \times M)) (x,y,z) = M (x, M(y,z))</math>
として作用する。同様に単位的結合多元環は、単位写像
:<math>\eta\colon K \to A</math>
を定義することによって与えられる。これは
:<math>M \circ (\text{Id}\times\eta) = s = M \circ (\eta\times\text{Id})</math>
なる性質を満たすものである。ここで、単位写像 η は ''K'' の元 ''k'' を ''A'' の元 ''k''1, 即ち ''A'' の単位元 1 のスカラー ''k''-倍へ写す。また写像 ''s'' はもともとの素のスカラー乗法 ''K'' &times; ''A'' &rarr; ''A'' である。従ってスカラー乗法が陰伏的なものと理解するならば、上記の等式は ''s'' のところを Id に代えて記すこともある。

== 余代数 ==
''K'' 上の単位的結合代数は、二つの入力（乗数と被乗数）と一つの出力（積）を持つ[[射 (圏論)|射]] ''A''&times;''A'' → ''A'' と、乗法単位元のスカラー倍と同一視される射 ''K'' → ''A'' とに基づくものである。これらの二つの射は[[圏論的双対性]]に従い、単位的結合代数の各公理を表す[[可換図式]]に現れる全ての矢印を逆にすることによって、双対化することができて、[[余代数]]の構造が定義される。

より抽象的な概念として[[F余代数| ''F''-余代数]]の概念もある。

== 多元環の表現論 ==
多元環 ''A'' の[[表現論|表現]]とは、''A'' から適当なベクトル空間（または加群）''V'' 上の一般線型環への線型写像 ρ: ''A'' → gl(''V'') で乗法演算を保つもの、即ち ρ(''xy'') = ρ(''x'')ρ(''y'') を満たすものを言う。

しかしこの時、線型環の表現の[[テンソル積表現|テンソル積]]を定義する自然な方法は存在せず、何らかの追加条件を課さねばならぬことに注意すべきである。ここで「表現のテンソル積」は通常の意味に解する（つまり、得られたテンソル積は、表現空間のテンソル積を表現空間に持つ線型表現を定めるべき）ものとする。そのような追加で課される構造から典型的には[[ホップ代数]]や[[リー環]]の概念が導かれることを以下に述べる。

=== ホップ代数の導入 ===
二つの表現、例えば &sigma;: ''A'' &rarr; gl(''V''), &tau;: ''A'' &rarr; gl(''W'') を考える。テンソル積表現 &rho;: ''x'' ↦ &sigma;(''x'') &otimes; &tau;(''x'') を、テンソル積空間への作用が
:<math>\rho(x)(v \otimes w) = (\sigma(x)(v)) \otimes (\tau(x)(w))</math>
から定められるものとして定めようとしても、''k'' &isin; ''K'' に対して
:<math>\rho(kx) = \sigma(kx) \otimes \tau(kx) = k\sigma(x) \otimes k\tau(x) = k^2 (\sigma(x) \otimes \tau(x)) = k^2 \rho(x)</math>
となることから、このような &rho; は線型ではない。この問題を回避して線型性を取り戻す方法の一つとして、付加構造として写像 Δ: ''A'' → ''A'' &times; ''A'' を考え、テンソル積表現を
:<math>\rho = (\sigma\otimes \tau) \circ \Delta</math>
と定めることが考えられる。ただし Δ は[[余乗法]]である。こうして、[[双代数]] (bialgebra) の概念が得られる。結合代数の定義との一貫性を持つためには、余代数は余結合的でなければならないし、代数が単位的ならば余代数も同様に単位的である必要がある。注意すべきは、双代数においては乗法と余乗法の間には関連が無くても構わないことである。そしてそれらの間の関係としてよく課される条件（対蹠を定めること）によって[[ホップ代数]]の概念が構築される。

=== リー環の導入 ===
テンソル積をより巧妙な仕方で定義する試みも考えることができて、例えば
:<math>x \mapsto \rho (x) := \sigma(x) \otimes \text{Id}_W + \text{Id}_V \otimes \tau(x)</math>
と定めれば、テンソル積空間への作用が
:<math>\rho(x) (v \otimes w) = (\sigma(x) v)\otimes w + v \otimes (\tau(x) w) </math>
から決まる。これは明らかに ''x'' に関して線型で、前節で述べたような問題は生じないのだが、しかしこれでは
:<math>\rho(xy) = \sigma(x) \sigma(y) \otimes \mbox{Id}_W + \mbox{Id}_V \otimes \tau(x) \tau(y)</math>
だが一方
:<math>\rho(x)\rho(y) = \sigma(x) \sigma(y) \otimes \mbox{Id}_W + \sigma(x) \otimes \tau(y) + \sigma(y) \otimes \tau(x) + \mbox{Id}_V \otimes \tau(x) \tau(y)</math>
となり、これは一般には同じではないから、積を保存するという性質は失われる。しかしこれら二つは、積 ''xy'' が反対称であるとき（例えば積が[[リー括弧積]]、つまり {{math|1= ''xy'' = M(''x'', ''y'') := [''x'', ''y'']}} ならば）恒等的に一致する。こうして結合代数から[[リー環]]の概念が生じる。

== 参考文献 ==
* {{Cite book|author=Bourbaki, N.|title=Algebra I|publisher=Springer|year=1989|isbn=3-540-64243-9}}
*  Ross Street, ''[http://www-texdev.ics.mq.edu.au/Quantum/Quantum.ps Quantum Groups: an entrée to modern algebra]'' (1998). ''(Provides a good overview of index-free notation)''
* {{Cite book|和書|author=ニコラ・ブルバキ|authorlink=ニコラ・ブルバキ|series=ブルバキ数学原論|title=代数 3|translator=浅枝陽・清水達雄|publisher=東京書籍|year=1969|isbn=9784489001079}} (付録 3: 線型環)

{{Normdaten}}
{{DEFAULTSORT:けつこうたけんかん}}
[[Category:多元環論]]
[[Category:結合的多元環|*]]
[[Category:数学に関する記事]]