Einheit (Mathematik) - LinkFang.de





Einheit (Mathematik)


In der Algebra, einem Teilgebiet der Mathematik, wird ein invertierbares Element eines Monoids als Einheit bezeichnet. Einheiten werden vor allem in unitären Ringen betrachtet.

Definition

Sei [math](M,\cdot, 1)[/math] ein Monoid, wobei mit [math]1[/math] das neutrale Element bezeichnet wird. Dann heißt ein Element [math]a\in M[/math] eine Einheit, wenn es invertierbar ist, also wenn es ein [math]b\in M[/math] gibt mit

[math]a\cdot b=b\cdot a=1[/math].

Das Element [math]b[/math] mit dieser Eigenschaft ist eindeutig bestimmt und wird als das inverse Element von [math]a[/math] bezeichnet und oft als [math]a^{-1}[/math] notiert.[1]

Elemente, die keine Einheiten sind, werden oft als Nichteinheiten bezeichnet.

Die Menge [math]M^\ast[/math] aller Einheiten eines Monoids, also

[math]M^\ast:=\{x \in M \mid x \text{ ist Einheit}\},[/math]

bildet eine Gruppe, die Einheitengruppe von [math]M[/math].[2] Eine weitere übliche Bezeichnung für die Einheitengruppe ist [math]M^\times[/math].

Spezialfall: Einheiten in unitären Ringen

Sei [math](R,+,\cdot,0,1)[/math] ein unitärer Ring, also ein Ring mit einem neutralen Element bezüglich der Multiplikation, das mit [math]1[/math] bezeichnet wird. Dann ist [math](R,\cdot, 1)[/math] ein Monoid und damit ist der Begriff der Einheit für einen unitären Ring definiert und ist gerade die Menge der invertierbaren Elemente.[3]

Beispiele

  • [math]1[/math] ist immer eine Einheit, weil [math]1 \cdot 1 = 1[/math].
  • [math]0[/math] ist in einem Ring genau dann eine Einheit, wenn der Ring der Nullring ist.
  • In einem Körper [math]K[/math] ist [math]K^* = K\setminus \{0\} [/math]. Das heißt, in einem Körper ist außer der 0 jedes Element eine Einheit. Allgemein werden vom Nullring verschiedene Ringe, in denen außer [math]0[/math] alle Elemente Einheiten sind, als Schiefkörper bezeichnet.
  • In dem Polynomring über einem Integritätsring [math]R[/math] gilt [math]R[X]^* \cong R^*[/math]. Insbesondere erhält man für einen Körper [math]\mathbb K[/math], dass [math]\mathbb K[X]^*\cong\mathbb \mathbb K \setminus \{0\}[/math]. Die Einheiten entsprechen hier genau den Polynomen mit Grad null.
  • Für einen unitären Ring [math]R[/math] ist die Einheitengruppe im Matrizenring [math]R^{n\times n}[/math] die allgemeine lineare Gruppe [math]GL(n,R)[/math] bestehend aus den regulären Matrizen.
  • Im Ring [math]\Bbb Z[/math] der ganzen Zahlen gibt es nur die Einheiten [math]1[/math] und [math]-1[/math].
  • Im Ring [math]\Bbb Z[\mathrm{i}][/math] der ganzen gaußschen Zahlen gibt es die vier Einheiten [math]1, -1, i, -i[/math].
  • Im Ring [math]\Bbb Z[\mathrm{\sqrt{3}}][/math] gibt es unendlich viele Einheiten. Es ist [math]\left( 2+\sqrt{3}\right)\left(2-\sqrt{3} \right)=1 [/math] und damit sind auch alle [math]\left( 2+ \sqrt{3} \right)^k[/math] für [math] k \in \Bbb N[/math] Einheiten.

Eigenschaften

  • Einheiten in unitären Ringen sind nie Nullteiler.
  • Sind [math]a,b\in M[/math] Einheiten, dann sind auch [math]ab[/math] und [math]a^{-1}[/math] Einheiten. Daraus folgt, dass die Einheitengruppe tatsächlich eine Gruppe ist.
  • Endliche Untergruppen der Einheitengruppe eines Integritätsrings sind stets zyklisch.[4]
  • Jede Nichteinheit eines kommutativen unitären Rings liegt in einem maximalen Ideal. Insbesondere ist die Einheitengruppe gerade das Komplement der Vereinigung aller maximaler Ideale und ein Ring hat genau dann nur ein maximales Ideal, ist also ein lokaler Ring, wenn die Nichteinheiten ein Ideal bilden.

Verallgemeinerung: Links- und Rechtseinheiten

Ist das Monoid [math]M[/math] nicht kommutativ, so können auch einseitige Einheiten betrachtet werden

  • Ein Element [math]a\in M[/math], das die Bedingung [math]ab = 1[/math] für ein Element [math]b\in M[/math] erfüllt, heißt Linkseinheit.
  • Ein Element [math]a\in M[/math], das die Bedingung [math]ba = 1[/math] für ein Element [math]b\in M[/math] erfüllt, heißt Rechtseinheit.

Ein Element [math]a\in M[/math] ist genau dann eine Einheit, wenn es gleichzeitig eine Linkseinheit und eine Rechtseinheit ist. In einem kommutativen Monoid stimmen die drei Begriffe überein. [math]1[/math] bleibt auch im nicht-kommutativen Fall eine beidseitige Einheit.

Beispiel

Es gibt den folgenden Ring [math]R[/math], in dem es eine Linkseinheit [math]A[/math] gibt, die keine Rechtseinheit ist, und eine Rechtseinheit [math]B[/math], die keine Linkseinheit ist. Außerdem sind [math]A[/math] und [math]B[/math] noch einseitige Nullteiler.

[math]R[/math] bestehe aus allen Matrizen der Größe "abzählbar-mal-abzählbar" mit Komponenten in den reellen Zahlen, bei denen in jeder Zeile und in jeder Spalte nur endlich viele Nicht-Nullen stehen (insgesamt dürfen dabei unendlich viele Nicht-Nullen enthalten sein). [math]R[/math] ist ein Ring mit der gewöhnlichen Matrizenaddition und Matrizenmultiplikation. Die Einheitsmatrix [math]E[/math] hat nur Einsen auf der Hauptdiagonalen und sonst Nullen, sie ist das Einselement von [math]R[/math] (das neutrale Element der Multiplikation).

[math]A[/math] sei die Matrix in [math]R[/math], die in der ersten oberen Nebendiagonalen nur Einsen hat und sonst nur Nullen:

[math]A = \begin{pmatrix} 0 & 1 & 0 &0&0&\\ 0 & 0 & 1 &0&0&\cdots\\ 0 & 0 & 0 &1&0&\\ 0&0&0&0&1&\ddots\\ &\vdots&&&\ddots&\ddots \end{pmatrix}[/math]

[math]B[/math] sei die Transponierte [math]A^T[/math] von [math]A[/math], also die Matrix, die in der ersten Diagonalen unterhalb der Hauptdiagonalen nur Einsen hat, und sonst nur Nullen.

Es ist [math]AB = E[/math], also ist [math]A[/math] eine Linkseinheit und [math]B[/math] eine Rechtseinheit. Für jedes Element [math]C[/math] von [math]R[/math] hat aber das Produkt [math]CA[/math] in der ersten Spalte nur Nullen, und das Produkt [math]BC[/math] in der ersten Zeile nur Nullen. Damit kann [math]A[/math] keine Rechtseinheit und [math]B[/math] keine Linkseinheit sein. Mit der Matrix [math]D[/math], die nur in der Komponente [math]D_{1,1}[/math] eine Eins und sonst nur Nullen enthält, ist [math]AD = 0[/math] und [math]DB = 0[/math], also ist [math]A[/math] ein Linksnullteiler und [math]B[/math] ein Rechtsnullteiler.

Eine funktionalanalytische Variante dieses Beispiels ist der unilaterale Shiftoperator.

Einzelnachweise

  1. Karpfinger, Meyberg: Algebra 2013, S.9
  2. Karpfinger, Meyberg: Algebra 2013, Lemma 2.4
  3. Karpfinger, Meyberg: Algebra 2013, 13.3
  4. Karpfinger, Meyberg: Algebra 2013, 14.9

Literatur


Kategorien: Algebra

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Einheit (Mathematik) (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.