Algebraische Struktur: Unterschied zwischen den Versionen
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Qualität | |||
|correctness = 5 | |||
|extent = 3 | |||
|numberOfReferences = 3 | |||
|qualityOfReferences = 5 | |||
|conformance = 5 | |||
}} | |||
=Definition= | =Definition= | ||
| Zeile 4: | Zeile 13: | ||
* <math>A\,</math> ist eine nichtleere [[Menge]] | * <math>A\,</math> ist eine nichtleere [[Menge]] | ||
* <math> | * Für alle <math>i \in [1..m]</math> ist <math>o_i\,</math> eine [[algebraische Operation]], d.h. eine [[Funktion]] <math>o_i: A^{n_i} \rightarrow A\,\,\,(n_i\in \mathbb{N}_0)</math>. | ||
=Bemerkungen= | =Bemerkungen= | ||
| Zeile 13: | Zeile 22: | ||
Dafür gibt es in diesem Wiki eine eigenständige Definition: [[Algebraische Struktur mit partiellen Operationen]], bei der folgendes gefordert wird: | Dafür gibt es in diesem Wiki eine eigenständige Definition: [[Algebraische Struktur mit partiellen Operationen]], bei der folgendes gefordert wird: | ||
Für alle <math>i \in [1..m]</math> ist <math>o_i\,</math> eine (evtl. [[partielle Funktion|partielle]]) [[ | Für alle <math>i \in [1..m]</math> ist <math>o_i\,</math> eine (evtl. [[partielle Funktion|partielle]]) [[algebraische Operation]] <math>o_i: A^{n_i} \rightarrow A\,\,\,(n_i\in \mathbb{N}_0)</math>. | ||
=Beispiele= | =Beispiele= | ||
Version vom 5. September 2011, 14:14 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 5 (vollständig überprüft) |
Umfang: 3 (einige wichtige Fakten fehlen) |
Quellenangaben: 3 (wichtige Quellen vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Definition
Ein Tupel $ \mathcal{A} = (A, o_1, ..., o_m) $ heißt algebraische Struktur (genauer: algebraische Struktur ohne partielle Operationen, kurz Algebra), wenn:
- $ A\, $ ist eine nichtleere Menge
- Für alle $ i \in [1..m] $ ist $ o_i\, $ eine algebraische Operation, d.h. eine Funktion $ o_i: A^{n_i} \rightarrow A\,\,\,(n_i\in \mathbb{N}_0) $.
Bemerkungen
Die wesentliche Eigenschaft einer algebraischen Operation ist die Abgeschlossenheit: Jede algebraische Operation $ o_i\, $ einer algebraischen Struktur $ \mathcal{A} = (A, o_1, ..., o_m) $ bildet null, ein, zwei oder mehr Elemente der Grundmenge $ A\, $ von $ \mathcal{A}\, $ wieder auf ein Element dieser Grundmenge ab.
Gellert, Kästner (1979) merken an, dass bei der Definition des Begriffs algebraische Struktur partielle algebraische Operationen zugelassen sein können. Dafür gibt es in diesem Wiki eine eigenständige Definition: Algebraische Struktur mit partiellen Operationen, bei der folgendes gefordert wird:
Für alle $ i \in [1..m] $ ist $ o_i\, $ eine (evtl. partielle) algebraische Operation $ o_i: A^{n_i} \rightarrow A\,\,\,(n_i\in \mathbb{N}_0) $.
Beispiele
- Die natürlichen Zahlen bilden zusammen mit der Addition und der Multiplikation eine algebraische Struktur: $ (\mathbb{N}, +, \cdot) $.
- Die natürlichen Zahlen bilden zusammen mit der Addition, der Subtraktion und der Multiplikation keine algebraische Struktur, sondern nur eine algebraische Struktur mit einer partiellen Operation: $ (\mathbb{N}, +, -, \cdot) $, da die Subtraktion ist lediglich eine partielle algebraische Operation ist.
Verschiedene Typen von algebraischen Strukturen
- Halbgruppe
- Halbring
- Verband
- Hyperkomplexes System = Algebra über einen Ring (oft auch nur: Algebra)
- Relationale Algebra
Quellen
- Gellert, Walter; Kästner, Herbert (1979): Lexikon der Mathematik
- Brockhaus-Enzyklopädie (1986): Band 1 (A-APT)
