TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2023W/Beispiel 337

Aus VoWi
Zur Navigation springen Zur Suche springen

Man zeige, dass mit der Operation

eine Halbgruppe ist. Gibt es ein neutrales Element? Wenn ja, welche Elemente haben Inverse?

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:
{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}


Hilfreiches[Bearbeiten | Quelltext bearbeiten]

Gruppeneigenschaften
Gruppeneigenschaften[Bearbeiten | Quelltext bearbeiten]

Gesetze und Eigenschaften von algebraischen Strukturen

Eine algebraische Struktur ist eine nichtleere Menge G mit einer oder mehreren Operationen.

Folgende Eigenschaften kann eine solche Struktur annehmen:

  1. Abgeschlossenheit: für ist (d.h. ist eindeutig zugeordnet). Das entspricht einer Funktion
  2. Assoziativgesetz: für alle .
  3. Einheitselement: Es existiert ein , so dass für alle gilt: .
  4. Inverses Element: Für jedes gibt es ein inverses Element (oder auch ) so, dass gilt . Wobei das e das Einheitselement ist.
  5. Kommutativgesetz: für alle .
Nr. Gruppoid Halbgruppe Monoid Gruppe Abelsche Gruppe
1
2
3
4
5

Lösungsvorschlag von mnemetz 0[Bearbeiten | Quelltext bearbeiten]

Basierend auf f.thread:37761 !

Abgeschlossenheit[Bearbeiten | Quelltext bearbeiten]

Die Operationen *,+,- sind abgeschlossen. Wenn gilt, dass sind, folgt dass a*b und a+b und a-b Element aus sind.

Daher ist die Abgeschlossenheit gegeben.

Assoziativität[Bearbeiten | Quelltext bearbeiten]

Es muss gelten: für alle .

Beide Seiten sind gleich, daher ist die Assoziativität gegeben.

Neutrales Element[Bearbeiten | Quelltext bearbeiten]

Es muss gelten:

Inverse Elemente[Bearbeiten | Quelltext bearbeiten]

Es muss gelten:

Für die Elemente 0 und 2 existiert ein inverses Element.

[Anmerkung von David Mihola: Wieso nur für 0 und 2? Es müsste doch für jedes a, für das der Ausdruck in der letzten Zeile definiert ist (also für alle außer 1) ein inverses Element geben, oder? Und: Sagt man, das neutrale Element ist sein eigenes Inverses?]

[Antwort vom moep: wir bewegen uns in den ganzen Zahlen , alles andere wuerde ja einen Bruch ergeben, siehe dazu den thread im informatik-forum https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?81297-Beispiel-37-aus-der-%DCbung ]

Kommutativität[Bearbeiten | Quelltext bearbeiten]

Es muss gelten:

Somit ist die Kommutativität gegeben.

Schlussfolgerung[Bearbeiten | Quelltext bearbeiten]

Es liegt ein Monoid vor.

Anmerkung: Damit ein Monoid vorliegt, muss für jedes Element aus der Gruppe ein Inverses existieren. Dies ist offensichtlich nicht der Fall (3 und 0 haben kein Inverses, als einfaches Gegenbeispiel). Hier handelt es sich nur um eine Halbgruppe. -- luis

Es ist auf jeden Fall ein Monoid, siehe Buch Seite 73. Wenn jedes Element ein Inverses besitzt, handelt es sich um eine Gruppe.

In der neuen Auflage Buch Seite 80 ganz unten.

[ Anmerkung von ilaViCion: Genauer gesagt ein kommutativer Monoid. ]