平面三項環
数学における代数構造 (R, T) が空でない集合 R とその上の三項演算 T: R3 → R の組として与えられるとき、三項系と呼ぶ。 は平面三項環(へいめんさんこうかん、planar ternary ring; PTR)または三項体 (Ternärkörper; ternary field) 特別な種類の三項系を座標として用いて射影平面を構成した。平面三項「環」は、加法と乗法の定められる環類似構造を持つが、厳密には必ずしも環ではない。
用語法には広くバリエーションがある。本項に言う平面三項環を文献によっては別の呼び方をするし、また本項の言うものの変種を平面三項環と呼ぶものもある。短く三項環と言うとき、平面三項環の意味で用いる場合もあれば、より一般の(あるいは別の)三項系の意味であるかもしれない。
R は少なくとも相異なる二点(それを 0, 1 と書くことにする)を含む集合とするとき、写像 T: R3 → R との組 (R, T) が(右)平面三項環とは、写像 T が以下の条件
T(a,0,b)=T(0,a,b)=b,\quad(\forall a,b \in R);
T(1,a,0)=T(a,1,0)=a,\quad(\forall a \in R);
方程式 T(x,a,b)=T(x,c,d)\quad(\forall a,b,c,d \in R,\, a\neq c) はただ一つの解 x ∈ R を持つ;
方程式 T(a,b,x)=c \quad(\forall a,b,c \in R) はただ一つの解 x ∈ R を持つ;
方程式 T(a,x,y)=b,T(c,x,y)=d \quad(\forall a,b,c,d \in R,\, a\neq c) はただ一つの解 (x,y)\in R^2 を持つ
を満足するときに言う。同様に、左平面三項環は T′(a, b, c) coloneqq T(b, a, c) (T は右平面三項環の条件を満たす) によって定まる。
R が有限集合のとき、公理 3. と公理 5. は公理 4. の存在のもとで同値である
注意: T に関する公理 1., 2. が対 (0, 1) に対して満たされているとき、対 (0, 1) を別の対 (0′, 1′) に取り換えた公理 1., 2. をも同時に満たすような T は存在しない。その意味で T と対 (0, 1) は一意に対応する。
以下に定められる「二項演算」は必ずしも結合的でない。そのことを強調する意味で演算子は丸囲みのものを用いてあることに注意(つまり、以下は直和やテンソル積などではない)。
a\oplus b := T(a,1,b)"LR"
(R, ⊕) は単位元 0 を持つループ (代数学)を成す。
a\otimes b=T(a,b,0).
集合 R* coloneqq R setminus 0 はこの乗法に関して閉じている。(R*, ⊗) もまた単位元 1 を持つループになる。
平面三項環 (R, T) が線型とは、T(a,b,c)=(a\otimes b)\oplus c,\quad(\forall a,b,c \in R) と書けるときに言う。例えば、定義により、準体 (quasifield)(ヴェブレン–ウェダーバーン系)に対応する平面三項環は線型である。
平面三項環がさらに余分に特定の代数的条件を満足するとき、別の名が与えられる。ただし、その名称に関して必ずしも広く定まったものでなく文献によって揺れがあることに注意すべきである。以下は  による:
線型平面三項環はその加法ループが結合的(したがって加法群)となるときデカルト群 (cartesian group) と言う。デカルト群において、写像 x mapsto −x ⊗ a + x ⊗ b および x mapsto a ⊗ x − b ⊗ x は a ≠ b なる限り置換でなければならない。(ここではデカルト群は加法に関して群を成すから、その意味で加法の記号に "+" を用いた)
(右)準体 (quasi­field) 定訳はとくに無いと思われる。ラテン語接頭辞 "quasi-" は「-に準じる」の意味でしばしば「準-」もしくは「擬-」という訳を逐語的に用いる。いっぽう、 では「概体 (quasifield)」/「擬体 (nearfield)」と訳している は右分配法則  (x+y) \otimes z = x \otimes z + y \otimes z  を満足するデカルト群を言う。任意の準体において加法は可換である。
(幾何学的)半体 (射影幾何学)は左分配法則  x \otimes (y + z) = x \otimes y + x \otimes z も満たす準体(両側分配法則をみたすデカルト群)を言う。代数学においては、任意の非零元が可逆な半環を「半体 (代数学)」と呼ぶので、それと混同してはならない
平面概体near­field はFastkörper の借用翻訳で、接頭辞 "Fast-" は「ほとんど」もしくは「近い」を意味する。ここでは「ほとんど」の意味でとるのが自然と思われ、鈴木通夫(1982)は「概体 (Fastkörper, near field)」としている(言及の中に「概体というのは体の公理から片側の分配律と乗法の交換律とを除いた代数系で」ともある)。near-field を翻訳借用するならば「近体」であろうか。 (planar near­field; Fastkörper) は乗法ループが結合的(したがって乗法群)となるような quasi-field を言う。必ずしもすべての概体が平面概体とは限らない。
さらに交代体は半体で、斜体は交代体
平面三項環 (R, T) が与えられたとき、点集合 P と直線集合 L を以下のように与えて射影平面を構成することができる: (∞ は R に属さない余分の記号であることに注意)
P=\{(a,b)\mid a,b\in R\}\cup \{(a)\mid a \in R \}\cup \{(\infty)\},
L=\{[a,b]\mid a,b \in R\}\cup\{[a]\mid a \in R \}\cup \{[\infty]\}.
直観的には、(a, b) は座標 a, b を持つ点、(a) は傾き a の原点 (0, 0) を出る直線(軸)上の無限遠直線上にある端点、(∞) は無限遠直線上の端点の一方(もう一方は (0))であり、また [a, b] は (a) と (0, b) を結ぶ直線、[a] は傾き a の軸、[∞] は無限遠直線である。
射影平面の接続関係 I は以下のように与えられる:
((a,b),[c,d])\in I \iff T(a,c,d)=b
((a,b),[c])\in I \iff a=c
((a,b),[\infty])\notin I
((a), [c,d])\in I \iff a=c
((a), [c])\notin I
((a),[\infty])\in I
(((\infty),[c,d])\notin I
((\infty),[a])\in I
((\infty),[\infty])\in I
任意の射影平面は適当な平面三項環からこの方法で構成することができる。ただし二つの同型でない平面三項環から同型な射影平面が導かれることもある。
逆に任意の射影平面 π から、どの三点も同一直線上にない四点 O, E, U, V を選び出して、 O = (0, 0), E = (1, 1), V = (∞), V = (0) となるような座標を導入することができてそのような方法は複数ある。 の用いた方法の短い記述は  にある、このとき三項演算は(∞ 以外の)座標の関係式として y = T(x, a, b) となるための必要十分条件を、点 (x,y) が無限遠点 (a) から (0, b) へ結んだ直線上にあることと定めることで得られる。射影平面を定義する公理系はこれが平面三項環を与えることを示すのに用いられる。
平面三項系が線型であることは、この付随する射影平面が特定の幾何学的条件を満足することに同値である。また、
より一般に、任意の射影平面 P は以下の何れかのレンツ図形をちょうど一つ持つ:
レンツ分類の細分化としてレンツ-バルロッティ分類が知られている。各射影平面 P は以下の分類のどれかちょうど一つに当てはまる: