imported>1234qwer1234qwer4: sollte eine Apposition sein

2022-04-27T09:02:31Z

sollte eine Apposition sein

Neue Seite

{{Dieser Artikel|beschreibt den Begriff „Halbkörper“, wie er in der abstrakten Algebra verwendet wird. Zum gleichnamigen Koordinatenbereich für Ebenen in der Geometrie siehe [[Halbkörper (Geometrie)]].}}
In der [[Algebra]], speziell der [[Ringtheorie]], bezeichnet ein '''Halbkörper''' die Spezialisierung eines [[Halbring (Algebraische Struktur)|Halbringes]], in der die Multiplikation nicht nur eine [[Halbgruppe]], sondern eine [[Gruppe (Mathematik)|Gruppe]] bildet. Hat die Addition ein ausgewiesenes 0-Element, wird nur gefordert, dass sich die multiplikative Gruppe über die von der 0 verschiedenen Elemente erstreckt.

== Beispiele ==
Die Menge der positiven Brüche <math>\mathbb{Q}_+</math> zusammen mit der üblichen Addition und Multiplikation bildet einen Halbkörper:
* Addition und Multiplikation sind beide assoziativ, so dass die positiven Brüche unter Addition und Multiplikation jeweils zumindest eine Halbgruppe bilden.
* Addition und Multiplikation sind distributiv, so dass die positiven Brüche unter Addition und Multiplikation einen Halbring bilden.
* Die positiven Brüche bilden eine Gruppe unter der Multiplikation, da die 1 (= 1/1) positiv ist und der Kehrwert jedes positiven Bruchs wieder ein positiver Bruch ist.
* Ohne Null und ohne negative Brüche fehlen <math>\mathbb{Q}_+</math> das neutrale Element und die inversen Elemente bezüglich der Addition, so dass die positiven Brüche unter der Addition keine Gruppe bilden.
Durch Hinzufügen der null und der negativen rationalen Zahlen lassen sich die positiven Brüche zu einem [[Körper (Algebra)|Körper]] erweitern.

Ein weiteres Beispiel für einen Halbkörper sind die [[Ganze Zahl|ganzen Zahlen]] mit der Minimum-Operation (oder Maximum-Operation) als Addition, und der Addition ganzer Zahlen als Multiplikation. Denn die Distributivität ist via <math>\min(a,b)+c = \min(a+c,b+c)</math> und <math>c+\min(a,b)=\min(c+a,c+b)</math> erfüllt.

== Verwandte Strukturen ==
Analog zu den ringartigen Strukturen [[Ring (Algebra)|Ring]], [[Fastring]], [[Halbring (Algebraische Struktur)|Halbring]], gibt es die entsprechenden körperartigen Strukturen [[Schiefkörper]], [[Fastkörper]] und Halbkörper. In ihnen muss nur jeweils die Multiplikation eine Gruppe (statt nur einer Halbgruppe) auf den von 0 verschiedenen Elementen bilden. Für den analogen Übergang Ring nach Körper, wo die Multiplikation auch noch kommutativ gefordert wird, gibt es keine speziellen analogen Begriffe, stattdessen sagt man einfach ''multiplikativ kommutativer'' Fastkörper/Halbkörper.

== Literatur ==
* U. Hebisch; H. J. Weinert: ''Halbringe – Algebraische Theorie und Anwendungen in der Informatik'', Teubner, Stuttgart, 1993
* U. Hebisch; H. J. Weinert: ''Semirings and Semifields. In Handbook of Algebra.'' Elsevier, 1996.

{{SORTIERUNG:Halbkorper}}
[[Kategorie:Verallgemeinerter Körper]]

Halbkörper - Versionsgeschichte

imported>1234qwer1234qwer4: sollte eine Apposition sein