Algebraische Struktur

Algebraische Struktur

Der Begriff algebraische Struktur, missverständlich auch „universelle Algebra“, „allgemeine Algebra“ oder „Algebra“ genannt, bezeichnet ein mathematisches Objekt.

Das Synonym allgemeine Algebra bezeichnet gleichzeitig auch den Teilbereich der Mathematik, der sich allgemein mit diesen Objekten beschäftigt. Es ist wiederum ein Teilbereich der Algebra (ohne Namenszusätze), dem grundlegenden und weitläufigen Teilbereich der Mathematik, in dem generell die Eigenschaften mathematischer Objekte im Zusammenhang mit auf ihnen erklärten Verknüpfungen behandelt werden. Die allgemeine Algebra ist zu unterscheiden von der abstrakten Algebra, einem anderen Teilbereich der Algebra, in dem spezielle algebraische Strukturen in abstrakter Form beschrieben (Gruppen, Ringe usw.) und auf ihre Eigenschaften untersucht werden. Die allgemeine Algebra setzt eine Abstraktionsebene über der abstrakten Algebra an, beschreibt sämtliche algebraischen Strukturen in einheitlicher, abstrakter Form („allgemein“) und untersucht deren Eigenschaften.

Da es auch noch eine spezielle algebraische Struktur innerhalb der abstrakten Algebra gibt, die wiederum den Namen Algebra (ohne Namenszusätze) trägt, ergibt sich insgesamt eine schwer überschaubare Begriffszuordnung. Angesichts dessen beugt im folgenden die Benennung des hier behandelten mathematischen Objektes als algebraische Struktur mit dem zugehörigen mathematischen Teilgebiet der allgemeinen Algebra Verwechslungen vor.

Inhaltsverzeichnis

Definition der algebraischen Struktur

Im Folgenden werden verschiedene Varianten der Definition einer algebraischen Struktur bzw. allgemeinen Algebra angegeben. Für allgemeine Algebra wird dabei generell auch kurz Algebra geschrieben, falls Missverständnisse ausgeschlossen sind. In der Literatur finden sich alle diese Varianten (und noch weitere), ohne dass bisher eine davon sich als etablierter als die anderen herauskristallisiert hätte oder gar als allgemein verbindlich akzeptiert worden wäre. Vielmehr werden sie je nach Bedarf gewählt und angepasst, so dass sie dem Abstraktionsgrad und der jeweils verwendeten Terminologie innerhalb einer abgeschlossenen Ausarbeitung entsprechen.

Variante 1

Die Variante 1 der Definition einer algebraischen Struktur ist eng verwandt mit der Definition einer Struktur in der Modelltheorie und mathematischen Logik.

Eine algebraische Struktur oder allgemeine Algebra ist ein Paar

\left(A, (f_i)\right),

bestehend aus einer nichtleeren Menge \ A, der Trägermenge der Algebra, und einer Familie \left(f_i\right) von (endlichstelligen) Verknüpfungen, auch fundamentale Operationen genannt, auf A.

Eine n-stellige Verknüpfung auf A ist eine Funktion f\colon A^n\to A, die n Elemente a_1,\ldots,a_n aus A immer auf ein (eindeutig bestimmtes) Element b aus A abbildet, b ist dann das Bild von a_1,\ldots,a_n (Schreibweise: b = f(a_1,\ldots,a_n)). Ein Element aus A kann als eine nullstellige Verknüpfung, auch Konstante genannt, interpretiert werden, besondere Elemente werden meist mit einem speziellen Symbol (z. B. einem Buchstaben oder einem Zahlzeichen wie \ e, 0, 1) bezeichnet. Eine einstellige Verknüpfung ist eine Funktion von A nach A, die oft durch ein Symbol bezeichnet wird, das unmittelbar (d. h. ohne zusätzliche Klammern oder Trennzeichen) vor, hinter, über etc. das Element (Argument) geschrieben wird.

Beispiel: {-}a, a^{-1}, a!, \overline{a}

Beim Bild einer zweistelligen Verknüpfung wird in der Regel das Verknüpfungssymbol zur Vereinfachung zwischen die beiden Argumente geschrieben.

Beispiel: a+b, a\cdot b, f\circ g an Stelle von +(a,b), \cdot(a,b), \circ(f,g)

Meistens hat eine Algebra nur endlich viele Verknüpfungen f_1,\ldots,f_m, man schreibt dann für die Algebra einfach nur (A,f_1,\ldots,f_m).

Der Typ oder die Signatur einer Algebra beschreibt die Stelligkeiten der Verknüpfungen. So wird zum Beispiel eine Gruppe meist als Struktur (G,\cdot,{}^{-1},1) aufgefasst, wobei G die Grundmenge ist, \cdot eine Funktion von G\times G nach G (also eine zweistellige Funktion), − 1 eine einstellige Funktion von G nach G und 1 eine Konstante aus G. Abkürzend schreibt man: Der Typ einer Gruppe ist (2,1,0).

Bemerkungen zu Variante 1

  • Jede nichtleere Menge A lässt sich zu einer trivialen Algebra (A,\operatorname{id}) machen mit der identischen Abbildung \operatorname{id}\colon A \to A, \operatorname{id}(a) = a für alle a\in A. Ebenso kann (A) als eine Algebra mit einer leeren Familie von Verknüpfungen aufgefasst werden.
  • Manchmal erweist es sich auch als zweckmäßig, die leere Menge A = \emptyset als Trägermenge einer Algebra zuzulassen, etwa damit sichergestellt ist, dass die Menge aller Unteralgebren (siehe unten) einer Algebra einen algebraischen Verband bildet.
  • Man könnte sogar „unendlichstellige Algebren“ mit unendlichstelligen Operationen zulassen (z. B. σ-Algebren), dies würde jedoch dem üblichen Verständnis von „algebraisch“ widersprechen.[1]
  • Eine Verallgemeinerung allgemeiner (vollständiger) Algebren sind partielle Algebren, bei welchen nicht nur totale Funktionen sondern auch partielle Funktionen als Verknüpfung zugelassen sind.[2] Z. B. sind Körper (K,+,0,-,·,1,−1) streng genommen keine vollständigen Algebren, weil −1 nur auf K\{0} definiert ist.

Variante 2

Seien n, m \in \N_0 (natürliche Zahlen mit 0). Ein Tupel

(A, f_1,\ldots,f_n, \Omega_1,g_1, \ldots, \Omega_m,g_m),

bestehend aus nichtleeren Mengen A,\Omega_1,\ldots,\Omega_m, inneren Verknüpfungen f_1,\ldots,f_n und äußeren Verknüpfungen g_1,\ldots,g_m der Form

f_i\colon A \times A \to A\quad (1 \le i \le n)

und

g_j\colon\Omega_j \times A \to A\quad (1 \le j \le m),

heißt algebraische Struktur oder allgemeine Algebra. A wird die Träger- oder Grundmenge der Algebra und \Omega_1,\ldots,\Omega_m werden die Operatorenbereiche der äußeren Verknüpfungen genannt.[3]

Sind alle Operatorenbereiche gleich \ \Omega, so schreibt man kürzer

(A,f_1,\ldots,f_n, \Omega,g_1,\dots,g_m)

oder

(A,f_1,\ldots,f_n, g_1,\dots,g_m,\Omega),

und bei m = 0 auch nur

(A,f_1,\ldots,f_n).

Das m + 2-Tupel \tau = (n,m, \Omega_1,\ldots,\Omega_m) bzw. das Tripel τ = (n,m,Ω) heißt der Typ der Algebra, im Falle m = 0 schreibt man einfach τ = (n).

Bemerkungen zu Variante 2

  • Die Anzahl der Verknüpfungen ist hier als endlich beschrieben, gelegentlich werden aber auch unendliche Anzahlen von Verknüpfungen betrachtet.
  • n = 0 sowie m = 0 sind ausdrücklich zugelassen. Die „leere“ algebraische Struktur (n = m = 0) ist dann (A), die Trägermenge ohne innere oder äußere Verknüpfungen.
  • Für jede äußere Verknüpfung g_j\;(1 \le j \le m) kann eine Familie (f_{(j,\alpha)})_{\alpha\in\Omega_j} von einstelligen inneren Verknüpfungen f_{(j,\alpha)}\colon A \rightarrow A definiert werden mit \ f_{(j,\alpha)}(a) = g_j(\alpha,a) für alle a\in A. Umgekehrt ist durch jede solche Familie (f_{(j,\alpha)})_{\alpha\in\Omega_j} von einstelligen inneren Verknüpfungen auch wieder eine entsprechende äußere Verknüpfung g_j\colon \Omega_j \times A \rightarrow A gegeben. Deshalb kann eine algebraische Struktur nach Variante 2 (A, f_1,\ldots,f_n, \Omega_1,g_1, \ldots, \Omega_m,g_m) auch aufgefasst werden als eine algebraische Struktur nach Variante 1 (A, (f_i)_{i\in I}), mit der Indexmenge I = \{1,...,n\} \cup (\{1\}\times\Omega_1) \cup\ldots\cup (\{m\}\times\Omega_m).[1]

Beispiele zu Variante 2

  • Ein üblicher \R-Vektorraum V hätte die algebraische Struktur (V, +, \R, \cdot), wobei \cdot die Multiplikation von Vektoren (üblicherweise von Links) mit Skalaren bezeichnet.
  • Eine beliebige Menge X, auf der eine Gruppe G operiert, hätte die algebraische Struktur (X, G, \cdot), wobei \cdot die Operation der Gruppe auf X symbolisiert.

Spezifizierung algebraischer Strukturen

Nachdem die Verknüpfungen angegeben sind, spezifiziert man die Natur der Algebra näher durch Axiome, die in der abstrakten Algebra (Teilgebiet der Mathematik) meist in Form von Gleichungen geschrieben werden und gegebene Eigenschaften der Verknüpfungen festlegen. Ein Beispiel ist das Assoziativgesetz für eine zweistellige Verknüpfung:

a\cdot (b\cdot c) = (a\cdot b)\cdot c für alle Elemente \ a, b, c aus A.

Unterstrukturen (Unteralgebren)

Ist A die Grundmenge einer algebraischen Struktur, so kann man mit Hilfe der Verknüpfungen von A auf einer Teilmenge B \subseteq A von A eine neue algebraische Struktur des gleichen Typs definieren, falls die Menge B so gewählt ist, dass die Verknüpfungen der ursprünglichen Struktur nicht aus der Menge B herausführen. Das bedeutet, wenn man die Verknüpfungen der ursprünglichen algebraischen Struktur auf die Elemente von B anwendet, dürfen keine Elemente entstehen, die nicht in B sind – insbesondere müssen die Konstanten bereits in B enthalten sein. In der konkreten Anwendung sind z. B. Untergruppen die Unterstrukturen einer Gruppe. Je nachdem, wie man die Gleichungen zur Definition der algebraischen Struktur gewählt hat, können die Unterstrukturen aber ganz verschieden aussehen. So lassen sich z. B. Gruppen so definieren, dass die Unterstrukturen Normalteiler sind.

Homomorphismen

Strukturtreue Abbildungen, sogenannte Homomorphismen, zwischen je zwei algebraischen Strukturen A und B vom selben Typ (sie haben also Verknüpfungen von jeweils gleichen Stelligkeiten und gegebenen spezifischen Eigenschaften) sind mit den Verknüpfungen der beiden algebraischen Strukturen verträglich. Jede algebraische Struktur hat deshalb ihren eigenen Homomorphismus-Begriff und definiert daher eine Kategorie.

Einander entsprechende Verknüpfungen in A und B werden meist mit dem gleichen Symbol bezeichnet. So wird etwa in jeder betrachteten Gruppe die Gruppenoperation einheitlich z. B. \cdot geschrieben. Müssen im Einzelfall die beiden Verknüpfungen auseinandergehalten werden, werden in der Regel die Symbole ihrer Grundmengen oder ähnliches als Indizes beigefügt, also z. B. \cdot_A und \cdot_B. Ein Homomorphismus \varphi\colon A\to B ist eine Funktion, die für jede Verknüpfung f (mit der Stelligkeit n) die folgende Bedingung erfüllt:

\varphi(f_A(x_1,\ldots,x_n)) = f_B(\varphi(x_1),\ldots,\varphi(x_n)).

Die besonderen Schreibweisen, der null-, ein- und zweistelligen Verknüpfungen werden berücksichtigt:

  • Sind k_A,k_B\,\! jeweils Konstanten (0-stellige Verknüpfungen), dann ist φ(kA) = kB.
  • Ist jeweils eine einstellige Verknüpfung, dann ist \varphi(-(x)\,\!) = -(\varphi(x)) Eine einstellige Verknüpfung kann auch als Exponent, Index usw. geschrieben werden, so ergibt sich z. B. mit x^{-1} := {}^{-1}(x)\,\! und mit \varphi(x)^{-1} := {}^{-1}(\varphi(x))\,\! dann φ(x − 1) = φ(x) − 1.
  • Für zweistellige Verknüpfungen + ist φ(x1 + x2) = φ(x1) + φ(x2).

Ein surjektiver Homomorphismus wird Epimorphismus genannt, ein injektiver Monomorphismus. Ein Homomorphismus von A in sich (also falls B = A gilt) heißt Endomorphismus. Ein bijektiver Homomorphismus, dessen Umkehrfunktion ebenfalls ein Homomorphismus ist, heißt Isomorphismus. Ist der Isomorphismus gleichzeitig auch Endomorphismus, so heißt er Automorphismus.

Siehe auch: Homomorphiesatz.

Kongruenzrelationen

Auf algebraischen Strukturen lassen sich spezielle Typen von Äquivalenzrelationen finden, die mit den Verknüpfungen einer algebraischen Struktur verträglich sind. Diese werden dann Kongruenzrelationen genannt. Mit Hilfe von Kongruenzrelationen lassen sich Faktoralgebren bilden, d. h. es wird aus der ursprünglichen algebraischen Struktur eine Struktur gleichen Typs erzeugt, deren Elemente allerdings dann die Äquivalenzklassen bezüglich der Kongruenzrelation sind. Die Verknüpfungen sind aufgrund der speziellen Eigenschaften der Kongruenzrelation wohldefiniert. In vielen konkreten Anwendungen entsprechen die Äquivalenzklassen den Neben- bzw. Kongruenzklassen bestimmter Unterstrukturen z. B. Normalteilern bei Gruppen oder Idealen bei Ringen usw.

Produkte

Bildet man das mengentheoretische direkte Produkt der Grundmengen mehrerer allgemeiner Algebren des gleichen Typs, so kann man wiederum eine neue Algebra gleichen Typs auf dieser Produktmenge erhalten, indem man die neuen Verknüpfungen dieser Algebra komponentenweise durch die Verknüpfungen der ursprünglichen Algebren definiert. Diese kann allerdings andere Eigenschaften haben, als die ursprüngliche Algebra; z. B. muss das Produkt von Körpern nicht mehr ein Körper sein.

Für eine Verallgemeinerung des direkten Produktes von Algebren siehe: Subdirektes Produkt. Dort wird auch der Darstellungssatz von Birkhoff vorgestellt, nach dem jede Algebra subdirektes Produkt subdirekt irreduzibler Algebren ist.

„Zoo“ der algebraischen Strukturen

Beispiel: Gruppen

Um zu sehen, wie das funktioniert, betrachten wir die Definition einer Gruppe. Üblicherweise ist eine Gruppe definiert als eine Menge A mit einer zweistelligen Verknüpfung *, wobei die folgenden drei Axiome erfüllt sind:

(Manchmal findet man noch die Forderung der „Abgeschlossenheit“, dass x * y wieder in A liegen soll, aber aus der Sicht eines Algebraikers beinhaltet der Begriff der „zweistelligen Verknüpfung“ diese Eigenschaft bereits.)

Diese Definition hat aber die Eigenschaft, dass die Axiome nicht allein durch Gleichungen ausgedrückt werden, sondern auch den Quantor „es gibt … so dass“ enthalten; in der allgemeinen Algebra versucht man deshalb solche Axiome zu vermeiden. Die Vereinfachung der Axiome auf eine reine Gleichungsform ist hier nicht schwierig: Wir fügen eine 0-stellige Verknüpfung e und eine einstellige Verknüpfung „−1“ hinzu und definieren eine Gruppe als eine Menge A mit einer zweistelligen Verknüpfung *, einem Element e und einer einstelligen Verknüpfung „−1“, die den folgenden Axiomen genügt:

  • x * (y * z) = (x * y) * z
  • e * x = x = x * e
  • x * (x−1) = e = (x−1) * x

Es ist nun wichtig zu prüfen, ob damit tatsächlich die Definition einer Gruppe erreicht wurde. Es könnte ja sein, dass dadurch noch nicht alle Eigenschaften einer Gruppe gegeben sind oder gar zuviele. Nichts in der Definition der Gruppe besagt zum Beispiel, dass das neutrale Element eindeutig ist, und wenn es ein zweites neutrales Element e' gäbe, welches der beiden sollte dann der Wert der 0-stelligen Verknüpfung e sein? Dies ist jedoch hier kein Problem, da das neutrale Element stets eindeutig bestimmt ist, und dasselbe gilt auch für das inverse Element von jedem x. Tatsächlich stimmen die beiden Definitionen einer Gruppe überein.

Arten von Algebraischen Strukturen

In der folgenden Liste werden alle (2-stelligen) Verknüpfungen, neutrale Elemente (= 0-stellige Verknüpfungen), Inversenabbildungen (= 1-stellige Verknüpfungen) und Operatorbereiche angegeben.

Im normalen Gebrauch gibt man dagegen für algebraische Strukturen nur die zweistelligen Verknüpfungen und die Operatorbereiche an (manchmal noch die neutralen Elemente), für alle anderen gibt es meist Standardnotationen.

Eine nicht vollständige Liste verschiedener algebraischer Strukturen:

  • Gruppoid oder Magma, auch Binar oder Operativ (O,*): eine nichtleere Menge O mit einer zweistelligen Verknüpfung *.
  • Quasigruppe (Q,*): ein Gruppoid in dem zu je zwei Elementen a, b die Gleichungen a*x=b und y*a=b stets eindeutige Lösungen x, y in Q besitzen (x und y können verschieden sein). Äquivalent dazu: eine Equasigruppe (siehe unten).
  • Loop (L,*,1): eine Quasigruppe mit einem neutralen Element 1.
  • Halbgruppe (S,*): ein assoziatives Gruppoid.
  • Band (B,*): eine idempotente Halbgruppe.
  • Halbverband (H,*): eine kommutative Band.
  • Monoid (M,*,1): eine Halbgruppe mit einem neutralen Element 1.
  • Gruppe (G,*,1,−1): ein Monoid mit einem inversen Element a−1 zu jedem Element a – oder äquivalent dazu: eine assoziative Quasigruppe oder eine assoziative Loop.
  • Abelsche Gruppe (G,+,0,-): eine kommutative Gruppe. Abelsche Gruppen werden meist additiv geschrieben, man spricht dann von einem Modul. Das neutrale Element eines Moduls wird mit 0 und das „Inverse“ eines Elements a als das Negative -a bezeichnet.
  • Verband (V, \cup, \cap): eine Menge V mit zwei Verknüpfungen \cup (z. B. Vereinigung) und \cap (z. B. Durchschnitt), so dass (V, \cup) und (V, \cap) kommutative Halbgruppen sind und die Absorptionsgesetze erfüllt werden. (V, \cup) und (V, \cap) sind dann Halbverbände.
  • Halbring (H,+,·): eine Menge H mit zwei Verknüpfungen + (Addition) und · (Multiplikation), mit denen (H,+) und (H,·) Halbgruppen sind und die Distributivgesetze erfüllt werden. Oft soll (H,+) aber auch noch kommutativ sein und/oder ein neutrales Element 0 besitzen, die Definitionen sind hier nicht einheitlich!
  • Dioid (D,+,0,·,1): eine Menge D mit zwei Verknüpfungen + (Addition) und · (Multiplikation), so dass (D,+,0) und (D,·,1) Monoide sind und die Distributivgesetze erfüllt werden.
  • Boolescher Verband oder Boolesche Algebra (B, \cup, 0, \cap,1,c): ein Dioid, der ein Verband (B, \cup, \cap) ist mit einem Komplement ac zu jedem Element a. Äquivalent dazu: ein Boolescher Ring (siehe unten).
  • Ring (R,+,0,-,·): ein Halbring, so dass (R,+,0,-) eine abelsche Gruppe ist.
  • Unitärer Ring (R,+,0,-,·,1): ein Ring mit neutralem Element 1 für die Multiplikation.
  • Boolescher Ring (R,+,0,-,·,1): ein unitärer Ring, bei dem (R,·) einen Halbverband bildet. Äquivalent dazu: ein Boolescher Verband.
  • Integritätsring oder Integritätsbereich (I,+,0,-,·,1): ein unitärer, kommutativer Ring (mit 0 \neq 1), für den (I\setminus\{0\},\cdot,1) ein (kürzbares) Monoid ist.
  • Schiefkörper (K,+,0,-,·,1,−1): ein Ring, bei dem (K\{0},·,1,−1) eine Gruppe ist.
  • Körper (K,+,0,-,·,1,−1): ein Schiefkörper, der kommutativ ist.
  • Equasigruppe (E,*,\,/): ein Gruppoid mit zwei weiteren Verknüpfungen \ (Linksdivision) und / (Rechtsdivision), so dass für je zwei Elemente a, b gilt: a*(a\b) = b und (b/a)*a = b. D.h. zu je zwei Elementen existieren stets ein eindeutiger Links- und ein eindeutiger Rechtsquotient (diese können verschieden sein). Äquivalent dazu: eine Quasigruppe.
  • Multiplikativer Verband oder kurz m-Verband, auch Verbandsgruppoid, verbandsgeordnetes Gruppoid oder kurz l-Gruppoid (engl.: lattice = Verband) (L, \cup, \cap, ·): ein Verband (L, \cup, \cap) mit einer weiteren Verknüpfung · (Multiplikation), so dass die Distributivgesetze mit \cup als Addition erfüllt werden.
  • Modul (M,+,0,-,·,R) über einem Ring R (zur Vereinfachung werden die Ring-Verknüpfungen nicht aufgeführt), kurz: R-Modul: Eine abelsche Gruppe (M,+,0,-) mit einem Ring R und einer äußeren Verknüpfung ·: R×MM (Skalarmultiplikation), die assoziativ ist und die Distributivgesetze erfüllt.
  • K-Vektorraum (V,+,0,-,·,K): ein Modul über einem Körper K.
  • K-Algebra (A,+,0,-,·,*,K): Ein K-Vektorraum (oder -Modul) mit einer bilinearen Verknüpfung * („Vektormultiplikation“), die die Distributivgesetze erfüllt und assoziativ mit der Skalarmultiplikation ist (sie muss nicht selbst assoziativ sein!).
  • Assoziative Algebra (A,+,0,-,·,*,K): eine K-Algebra, deren Multiplikation assoziativ ist.

Für eine ausführlichere Übersicht siehe Hierarchie mathematischer Strukturen.

Mischstrukturen

Algebraische Strukturen können gleichzeitig auch nicht-algebraische Strukturen sein, wie z. B. topologische Räume. Eine topologische Gruppe ist ein topologischer Raum mit einer Gruppenstruktur, so dass die Operationen Multiplikation und Inversenbildung stetig sind. Eine topologische Gruppe hat sowohl eine topologische, als auch eine algebraische Struktur. Andere häufige Beispiele sind topologische Vektorräume und Lie-Gruppen.

Ausblick

Dieser Artikel reicht nicht aus, die Vielfalt der Ergebnisse der allgemeinen Algebra zu zeigen. Die Motivation der allgemeinen Algebra ist die große Anzahl verschiedener Algebren (im Sinne der allgemeinen Algebra), wie z. B. Gruppen, Monoide, Verbände, die aber alle ähnliche Theoreme zulassen. Vor der Entwicklung der allgemeinen Algebra wurden viele Theoreme (vor allen die Isomorphiesätze) für jede Struktur einzeln bewiesen, aber nun kann man sie ein einziges Mal für alle Arten algebraischer Strukturen beweisen.

Eine noch allgemeinere Idee liegt der Kategorientheorie zugrunde. Sie ist auf viele Situationen anwendbar, die in universeller Algebra nicht darstellbar sind (etwa topologische Sachverhalte), und liefert so weiter reichende Aussagen. Umgekehrt lassen sich manche Aussagen der allgemeinen Algebra nicht auf alle Kategorien übertragen. So sind also beide Teilgebiete nützlich. Die Verbindung zwischen ihnen ist diese: Für vorgegebene Verknüpfungen und Axiome bilden die zugehörigen Algebren und Homomorphismen eine Kategorie.

Einzelnachweise

  1. a b G. Birkhoff: Lattice Theory.
  2. G. Grätzer: Universal Algebra.
  3. K. Meyberg: Algebra, Teil 1.

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • algebraische Struktur — algebraische Struktur,   fundamentaler Begriff der modernen Algebra: Ist in einer nichtleeren Menge M von Elementen a, b,.. . eine Verknüpfung (Zeichen °) der Elemente als zweistellige algebraische Operation definiert, dann bildet das System (M,… …   Universal-Lexikon

  • Halbring (Algebraische Struktur) — Halbring berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie Zahlentheorie ist Spezialfall von Links Halbring …   Deutsch Wikipedia

  • Algebraische Funktion — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Struktur (Modelltheorie) — Zu jeder Elementaren Sprache L können zugehörige Strukturen definiert werden. Eine L Struktur M besteht aus einem Grundbereich, den Elementen von M, ausgezeichneten Elementen, den Konstanten von M, und aus Beziehungen zwischen der Elementen, die… …   Deutsch Wikipedia

  • algebraische Geometrie — algebraische Geometrie,   Teilgebiet der Mathematik, das sich mit den algebraischen Kurven und Flächen und darüber hinaus mit den in projektiven Räumen höherer Dimension als Lösungen von Systemen algebraischer Gleichungen definierten… …   Universal-Lexikon

  • Algebraische Geometrie — Die algebraische Geometrie ist ein Teilgebiet der Mathematik, das, wie der Name bereits andeutet, die abstrakte Algebra, insbesondere das Studium von kommutativen Ringen, mit der Geometrie verknüpft. Sie lässt sich kurz als das Studium der… …   Deutsch Wikipedia

  • Struktur — Unter Struktur (von lat.: structura = ordentliche Zusammenfügung, Bau, Zusammenhang; bzw. lat.: struere = schichten, zusammenfügen) versteht man das Muster von Systemelementen und ihrer Wirk Beziehungen (Relationen) untereinander, also die Art… …   Deutsch Wikipedia

  • Struktur — Überbau; Aufbau; Gerüst; Oberbau; Gliederung; Form; Gefüge; Organisation; Konsistenz; Beschaffenheit; Anordnung; Geflecht; …   Universal-Lexikon

  • Algebraische Gruppe — Der mathematische Begriff der algebraischen Gruppe stellt die Synthese aus Gruppentheorie und algebraischer Geometrie dar. Ein zentrales Beispiel ist die Gruppe der invertierbaren n×n Matrizen. Definition Eine algebraische Gruppe ist ein… …   Deutsch Wikipedia

  • Mathematische Struktur — Dieser Artikel gibt einen Überblick über die Hierarchie mathematischer Strukturen. Unter einer mathematischen Struktur wird hier eine Menge verstanden, die mit bestimmten Eigenschaften ausgestattet ist. Algebraische Strukturen sind mit einer oder …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”