TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 224

Angabe

Untersuchen Sie, ob die Menge M mit der Operation $\circ$ ein Gruppoid, eine Halbgruppe, ein Monoid bzw. eine Gruppe ist.

$M=𝔓(A)$, d.h. die Potenzmenge der Menge A, $B\circ C=B\cup C$

Lösungsvorschlag von mnemetz

Basierend auf f.thread:37701

Abgeschlossenheit: Wenn gilt, dass $B,C\in 𝔓(A)$, folgt daraus, dass auch $B\cup C\in 𝔓(A)$. Abgeschlossenheit ist gegeben.

Assoziativität: Es muss gelten: $B\cup (C\cup D)=(B\cup C)\cup D$ für alle $B,C,D\in 𝔓(A)$. Dies ist wahr.

Existenz eines neutralen Elements e: es muss gelten $B\cup e=e\cup B=B\mathrm{\forall }B\in 𝔓(A)$. $e=\varnothing$(leere Menge). Dies ist wahr.

Existenz eines inversen Elements B´ es muss gelten $B\cup B^{\prime }=B^{\prime }\cup B=e\mathrm{\forall }B\in 𝔓(A)$. Aber $B\cup B^{\prime }=B^{\prime }\cup B\ne \varnothing$. Es existiert kein inverses Element B´.

Es liegt ein Monoid vor.