体上の多元環

数学において体上の**代数**あるいは**多元環**（たげんかん、）とは、双線型な乗法を備えた線型空間である（ゆえに「線型環」ともいう）。すなわちベクトル空間とその上の乗法と呼ばれる二項演算——つまり二つのベクトルから第三のベクトルを作り出す操作——とからなり、乗法がベクトル空間の構造と（分配律などの）適当な意味で両立するような代数的構造である。したがって、体上の多元環は、加法と乗法および体の元によるスカラー倍とを演算として備えた集合である。

定義における係数の体を可換環に取り換えることにより、体上の多元環の一般化として環上の多元環の概念を得ることもできる。

文献によっては、単に「多元環」（あるいは「代数」）と言えば単位的結合多元環を指すこともあるが、本項ではそのような制約は課さない。

## 定義と動機付け
### 簡単な例
任意の複素数は、実数  と虚数単位  を用いて  の形に一意的に書くことができる。言い換えれば、複素数は実数体上のベクトル  として表現できる。したがって複素数の全体は二次元の実ベクトル空間をなし、加法とスカラー乗法は  を実数として、 および  で与えられる。ここで、二つのベクトルの積を記号 "&sdot;" で表すことにすれば、複素数の積は  によって定義される。

以下の主張は複素数の基本性質である。ここで  は複素数、 は実数を表すものとする。
* 複素数の乗法は複素数の加法に対して分配的である: .
* 複素数の乗法は実数によるスカラー乗法と可換である: .

この例は、次節における体  として実数全体の成す体  をとり、ベクトル空間  として複素数の全体を考えたときに適合する。

### 定義
 は体、 を  上のベクトル空間で付加的な二項演算  を持つものとする（ を  の任意の元とするとき、 をそれらの**積**と呼ぶ）。このとき、 が  上の**多元環**であるとは、 の任意の元  と  の任意の元（スカラー） について、以下の条件
* 左分配律: 
* 右分配律: 
* スカラー律: 
を満足するときに言う。このときの二項演算 "" は、ふつう  上の**乗法**と言い、これらの三公理はまとめて、乗法の双線型性と呼ばれる。 上の多元環は、短く -多元環とも呼び、また  は多元環  の**係数体** (*scalar field*) または**基礎体** (*base field*, *ground field*) という。

本項においては、規約として多元環の元の乗法が結合的であることは仮定しないが、文献によっては結合的なものを単に「多元環」と呼んでいる場合があるので注意を要する。

また、（先の複素数の例などのように）ベクトル空間の上の乗法が可換であるときには、左分配性と右分配性とはまったく一致する条件であるが、一般に非可換である場合には（後述する四元数の例のように）両条件は同値ではない。したがって、これらは別々に要請されるべき公理であることに注意を要する。

### 動機付けとなる例

実数全体  を一次元ベクトル空間と見ると、乗法と両立するから、自分自身の上の一次元多元環になる。先ほどは複素数の全体が実数体  上の二次元ベクトル空間で、さらに  上の二次元多元環となることを見た。これらはともに、任意の非零ベクトルが逆元を持つ。同様にして三次元の実ベクトル空間で、任意の非零元が逆元を持つようなもの（多元体）はあるかと問うのは自然なことであるが、答えは否定的である（ノルム多元体を参照）。

実三次元の（多元体）は存在しないが、1843年にハミルトンにより定義された四元数の全体には乗法だけでなく除法も定義できる。これは今日では実四次元の多元体の例として有名である。任意の四元数を  のように書くことができる。複素数の場合と異なり、四元数の全体は非可換多元環の例を与える（例えば  だが  である）。

四元数のほかにも、体上の多元環の簡単な例として超複素数系がいくつか得られる。

## 基本概念
### 多元環の準同型

-多元環  に対して、-多元環の準同型 (*algebra homomorphism*) とは、-線型写像  であって、 の任意の元  について  を満たすものを言う。-多元環全体の成す空間はしばしば
:\operatorname{Hom}_{K\text{-alg}}(A,B)
のように書かれる。-多元環の同型とは全単射な -多元環の準同型を言う。互いに同型な多元環は実際上は表し方が違うだけの同じものであると考えられる。

### 部分多元環とイデアル

体  上の多元環の**部分多元環** (*subalgebra*) とは、部分線型空間であって、さらにその空間の任意の二元の積がふたたびその空間に属するようなものを言う。言い換えれば、部分多元環は加法と乗法及びスカラー乗法に関して閉じているような部分集合である。記号で書けば、-多元環  の部分集合  が部分多元環であるとは、任意の  と  に対して  が成り立つことである。

先の複素数の例を実数体上二次元の多元環と見做せば、実数直線は一次元の部分多元環になる。

-多元環の**左イデアル** (*left ideal*) は、部分線型空間であって、その空間の各元に多元環の任意の元を左から掛けて得られる元が常にその空間に属するという性質を持つものを言う。記号で書けば、-多元環 *A* の部分集合  が左イデアルであるとは、 の任意の元  と  の任意の元  および  の任意の元について、以下の条件
# 加法の閉性: 
# スカラー乗法の閉性: 
# 任意左乗法の閉性: 
をすべて満足することをいう。最後の条件を「任意右乗法の閉性 」に取り換えれば**右イデアル** (*right ideal*) の定義を得る。**両側イデアル** (*two-sided ideal*) は左イデアルでも右イデアルでもあるような部分集合を言う。単に「イデアル」と言った時には、両側イデアルの意味であるのが普通である。もちろん、多元環が可換であるときには、これらのイデアルの概念はいずれも一致してしまうので、この場合は単にイデアルと呼ぶ。上二つの条件は  が  の部分線型空間であることを言うものであることを指摘しておく。また最後の条件からは、任意の左および右イデアルが部分多元環となることがわかる。

いま定義したイデアルの概念が、環のイデアルとは異なる概念であることに留意することは重要である（スカラー倍に関する条件が加わっている）。もちろん、考える多元環が単型であるときには、スカラー倍に関する条件は最後の条件に含まれる。

### 係数拡大

係数体  を含むより大きな体 , すなわち体の拡大  が与えられたとき、自然な仕方で  上の多元環から  上の多元環が構成できる。これはベクトル空間の係数体をより大きな体に取り換えるのと同じ構成法、つまりテンソル積  を作ることで与えられる。つまり、 が  上の多元環ならばテンソル積  は  上の多元環である。

## 多元環の種類と例
体上の多元環にはいくつか種類がある。以下に挙げる多元環の種類はある種の公理、例えば一般の多元環の定義には含まれていない乗法の可換性や結合性など、を追加で要求することで特定される。これらの多元環についての理論は、それぞれの多元環の種類によって、大きく趣を異にするものとなる。

### 単位的多元環

多元環が**単位的**または**単型** (*unital*, *unitary*) であるとは、それが単位元または単元を持つことを言う。すなわち、多元環の元  が存在して、全ての元  に対して  を満たす。単位元を持たない多元環はある標準的な方法で構成される単位的な多元環に余次元1のイデアルとして含まれる。

### 零多元環

多元環が**零多元環** (*zero algebra*) とは、任意の元  に対して  となることを言う。ただ一つの元からなる多元環（自明な多元環）を零（多元）環と呼ぶこともある（それはいま言う意味での零環でもある）が、混同してはならない。零環は本質的に（自明環でなければ）単位的でなく、しかし結合的かつ可換である。

**単型零環** (*unital zero algebra*) は、体（あるいはより一般の環） と -線型空間（加群） との直和をとり、 の二元の積が常に零ベクトルであるものと定めて得られる。即ち、 および  ならば  となる。 が  の基底であるとすれば、単型零環は多項式環  の全ての対  に対する  の全体が生成するイデアルによる剰余環である。

単型零環の一例として、二元数  は  とその上の一次元ベクトル空間から得られる単型 -零環である。

これら単型零環は、多元環の任意の一般性質を線型空間や加群の性質に読み替えることができる点でより一般に有効な概念である。例えば、が導入したグレブナ基底は、体上の多項式環  のイデアルに対する生成系の理論であるが、自由 -加群上の単型零環の構成を考えることによって、自由加群の部分加群に対するグレブナ基底の理論を直接的な拡張として持ち込むことができる。この拡張は、部分加群のグレブナ基底の計算に関して、何らの修正を経ることなく、イデアルのグレブナ基底計算のアルゴリズムやソフトウェアをそのまま使うことを許す。

### 結合多元環

* 体（または可換環） 上の -次全行列環。ここで乗法は通常の行列の積を考える。
* 群多元環は群を基底とするベクトル空間で、多元環としての乗法は群の乗法の線型な拡張である。
* 体  上の多項式全体  は可換多元環になる。
* 函数環: 例えば区間  上で定義された実数値連続函数全体の成す -多元環や、複素数平面内のある開集合上定義された正則函数全体の成す -多元環など。いま挙げた例はともに可換多元環である。
* 接合環はある種の半順序集合から構築される。
* （例えばヒルベルト空間上の）線型作用素環: ここでは多元環の積として作用素の合成をとる。今の例では位相も入っていて（そのほとんどは台となるバナッハ空間の上で定義されるものだが）バナッハ環になる。さらに対合も与えられているなら、B*-環やC*-環の概念も導かれる。これらは函数解析学に属する主題である。

### 非結合多元環

体  上の**非結合代数**あるいは**分配多元環**とは、-線型空間  とその上の -双線型写像  の組を言う。ここで「非結合的」というのは、結合性を仮定しないという意味であって、結合的であることを排除しない。即ち、「非可換」が「必ずしも可換でない」の意味であるのと同様に、ここでの非結合的」は「必ずしも結合的でない」の意味である。

以下、個別の項目において詳述する：
* 八元数環
* リー代数
*  
* 交代代数
* 
* 

## 環と多元環
単位元を持つ結合的 -多元環の定義は、しばしば別なやり方で与えられる。この場合の体  上の多元環とは、環  であって、その像が中心に含まれている環準同型
:\eta_A\colon K\to A
を備えるものを言う。 が体上定義された環準同型であるということは、 は自明環かさもなくば  は単射である。この定義は、スカラー乗法を
:K\times A \to A;\quad (k,a) \mapsto ka:=\eta_A(k)a
で定めて、定義節で与えた定義と同値になることが確かめられる。このようにして二つの単位的 -結合多元環が与えられたとき、単位的 -多元環準同型  とは、環準同型であってさらにスカラー乗法と可換、すなわち  の各元  と  の各元に対して
:f(ka)=kf(a)
を満たすものを言う。言い換えれば、図式
:\begin{matrix}
 K   \\
{}^{\eta_A}\!\!\swarrow \quad \searrow\!\!^{\eta_B} \\
A\quad \stackrel{f}{\longrightarrow}\quad B
\end{matrix}
を可換にする環準同型  を多元環の準同型と呼ぶのである。

## 構造係数

体上の多元環  に対し、その双線型な乗法  は  の基底元の間の積を求めれば完全に決まる。逆に、 の基底を選んでおいて、その間の積を任意に定めるならば、それを延長して  上の双線型な演算が一意的に定まり、それは多元環の積の条件を満足する。

従って、与えられた体  に対する任意の多元環は、同型を除いて、その次元  と -個の**構造係数**  と呼ばれる特定のスカラーを与えることによって決定される。ここで、構造係数というのは、 上の乗法を
: e_i e_j = \sum_{k=1}^n c_{i,j,k}\,e_k
なる規則によって完全に決定するものである。ただし、 は  の基底とする。構造係数に課される条件は、次元  が無限大であるときには、この和が（状況に応じて適当な意味で）常に収斂することだけである。

構造係数のいくつか異なる組に対して、同型な多元環が生じ得ることは留意すべきである。

多元環が計量を備えているときには、構造係数の添字は上付きと下付きに書いて、座標変換に対するそれらの変換規則を区別する。具体的には、数理物理において、下付き添字は共変添字で、を通じて変換し、他方上付き添字は反変添字で、押し出しのもとで変換するので、このとき構造係数は  と書かれ、またアインシュタインの縮約記法を用いるなら定義式は
: 
と書くことができる。ベクトルの成分に関する添字記法を用いるならば、これは
: 
と書くこともできる。

 が単に可換環であって体を成さない場合、同様の過程は  が自由加群であるときに限れば通用する。そうでなくとも、 の乗法は  を生成する集合上の作用が決まるならばやはり完全に決めることができるが、しかしこの場合には構造係数を任意に決めるということはできず、構造係数から同型を除いて多元環を決定するということも可能にはならない。

## 低次元多元環の分類
複素数体上の二次元、三次元、および四次元の単型結合多元環（線型環）はによって、同型を除く完全な分類が知られている。

二次元の多元環は二種類で、何れの多元環も単位元  ともう一つの元  の二つの基底元の複素係数線型結合からなる。単位元の定義から 
:1 \cdot 1 = 1 ,\quad 1 \cdot a = a,\quad a \cdot 1 = a
は確定しているから、残るは  を特定すれば決まり、
# a^2 = 1 
# a^2 = 0 
の二種である。

三次元の多元環は五種類で、各多元環は単位元  とほかに  二つの基底元の複素係数線型結合からなる。単位元の定義を勘案すれば、各々の多元環は以下のように特定できる。
# a^2 = a,\quad b^2 = b,\quad ab = ba = 0
# a^2 = a,\quad b^2 = 0,\quad ab = ba = 0
# a^2 = b,\quad b^2 = 0,\quad ab = ba = 0
# a^2 = 1,\quad b^2 = 0,\quad ab = -ba = b
# a^2 = 0,\quad b^2 = 0,\quad ab = ba = 0
これらのうち四番目は非可換だが、他はみな可換である。

## 注記

## 参考文献
* 
*  (Project Gutenberg)

## 関連項目
* クリフォード代数
* 微分環
* 
*