|
|
| (95 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) |
| Zeile 1: |
Zeile 1: |
| {{In Bearbeitung}}
| | [[Kategorie:Lehrveranstaltung]] |
| =Definition=
| |
| | |
| Ein [[Tupel]] <math>\mathcal{A} = (A, o_1, ..., o_m)</math> heißt [[algebraische Struktur]] (kurz [[Algebra]]), wenn:
| |
| | |
| * <math>A\,</math> ist eine nichtleere [[Menge]]
| |
| * <math> o_1, ..., o_m\,\,\,(m \in \mathbb{N}</math>) sind [[endlich]] viele (evtl. partielle) [[algebraische Operation]]en bzgl. <math>A\,</math>, d.h. für alle <math>i \in [1..m]</math> ist <math>o_i\,</math> eine (evtl. [[partielle Funktion|partielle]]) [[Funktion]] <math>o_i: A^{n_i} \rightarrow A\,\,\,(n_i\in \mathbb{N}_0)</math>
| |
| | |
| =Beispiele=
| |
| | |
| * Die [[natürliche Zahl|natürlichen Zahlen]] bilden zusammen mit der Addition und der Multiplikation eine algebraische Struktur: <math>(\mathbb{N}, +, \cdot)</math>.
| |
| * Die [[natürliche Zahl|natürlichen Zahlen]] bilden zusammen mit der Addition, der Subtraktion und der Multiplikation eine algebraische Struktur: <math>(\mathbb{N}, +, -, \cdot)</math>. Dabei ist die Subtraktion lediglich eine partielle algebraische Operation.
| |
| | |
| =Verschiedene Typen von algebraischen Strukturen=
| |
| | |
| ** [[Halbgruppe]]
| |
| *** [[Monoid]]
| |
| **** [[Gruppe (Mathematik)|Gruppe]]
| |
| ***** [[Abelsche Gruppe]] = [[Kommunikative Gruppe]]
| |
| ** [[Halbring]]
| |
| *** [[Dioid]]
| |
| **** [[Ring (Mathematik)|Ring]]
| |
| ***** [[Kommutativer Ring]]
| |
| ****** [[Körper]]
| |
| ** [[Verband]]
| |
| *** [[Modularer Verband]]
| |
| **** [[Distributiver Verband]]
| |
| ***** [[Komplementärer Distributiver Verband]] = [[Boolesche Algebra]]
| |
| ****** [[Boolesche σ-Algebra]]
| |
| ***** [[Ereignisalgebra]] = [[Mengenalgebra]]
| |
| ****** [[σ-Algebra]]
| |
| ** [[Hyperkomplexes System]] = [[Algebra über einen Ring]] (oft auch nur: [[Algebra]])
| |
| *** [[Vektorraum]]
| |
| ** [[Relationale Algebra]]
| |
| | |
| =Quellen=
| |
| *[[Gellert, Walter; Kästner, Herbert (1979): Lexikon der Mathematik]]
| |
| | |
| [[Kategorie:Algebraische Struktur]] | |
