平面三項環

数学における代数構造 (R, T) が空でない集合 R とその上の三項演算 T: R3 → R の組として与えられるとき、三項系と呼ぶ。Hall (1943) は平面三項環（へいめんさんこうかん、英: 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 , ( ∀ a , b ∈ R ) {\displaystyle T(a,0,b)=T(0,a,b)=b,\quad (\forall a,b\in R)} ; T ( 1 , a , 0 ) = T ( a , 1 , 0 ) = a , ( ∀ a ∈ R ) {\displaystyle T(1,a,0)=T(a,1,0)=a,\quad (\forall a\in R)} ; 方程式 T ( x , a , b ) = T ( x , c , d ) ( ∀ a , b , c , d ∈ R , a ≠ c ) {\displaystyle 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 ( ∀ a , b , c ∈ R ) {\displaystyle T(a,b,x)=c\quad (\forall a,b,c\in R)} はただ一つの解 x ∈ R を持つ; 方程式 T ( a , x , y ) = b , T ( c , x , y ) = d ( ∀ a , b , c , d ∈ R , a ≠ c ) {\displaystyle T(a,x,y)=b,T(c,x,y)=d\quad (\forall a,b,c,d\in R,\,a\neq c)} はただ一つの解 ( x , y ) ∈ R 2 {\displaystyle (x,y)\in R^{2}} を持つ を満足するときに言う。同様に、左平面三項環は T′(a, b, c) ≔ 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 ⊕ b := T ( a , 1 , b ) {\displaystyle a\oplus b:=T(a,1,b)} (R, ⊕) は単位元 0 を持つループ（英語版）を成す。 a ⊗ b = T ( a , b , 0 ) {\displaystyle a\otimes b=T(a,b,0)} . 集合 R* ≔ R ∖ {0} はこの乗法に関して閉じている。(R*, ⊗) もまた単位元 1 を持つループになる。 平面三項環 (R, T) が線型とは、 T ( a , b , c ) = ( a ⊗ b ) ⊕ c , ( ∀ a , b , c ∈ R ) {\displaystyle T(a,b,c)=(a\otimes b)\oplus c,\quad (\forall a,b,c\in R)} と書けるときに言う。例えば、定義により、準体（英語版） (quasifield)（ヴェブレン–ウェダーバーン系）に対応する平面三項環は線型である。 平面三項環がさらに余分に特定の代数的条件を満足するとき、別の名が与えられる。ただし、その名称に関して必ずしも広く定まったものでなく文献によって揺れがあることに注意すべきである。以下は Dembowski (1968, p. 129) による: 線型平面三項環はその加法ループが結合的（したがって加法群）となるときデカルト群 (cartesian group) と言う。デカルト群において、写像 x ↦ −x ⊗ a + x ⊗ b および x ↦ a ⊗ x − b ⊗ x は a ≠ b なる限り置換でなければならない。（ここではデカルト群は加法に関して群を成すから、その意味で加法の記号に "+" を用いた） （右）準体（英語版） (quasi­field) は右分配法則 ( x + y ) ⊗ z = x ⊗ z + y ⊗ z {\displaystyle (x+y)\otimes z=x\otimes z+y\otimes z} を満足するデカルト群を言う。任意の準体において加法は可換である。 （幾何学的）半体（英語版、ドイツ語版）は左分配法則 x ⊗ ( y + z ) = x ⊗ y + x ⊗ z {\displaystyle x\otimes (y+z)=x\otimes y+x\otimes z} も満たす準体（両側分配法則をみたすデカルト群）を言う。 平面概体（英語版） (planar near­field; Fastkörper) は乗法ループが結合的（したがって乗法群）となるような quasi-field を言う。必ずしもすべての概体が平面概体とは限らない。 さらに交代体は半体で、斜体は交代体 平面三項環 (R, T) が与えられたとき、点集合 P と直線集合 L を以下のように与えて射影平面を構成することができる: （∞ は R に属さない余分の記号であることに注意） P = { ( a , b ) ∣ a , b ∈ R } ∪ { ( a ) ∣ a ∈ R } ∪ { ( ∞ ) } , {\displaystyle P=\{(a,b)\mid a,b\in R\}\cup \{(a)\mid a\in R\}\cup \{(\infty )\},} L = { [ a , b ] ∣ a , b ∈ R } ∪ { [ a ] ∣ a ∈ R } ∪ { [ ∞ ] } . {\displaystyle 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 ] ) ∈ I ⟺ T ( a , c , d ) = b {\displaystyle ((a,b),[c,d])\in I\iff T(a,c,d)=b} ( ( a , b ) , [ c ] ) ∈ I ⟺ a = c {\displaystyle ((a,b),[c])\in I\iff a=c} ( ( a , b ) , [ ∞ ] ) ∉ I {\displaystyle ((a,b),[\infty ])\notin I} ( ( a ) , [ c , d ] ) ∈ I ⟺ a = c {\displaystyle ((a),[c,d])\in I\iff a=c} ( ( a ) , [ c ] ) ∉ I {\displaystyle ((a),[c])\notin I} ( ( a ) , [ ∞ ] ) ∈ I {\displaystyle ((a),[\infty ])\in I} ( ( ( ∞ ) , [ c , d ] ) ∉ I {\displaystyle (((\infty ),[c,d])\notin I} ( ( ∞ ) , [ a ] ) ∈ I {\displaystyle ((\infty ),[a])\in I} ( ( ∞ ) , [ ∞ ] ) ∈ I {\displaystyle ((\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 は以下の分類のどれかちょうど一つに当てはまる: 射影平面の分類（ドイツ語版） ^ 演算も左と右の二種類がある（T の左右と演算の左右の組み合わせによっては、平面を作る際には座標のとり方の違いとなって出てくる）。左版は Hall (1959, p. 355), Albert & Sandler (1968, p. 50), and Dembowski (1968, p. 128), 右版 a ⊕ b = T ( 1 , a , b ) {\displaystyle a\oplus b=T(1,a,b)} は Hughes & Piper (1973, p. 117), Pickert (1975, p. 38), Stevenson (1972, p. 274). ^ 定訳はとくに無いと思われる。ラテン語接頭辞 "quasi-" は「-に準じる」の意味でしばしば「準-」もしくは「擬-」という訳を逐語的に用いる。いっぽう、谷口浩朗(2008)では「概体 (quasifield)」/「擬体 (nearfield)」と訳している ^ 代数学においては、任意の非零元が可逆な半環を「半体（ドイツ語版）」と呼ぶので、それと混同してはならない ^ 英語: near­field はドイツ語: Fastkörper の借用翻訳で、接頭辞 "Fast-" は「ほとんど」もしくは「近い」を意味する。ここでは「ほとんど」の意味でとるのが自然と思われ、鈴木通夫(1982)は「概体 (Fastkörper, near field)」としている（言及の中に「概体というのは体の公理から片側の分配律と乗法の交換律とを除いた代数系で」ともある）。near-field を翻訳借用するならば「近体」であろうか。 ^ そのような方法は複数ある。Hall (1943) の用いた方法の短い記述は Dembowski (1968, p. 127) にある ^ レンツ類 IVb の平面を双対平面（座標間の構成において点集合 P でなく直線集合 G と基底として「完全平行四辺形」を用いたもの）から始めると、この新しい双対化した平面の座標環は右準体になる。 ^ Hughes & Piper 1973, p. 118, Theorem 5.4. ^ Veblen-Wedderburn system - PlanetMath.（英語） ^ 谷口浩朗「On d-dual hyperovals in PG(2d,2)」『数理解析研究所講究録』第1593巻、京都大学数理解析研究所、2008年4月、213-218頁、CRID 1050282810572377472、hdl:2433/81637、ISSN 1880-2818。  ^ 鈴木通夫「有限単純群の分類」『数学』第34巻第3号、日本数学会、1982年、193-210頁、CRID 1390282680043225344、doi:10.11429/sugaku1947.34.193、ISSN 0039470X。  ^ R. H. Bruck, Recent Advances in the Foundations of Euclidean Plane Geometry, (1955) Appendix I. ^ Hall 1943, p.247 Theorem 5.4. ^ Dembowski 1968, p. 129. ^ Hauke Klein. "Lenz types" (英語). Universität Kiel. 2011年1月17日閲覧。 Tabellarische Übersicht über die Lenz-Klassen ^ Prieß-Crampe V.5: Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen ^ Hauke Klein. "Lenz Barlotti" (英語). Universität Kiel. 2011年12月25日閲覧。 Tabellarische Übersicht über die Lenz-Barlotti-Klassen Albert, A. Adrian; Sandler, Reuben (1968). An Introduction to Finite Projective Planes. New York: Holt, Rinehart and Winston  Rafael Artzy (1965) Linear Geometry, Chapter 4 Axiomatic Plane Geometry, Addison-Wesley. Benz, Walter; Ghalieh, Khuloud (1998), “Groupoids associated with the ternary ring of a projective plane”, Journal of Geometry 61: 17-31, doi:10.1007/bf01237490  Dembowski, Peter (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Berlin, New York: Springer-Verlag, ISBN 3-540-61786-8, MR0233275  Grari, A. (2004), “A necessary and sufficient condition so that two planar ternary rings induce isomorphic projective planes”, Arch. Math. (Basel) 83: 183-192, doi:10.1007/s00013-003-4580-9  Hall, Jr., Marshall (1943), “Projective planes”, Transactions of the American Mathematical Society (American Mathematical Society) 54 (2): 229-277, doi:10.2307/1990331, ISSN 0002-9947, JSTOR 1990331, MR0008892, https://jstor.org/stable/1990331  Hall, Jr., Marshall (1959), The Theory of Groups, New York: The MacMillan Company, MR103215, Zbl 84, 22b  Hughes, D.R. (1955), “Additive and multiplicative loops of planar ternary rings”, Proceedings of the American Mathematical Society 6: 973-980, doi:10.1090/s0002-9939-1955-0073568-8, MR17, 451d  Hughes, Daniel R.; Piper, Fred C. (1973), Projective Planes, Graduate Texts in Mathematics (6), New York: Springer-Verlag, ISBN 0387900446, MR48 #12278  Martin, G.E. (1967), “Projective planes and isotopic ternary rings”, The American Mathematical Monthly 74: 1185-1195, doi:10.2307/2315659, MR36 #7019  Pickert, Günter (1975), Projektive Ebenen, Berlin: Springer-Verlag, ISBN 3540072802  Stevenson, Frederick (1972), Projective Planes, San Francisco: W.H. Freeman and Company, ISBN 071670443-9  ternary ring - PlanetMath.（英語） Veldkamp, F.D. (2001), “Ternary field”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Ternary_field