結合多元環

数学における（結合）線型環あるいは結合的代数または結合多元環（けつごうたげんかん、）は、結合的な環であって、かつそれと両立するような、何らかの体上の線型空間（若しくはもっと一般の可換環上の加群）の構造を備えたものである。即ち、線型環 "A" は（結合律や分配律を含む）幾つかの公理を満足する二項演算（内部演算）としての加法と乗法を備え、同時に乗法と両立するスカラー（体 "K" や環 "R" の元）による乗法（外部演算）を備える。
分野によっては、線型環が乗法単位元 1 を持つと仮定することが典型的である場合もある。このような余分の仮定を満たすことを明らかにする場合には、そのような線型環を単型線型環（単位的（結合）多元環）と呼ぶ。
厳密な定義.
可換環 "R" を固定して考える。結合 "R"-代数とは、加法的に書かれたアーベル群 "A" であって、環および"R"-加群の構造をともに備え、かつ環としての乗法が任意の "r" ∈ "R", "x", "y" ∈ "A" について
を満たすという意味で"R"-双線型となるものをいう。
結合代数 "A" が単型あるいは単位的であるとは、
を如何なる "x" ∈ "A" についても満たすような元 1 ∈ "A" を持つことをいう。
結合代数 "A" が、それ自身環として可換ならば、"A" は可換 "R"-代数と言う。
特別な "R"-加群として.
"R"-加群 "A" から始めるならば、"R"-線型環 "A" は、"R"-双線型写像 "m": "A" × "A" → "A"; ("x", "y") ↦ "xy" で、"A" の任意の "x", "y", "z" について
を満たすものを持つ "R"-加群 "A" として定義される。この "R"-双線型写像が "A" に環の構造を与え、"R"-線型環の構造が入るのである。任意の "R"-線型環はこの方法で得られる。
さらにこのようにして得られた線型環 "A" が単型である必要十分な条件は
となることである。圏論的に述べれば、この定義は「単型 "R"-線型環は "R"-加群全体の成すモノイド圏 "R"-Mod におけるモノイド対象である」と言うに等しい。
特別な環として.
環 "A" から始めるならば、単位的結合 "R"-多元環は、像が環 "A" の中心に入る環準同型 η: "R" → "A" によって与えられる。こうして得られる多元環 "A" は、任意の "r" ∈ "R" および "x" ∈ "A" に対して
と定めることにより "R"-加群の構造を持つ。
環 "A" が可換ならば、"A" の中心は "A" 自身と等しいから、可換 "R"-多元環は単に、可換環の準同型　η: "R" → "A" によって定義することができる。
多元環準同型.
"R"-結合多元環の間の準同型とは、"R"-線型な環準同型を言う。陽に書けば、二つの "R"-結合多元環 "A"1, "A"2 に対し、写像 φ: "A"1 → "A"2 が "R"-線型環準同型であるとは、任意の "r" ∈ "R" および "x", "y" ∈ "A"1 に対して
を満たすことを言う。単位的 "R"-結合代数に対する準同型は、上記に加えてさらに
なることを要す。
単位的結合 "R"-代数の全てと、それらの間の全ての単位的結合代数準同型を合わせたものは圏を成し、"R"-Alg などで表される。可換 "R"-線型環の成す部分圏は、可換環の圏 CRing の余スライス圏 "R"/CRing として特徴づけられる。
結合性と乗法写像.
上では結合性を "A" の全称量化された「元」を以って定義したが、元を陽に用いずに結合性を定義することも可能である。多元環を、線型空間 "A" 上の写像（乗法）
として定義する。このとき結合多元環は、写像 "M" が
なる性質を満たすような多元環として定まる。ここで、記号 "∘" は写像の合成、 は "A" 上の恒等写像である。
これが上で与えた定義と同値な定義であることを見るには、上記等式の各辺が三つの引数をとる写像であることを理解するだけで十分である。例えば左辺は
として作用する。同様に単位的結合多元環は、単位写像
を定義することによって与えられる。これは
なる性質を満たすものである。ここで、単位写像 η は "K" の元 "k" を "A" の元 "k"1, 即ち "A" の単位元 1 のスカラー "k"-倍へ写す。また写像 "s" はもともとの素のスカラー乗法 "K" × "A" → "A" である。従ってスカラー乗法が陰伏的なものと理解するならば、上記の等式は "s" のところを Id に代えて記すこともある。
余代数.
"K" 上の単位的結合代数は、二つの入力（乗数と被乗数）と一つの出力（積）を持つ射 "A"×"A" → "A" と、乗法単位元のスカラー倍と同一視される射 "K" → "A" とに基づくものである。これらの二つの射は圏論的双対性に従い、単位的結合代数の各公理を表す可換図式に現れる全ての矢印を逆にすることによって、双対化することができて、余代数の構造が定義される。
より抽象的な概念として"F"-余代数の概念もある。
多元環の表現論.
多元環 "A" の表現とは、"A" から適当なベクトル空間（または加群）"V" 上の一般線型環への線型写像 ρ: "A" → gl("V") で乗法演算を保つもの、即ち ρ("xy") = ρ("x")ρ("y") を満たすものを言う。
しかしこの時、線型環の表現のテンソル積を定義する自然な方法は存在せず、何らかの追加条件を課さねばならぬことに注意すべきである。ここで「表現のテンソル積」は通常の意味に解する（つまり、得られたテンソル積は、表現空間のテンソル積を表現空間に持つ線型表現を定めるべき）ものとする。そのような追加で課される構造から典型的にはホップ代数やリー環の概念が導かれることを以下に述べる。
ホップ代数の導入.
二つの表現、例えば σ: "A" → gl("V"), τ: "A" → gl("W") を考える。テンソル積表現 ρ: "x" ↦ σ("x") ⊗ τ("x") を、テンソル積空間への作用が
から定められるものとして定めようとしても、"k" ∈ "K" に対して
となることから、このような ρ は線型ではない。この問題を回避して線型性を取り戻す方法の一つとして、付加構造として写像 Δ: "A" → "A" × "A" を考え、テンソル積表現を
と定めることが考えられる。ただし Δ は余乗法である。こうして、双代数 (bialgebra) の概念が得られる。結合代数の定義との一貫性を持つためには、余代数は余結合的でなければならないし、代数が単位的ならば余代数も同様に単位的である必要がある。注意すべきは、双代数においては乗法と余乗法の間には関連が無くても構わないことである。そしてそれらの間の関係としてよく課される条件（対蹠を定めること）によってホップ代数の概念が構築される。
リー環の導入.
テンソル積をより巧妙な仕方で定義する試みも考えることができて、例えば
と定めれば、テンソル積空間への作用が
から決まる。これは明らかに "x" に関して線型で、前節で述べたような問題は生じないのだが、しかしこれでは
だが一方
となり、これは一般には同じではないから、積を保存するという性質は失われる。しかしこれら二つは、積 "xy" が反対称であるとき（例えば積がリー括弧積、つまり ならば）恒等的に一致する。こうして結合代数からリー環の概念が生じる。