対合環

数学、特に抽象代数学における**対合環**（ついごうかん、）、**-環**（スターかん、）あるいは**対合付き環**（ついごうつきかん、）は、環構造と両立する対合（共軛演算、随伴）を備える代数系である。可換 -環  上の結合多元環  がそれ自身 -環でもあるとき、二つの -環の -構造が両立するならば、 を -環  上の **対合多元環**（ついごうたげんかん、; 対合代数）、**-多元環**（スターたげんかん、; -代数）あるいは**対合付き多元環**（ついごうつきたげんかん、; 対合つき代数）という。

対合環における対合（-演算）は複素数体における複素共軛を一般化するものであり、また対合多元環における対合は複素行列環における共軛転置あるいはヒルベルト空間上の線型作用素のエルミート共軛を一般化するものである。

## 定義
### 対合環
単位的環  とその上の対合  の組  が**対合環**あるいは**対合付きの環**であるとは、対合  が  の乗法半群構造と両立する（乗法半群がを成す）ときに言う。

より具体的に書けば、写像  は以下を満たす:  は任意として
# 加法律: ,
# 反乗法律: ,
# 単位律: ,
# 対合律: .

条件 3. は実は過剰である。実際、条件 2., 4. によれば  もまた乗法単位元でなければならないが、乗法単位元の一意性により 3. を得る。

対合  に対して元  を元  の（ に関する）**共軛元**あるいは**随伴元**と呼び、特に  を満たす元  は（ に関して）**自己共軛** (self-conjugate) あるいは**自己随伴** (self-adjoint) であると言う。

* 対合環の原型的な例は、複素数体や代数体上で複素共軛をとる操作を対合と見たものである。
* 任意の対合環  上で（対合  に関する）半双線型形式が定義できる。
* イデアルや部分環などの代数的対象で、対合  に関して不変であるようなものを考えることにより、-イデアルや -部分環などの概念を考えることができる。

### 対合多元環
可換対合環  上の多元環  とその上に定義される対合  の組  が**対合多元環**であるとは、 はそれ自身対合環であって、なおかつ  の元によるスカラー倍に関して、二つの対合  が
: 
を満たすという意味で両立するときにいう。

定義により、対合多元環  上の対合  は、 に対して
: 
を満たす。即ち  は  上のである。

### 注意
文脈上紛れの虞が無いならば、対合環  やその上の対合多元環  における対合を単に  で表す（ を記号の上では区別しない）。また単に台集合のみを以って、-環 , -多元環  などと呼ぶ場合は、暗黙的にこのような状況のもとであることがしばしばである。

-環の類似概念として、単位的環を非単位的環 (rng) や（マイナスを持たない）半環 (rig) などに変えて -rng, -rig なども考えられる。同様に、しばしば -多元環は結合多元環とは限らない分配多元環であるようなものも考える（係数環は単位的 -環だがその上の -多元環では単位元を仮定しない、というようなこともある）。

## 例
* **自明な -環**: 任意の可換環は、恒等写像を自明な対合と見て、-環にすることができる。
* -環および実 -多元環の最もよく知られた例として、複素数体  上で複素共軛を対合と見たものが挙げられる。
* より一般に、適当な元の平方根（たとえば、虚数単位 ）を添加して得られる拡大体はもとの体（これを自明な -環と見て）の上の -多元環である。添加した平方根の符号反転が主対合を与える。
* 適当な  に対する も一つ前の例と同じ方法で対合を定めて可換 -環になる。特に、二次体は適当な二次整数環上の -多元環になる。
* 四元数体、分解型複素数環、二重数環などを含む様々な超複素数系は、自身のもつ共軛をとる主対合のもとで -環であり、また実数体を自明な -環と見て -多元環である。しかし、ここで上げた三つは何れも複素多元環でないことに注意。
* は、四元数の共軛に関して、非可換 -環を成す。
* 実数体  上の -次全行列環は、行列の転置に関して、実 -多元環を成す。
* 複素数体  上の -次全行列環は、行列の随伴に関して、複素 -多元環を成す。
** 一般化して、ヒルベルト空間上の有界線型作用素全体の成す多元環は、エルミート共軛にもとで、複素 -多元環を成す。
* 多項式環  は、 と置くことにより、係数環  を自明な可換 -環として、-多元環を成す。
* -環  が同時に可換環  上の多元環であり、かつ  を満たすならば、 は自明な -環  上の -多元環である。
** 特に、有理整数環  を自明な -環と考えるとき、任意の対合環はこの意味で  上の対合多元環と見ることができる。
* 任意の可換 -環は、自分自身の上の -多元環である（より一般に、自身の任意の-部分環上の -多元環になる）。
* 任意の可換 -環  の、任意の -イデアルによる商はふたたび  上の -多元環になる。
** 例えば、任意の自明な可換 -環は、その二重数環（これは非自明な -環！）の上の -多元環になる。
** 同じことは可換環  とその上の多項式環  についても言える（）。
* ヘッケ環において、主対合はカジュダン&ndash;ルスティック多項式のために重要である。
* 楕円曲線の自己準同型環はをとる操作によって与えられる対合のもと、整数環上の -多元環になる。同様の構成は、アーベル多様体とその偏極化 (polarization) によっても行うことができる。この場合、得られる対合はと呼ばれる（の講義ノートを参照）。
* 対合ホップ代数も重要な -多元環である（追加の構造として、余乗法との両立も考える）。
** よく知られた例として、群ホップ代数は、群環としての構造に加えて群の反転演算  から誘導される対合を持つ。

## ∗-準同型
-環や-多元環の間の準同型としては対合  と可換であるようなものを考えるのが普通である。すなわち、-環  の間の環準同型  (resp. -多元環  の間の多元環準同型 ) が **-準同型** (*-homomorphism*) であるとは、
: 
を任意の  (resp. ) に対して満たすときに言う。

## 付加構造
行列の転置や随伴に関する多くの性質が一般の -多元環においても満足される:
* エルミート元の全体はを成す。
* 歪エルミート元の全体はリー代数を成す。
* 係数として考えている -環において  が可逆であるとき、対称化作用素  および反対称化作用素  は互いに直交する冪等作用素であるから、問題の -多元環は対称元（エルミート元）全体の成す加群と反対称元（歪エルミート元）全体の成す加群との直和に分解される。（上記の冪等作用素は線型作用素であって問題の多元環の元として実現されるものではないから）これらの加群は一般には結合多元環とはならない。

### 歪構造
-環において、写像  を考える。標数  の場合には、これはもとの  と恒等的に同じものになるが、それ以外の場合には -構造を定めない。実際、 であり、反乗法的でもないが、それ以外の公理（加法性、対合性）は満足するから、 の定める -多元環と極めてよく似た性質を持つ。

この写像で不変な元  は**歪エルミート**であると言う。

複素数の全体に複素共軛を考えた -環において、実数の全体はエルミート元の全体と一致し、純虚数の全体は歪エルミート元の全体に一致する。

## 関連項目
* 
* B*-環
* C*-環
* 
* フォンノイマン環
* 
* 作用素環
* conjugate (algebra)
* ケイリー&ndash;ディクソン構成

## 注記

## 出典

## 参考文献