Nullelement

Nullelement

In der Algebra treten neutrale Elemente bei der Betrachtung von Strukturen mit inneren Verknüpfungen auf, z. B. bei Monoiden, Gruppen, Ringen und Körpern.

Inhaltsverzeichnis

Definition

Sei (S, * ) eine Halbgruppe (eine Menge mit einer assoziativen Verknüpfung). Dann heißt ein Element e \in S

  • linksneutral, falls e * a = a für alle a \in S ist,
  • rechtsneutral, falls a * e = a für alle a \in S ist,
  • neutral, falls e linksneutral und rechtsneutral ist.

Ist die Verknüpfung kommutativ, dann stimmen die drei Begriffe überein. Falls sie aber nicht kommutativ ist, dann kann es Unterschiede zwischen rechtsneutralen und linksneutralen Elementen geben.

Eine Halbgruppe S mit neutralem Element heißt Monoid. Hat zusätzlich jedes Element in S ein inverses Element in S, so ist S eine Gruppe.

Häufig wird für die Verknüpfung * das Symbol \cdot benutzt, man spricht dann von einer multiplikativ geschriebenen Halbgruppe. Ein neutrales Element heißt dann Einselement und wird durch 1 symbolisiert. Wie auch bei der gewöhnlichen Multiplikation üblich, kann in vielen Situationen der Malpunkt \cdot weggelassen werden.

Eine Halbgruppe lässt sich auch additiv notieren, indem für die Verknüpfung * das Symbol + benutzt wird. Ein neutrales Element heißt dann Nullelement und wird durch 0 symbolisiert.

Beispiele

Eigenschaften

Wenn eine Halbgruppe S sowohl rechtsneutrale als auch linksneutrale Elemente hat, dann stimmen alle diese Elemente überein und S hat genau ein neutrales Element. Denn ist a * e = a und f * a = a für alle a \in S, dann ist f = f * e = e.

Das neutrale Element eines Monoids ist also eindeutig bestimmt.

Hat eine Halbgruppe aber kein rechtsneutrales Element, dann kann sie mehrere linksneutrale haben. Einfachstes Beispiel ist eine beliebige mindestens zweielementige Menge mit der Verknüpfung a * b: = b. Darin ist jedes Element linksneutral, aber keins rechtsneutral. Analog gibt es auch Halbgruppen mit rechtsneutralen, aber ohne linksneutrale Elemente.

Dies kann auch bei der Multiplikation in Ringen auftreten. Ein Beispiel ist der Teilring

R = \left\{\left.\begin{pmatrix}a & b \\ 0 & 0 \end{pmatrix}\right| a,b \in K \right\}

der 2-mal-2-Matrizen über einem beliebigen Körper K. Man rechnet leicht nach, dass R ein nichtkommutativer Ring ist. Linksneutral bzgl. der Multiplikation sind genau die Elemente

\begin{pmatrix}1 & x \\ 0 & 0\end{pmatrix}

mit x \in K. Nach dem oben gesagten kann die Multiplikation in R dann keine rechtsneutralen Elemente haben.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Nullelement — Null|element,   Mathematik: in einem Körper oder Ring das neutrale Element bezüglich der Addition; Symbol 0. Auch bei kommutativen Gruppen, deren Verknüpfung als Addition geschrieben wird, spricht man vom Nullelement als dem neutralen Element der …   Universal-Lexikon

  • Beschränkter Verband — In der Mathematik ist ein Verband eine bestimmte algebraische Struktur mit zwei Verknüpfungen bzw. eine halbgeordnete Menge mit bestimmten Eigenschaften. Inhaltsverzeichnis 1 Definition 2 Verbandsordnung 2.1 Hasse Diagramme 3 Spezielle Verbänd …   Deutsch Wikipedia

  • Distributiver Verband — In der Mathematik ist ein Verband eine bestimmte algebraische Struktur mit zwei Verknüpfungen bzw. eine halbgeordnete Menge mit bestimmten Eigenschaften. Inhaltsverzeichnis 1 Definition 2 Verbandsordnung 2.1 Hasse Diagramme 3 Spezielle Verbänd …   Deutsch Wikipedia

  • Komplementärer Verband — In der Mathematik ist ein Verband eine bestimmte algebraische Struktur mit zwei Verknüpfungen bzw. eine halbgeordnete Menge mit bestimmten Eigenschaften. Inhaltsverzeichnis 1 Definition 2 Verbandsordnung 2.1 Hasse Diagramme 3 Spezielle Verbänd …   Deutsch Wikipedia

  • Verband (Mathematik) — In der Mathematik ist ein Verband eine bestimmte algebraische Struktur mit zwei Verknüpfungen bzw. eine halbgeordnete Menge mit bestimmten Eigenschaften. Inhaltsverzeichnis 1 Definition 2 Verbandsordnung 2.1 Hasse Diagramme …   Deutsch Wikipedia

  • Verbandstheorie — In der Mathematik ist ein Verband eine bestimmte algebraische Struktur mit zwei Verknüpfungen bzw. eine halbgeordnete Menge mit bestimmten Eigenschaften. Inhaltsverzeichnis 1 Definition 2 Verbandsordnung 2.1 Hasse Diagramme 3 Spezielle Verbänd …   Deutsch Wikipedia

  • Vollständiger Verband — In der Mathematik ist ein Verband eine bestimmte algebraische Struktur mit zwei Verknüpfungen bzw. eine halbgeordnete Menge mit bestimmten Eigenschaften. Inhaltsverzeichnis 1 Definition 2 Verbandsordnung 2.1 Hasse Diagramme 3 Spezielle Verbänd …   Deutsch Wikipedia

  • Halbring (Algebraische Struktur) — Halbring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von Links Halbring …   Deutsch Wikipedia

  • Boolesche Algebra — In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen… …   Deutsch Wikipedia

  • Fastring — Ein Fastring ist in der Mathematik die Verallgemeinerung der algebraischen Struktur eines Ringes, in der die Addition nicht mehr kommutativ sein muss und in der nur ein einseitiges Distributivgesetz gilt. Im allgemeinen werden Fastringe verwendet …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”