Inhalt

Grundlagen der Mathematik

Diskrete Mathematik

Algebra

Gleichungen

Gruppen

Halbgruppen und Monoide

Beispiele

Gruppentafel

Kommutative Gruppen

Untergruppen

Homomorphismus

Spezielle Gruppen

Isomorphietypen

Ringe und Körper

Algebren

Polynome

Differentialgleichungen

Funktionalanalysis

Differentialgeometrie

Anbieterkennzeichnung

Weiterbildung für alle! Über 200 Fernlehrgänge an Deutschlands größter Fernschule!

Halbgruppen und Monoide

Sei eine binäre Operation. heißt assoziativ, falls für alle gilt. Eine Menge M mit einer assoziativen binären Operation heißt Halbgruppe.

Ein Element heißt rechtsneutral, falls für alle ; analog heißt e linksneutral, falls . Ist e linksneutral und rechtsneutral, so heißt e neutral.

Jede Gruppe ist ein Monoid; ein Monoid muss im Gegensatz zur Gruppe nicht notwendigerweise inverse Elemente besitzen.

Satz 16IV

Ist eine binäre Operation und e linksneutral und f rechtsneutral, so gilt e = f.

Beweis

Ein Monoid ist eine Halbgruppe mit neutralem Element.

Beispiele

Sind die natürlichen Zahlen einschließlich der Null, so ist ein Monoid und ist eine Halbgruppe.

ist ein Monoid.

Die Menge der ganzen Zahlen mit der Addition ist ein Monoid. ist kein Monoid, da die Subtraktion nicht assoziativ ist.

Der dreidimensionale euklidische Raum mit dem Vektorprodukt ist kein Monoid, da das Assoziativgesetz verletzt ist. Bezeichnen wir mit e_i den i-ten Einheitsvektor, so ist .

Die Menge der Vielfachen einer ganzen Zahl n: ist ein Monoid.

Die Menge der nichtnegativen rationalen Zahlen mit der Addition ist ebenso wie die Menge der positiven rationalen Zahlen mit der Multiplikation ein Monoid.

Die Potenzmenge einer Menge X mit dem Durchschnitt ist ein kommutatives Monoid.

Sei M ein Monoid mit dem neutralen Element 1 und . Ein heißt rechtsinvers zu a falls ab = e; analog heißt linksinvers zu a falls ca = 1.

Satz 16IW

Sei M ein Monoid und . Ist rechtsinvers und linksinvers zu a, so ist b = c.

Beweis

b = 1b = (ca)b = c(ab) = c1 = c.

Ist a invertierbar, so schreibt man für das Inverse a^-1 (bzw. - a, falls die Operation einen additiven Charakter hat).

Satz 16IX

Sei M ein Monoid und invertierbar. Dann gilt

(a^-1 )^-1 = a
(ab)^-1 = b^-1 a^-1

Beweis

(i) a^-1 a = 1 = aa^-1 .

(ii) (ab)(b^-1 a^-1 ) = abb^-1 a^-1 = a1a^-1 = aa^-1 = 1. Analog (b^-1 a^-1 )(ab).

Religion und Mathematik sind nur verschiedene Ausdrucksformen derselben göttlichen Exaktheit.

Kardinal Michael Faulhaber

Druckansicht

Impressum: Wurzelzieher Mathepedia • Thomas Steinfeld • Dorfplatz 25 • 17237 Blankensee • Tel.: 01734332309 (Vodafone/D2) • Email: matһе@wυrzеlzιeher.de

Amazon.de empfiehlt: