「平面三項環」の版間の差分
誤訳の訂正 |
書誌情報 |
||
36行目: | 36行目: | ||
: 線型平面三項環はその加法ループが[[結合法則|結合的]](したがって加法群)となるとき'''デカルト群''' (''cartesian group'') と言う。デカルト群において、写像 {{math|''x'' {{mapsto}} −''x'' ⊗ ''a'' + ''x'' ⊗ ''b''}} および {{math|''x'' {{mapsto}} ''a'' ⊗ ''x'' − ''b'' ⊗ ''x''}} は {{math|''a'' ≠ ''b''}} なる限り置換でなければならない。(ここではデカルト群は加法に関して群を成すから、その意味で加法の記号に "{{math|+}}" を用いた) |
: 線型平面三項環はその加法ループが[[結合法則|結合的]](したがって加法群)となるとき'''デカルト群''' (''cartesian group'') と言う。デカルト群において、写像 {{math|''x'' {{mapsto}} −''x'' ⊗ ''a'' + ''x'' ⊗ ''b''}} および {{math|''x'' {{mapsto}} ''a'' ⊗ ''x'' − ''b'' ⊗ ''x''}} は {{math|''a'' ≠ ''b''}} なる限り置換でなければならない。(ここではデカルト群は加法に関して群を成すから、その意味で加法の記号に "{{math|+}}" を用いた) |
||
:* (右){{ill2|準体|en|quasifield}} (quasi­field) {{efn|定訳はとくに無いと思われる。ラテン語接頭辞 "quasi-" は「 |
:* (右){{ill2|準体|en|quasifield}} (quasi­field) {{efn|定訳はとくに無いと思われる。ラテン語接頭辞 "quasi-" は「-に準じる」の意味でしばしば「準-」もしくは「擬-」という訳を逐語的に用いる。いっぽう、[http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1593-30.pdf ] では「概体 (quasifield)」/「擬体 (nearfield)」と訳している}} は右分配法則 <math display="block"> (x+y) \otimes z = x \otimes z + y \otimes z </math> を満足するデカルト群を言う。任意の準体において加法は[[交換法則|可換]]である。 |
||
:* (幾何学的){{ill2|半体 (射影幾何学)|label=半体|en|semifield|de|Halbkörper (Geometrie)}}は左分配法則 <math display="block"> x \otimes (y + z) = x \otimes y + x \otimes z</math> も満たす準体(両側分配法則をみたすデカルト群)を言う。{{efn|代数学においては、任意の非零元が可逆な[[半環]]を「{{ill2|半体 (代数学)|label=半体|de|Halbkörper}}」と呼ぶので、それと混同してはならない}} |
:* (幾何学的){{ill2|半体 (射影幾何学)|label=半体|en|semifield|de|Halbkörper (Geometrie)}}は左分配法則 <math display="block"> x \otimes (y + z) = x \otimes y + x \otimes z</math> も満たす準体(両側分配法則をみたすデカルト群)を言う。{{efn|代数学においては、任意の非零元が可逆な[[半環]]を「{{ill2|半体 (代数学)|label=半体|de|Halbkörper}}」と呼ぶので、それと混同してはならない}} |
||
:* 平面{{ill2|概体|en|Near-field (mathematics)}}{{efn|{{lang-en|near­field}} は{{lang-de|Fastkörper}} の借用翻訳で、接頭辞 "{{de|Fast-}}" は「ほとんど」もしくは「近い」を意味する。ここでは「ほとんど」の意味でとるのが自然と思われ、[https:// |
:* 平面{{ill2|概体|en|Near-field (mathematics)}}{{efn|{{lang-en|near­field}} は{{lang-de|Fastkörper}} の借用翻訳で、接頭辞 "{{de|Fast-}}" は「ほとんど」もしくは「近い」を意味する。ここでは「ほとんど」の意味でとるのが自然と思われ、鈴木通夫(1982)は<ref>鈴木通夫, [https://doi.org/10.11429/sugaku1947.34.193 有限単純群の分類]」『数学』 34巻 3号 1982年 p.193-210, {{doi|10.11429/sugaku1947.34.193}}。</ref>「概体 (Fastkörper, near field)」としている(言及の中に「概体というのは体の公理から片側の分配律と乗法の交換律とを除いた代数系で」ともある)。near-field を翻訳借用するならば「近体」であろうか。}} ({{en|''planar near­field''}}; {{de|Fastkörper}}) は乗法ループが結合的(したがって乗法群)となるような quasi-field を言う。必ずしもすべての概体が平面概体とは限らない。 |
||
さらに[[交代代数|交代体]]は半体で、[[斜体]]は交代体 |
さらに[[交代代数|交代体]]は半体で、[[斜体]]は交代体 |
||
223行目: | 223行目: | ||
* {{cite book|last1=Albert|first=A. Adrian|last2=Sandler|first2=Reuben|title=An Introduction to Finite Projective Planes|year=1968|publisher=Holt, Rinehart and Winston|location=New York}} |
* {{cite book|last1=Albert|first=A. Adrian|last2=Sandler|first2=Reuben|title=An Introduction to Finite Projective Planes|year=1968|publisher=Holt, Rinehart and Winston|location=New York}} |
||
* [[Rafael Artzy]] (1965) ''Linear Geometry'', Chapter 4 Axiomatic Plane Geometry, [[Addison-Wesley]]. |
* [[Rafael Artzy]] (1965) ''Linear Geometry'', Chapter 4 Axiomatic Plane Geometry, [[Addison-Wesley]]. |
||
* {{citation|first1=Walter|last1=Benz|first2=Khuloud|last2=Ghalieh|title=Groupoids associated with the ternary ring of a projective plane|journal=Journal of Geometry|year=1998|volume=61|pages= |
* {{citation|first1=Walter|last1=Benz|first2=Khuloud|last2=Ghalieh|title=Groupoids associated with the ternary ring of a projective plane|journal=Journal of Geometry|year=1998|volume=61|pages=17-31|doi=10.1007/bf01237490}} |
||
* {{Citation | last1=Dembowski | first1=Peter | title=Finite geometries | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]], Band 44 | mr=0233275 | year=1968 | isbn=3-540-61786-8}} |
* {{Citation | last1=Dembowski | first1=Peter | title=Finite geometries | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=[[Ergebnisse der Mathematik und ihrer Grenzgebiete]], Band 44 | mr=0233275 | year=1968 | isbn=3-540-61786-8}} |
||
* {{citation|first=A.|last=Grari|title=A necessary and sufficient condition so that two planar ternary rings induce isomorphic projective planes|journal=Arch. Math. (Basel)|year=2004|volume=83|pages= |
* {{citation|first=A.|last=Grari|title=A necessary and sufficient condition so that two planar ternary rings induce isomorphic projective planes|journal=Arch. Math. (Basel)|year=2004|volume=83|pages=183-192|doi=10.1007/s00013-003-4580-9}} |
||
* {{Citation | last1=Hall, Jr. | first1=Marshall | title=Projective planes | jstor=1990331 | mr=0008892 | year=1943 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=54 | pages= |
* {{Citation | last1=Hall, Jr. | first1=Marshall | title=Projective planes | jstor=1990331 | mr=0008892 | year=1943 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=54 | pages=229-277 | issue=2 | publisher=American Mathematical Society | doi=10.2307/1990331}} |
||
* {{citation|last= Hall, Jr.|first= Marshall|title=The Theory of Groups|year=1959|publisher=The MacMillan Company|place=New York|mr=103215|zbl=84, 22b}} |
* {{citation|last= Hall, Jr.|first= Marshall|title=The Theory of Groups|year=1959|publisher=The MacMillan Company|place=New York|mr=103215|zbl=84, 22b}} |
||
* {{citation|first=D.R.|last=Hughes|title=Additive and multiplicative loops of planar ternary rings|journal=Proceedings of the American Mathematical Society|year=1955|volume=6|pages= |
* {{citation|first=D.R.|last=Hughes|title=Additive and multiplicative loops of planar ternary rings|journal=Proceedings of the American Mathematical Society|year=1955|volume=6|pages=973-980|mr=17, 451d|doi=10.1090/s0002-9939-1955-0073568-8}} |
||
* {{citation|last1=Hughes|first1=Daniel R.|last2=Piper|first2=Fred C.|title=Projective Planes|series=Graduate Texts in Mathematics (6)|year=1973|publisher=Springer-Verlag|place=New York|isbn=0387900446|mr=48 #12278}} |
* {{citation|last1=Hughes|first1=Daniel R.|last2=Piper|first2=Fred C.|title=Projective Planes|series=Graduate Texts in Mathematics (6)|year=1973|publisher=Springer-Verlag|place=New York|isbn=0387900446|mr=48 #12278}} |
||
* {{citation|first=G.E.|last=Martin|title=Projective planes and isotopic ternary rings|journal=The American Mathematical Monthly|year=1967|volume=74|pages= |
* {{citation|first=G.E.|last=Martin|title=Projective planes and isotopic ternary rings|journal=The American Mathematical Monthly|year=1967|volume=74|pages=1185-1195|mr=36 #7019|doi=10.2307/2315659}} |
||
* {{citation|last=Pickert|first=Günter|title=Projektive Ebenen|year=1975|publisher=Springer-Verlag|place=Berlin|isbn=3540072802}} |
* {{citation|last=Pickert|first=Günter|title=Projektive Ebenen|year=1975|publisher=Springer-Verlag|place=Berlin|isbn=3540072802}} |
||
* {{citation|last= Stevenson|first=Frederick|title=Projective Planes|year=1972|publisher=W.H. Freeman and Company|place=San Francisco|isbn=071670443-9}} |
* {{citation|last= Stevenson|first=Frederick|title=Projective Planes|year=1972|publisher=W.H. Freeman and Company|place=San Francisco|isbn=071670443-9}} |
2020年6月17日 (水) 03:48時点における版
この項目は内容が専門的であり、一般の閲覧者にはわかりにくくなっているおそれがあります。 |
数学における代数構造 (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 が以下の条件
- ;
- ;
- 方程式 はただ一つの解 x ∈ R を持つ;
- 方程式 はただ一つの解 x ∈ R を持つ;
- 方程式 はただ一つの解 を持つ
を満足するときに言う。同様に、左平面三項環は 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) は一意に対応する。
三項環の代数構造
以下に定められる「二項演算」は必ずしも結合的でない。そのことを強調する意味で演算子は丸囲みのものを用いてあることに注意(つまり、以下は直和やテンソル積などではない)。
加法
乗法
- .
集合 R* ≔ R ∖ {0} はこの乗法に関して閉じている。(R*, ⊗) もまた単位元 1 を持つループになる。
線型三項環
平面三項環 (R, T) が線型とは、
関連する代数系
平面三項環がさらに余分に特定の代数的条件を満足するとき、別の名が与えられる。ただし、その名称に関して必ずしも広く定まったものでなく文献によって揺れがあることに注意すべきである。以下は Dembowski (1968, p. 129) による:
- 線型平面三項環はその加法ループが結合的(したがって加法群)となるときデカルト群 (cartesian group) と言う。デカルト群において、写像 x ↦ −x ⊗ a + x ⊗ b および x ↦ a ⊗ x − b ⊗ x は a ≠ b なる限り置換でなければならない。(ここではデカルト群は加法に関して群を成すから、その意味で加法の記号に "+" を用いた)
射影平面との関係
平面三項環 (R, T) が与えられたとき、点集合 P と直線集合 L を以下のように与えて射影平面を構成することができる:[4][5] (∞ は R に属さない余分の記号であることに注意)
直観的には、(a, b) は座標 a, b を持つ点、(a) は傾き a の原点 (0, 0) を出る直線(軸)上の無限遠直線上にある端点、(∞) は無限遠直線上の端点の一方(もう一方は (0))であり、また [a, b] は (a) と (0, b) を結ぶ直線、[a] は傾き a の軸、[∞] は無限遠直線である。
射影平面の接続関係 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) へ結んだ直線上にあることと定めることで得られる。射影平面を定義する公理系はこれが平面三項環を与えることを示すのに用いられる。
平面三項系が線型であることは、この付随する射影平面が特定の幾何学的条件を満足することに同値である[6]。また、
名称 | 座標環 | 幾何学的特徴付け | アフィン版 |
---|---|---|---|
射影平面 | (K, T) は平面三項環 | (射影平面の公理系) | アフィン平面 |
ムーファング平面 | (K, ⊕, ⊗) が準体 | デザルグの小定理 | 平行移動平面 |
デザルグ平面 | (K, ⊕, ⊗) が斜体 | デザルグの大定理 | (アフィン)デザルグ平面 |
パップス平面 | (K, ⊕, ⊗) が体 | パップスの大定理 | (アフィン)パップス平面 |
より一般に、任意の射影平面 P は以下の何れかのレンツ図形をちょうど一つ持つ:[7]
型 | レンツ図形 | 座標環 |
---|---|---|
I | 三項環 | |
II | 直線 a ∈ L とその上の点 Z ∈ a が存在して | デカルト群 |
III | 直線 g ∈ L と点 U ∈ P ∖ g が存在して
|
特殊デカルト群(常に無限群) |
IVa | 軸 a ∈ L が存在して | 左準体 |
IVb | 中心 Z ∈ P が存在して | 右準体[注釈 6] |
V | 軸 a ∈ L と中心 Z ∈ P が存在して
. |
半体 |
VII | 交代体 |
レンツ分類の細分化としてレンツ-バルロッティ分類が知られている[8][9]。各射影平面 P は以下の分類のどれかちょうど一つに当てはまる:
型 | レンツ-バルロッティ図形 | O, U, V, E に対応する三項環 |
---|---|---|
I.1 | 三項環 | |
I.2 | 線型三項環、乗法が結合的 | |
I.3 | 線型三項環、乗法が結合的 かつ左分配則を満たす | |
I.4 | 線型三項環、乗法が結合的 かつ両側分配則を満たす | |
I.6 | ここで、θ は V を除く直線 UV 上の点集合 UV ∖ {V} から 直線 UV を除く V を通る直線集合への全単射である。 座標で書けば例えば θ((a)) ≔ [a]. |
線型三項環、乗法が結合的 かつ両側分配則を満たし、 さらに特別な性質を持つ |
II.1 | デカルト群 | |
II.2 | 乗法が結合的なデカルト群 | |
III.1 | 特別な性質を持つデカルト群 | |
III.2 | 特別な性質を持つ、 乗法が結合的なデカルト群 | |
IVa.1 | , 平行移動平面 | 左準体 |
IVa.2 | 左概体 | |
IVa.3 | ただし θ は、直線 UV からそれ自身への 不動点を持たない対合的全単射である。 |
明示的に定義された九元左概体 |
IVb.1 | IVa.1. のレンツ-バルロッティ図形の双対 | IVa.1. の双対 |
IVb.2 | IVa.2. のレンツ-バルロッティ図形の双対 | IVa.2. の双対 |
IVb.3 | IVa.3. のレンツ-バルロッティ図形の双対 | IVa.3. の双対 |
V | 半体 | |
VII.1 | 交代体 | |
VII.2 | 斜体 |
関連項目
注
注釈
- ^ 演算も左と右の二種類がある(T の左右と演算の左右の組み合わせによっては、平面を作る際には座標のとり方の違いとなって出てくる)。左版は Hall (1959, p. 355), Albert & Sandler (1968, p. 50), and Dembowski (1968, p. 128), 右版 は 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
- 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