平面三項環
この項目「
平面三項環 」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文::en:Planar ternary ring)
修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。
ノートページ や
履歴 も参照してください。
(2017年7月 )
数学 における代数構造 (R , T ) が空でない集合 R とその上の三項演算 T: R 3 → R の組として与えられるとき、三項系 と呼ぶ。Hall (1943) は平面三項環 (へいめんさんこうかん、英 : planar ternary ring ; PTR )または三項体 (Ternärkörper ; ternary field ) 特別な種類の三項系を座標として用いて射影平面 を構成した。平面三項「環」は、加法と乗法の定められる環 類似構造を持つが、厳密には必ずしも環ではない。
用語法には広くバリエーションがある。本項に言う平面三項環を文献によっては別の呼び方をするし、また本項の言うものの変種を平面三項環と呼ぶものもある。短く三項環と言うとき、平面三項環の意味で用いる場合もあれば、より一般の(あるいは別の)三項系の意味であるかもしれない。
定義
R は少なくとも相異なる二点(それを 0, 1 と書くことにする)を含む集合とするとき、写像 T : R 3 → 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)}
[ 注釈 1]
(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)(ヴェブレン–ウェダーバーン系)に対応する平面三項環は線型である。[ 2]
関連する代数系
平面三項環がさらに余分に特定の代数的条件を満足するとき、別の名が与えられる。ただし、その名称に関して必ずしも広く定まったものでなく文献によって揺れがあることに注意すべきである。以下は Dembowski (1968 , p. 129) による:
線型平面三項環はその加法ループが結合的 (したがって加法群)となるときデカルト群 (cartesian group ) と言う。デカルト群において、写像 x ↦ −x ⊗ a + x ⊗ b および x ↦ a ⊗ x − b ⊗ x は a ≠ b なる限り置換でなければならない。(ここではデカルト群は加法に関して群を成すから、その意味で加法の記号に "+ " を用いた)
(右)準体 (英語版 ) (quasifield) [ 注釈 2] は右分配法則
(
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}
も満たす準体(両側分配法則をみたすデカルト群)を言う。[ 注釈 3]
平面概体 (英語版 ) [ 注釈 4] (planar nearfield ; Fastkörper ) は乗法ループが結合的(したがって乗法群)となるような quasi-field を言う。必ずしもすべての概体が平面概体とは限らない。
さらに交代体 は半体で、斜体 は交代体
射影平面との関係
平面三項環を確立するための射影平面の座標
平面三項環 (R , T ) が与えられたとき、点集合 P と直線集合 L を以下のように与えて射影平面 を構成することができる:[ 5] (∞ は 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 の軸、[∞] は無限遠直線である。
x+b
ax
射影平面の接続関係 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) となるような座標を導入することができて[ 注釈 5] 、このとき三項演算は(∞ 以外の)座標の関係式として y = T (x , a , b ) となるための必要十分条件を、点 (x ,y ) が無限遠点 (a ) から (0, b ) へ結んだ直線上にあることと定めることで得られる。射影平面を定義する公理系はこれが平面三項環を与えることを示すのに用いられる。
平面三項系が線型であることは、この付随する射影平面が特定の幾何学的条件を満足することに同値である。また、
名称
座標環
幾何学的特徴付け
アフィン版
射影平面
(K , T ) は平面三項環
(射影平面の公理系)
アフィン平面
ムーファング平面 (ドイツ語版 )
(K , ⊕, ⊗) が準体
デザルグの小定理
平行移動平面
デザルグ平面
(K , ⊕, ⊗) が斜体
デザルグの大定理
(アフィン)デザルグ平面
パップス平面
(K , ⊕, ⊗) が体
パップスの大定理
(アフィン)パップス平面
より一般に、任意の射影平面 P は以下の何れかのレンツ図形をちょうど一つ持つ:[ 8]
レンツ分類の細分化としてレンツ-バルロッティ分類が知られている[ 9] [ 10] 。各射影平面 P は以下の分類のどれかちょうど一つに当てはまる:
レンツ–バルロッティ分類
型
レンツ-バルロッティ図形
O, U, V, E に対応する三項環
I.1
B
-->
(
P
)
=
L
-->
(
P
)
=
∅ ∅ -->
{\displaystyle \operatorname {B} (P)=\operatorname {L} (P)=\emptyset }
三項環
I.2
B
-->
(
P
)
=
{
(
U
,
O
V
)
}
{\displaystyle \operatorname {B} (P)=\{(U,OV)\}}
線型三項環、乗法が結合的
I.3
B
-->
(
P
)
=
{
(
U
,
O
V
)
,
(
V
,
O
U
)
}
{\displaystyle \operatorname {B} (P)=\{(U,OV),(V,OU)\}}
線型三項環、乗法が結合的 かつ左分配則を満たす
I.4
B
-->
(
P
)
=
{
(
U
,
O
V
)
,
(
V
,
O
U
)
,
(
O
,
U
V
)
}
{\displaystyle \operatorname {B} (P)=\{(U,OV),(V,OU),(O,UV)\}}
線型三項環、乗法が結合的 かつ両側分配則を満たす
I.6
B
-->
(
P
)
=
{
(
X
,
θ θ -->
(
X
)
)
:
X
∈ ∈ -->
U
V
,
X
≠ ≠ -->
V
}
{\displaystyle \operatorname {B} (P)=\{(X,\theta (X)):X\in UV,X\neq V\}}
ここで、θ は V を除く直線 UV 上の点集合 UV ∖ {V } から 直線 UV を除く V を通る直線集合への全単射である。 座標で書けば例えば θ ((a )) ≔ [a ] .
線型三項環、乗法が結合的 かつ両側分配則を満たし、 さらに特別な性質を持つ
II.1
B
-->
(
P
)
=
L
-->
(
P
)
=
{
(
V
,
U
V
)
}
{\displaystyle \operatorname {B} (P)=\operatorname {L} (P)=\{(V,UV)\}}
デカルト群
II.2
B
-->
(
P
)
=
{
(
V
,
U
V
)
,
(
U
,
O
V
)
}
{\displaystyle \operatorname {B} (P)=\{(V,UV),(U,OV)\}}
乗法が結合的なデカルト群
III.1
B
-->
(
P
)
=
{
(
X
,
X
U
)
:
X
∈ ∈ -->
O
V
}
{\displaystyle \operatorname {B} (P)=\{(X,XU):X\in OV\}}
特別な性質を持つデカルト群
III.2
B
-->
(
P
)
=
{
(
X
,
X
U
)
:
X
∈ ∈ -->
O
V
}
∪ ∪ -->
{
(
U
,
O
V
}
{\displaystyle \operatorname {B} (P)=\{(X,XU):X\in OV\}\cup \{(U,OV\}}
特別な性質を持つ、 乗法が結合的なデカルト群
IVa.1
B
-->
(
P
)
=
L
-->
(
P
)
=
{
(
X
,
U
V
)
:
X
∈ ∈ -->
U
V
}
{\displaystyle \operatorname {B} (P)=\operatorname {L} (P)=\{(X,UV):X\in UV\}}
, 平行移動平面
左準体
IVa.2
B
-->
(
P
)
=
{
(
U
,
g
)
:
g
∋ ∋ -->
V
}
∪ ∪ -->
{
(
V
,
h
)
:
h
∋ ∋ -->
U
}
{
(
X
,
U
V
)
:
X
∈ ∈ -->
U
V
}
{\displaystyle \operatorname {B} (P)=\{(U,g):g\ni V\}\cup \{(V,h):h\ni U\}\{(X,UV):X\in UV\}}
左概体
IVa.3
B
-->
(
P
)
=
{
(
X
,
x
)
:
X
∈ ∈ -->
U
V
,
θ θ -->
(
X
)
∈ ∈ -->
x
}
{\displaystyle \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
B
-->
(
P
)
=
L
-->
(
P
)
=
{
(
X
,
U
V
)
:
X
∈ ∈ -->
U
V
}
∪ ∪ -->
{
(
V
,
x
)
:
x
∋ ∋ -->
V
}
{\displaystyle \operatorname {B} (P)=\operatorname {L} (P)=\{(X,UV):X\in UV\}\cup \{(V,x):x\ni V\}}
半体
VII.1
B
-->
(
P
)
=
L
-->
(
P
)
=
{
(
a
,
Z
)
∈ ∈ -->
L
× × -->
P
:
Z
∈ ∈ -->
a
}
{\displaystyle \operatorname {B} (P)=\operatorname {L} (P)=\lbrace (a,Z)\in L\times P:Z\in a\rbrace }
交代体
VII.2
B
-->
(
P
)
=
L
× × -->
P
{\displaystyle \operatorname {B} (P)=L\times 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)[ 3] では「概体 (quasifield)」/「擬体 (nearfield)」と訳している
^ 代数学においては、任意の非零元が可逆な半環 を「半体 (ドイツ語版 ) 」と呼ぶので、それと混同してはならない
^ 英語 : nearfield はドイツ語 : Fastkörper の借用翻訳で、接頭辞 "Fast- " は「ほとんど」もしくは「近い」を意味する。ここでは「ほとんど」の意味でとるのが自然と思われ、鈴木通夫(1982)は[ 4] 「概体 (Fastkörper, near field)」としている(言及の中に「概体というのは体の公理から片側の分配律と乗法の交換律とを除いた代数系で」ともある)。near-field を翻訳借用するならば「近体」であろうか。
^ そのような方法は複数ある。Hall (1943) の用いた方法の短い記述は Dembowski (1968 , p. 127) にある
^ レンツ類 IVb の平面を双対平面(座標間の構成において点集合 P でなく直線集合 G と基底として「完全平行四辺形」を用いたもの)から始めると、この新しい双対化した平面の座標環は右準体になる。
出典
参考文献
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 , MR 0233275
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 , MR 0008892 , https://jstor.org/stable/1990331
Hall, Jr., Marshall (1959), The Theory of Groups , New York: The MacMillan Company, MR 103215 , 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 , MR 17, 451d
Hughes, Daniel R.; Piper, Fred C. (1973), Projective Planes , Graduate Texts in Mathematics (6), New York: Springer-Verlag, ISBN 0387900446 , MR 48 #12278
Martin, G.E. (1967), “Projective planes and isotopic ternary rings”, The American Mathematical Monthly 74 : 1185-1195, doi :10.2307/2315659 , MR 36 #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
外部リンク