Neutrales Element

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.

Definition

Sei (G,o) eine Halbgruppe (eine Menge mit einer assoziativen Verknüpfung). Dann heißt ein Element e

linksneutral, falls e o a = a für alle a aus G ist,
rechtsneutral, falls a o e = a für alle a aus G 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 G mit neutralem Element heißt Monoid. Hat zusätzlich jedes Element von G ein Inverses, so ist G eine Gruppe.

Ist R ein Ring, dann ist R mit der Addition eine kommutative Gruppe, deren neutrales Element als Nullelement bezeichnet wird. Die Multiplikation muss kein neutrales Element haben, wenn aber eins existiert, dann heißt es Einselement.

Beispiele

In den reellen Zahlen ist 0 das neutrale Element der Addition und 1 das neutrale Element der Multiplikation, denn 0+x = x+0 = x und 1*x = x*1 = x für jedes x.

Im Ring der n-mal-n-Matrizen über einem Körper ist die Nullmatrix das neutrale Element der Addition und die Einheitsmatrix das neutrale Element der Multiplikation.

Eigenschaften

Wenn eine Halbgruppe G sowohl rechtsneutrale als auch linksneutrale Elemente hat, dann stimmen alle diese Elemente überein und G hat genau ein neutrales Element. Denn ist a*e = a und f*a = a für alle a, 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 M mit der Verknüpfung a o b := b. Darin ist jedes Element linksneutral, aber keins rechtsneutral. Analog gibt es auch Halbgruppen mit rechtsneutralen, aber ohne linksneutrale Elemente.

So etwas kann auch bei der Multiplikation in Ringen auftreten. Ein Beispiel ist der folgende Teilring R der 2-mal-2-Matrizen über einem beliebigen Körper K.

R = \left\{ \begin{pmatrix}a & b \\ 0 & 0

\end{pmatrix} | a,b \in K \right\}

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 aus K. Nach dem oben gesagten kann die Multiplikation in R dann keine rechtsneutralen Elemente haben.

Siehe auch:

Weblinks

http://www.mathematik.net/gruppen/gr1s7.htm

Algebra

Gourt Home::Gourt :: Neutrales Element

Definition

Beispiele

Eigenschaften

Weblinks