Zum Inhalt springen

Fastkörper

aus Wikipedia, der freien Enzyklopädie

Ein Fastkörper ist eine algebraische Struktur, die in der synthetischen Geometrie als Koordinatenbereich für gewisse affine und projektive Translationsebenen dient. Er verallgemeinert den Begriff Schiefkörper insofern, als nur eines der Distributivgesetze gefordert wird: Für einen Linksfastkörper das Links-, für einen Rechtsfastkörper das Rechtsdistributivgesetz. Ein Fastkörper, der nur eines der Distributivgesetze erfüllt, wird auch als echter Fastkörper bezeichnet. Zur Unterscheidung von abweichenden Bedeutungen des Begriffes werden die hier beschriebenen Strukturen manchmal (etwa von Zassenhaus<ref name="Zassenhaus">Zassenhaus (1935)</ref>) vollständige Fastkörper genannt.

Die projektiven Ebenen der Klassen IVa.2 in der Lenz-Barlotti-Klassifikation projektiver Ebenen können stets durch einen echten Linksfastkörper koordinatisiert werden, ebenso die (bis auf Isomorphie) einzige Ebene der Klasse IVa.3. Die dualen Klassen IVb.2 und IVb.3 können durch echte Rechtsfastkörper koordinatisiert werden. Daneben kann man aus angeordneten Fastkörpern durch eine Änderung der Multiplikation, die mit der Moulton-Ebenen-Konstruktion verwandt ist, Modelle für angeordnete Ternärkörper konstruieren, die Ebenen der Lenz-Klasse I koordinatisieren.<ref>Prieß-Crampe (1983) V.§5 Lenz-Barlotti-Klassifizierung angeordneter projektiver Ebenen</ref>

Auf einem endlichen Fastkörper als Koordinatenbereich kann man stets einen schwach affinen Raum<ref>Sperner (1960)</ref> aufbauen.

Jeder Schiefkörper ist ein Fastkörper. Jeder Fastkörper ist ein Quasikörper und damit erst recht eine Kartesische Gruppe und ein Ternärkörper.

Definition

Ein Linksfastkörper oder kurz Fastkörper ist eine algebraische Struktur <math>(F, +, \cdot),</math> sodass auf der Menge <math>F</math> zwei zweistellige Verknüpfungen Addition <math>+</math> und Multiplikation <math>\cdot</math> definiert sind, für die gilt:<ref name="Zassenhaus" /><ref name="Zemmer_1969">Zemmer (1969)</ref>

  1. <math>(F, +)</math> ist eine Gruppe mit dem neutralen Element <math>0.</math>
  2. <math>(F\setminus\{0\}, \cdot)</math> ist eine Gruppe mit dem neutralen Element <math>1.</math>
  3. Die Null ist absorbierend: <math> a\cdot 0 = 0\cdot a=0</math> gilt für alle <math>a\in F</math>.
  4. Es gilt das Linksdistributivgesetz: <math>a \cdot (b + c) = a \cdot b + a \cdot c</math> für alle <math>a, b, c \in F.</math>

Gilt anstelle des Linksdistributivgesetzes das Rechtsdistributivgesetz, dann spricht man von einem Rechtsfastkörper.<ref>In der englischsprachigen Fachliteratur wird häufiger den „Rechts“-Versionen, in der deutschsprachigen eher den „Links“-Versionen der Vorzug gegeben. In allen Fällen werden die qualifizierenden Angaben („Linksquasikörper“ usw.) allenfalls am Anfang bei der Definition der Strukturen verwendet. Vergleiche Weibel (2007) S. 1300.</ref>

Gleichwertig kann man einen Linksfastkörper definieren als einen Linksquasikörper mit assoziativer Multiplikation.<ref name="HKlein_Nearfields">{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Hauke Klein|Hauke Klein: }}{{#if:|{{#if:Nearfields|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Nearfields}}]{{#if:| ()}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.html%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Nearfields}}}}%7C[{{#invoke:URLutil|getNormalized|1=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.html}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Nearfields}}}}]}}{{#if:| ({{#if:GeometryUniversität Kiel2002-11-29{{#if: 2011-12-15 | {{#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/nearfield.html%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.html}}%7C%7C}}}}{{#if:Nearfields|{{#if:{{#invoke:WLink|isValidLinktext|1=Nearfields|lines=0}}||}}}}{{#if: Geometry| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Geometry}}}}{{#if: Universität Kiel| Universität Kiel{{#if: 2002-11-29|,|{{#if: 2011-12-15 | {{#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: 2011-12-15 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2011-12-15 | {{#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:962330||(?)}}}}}}{{#if: 2011-12-15|;}}}}{{#if: 2011-12-15| {{#if:2002-11-29Universität Kiel{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2011-12-15 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2011-12-15|class=Zitationswartung}} }} {{#invoke:DateTime|format|2011-12-15|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: 2011-12-15 | {{#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: 2011-12-15 | {{#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/nearfield.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/nearfield.html
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.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/nearfield.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/nearfield.html
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.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/nearfield.html }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.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/nearfield.html
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.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/nearfield.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/nearfield.html
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.math.uni-kiel.de/geometrie/klein/math/geometry/nearfield.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/nearfield.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> Entsprechendes gilt natürlich auch für die jeweiligen „Rechts“-Strukturen.

Kern des Fastkörpers

Wie bei einem Quasikörper wird auch für einen Fastkörper die Menge

<math>\operatorname{Kern}(F) := \{x \in F \mid \forall a,b \in F\colon (a+b)x = ax+bx\}</math> für Linksfastkörper bzw.
<math>\operatorname{Kern}(F) := \{x \in F \mid \forall a,b \in F\colon x(a+b) = xa+xb\}</math> für Rechtsfastkörper

als Kern des Fastkörpers definiert.

Eigenschaften und Bemerkungen

  • Ein Fastkörper ist ein Fastring <math>(F, +, \cdot),</math> bei dem <math>(F\setminus\{0\}, \cdot)</math> eine Gruppe ist.
  • Die Addition eines Fastkörpers ist stets kommutativ,<ref name="Zassenhaus" /><ref name="Zemmer_1969" /><ref>Neumann (1940)</ref> mit anderen Worten: <math>(F, +)</math> ist eine abelsche Gruppe.
  • Der Begriff „(vollständiger) Fastkörper“ der Geometrie steht zwischen den Begriffen „Quasikörper“ und „Schiefkörper“:
  • Jeder Fastkörper ist ein Quasikörper und ein Quasikörper ist genau dann ein Fastkörper, wenn in ihm das Assoziativgesetz der Multiplikation gilt.
  • Jeder Schiefkörper ist ein Fastkörper und ein Fastkörper ist genau dann ein Schiefkörper, wenn in ihm beide Distributivgesetze gelten.
  • Ebenfalls zwischen „Quasikörper“ und „Schiefkörper“ stehen die Begriffe „Halbkörper“ (im Sinne der Geometrie) und der schärfere Begriff „Alternativkörper“, beide Begriffe beschreiben auch Strukturen, die keine Fastkörper sind und ein Fastkörper braucht kein Halbkörper und damit erst recht kein Alternativkörper zu sein.
  • Ein Halbkörper ist genau dann ein Fastkörper, wenn in ihm das Assoziativgesetz der Multiplikation gilt, er ist dann sogar ein Schiefkörper. Mit anderen Worten: Eine algebraische Struktur, die zugleich Halbkörper und Fastkörper ist, ist zwingend ein Schiefkörper.
  • Die beiden vorigen Aussage gelten wortgleich für „Alternativkörper“ an Stelle von „Halbkörper“.
  • Der Kern eines Fastkörpers ist ein Schiefkörper und der Fastkörper ist ein Modul über seinem Kern. (Für geometrische Folgerungen aus dieser Tatsache siehe Affine Translationsebene!)
  • Der Kern eines endlichen Fastkörpers ist nach dem Satz von Wedderburn ein endlicher Körper. Also ist jeder endliche Fastkörper ein endlichdimensionaler Vektorraum über einem solchen endlichen Körper und hat daher <math>p^n</math> Elemente (<math>p</math> Primzahl, <math>n\in\mathbb{N}</math>).
  • Ein Fastkörper ist genau dann ein Halbkörper – und damit auch ein Schiefkörper – wenn er mit seinem Kern übereinstimmt.

Beispiele

  • Jeder Schiefkörper und erst recht jeder Körper liefert natürlich ein Beispiel für einen Fastkörper.
  • Der neunelementige Quasikörper <math> J_9</math>, der im Artikel Ternärkörper (im Abschnitt Beispiele der Ordnung 9) genauer beschrieben wird, ist ein Beispiel für einen endlichen Rechtsfastkörper, der kein Halbkörper ist.
  • Für jede ungerade Primzahl <math>p</math> kann man im endlichen Körper mit <math> p^{2n}</math> Elementen, <math>\mathbb{F}_{p^{2n}},\; (n\in \mathbb{N}\setminus \lbrace 0\rbrace )</math> die Multiplikation so modifizieren, dass ein „echter“ vollständiger Linksfastkörper <math>F</math> der Ordnung <math>p^{2n}</math> entsteht, der ein zweidimensionaler Vektorraum über seinem Kern <math>\mathrm{Kern}(F)=\mathbb{F}_{p^n}</math> ist.<ref>Hughes (1957)</ref> Eine mögliche Konstruktion ist im Artikel Quasikörper im Abschnitt Quasikörper endlicher Moulton-Ebenen ausführlich beschrieben. Um das Assoziativgesetz der Multiplikation zu erfüllen, kann man dort der modifizierten Multiplikation den involutorischen Körperautomorphismus <math>\varphi: \mathbb{F}_{p^{2n}}\rightarrow \mathbb{F}_{p^{2n}}; x\mapsto x^{(p^n)}</math> zugrunde legen und erhält so einen Linksfastkörper der beschriebenen Art.

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

<references />

{{#ifeq: s | p | | {{#if: 4221664-3 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4221664-3 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4221664-3 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung