対合環

数学、特に抽象代数学における対合環、∗}}-環あるいは対合付き環は、環構造と両立する対合を備える代数系である。可換 ∗}}-環 R}} 上の結合多元環 A}} がそれ自身 ∗}}-環でもあるとき、二つの ∗}}-環の ∗}}-構造が両立するならば、A}} を ∗}}-環 R}} 上の 対合多元環、∗}}-多元環あるいは対合付き多元環という。

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

1. 定義
-----

1.1. 対合環
--------

単位的環 R}} とその上の反自己同型写像対合 //I//: //R// → //R//}} の組 }} が対合環あるいは対合付きの環であるとは、対合 I}} が R}} の乗法半群構造と両立するときに言う。

より具体的に書けば、写像 I}} は以下を満たす: //x//, //y// ∈ //R//}} は任意として

加法律: size=120%,
反乗法律: size=120%,
単位律: size=120%,
対合律: size=120%.条件 3. は実は過剰である。実際、条件 2., 4. によれば 1msup もまた乗法単位元でなければならないが、乗法単位元の一意性により 3. を得る。

対合 I}} に対して元 xmsup を元 x}} の共軛元あるいは随伴元と呼び、特に 1=//x//msup を満たす元 x}} は自己共軛  あるいは自己随伴  であると言う。

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

1.2. 対合多元環
----------

可換対合環 }} 上の多元環 A}} とその上に定義される対合 J}} の組 }} が対合多元環であるとは、}} はそれ自身対合環であって、なおかつ R}} の元によるスカラー倍に関して、二つの対合 I, J}} が

を満たすという意味で両立するときにいう。

定義により、対合多元環 A}} 上の対合 J}} は、//λ//,  //μ// ∈ //R//, //x//,  //y// ∈ //A//}} に対して

を満たす。即ち J}} は A}} 上の反線型写像である。

1.3. 注意
-------

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

∗}}-環の類似概念として、単位的環を非単位的環  や半環  などに変えて ∗}}-rng, ∗}}-rig なども考えられる。同様に、しばしば ∗}}-多元環は結合多元環とは限らない分配多元環であるようなものも考える。

2. 例
----

自明な ∗}}-環: 任意の可換環は、恒等写像を自明な対合と見て、∗}}-環にすることができる。
∗}}-環および実 ∗}}-多元環の最もよく知られた例として、複素数体 C}} 上で複素共軛を対合と見たものが挙げられる。
より一般に、適当な元の平方根を添加して得られる拡大体はもとの体の上の ∗}}-多元環である。添加した平方根の符号反転が主対合を与える。
適当な D}} に対する二次の整数環 も一つ前の例と同じ方法で対合を定めて可換 ∗}}-環になる。特に、二次体は適当な二次整数環上の ∗}}-多元環になる。
四元数体、分解型複素数環、二重数環などを含む様々な超複素数系は、自身のもつ共軛をとる主対合のもとで ∗}}-環であり、また実数体を自明な ∗}}-環と見て ∗}}-多元環である。しかし、ここで上げた三つは何れも複素多元環でないことに注意。
フルヴィッツの四元整数環は、四元数の共軛に関して、非可換 ∗}}-環を成す。
実数体 R}} 上の n}}-次全行列環は、行列の転置に関して、実 ∗}}-多元環を成す。
複素数体 C}} 上の n}}-次全行列環は、行列の随伴に関して、複素 ∗}}-多元環を成す。
一般化して、ヒルベルト空間上の有界線型作用素全体の成す多元環は、エルミート共軛にもとで、複素 ∗}}-多元環を成す。
多項式環 //R//[//x//]}} は、1=//P  //* = //P  //}} と置くことにより、係数環 R}} を自明な可換 ∗}}-環として、∗}}-多元環を成す。
∗}}-環 msup を満たすならば、A}} は自明な ∗}}-環 R}} 上の ∗}}-多元環である。
特に、有理整数環 Z}} を自明な ∗}}-環と考えるとき、任意の対合環はこの意味で Z}} 上の対合多元環と見ることができる。
任意の可換 ∗}}-環は、自分自身の上の ∗}}-多元環である。
任意の可換 ∗}}-環 R}} の、任意の ∗}}-イデアルによる商はふたたび R}} 上の ∗}}-多元環になる。
例えば、任意の自明な可換 ∗}}-環は、その二重数環の上の ∗}}-多元環になる。
同じことは可換環 K}} とその上の多項式環 //K//[//x//]}} についても言える。
ヘッケ環において、主対合はカジュダン&ndash;ルスティック多項式のために重要である。
楕円曲線の自己準同型環は双対アーベル多様体をとる操作によって与えられる対合のもと、整数環上の ∗}}-多元環になる。同様の構成は、アーベル多様体とその偏極化  によっても行うことができる。この場合、得られる対合はロサッチ対合と呼ばれる。
対合ホップ代数も重要な ∗}}-多元環である。
よく知られた例として、群ホップ代数は、群環としての構造に加えて群の反転演算 //g// ↦ //g//−1}} から誘導される対合を持つ。

3. ∗-準同型
--------

∗}}-環や∗}}-多元環の間の準同型としては対合 ∗}} と可換であるようなものを考えるのが普通である。すなわち、∗}}-環 R, S}} の間の環準同型 //f//: //R// → //S//}}  が ∗}}-準同型  であるとは、

を任意の //x// ∈ //R//}}  に対して満たすときに言う。

4. 付加構造
-------

行列の転置や随伴に関する多くの性質が一般の ∗}}-多元環においても満足される:

エルミート元の全体はジョルダン代数を成す。
歪エルミート元の全体はリー代数を成す。
係数として考えている ∗}}-環において 2}} が可逆であるとき、対称化作用素 sfrac および反対称化作用素 sfrac は互いに直交する冪等作用素であるから、問題の ∗}}-多元環は対称元全体の成す加群と反対称元全体の成す加群との直和に分解される。これらの加群は一般には結合多元環とはならない。

4.1. 歪構造
--------

∗}}-環において、写像 −∗: //x// ↦ −//x//msup を考える。標数 2}} の場合には、これはもとの ∗}} と恒等的に同じものになるが、それ以外の場合には ∗}}-構造を定めない。実際、1 ↦ −1}} であり、反乗法的でもないが、それ以外の公理は満足するから、size=120% の定める ∗}}-多元環と極めてよく似た性質を持つ。

この写像で不変な元 1=//a// = −//a//msup は歪エルミートであると言う。

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

5. 関連項目
-------

B*-環
C*-環
フォンノイマン環
作用素環
conjugate 
ケイリー&ndash;ディクソン構成

6. 注記
-----

7. 出典
-----

8. 参考文献
-------