Gruppendefinition (lang): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
(Definition 2: (Halbgruppe))
Zeile 10: Zeile 10:
 
=Definition 2: (Halbgruppe)=
 
=Definition 2: (Halbgruppe)=
 
Eine algebraische Struktur <math>[H, \odot]</math> heißt Halbgruppe, wenn  
 
Eine algebraische Struktur <math>[H, \odot]</math> heißt Halbgruppe, wenn  
<math>\odot</math> auf <math>H</math> abgeschlossen und assoziativ ist<br />
+
<math>\odot</math> auf <math>H</math> abgeschlossen und assoziativ ist.<br />
Dabei bedeutet:
+
D.h. es gilt:
#Abgeschlossenheit: <math>\forall a,b \in H: a \odot b \in H</math>
+
#(Abgeschlossenheit) <math>\forall a,b \in H: a \odot b \in H</math>
#Assoziativität: <math>\forall a, b, c: (a \odot b) \odot a = a \odot (b \odot c)</math>.
+
#(Assoziativität) <math>\forall a, b, c: (a \odot b) \odot a = a \odot (b \odot c)</math>.
 
<!--- Was hier drunter steht muss stehen bleiben --->
 
<!--- Was hier drunter steht muss stehen bleiben --->
 
|}
 
|}
 
</div>
 
</div>
 
[[Kategorie:Algebra]]
 
[[Kategorie:Algebra]]

Version vom 5. November 2017, 17:44 Uhr

Definition 1: (Algebraische Struktur)

Eine Menge S zusammen mit einer Operation o oder Relation r auf dieser Menge nennt man algebraische Struktur.

Schreibweise:
[S, o] bzw [S, r]

Definition 2: (Halbgruppe)

Eine algebraische Struktur [H, \odot] heißt Halbgruppe, wenn \odot auf H abgeschlossen und assoziativ ist.
D.h. es gilt:

  1. (Abgeschlossenheit) \forall a,b \in H: a \odot b \in H
  2. (Assoziativität) \forall a, b, c: (a \odot b) \odot a = a \odot (b \odot c).