Neutrales Element


Neutrales Element

Ein neutrales Element ist ein spezielles Element einer algebraischen Struktur. Es ist dadurch gekennzeichnet, dass jedes Element durch die Verknüpfung mit dem neutralen Element auf sich selbst abgebildet wird.

Inhaltsverzeichnis

Definition

Sei (S, * ) ein Magma (eine Menge mit einer zweistelligen 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 ein rechtsneutrales Element geben, das nicht linksneutral ist, oder ein linksneutrales Element, das nicht rechtsneutral ist.

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:

  • neutrales Element. — neutrales Elemẹnt.   Ist auf einer Menge M eine Verknüpfung v : M × M → M gegeben, so heißt ein Element nL ∈ M …   Universal-Lexikon

  • Element (Mathematik) — Ein Element in der Mathematik ist immer im Rahmen der Mengenlehre oder Klassenlogik zu verstehen. Die grundlegende Relation, wenn x ein Element ist und M eine Menge oder Klasse ist, lautet: „x ist Element von M“ oder mit mathematischen Symbolen „ …   Deutsch Wikipedia

  • Primitives Element — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Invertierbares Element — In der Mathematik treten inverse Elemente bei der Untersuchung von algebraischen Strukturen mit zweistelligen Verknüpfungen auf. Inhaltsverzeichnis 1 Definition 2 Eigenschaften 3 Beispiele 3.1 Additiv Inverses …   Deutsch Wikipedia

  • Inverses Element — In der Mathematik treten inverse Elemente bei der Untersuchung von algebraischen Strukturen auf. Solch eine Struktur besteht einfach gesagt aus einer Menge und einer in ihr definierten zweistelligen Verknüpfung (Rechenoperation). In diesem… …   Deutsch Wikipedia

  • Absorbierendes Element — Ein absorbierendes Element ist ein spezielles Element einer algebraischen Struktur. Inhaltsverzeichnis 1 Definition 2 Beispiele 3 Siehe auch 4 Literatur …   Deutsch Wikipedia

  • Faktorhalbgruppe — Halbgruppe (Axiome EA) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) …   Deutsch Wikipedia

  • Kürzbare Halbgruppe — Halbgruppe (Axiome EA) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) …   Deutsch Wikipedia

  • Reguläre Halbgruppe — Halbgruppe (Axiome EA) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) …   Deutsch Wikipedia

  • Restklassenhalbgruppe — Halbgruppe (Axiome EA) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) …   Deutsch Wikipedia