「平面三項環」の版間の差分

削除された内容追加された内容

インライン

2021年4月15日 (木) 22:30時点における版

数学における代数構造 $(R, T)$ が空でない集合 $R$ とその上の三項演算 $T: R 3 \to R$ の組として与えられるとき、三項系と呼ぶ。Hall (1943) は平面三項環（へいめんさんこうかん、英: planar ternary ring; PTR）または三項体 (Ternärkörper; ternary field) 特別な種類の三項系を座標として用いて射影平面を構成した。平面三項「環」は、加法と乗法の定められる環類似構造を持つが、厳密には必ずしも環ではない。

用語法には広くバリエーションがある。本項に言う平面三項環を文献によっては別の呼び方をするし、また本項の言うものの変種を平面三項環と呼ぶものもある。短く三項環と言うとき、平面三項環の意味で用いる場合もあれば、より一般の（あるいは別の）三項系の意味であるかもしれない。

定義

$R$ は少なくとも相異なる二点（それを $0, 1$ と書くことにする）を含む集合とするとき、写像 $T : R 3 \to 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 \in R$ を持つ;
方程式 $T(a,b,x)=c\quad (\forall a,b,c\in R)$ はただ一つの解 $x \in 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) ≔ T (b, a, c)$ (T は右平面三項環の条件を満たす) によって定まる。

$R$ が有限集合のとき、公理 3. と公理 5. は公理 4. の存在のもとで同値である^[1]

注意: $T$ に関する公理 1., 2. が対 $(0, 1)$ に対して満たされているとき、対 $(0, 1)$ を別の対 $(0', 1')$ に取り換えた公理 1., 2. をも同時に満たすような $T$ は存在しない。その意味で $T$ と対 $(0, 1)$ は一意に対応する。

三項環の代数構造

以下に定められる「二項演算」は必ずしも結合的でない。そのことを強調する意味で演算子は丸囲みのものを用いてあることに注意（つまり、以下は直和やテンソル積などではない）。

加法

a\oplus b:=T(a,1,b)

^{[注釈 1]}

$(R, \oplus)$ は単位元 $0$ を持つループ（英語版）を成す。

乗法

a\otimes b=T(a,b,0)

.

集合 $R* ≔ R ∖ {0}$ はこの乗法に関して閉じている。 $(R*, \otimes)$ もまた単位元 $1$ を持つループになる。

線型三項環

平面三項環 $(R, T)$ が線型とは、 $T(a,b,c)=(a\otimes b)\oplus c,\quad (\forall a,b,c\in R)$ と書けるときに言う。例えば、定義により、準体（英語版） (quasifield)（ヴェブレン–ウェダーバーン系）に対応する平面三項環は線型である。^[2]

射影平面との関係

→「de:Klassifikation projektiver Ebenen § Ternärverknüpfung und Geradendarstellung」も参照

平面三項環 $(R, T)$ が与えられたとき、点集合 $P$ と直線集合 $L$ を以下のように与えて射影平面を構成することができる:^[4]^[5] （ $\infty$ は $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)$ を出る直線（軸）上の無限遠直線上にある端点、 $(\infty)$ は無限遠直線上の端点の一方（もう一方は $(0)$ ）であり、また $[a, b]$ は $(a)$ と $(0, b)$ を結ぶ直線、 $[a]$ は傾き $a$ の軸、 $[\infty]$ は無限遠直線である。

射影平面の接続関係 $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 = (\infty), V = (0)$ となるような座標を導入することができて^{[注釈 5]}、このとき三項演算は（ $\infty$ 以外の）座標の関係式として $y = T (x, a, b)$ となるための必要十分条件を、点 $(x, y)$ が無限遠点 $(a)$ から $(0, b)$ へ結んだ直線上にあることと定めることで得られる。射影平面を定義する公理系はこれが平面三項環を与えることを示すのに用いられる。

平面三項系が線型であることは、この付随する射影平面が特定の幾何学的条件を満足することに同値である^[6]。また、

名称	座標環	幾何学的特徴付け	アフィン版
射影平面	$(K, T)$ は平面三項環	(射影平面の公理系)	アフィン平面
ムーファング平面（ドイツ語版）	$(K, \oplus, \otimes)$ が準体	デザルグの小定理	平行移動平面
デザルグ平面	$(K, \oplus, \otimes)$ が斜体	デザルグの大定理	(アフィン)デザルグ平面
パップス平面	$(K, \oplus, \otimes)$ が体	パップスの大定理	(アフィン)パップス平面

より一般に、任意の射影平面 $P$ は以下の何れかのレンツ図形をちょうど一つ持つ:^[7]

レンツ分類
型	レンツ図形	座標環
I	$\operatorname {L} (P)=\emptyset$	三項環
II	直線 $a \in L$ とその上の点 $Z \in a$ が存在して $\operatorname {L} (P)=\lbrace (a,Z)\rbrace$	デカルト群
III	直線 $g \in L$ と点 $U \in P ∖ g$ が存在して $\operatorname {L} (P)=\lbrace (UZ,Z):Z\in g\rbrace$	特殊デカルト群（常に無限群）
IVa	軸 $a \in L$ が存在して $\operatorname {L} (P)=\lbrace a\rbrace \times a$	左準体
IVb	中心 $Z \in P$ が存在して $\operatorname {L} (P)=\lbrace g\in L:Z\in g\rbrace \times \lbrace Z\rbrace$	右準体^{[注釈 6]}
V	軸 $a \in L$ と中心 $Z \in P$ が存在して $\operatorname {L} (P)=(\lbrace a\rbrace \times a)\cup (\lbrace g\in L:Z\in g\rbrace \times \lbrace Z\rbrace )$ .	半体
VII	$\operatorname {L} (P)=\lbrace (a,Z)\in L\times P:Z\in a\rbrace$	交代体

レンツ分類の細分化としてレンツ-バルロッティ分類が知られている^[8]^[9]。各射影平面 $P$ は以下の分類のどれかちょうど一つに当てはまる:

レンツ–バルロッティ分類
型	レンツ-バルロッティ図形	$O, U, V, E$ に対応する三項環
I.1	$\operatorname {B} (P)=\operatorname {L} (P)=\emptyset$	三項環
I.2	$\operatorname {B} (P)=\{(U,OV)\}$	線型三項環、乗法が結合的
I.3	$\operatorname {B} (P)=\{(U,OV),(V,OU)\}$	線型三項環、乗法が結合的かつ左分配則を満たす
I.4	$\operatorname {B} (P)=\{(U,OV),(V,OU),(O,UV)\}$	線型三項環、乗法が結合的かつ両側分配則を満たす
I.6	$\operatorname {B} (P)=\{(X,\theta (X)):X\in UV,X\neq V\}$ ここで、 $θ$ は $V$ を除く直線 $UV$ 上の点集合 $UV ∖ {V}$ から直線 $UV$ を除く $V$ を通る直線集合への全単射である。座標で書けば例えば $θ ((a)) ≔ [a]$ .	線型三項環、乗法が結合的かつ両側分配則を満たし、さらに特別な性質を持つ
II.1	$\operatorname {B} (P)=\operatorname {L} (P)=\{(V,UV)\}$	デカルト群
II.2	$\operatorname {B} (P)=\{(V,UV),(U,OV)\}$	乗法が結合的なデカルト群
III.1	$\operatorname {B} (P)=\{(X,XU):X\in OV\}$	特別な性質を持つデカルト群
III.2	$\operatorname {B} (P)=\{(X,XU):X\in OV\}\cup \{(U,OV\}$	特別な性質を持つ、乗法が結合的なデカルト群
IVa.1	$\operatorname {B} (P)=\operatorname {L} (P)=\{(X,UV):X\in UV\}$ , 平行移動平面	左準体
IVa.2	$\operatorname {B} (P)=\{(U,g):g\ni V\}\cup \{(V,h):h\ni U\}\{(X,UV):X\in UV\}$	左概体
IVa.3	$\operatorname {B} (P)=\{(X,x):X\in UV,\theta (X)\in x\}$ ただし $θ$ は、直線 $UV$ からそれ自身への不動点を持たない対合的全単射である。	明示的に定義された九元左概体
IVb.1	IVa.1. のレンツ-バルロッティ図形の双対	IVa.1. の双対
IVb.2	IVa.2. のレンツ-バルロッティ図形の双対	IVa.2. の双対
IVb.3	IVa.3. のレンツ-バルロッティ図形の双対	IVa.3. の双対
V	$\operatorname {B} (P)=\operatorname {L} (P)=\{(X,UV):X\in UV\}\cup \{(V,x):x\ni V\}$	半体
VII.1	$\operatorname {B} (P)=\operatorname {L} (P)=\lbrace (a,Z)\in L\times P:Z\in a\rbrace$	交代体
VII.2	$\operatorname {B} (P)=L\times P$	斜体

注

注釈

^ 演算も左と右の二種類がある（ $T$ の左右と演算の左右の組み合わせによっては、平面を作る際には座標のとり方の違いとなって出てくる）。左版は Hall (1959, p. 355), Albert & Sandler (1968, p. 50), and Dembowski (1968, p. 128), 右版 $a\oplus b=T(1,a,b)$ は Hughes & Piper (1973, p. 117), Pickert (1975, p. 38), Stevenson (1972, p. 274).
^ 定訳はとくに無いと思われる。ラテン語接頭辞 "quasi-" は「-に準じる」の意味でしばしば「準-」もしくは「擬-」という訳を逐語的に用いる。いっぽう、[1] では「概体 (quasifield)」/「擬体 (nearfield)」と訳している
^ 代数学においては、任意の非零元が可逆な半環を「半体（ドイツ語版）」と呼ぶので、それと混同してはならない
^ 英語: nearfield はドイツ語: Fastkörper の借用翻訳で、接頭辞 "Fast-" は「ほとんど」もしくは「近い」を意味する。ここでは「ほとんど」の意味でとるのが自然と思われ、鈴木通夫(1982)は^[3]「概体 (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.（英語）
^ 鈴木通夫, 有限単純群の分類」『数学』 34巻 3号 1982年 p.193-210, doi:10.11429/sugaku1947.34.193。
^ 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

外部リンク

[LR-2] 演算も左と右の二種類がある（ $T$ の左右と演算の左右の組み合わせによっては、平面を作る際には座標のとり方の違いとなって出てくる）。左版は Hall (1959, p. 355), Albert & Sandler (1968, p. 50), and Dembowski (1968, p. 128), 右版 $a\oplus b=T(1,a,b)$ は Hughes & Piper (1973, p. 117), Pickert (1975, p. 38), Stevenson (1972, p. 274).

[4] 定訳はとくに無いと思われる。ラテン語接頭辞 "quasi-" は「-に準じる」の意味でしばしば「準-」もしくは「擬-」という訳を逐語的に用いる。いっぽう、[1] では「概体 (quasifield)」/「擬体 (nearfield)」と訳している

[5] 代数学においては、任意の非零元が可逆な半環を「半体（ドイツ語版）」と呼ぶので、それと混同してはならない

[7] 英語: nearfield はドイツ語: Fastkörper の借用翻訳で、接頭辞 "Fast-" は「ほとんど」もしくは「近い」を意味する。ここでは「ほとんど」の意味でとるのが自然と思われ、鈴木通夫(1982)は^[3]「概体 (Fastkörper, near field)」としている（言及の中に「概体というのは体の公理から片側の分配律と乗法の交換律とを除いた代数系で」ともある）。near-field を翻訳借用するならば「近体」であろうか。

[10] そのような方法は複数ある。Hall (1943) の用いた方法の短い記述は Dembowski (1968, p. 127) にある

[13] レンツ類 IVb の平面を双対平面（座標間の構成において点集合 $P$ でなく直線集合 $G$ と基底として「完全平行四辺形」を用いたもの）から始めると、この新しい双対化した平面の座標環は右準体になる。

[FOOTNOTEHughesPiper1973p._118,_Theorem_5.4-1] Hughes & Piper 1973, p. 118, Theorem 5.4.

[3] Veblen-Wedderburn system - PlanetMath.（英語）

[6] 鈴木通夫, 有限単純群の分類」『数学』 34巻 3号 1982年 p.193-210, doi:10.11429/sugaku1947.34.193。

[8] R. H. Bruck, Recent Advances in the Foundations of Euclidean Plane Geometry, (1955) Appendix I.

[FOOTNOTEHall1943p.247_Theorem_5.4-9] Hall 1943, p.247 Theorem 5.4.

[FOOTNOTEDembowski1968p._129-11] Dembowski 1968, p. 129.

[12] Hauke Klein. "Lenz types" (英語). Universität Kiel. 2011年1月17日閲覧。 Tabellarische Übersicht über die Lenz-Klassen

[PC-14] Prieß-Crampe V.5: Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen

[KleinBarlotti-15] Hauke Klein. "Lenz Barlotti" (英語). Universität Kiel. 2011年12月25日閲覧。 Tabellarische Übersicht über die Lenz-Barlotti-Klassen

[1]

[注釈 1]

[2]

[注釈 2]

[注釈 3]

[注釈 4]

[4]

[5]

[注釈 5]

[6]

[7]

[注釈 6]

[8]

[9]

[3]

@@ 94行目: / 94行目: @@
 | (アフィン)パップス平面
 |}
-より一般に、任意の射影平面 {{mvar|P}} は以下の何れかのレンツ図形をちょうど一つ持つ:<ref>{{Internetquelle |autor=Hauke Klein |hrsg=Universität Kiel |url=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/lenz.html |sprache=en |titel=Lenz types |titelerg=Geometry |zugriff=2011-01-17 |kommentar=Tabellarische Übersicht über die Lenz-Klassen}}</ref>
+より一般に、任意の射影平面 {{mvar|P}} は以下の何れかのレンツ図形をちょうど一つ持つ:<ref>{{cite web2|title=Lenz types|periodical=|publisher=Universität Kiel|url=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/lenz.html|url-status=|format=|access-date=2011-01-17|archive-url=|archive-date=|last=Hauke Klein|date=|year=|language=en|pages=|quote=}}&#32;Tabellarische Übersicht über die Lenz-Klassen</ref>
 {| class="wikitable" style="text-align:center; margin: 1ex auto;"
@@ 132行目: / 132行目: @@
 |}
-レンツ分類の細分化としてレンツ-バルロッティ分類が知られている<ref name="PC">Prieß-Crampe V.5: ''Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen''</ref><ref name="KleinBarlotti">{{Internetquelle |autor=Hauke Klein |hrsg=Universität Kiel |url=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/barlotti.html |sprache=en |titel=Lenz Barlotti |titelerg=Geometry |zugriff=2011-12-25 |kommentar=Tabellarische Übersicht über die Lenz-Barlotti-Klassen}}</ref>。各射影平面 {{mvar|P}} は以下の分類のどれかちょうど一つに当てはまる:
+レンツ分類の細分化としてレンツ-バルロッティ分類が知られている<ref name="PC">Prieß-Crampe V.5: ''Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen''</ref><ref name="KleinBarlotti">{{cite web2|title=Lenz Barlotti|periodical=|publisher=Universität Kiel|url=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/barlotti.html|url-status=|format=|access-date=2011-12-25|archive-url=|archive-date=|last=Hauke Klein|date=|year=|language=en|pages=|quote=}}&#32;Tabellarische Übersicht über die Lenz-Barlotti-Klassen</ref>。各射影平面 {{mvar|P}} は以下の分類のどれかちょうど一つに当てはまる:
 {| class="wikitable" style="text-align:center; margin: 1ex auto;"
 |+ レンツ&ndash;バルロッティ分類