三項系

代数学における三重系または三項系（さんこうけい、）は、ベクトル空間 "V" と "V" 上の三重積 (triple product) または三項積 (ternary product) と呼ばれる三重線型写像
との組として与えられる構造である。最も重要な例にリー三重系やジョルダン三重系があり、これらは1949年にネイサン・ジェイコブソンが三項交換子および三項反交換子に関して閉じている結合代数の部分空間を研究するために導入した。特に、任意のリー環はリー三重系を定め、任意のジョルダン環はジョルダン三重系を定める。これらの概念は、対称空間（特にエルミート対称空間およびその一般化である対称 "R"-空間とその非コンパクト双対）の理論において重要である。
リー三重系.
三重系がリー三重系であるとは、その三重積 が以下の三つの恒等式
を満足するときに言う。前二者の恒等式は三項交換子が満たす歪対称律とヤコビ律を抽出したもので、一方最後の恒等式は線型写像
が三重積の微分作用素となることを意味するものになっている。また、この恒等式からは、いま定義した線型写像たちで張られる空間
が交換子括弧積に関して閉じており、したがってリー環となることもわかる。
記号を替えて "V" を formula_7 と書くことにし、
を考えると、これは括弧積を
で定めてリー環となる。この formula_10 の分解は明らかにこの括弧積に対する対称分解であり、従って formula_10 を付随するリー環とする連結リー群 "G" とその部分群 "K" で付随するリー環が formula_12 となるものをとれば、剰余リー群 "G"/"K" は対称空間となる。
逆に、そのような対称分解（つまり対称空間のリー環）をもつリー環 formula_10 が与えられたとき、三項括弧積 によって formula_7 をリー三重系にすることができる。
ジョルダン三重系.
三重系がジョルダン三重系であるとは、その三重積が以下の二つの恒等式
を満足することを言う。前者の恒等式は三項反交換子の対称性を抽出したものであり、また後者の恒等式は "L""u","v"("y") := {"u", "v", "y"} によって線型写像 "L""u","v": "V" → "V" を定めるとき
が成り立つことを示す。このとき線型写像の空間 span{"L""u","v" : "u","v" ∈ "V"} は交換子括弧積に関して閉じていて、従って
はリー環となることがわかる。
任意のジョルダン三重系に対して、新たな括弧積を
で定めると、リー三重系が得られる。
ジョルダン三重系が正定値 ("positive definite") あるいは非退化 ("nondegenerate") であるとは、"L""u","v" のトレースとして定義される双線型写像が正定値あるいは非退化であることにそれぞれ従って言う。何れの場合にも、"V" はその双対空間と同一視され、対応する対合が formula_20 上に入る。これにより
上に対合が誘導され、formula_20 上の対合が正定値であった場合には、誘導された対合はカルタン対合となり、対応する対称空間は対称リーマン空間である。この空間は、カルタン対合を formula_20 上で +1, "V" および "V"∗ 上で −1 を取る対合との合成で置き換えることにより、非コンパクト双対が与えられる。この構成の特別の場合として、formula_20 が "V" 上の複素構造を保つ場合を考えると、コンパクト型および非コンパクト型の双対エルミート対称空間（後者はになる）が得られる。 
ジョルダン対.
ジョルダン対とは、ジョルダン三重系の一般化を与える二つのベクトル空間 "V"+, "V"− の対を言う。このとき三重積は二つの三重積の対
で置き換わり、これらはしばしば "V"+ → Hom("V"−, "V"+) および "V"− → Hom("V"+, "V"−) なる二次写像と見做される。ジョルダン律（ジョルダン三重系の対称律でないほうの公理）は同様に二つに分けられて、ひとつは
となり、もうひとつはこれの下付きの "+" と "−" とを入れ換えたものとなる。
ジョルダン三重系に対するのと同様に、"u" ∈ "V"− と "v" ∈ "V"+ に対して線型写像
および同様の "L"− が定義できて、ジョルダン律を
と書くことができるので、"L"+ および "L"− の像はそれぞれ End("V"+) および End("V"−) において交換子括弧の下で閉じていることが言える。これらを合わせて得られる線型写像
の像は部分リー環 formula_20 であり、ジョルダン律は
上の次数付きリー括弧積に対するヤコビ律となるから、従って逆に
が次数付きリー環ならば、対 formula_34 は括弧積
を備えたジョルダン対となる。
ジョルダン三重系は "V"+ = "V"− かつそれらの三重積が一致しているときのジョルダン対である。他に重要な場合としては、"V"+ と "V"− の一方が他方の双対であって、双対三重積が
の元によって定義される場合である。このような場合というのは、特に上記の formula_37 が半単純な場合に生じ、このとき[[キリング形式]]が formula_38 と formula_39 との間の双対性（内積）を与える。
参考文献.
[[Category:表現論]]
[[Category:数学に関する記事]]