Quasikörper
Ein Quasikörper, nach Oswald Veblen und Joseph Wedderburn auch Veblen-Wedderburn-System genannt, ist eine algebraische Struktur, die in der synthetischen Geometrie als Koordinatenbereich für bestimmte affine Ebenen, die affinen Translationsebenen dient. Quasikörper sind stets kartesische Gruppen und jeder Alternativkörper ist ein Quasikörper.
Definitionen
Bei der geometrischen Definition wird auf einer affinen Translationsebene durch Wahl einer Punktbasis <math>(O,E_1,E_2)</math> ein affines Koordinatensystem eingeführt. Dabei dienen die Punkte auf der ersten Achse <math>OE_1</math> dieses Koordinatensystems als Koordinaten. Auf dem Koordinatenbereich <math>K=OE_1</math> werden eine Addition und Multiplikation durch geometrische Konstruktion eingeführt.
Bei der algebraischen Definition wird der Quasikörper <math>(K,+,\cdot)</math> durch seine algebraischen Eigenschaften charakterisiert und auf der Menge der Paare <math>K^2</math> als Punktkoordinaten eine affine Translationsebene durch algebraische Gleichungen, die die Geraden beschreiben, aufgebaut.
Geometrische Definition
Eine affine Ebene <math>A</math> heißt affine Translationsebene, wenn es zu jedem Paar von Punkten <math>(P,Q)\in A^2</math> eine Translation <math>\tau=\overrightarrow{PQ}</math> gibt, also eine Kollineation <math>\tau:A\rightarrow A</math> mit den Eigenschaften
- <math>\tau(P)=Q</math>,
- für jede Gerade <math>g</math> der Ebene ist <math>\tau(g)\parallel g</math>,
- <math>\tau</math> ist die Identität oder fixpunktfrei.
Eine affine Ebene ist genau dann eine Translationsebene, wenn in ihr der kleine affine Satz von Desargues gilt.
In der affinen Translationsebene werden drei verschiedene Punkte <math>O, E_1, E_2</math> gewählt, die nicht auf einer gemeinsamen Gerade liegen. Die Punkte der ersten Koordinatenachse <math>K=OE_1</math> dienen als Koordinaten. Jedem Punkt der Ebene kann durch die Koordinatenkonstruktion ein Paar <math>(x_1,x_2)\in K^2</math> umkehrbar eindeutig zugeordnet werden.
Addition
Seien <math>a,b\in K</math> zwei Punkte auf der ersten Koordinatenachse <math>OE_1</math>. Deren Summe <math>a+b</math> erhält man wieder als Punkt auf dieser Achse durch folgende Konstruktion,<ref>Degen (1976), S. 50.</ref> vergleiche dazu die Abbildung rechts:
- Wähle einen Hilfspunkt <math>H</math> außerhalb der ersten Koordinatenachse.
- Die Parallele zu <math>OE_1</math> durch <math>H</math> schneidet die Parallele zu <math>OH</math> durch <math>a</math> in <math>P</math>.
- Die Parallele zu <math>bH</math> durch <math>P</math> schneidet die erste Koordinatenachse <math>OE_1</math> im Punkt <math>a+b</math>. Dieser Punkt ist die gesuchte Summe.
Das Ergebnis der Konstruktion ist unabhängig davon, welchen Hilfspunkt <math>H</math> außerhalb der ersten Koordinatenachse man verwendet. Vom zugrundegelegten Koordinatensystem gehen nur der Ursprung und die erste Koordinatenachse als Gerade in die Konstruktion ein. Das heißt: Wählt man ein anderes Koordinatensystem mit demselben Ursprung und derselben ersten Koordinatenachse, aber einen anderen ersten Einheitspunkt auf dieser Achse und einen beliebigen zweiten Einheitspunkt außerhalb der ersten Achse, dann ändert sich dadurch die Addition nicht.
Durch die so konstruierte Addition wird <math>(K,+)</math> zu einer kommutativen Gruppe. Ihr neutrales Element ist der Ursprung <math>O</math> des Koordinatensystems. Sie ist zur Gruppe der Parallelverschiebungen in Richtung der ersten Koordinatenachse isomorph – und damit zu jeder Gruppe von Parallelverschiebungen der Ebene in eine feste Richtung.<ref>Degen (1976), Satz 2.13</ref>
Multiplikation
Seien <math>a,b\in K</math> zwei Punkte auf der ersten Koordinatenachse <math>OE_1</math>. Deren Produkt <math>a\cdot b</math> erhält man wieder als Punkt auf dieser Achse durch folgende Konstruktion,<ref>Degen (1976), S. 50.</ref> vergleiche dazu die Abbildung rechts:
- Die Parallele zu <math>E_1E_2</math> durch <math>b</math> schneidet die zweite Koordinatenachse <math>OE_2</math> in <math>B</math>.
- Die Parallele zu <math>aE_2</math> durch <math>B</math> schneidet die erste Koordinatenachse <math>OE_1</math> im Punkt <math>a\cdot b</math>. In der Zeichnung ist dieser Punkt aus technischen Gründen mit <math>a * b</math> beschriftet.
Mit den beiden Verknüpfungen Addition und Multiplikation erfüllt die erste Koordinatenachse <math>K=OE_1</math> die nachfolgend genannten algebraischen Eigenschaften eines Quasikörpers.<ref>Degen (1976), Satz 2.17</ref> Das neutrale Element der Multiplikation ist der erste Einheitspunkt <math>1=E_1</math>.
Algebraische Definition
Eine Menge <math>K</math> mit den zweistelligen Verknüpfungen <math>+,\; \cdot</math> und zwei verschiedenen Strukturkonstanten <math>0,1\in K</math> heißt (Links-)Quasikörper, wenn die folgenden Axiome gelten:
- <math>(K,+)</math> ist eine abelsche Gruppe mit neutralem Element 0.
- <math>(K\setminus\lbrace 0 \rbrace,\cdot)</math> ist eine Loop mit dem neutralen Element 1, also eine Quasigruppe mit einem zugleich links- und rechtsneutralen Element 1.
- <math> a\cdot 0 = 0\cdot a=0</math> gilt für alle <math>a\in K</math>.
- Es gilt das Linksdistributivgesetz: <math>a\cdot (b+c)=a\cdot b+ a\cdot c</math> für alle <math>a,b,c\in K</math>.
- Zu <math>a,b,c\in K</math> mit <math>a\neq b</math> gibt es genau ein <math>y\in K</math> mit <math>a\cdot y - b\cdot y = c</math>.
Erfüllt die Struktur <math>(K,+,\cdot)</math> diese Eigenschaften eines Quasikörpers, dann können auf der durch die Menge der Paare <math>A=K^2</math> gegebenen Punktmenge durch Koordinatengleichungen Geraden definiert werden. Die Struktur aus Punkten und Geraden bildet dann eine affine Translationsebene. → Die Geradengleichungen sind im Artikel Ternärkörper im Abschnitt Geometrie der Ebene beschrieben.
Kern eines Quasikörpers
Die Menge
- <math>\operatorname{Kern}(K)=\lbrace x\in K :\;\forall a,b\in K \left((a+b)x=ax+bx \land (ab)x=a(bx)\right)\rbrace</math>
wird als Kern des Quasikörpers bezeichnet. Dieser Kern ist ein Schiefkörper. Der Quasikörper ist ein Modul über seinem Kern.
Eigenschaften und Bemerkungen {{#invoke:Vorlage:Anker|f |errCat=Wikipedia:Vorlagenfehler/Vorlage:Anker |errHide=1}}
- Der durch die Axiome definierte Quasikörper ist genauer ein Linksquasikörper, denn in ihm gilt das Linksdistributivgesetz. Auch Rechtsquasikörper – mit Rechtsdistributivgesetz statt 4. und entsprechend mit umgekehrter Multiplikation formuliertem 5. Axiom – werden in der Literatur einfach als Quasikörper gezeichnet, hier kommen aber auch die qualifizierten Begriffe vor.<ref>Weibel (2007) formuliert explizit Axiome „(for) a (right) quasi-field <math>R</math>“, nennt diesen ansonsten einfach „quasi-field“. Er erwähnt (S. 1300), dass „(for) a left quasi-field <math>R</math>...<math>R^{op}</math> is a a right quasi-field“. Degen (1976) kennt nur eine Sorte „Quasikörper“, der das Linksdistributivgesetz erfüllt, also „left quasi-field“.</ref>
- Ein Quasikörper, in dem beide Distributivgesetze gelten, wird in der Geometrie als Halbkörper<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Hauke Klein|Hauke Klein: }}{{#if:|{{#if:Semidfields|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Semidfields}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Semidfields}}}}%7C[{{#invoke:URLutil|getNormalized|1=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Semidfields}}}}]}}{{#if:| ({{{format}}}{{#if:GeometryUniversität Kiel2002-11-29{{#if: 2010-12-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| )
| {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ;
| )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html}}%7C%7C}}}}{{#if:Semidfields|{{#if:{{#invoke:WLink|isValidLinktext|1=Semidfields|lines=0}}||}}}}{{#if: Geometry| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Geometry}}}}{{#if: Universität Kiel| Universität Kiel{{#if: 2002-11-29|,|{{#if: 2010-12-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: 2002-11-29| {{#if:{{#invoke:DateTime|format|2002-11-29|noerror=1}}
|{{#invoke:DateTime|format|2002-11-29|T._Monat JJJJ}}
|{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2002-11-29|class=Zitationswartung}} }}{{#if: |,|{{#if: 2010-12-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2010-12-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2002-11-29Universität Kiel|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:2071918||(?)}}}}}}{{#if: 2010-12-13|;}}}}{{#if: 2010-12-13| {{#if:2002-11-29Universität Kiel{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2010-12-13 |ISO|noerror=1}} }}
|4=im Jahr
|7=im
|10=am
|#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2010-12-13|class=Zitationswartung}} }} {{#invoke:DateTime|format|2010-12-13|T._Monat JJJJ}}
| {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:GeometryUniversität Kiel2002-11-29{{#if: 2010-12-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
| (
| {{#if: | | (}}
}}{{#ifeq:{{#if:en|en|de}}|de||
{{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2002-11-29{{#if: 2010-12-13 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
#if:
| „{{
#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| Vorlage:Str trim
| {{#invoke:Vorlage:lang|flat}}
}}“
| {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
| „Vorlage:Str trim“
| {{#invoke:Text|quote
|1={{#if:
| {{#invoke:Vorlage:lang|flat}}
| {{#invoke:Vorlage:lang|flat}} }}
|2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
|3=1}} }}
}}{{#if:
| (<templatestyles src="Person/styles.css" />{{#if: | : }}{{#if: | , deutsch: „“ }})
| {{#if:
| ({{#if: | , deutsch: „“ }})
| {{#if: | (deutsch: „“) }}
}}
}}{{#if: {{{zitat}}}
| {{#if:
| {{#if: {{{zitat}}}
| Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
| Vorlage:": Text= fehlt }}{{#if: | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
| Vorlage:": Ungültiger Wert: ref=
| {{{ref}}} }}
}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:
|0|=Vorlage:Toter Link/Core{{#if: http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html | {{#if: | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: deadurl |checked|deadurl|= |#default= {{#if: || }} }}[http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html }}|{{#switch: |0|=Vorlage:Toter Link/Core{{#if: http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html | {{#if: | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }} | (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.) }}{{#switch: |no|0|= |#default={{#if: || }} }}{{#invoke:TemplatePar|check |opt = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html}} || {{#if: || }} }} | {{#if: | {{#if: || }} | {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if: | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. ) {{#if: | {{#if: | | Vorlage:Toter Link/archivebot }} }}Vorlage:Toter Link/Core{{#switch: |no|0|= |#default= {{#if: || }} }}{{#invoke:TemplatePar|check |all = inline= url= |opt = datum= date= archivebot= bot= botlauf= fix-attempted= checked= |cat = Wikipedia:Vorlagenfehler/Vorlage:Toter Link |errNS = 0 |template = Vorlage:Toter Link |format = |preview = 1 }}{{#if: http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html}} || {{#if: || }} }} }}{{#if: | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}} || {{#if: || }} }} }}{{#switch: |checked|deadurl|= |#default= {{#if: || }} }}[http://www.math.uni-kiel.de/geometrie/klein/math/geometry/semi.html }} }}}}}}}}}}{{#if:| {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}
}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref> bezeichnet. Man beachte aber, dass diese Bezeichnung in der Mathematik nicht einheitlich gebraucht wird und vergleiche dazu Halbkörper.
- Offensichtlich wird ein Linksquasikörper durch Umkehrung der Multiplikation zu einem Rechtsquasikörper und umgekehrt.
- Gilt in einem Halbkörper im Sinne der synthetischen Geometrie zusätzlich zu beiden Distributivgesetzen die Alternativität, eine abgeschwächte Form des Assoziativgesetzes der Multiplikation, dann ist dieser Halbkörper sogar ein Alternativkörper.
- Durch die Definition <math>T(a,b,c)=a\cdot b+c</math> kann auf jedem Quasikörper eine Ternärverknüpfung eingeführt werden, mit der der Quasikörper zu einem linearen Ternärkörper wird.
- Zum 5. Axiom des Quasikörpers in der algebraischen Definition ist zu bemerken:
- Gilt in <math>K</math> auch das Rechtsdistributivgesetz, dann folgt das 5. Axiom aus den ersten drei Axiomen, es ist eine echte Abschwächung des Rechtsdistributivgesetzes.
- Es ist entbehrlich, das heißt, es folgt ohne weitere Voraussetzungen aus den übrigen Axiomen, falls <math>K</math> endlich ist.<ref>Weibel (2007) S. 1297.</ref>
- Quasikörper wurden bis 1975 in der Literatur als Veblen-Wedderburn-System bezeichnet.<ref>Weibel (2007), S. 1300.</ref>
- Jeder Quasikörper ist eine kartesische Gruppe.
- Jeder Fastkörper ist ein Quasikörper. Ein Quasikörper ist genau dann ein Fastkörper, wenn seine Multiplikation assoziativ ist.
Quasikörper als Koordinatenbereiche projektiver Ebenen
- Quasikörper treten auch als Koordinatenbereiche von speziellen projektiven Ebenen auf. Dies sind in der Klassifikation projektiver Ebenen nach Hanfried Lenz die Ebenen der Klassen IV, V und VII.
- Genauer gilt:<ref>Knuth (1963)</ref> Eine projektive Ebene der Klasse IVa bzw. IVb lässt sich durch Wahl einer geeigneten Punktbasis durch einen Linksquasikörper bzw. einen Rechtsquasikörper koordinatisieren. Jeder Ternärkörper, der der Ebene bei Wahl einer beliebigen Punktbasis zugeordnet wird, ist isotop zu einem Links- bzw. Rechtsquasikörper.
- Alle Koordinatenbereiche einer projektiven Ebene der Klasse V sind zueinander isotope Halbkörper, also zugleich Rechts- und Linksquasikörper. Im Allgemeinen sind diese Halbkörper aber nicht zueinander isomorph.
- Alle Koordinatenbereiche einer projektiven Ebene der Klasse VII sind zueinander isomorphe Alternativkörper.
Beispiele
- Jede stärkere algebraische Struktur, also jeder Fastkörper, Alternativkörper, Schiefkörper oder Körper liefert ein Beispiel für einen Quasikörper.
- Der Artikel Ternärkörper enthält einige Beispiele für Quasikörper, insbesondere auch ein ausführlich dargestelltes Beispiel eines endlichen, nichtkommutativen Quasikörpers (→ im Unterabschnitt Beispiele der Ordnung 9).
Quasikörper endlicher Moulton-Ebenen
Die endlichen Moulton-Ebenen<ref>Bezeichnung nach Pierce (1961) und Pickert (1964)</ref> haben als Koordinatenbereich „echte“ Quasikörper. Zur Konstruktion geht man von einem endlichen Körper <math>F</math> aus, dessen Charakteristik eine ungerade Primzahl ist. In der zyklischen, multiplikativen Gruppe <math>F^\ast=F\setminus \lbrace 0\rbrace</math> existiert dann genau eine Untergruppe <math>Q_1</math> vom Index 2, das ist die Untergruppe der Quadrate <math>Q_1=(F^\ast)^2=\lbrace x^2: x\in F^\ast \rbrace </math>. Sei <math>\varphi</math> ein Körperautomorphismus von <math>F</math>. Nun wird eine neue Multiplikation <math> \odot : F\times F\rightarrow F</math> eingeführt:
- <math>a\odot b =\begin{cases} a\cdot b \quad\mathrm{falls}\; a\in Q_1\\ a\cdot \varphi(b) \quad\mathrm{falls}\; a\not\in Q_1. \end{cases}</math>
Damit wird <math>(F,+,\odot,0,1)</math> zu einem Linksquasikörper, denn das Linksdistributivgesetz ist erfüllt. Wenn der gewählte Körperautomorphismus <math>\varphi</math> nicht die Identität ist, dann ist
- das Kommutativgesetz für die Verknüpfung <math>\odot</math> nicht erfüllt,
- das Assoziativgesetz für die Verknüpfung <math>\odot</math> genau dann erfüllt, wenn <math>\varphi</math> involutorisch ist, also <math>\varphi^2=\mathrm{Id_F}</math> gilt (genau dann ist F mit der neuen Multiplikation ein Linksfastkörper),
- das Rechtsdistributivgesetz nicht erfüllt, da stets Elemente <math>a,b\in Q_1</math> mit <math>a+b\not\in Q_1</math> existieren.
- Das 5. Axiom für Quasikörper folgt aus den übrigen Axiomen, da <math>F</math> endlich ist.
- <math>(F\setminus \{0\},\odot,1)</math> ist eine Loop: Die Neutralität des Einselementes der „gewöhnlichen“ Körpermultiplikation auch bezüglich <math>\odot</math> ist offensichtlich. Die Lösungen der Gleichungen <math>a\odot x =b</math> und <math>y\odot a=b</math>, <math>(a,b\in F\setminus \{0\})</math> lauten
- <math>x=a\operatorname{\setminus} b=\begin{cases} a^{-1}\cdot b\, &(a\in Q_1)\\ \varphi^{-1}(a^{-1}\cdot b)\, &(a\not\in Q_1)\end{cases}
\quad\mathrm{bzw.}\;
y=b/a =\begin{cases} b\cdot a^{-1}\, &(a\cdot b\in Q_1)\\ b\cdot\varphi(a^{-1})\, &(a\cdot b\not\in Q_1)\end{cases}
</math>
Der Kern des Quasikörpers <math>(F,+,\odot,0,1)</math> ist der vom Körperautomorphismus <math>\varphi</math> fixierte endliche Teilkörper <math>S=\{ x\in F: \varphi(x)=x \}</math> von <math>F</math>.<ref>Pickert (1964)</ref>
Literatur
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}
Einzelnachweise und Anmerkungen
<references />
- Wikipedia:Vorlagenfehler/Parameter:URL
- Wikipedia:Vorlagenfehler/Parameter:Linktext
- Wikipedia:Vorlagenfehler/Parameter:Datum
- Wikipedia:Vorlagenfehler/Vorlage:"
- Wikipedia:Weblink offline fix-attempted
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link
- Wikipedia:Vorlagenfehler/Vorlage:Toter Link/URL fehlt
- Synthetische Geometrie
- Verallgemeinerter Körper