Heterogene Algebra

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Heterogene Algebren sind algebraische Strukturen und stellen im gewissen Sinn eine Verallgemeinerung von universellen Algebren dar. Während bei universellen Algebren von einer einzelnen Menge als Grundmenge ausgegangen wird ist die Grundmenge einer Heterogenen Algebra ein Mengensystem.

Verwendung finden sie in der algebraischen Spezifikation, einer Form der Spezifikation eines Datentyps.

Inhaltsverzeichnis

1 Definition
2 Verallgemeinerungen von über universellen Algebren bekannten Begriffen
3 Siehe auch

[Bearbeiten] Definition

Eine Heterogene Algebra (engl. heterogeneous algebra) besteht aus einem System von Grundmengen $A_i, i \in I$ und einem System $Ω$ von Operationen $ω i$ .

Die Operationen $ω i$ sind entweder Abbildungen von einem kartesischen Produkt der Grundmengen in eine der Grundmengen

$\omega_i: A_{j_1} \times \dots \times A_{j_n} \longrightarrow A_k$

oder zeichnen eine spezielles Element (z. B.: ein bezüglich einer Operation neutrales Element) in einer der Mengen aus.

Das (n+1)-Tupel $(j_1, \dots, j_n ; k)\!$ bezeichnet man als den Typ der Operation $ω$

Das System von Indexmenge $I$ und den Typen der einzelnen Operationen nennt man Signatur der Algebra. Haben zwei Algebren nun gleiche Signatur so sind ihre Operationen bijektiv zuordenbar.

Man kann die heterogene Algebra wie folgt anschreiben: $(A_i | i \in I , \Omega)\!$

[Bearbeiten] Verallgemeinerungen von über universellen Algebren bekannten Begriffen

Da die Heterogene Algebra ja eine Verallgemeinerung der universellen Algebra ist, ist es von Interesse, wie sich die bekannten Begriffe und Sätze übertragen lassen.

[Bearbeiten] Unteralgebren

Ein Mengensystem $U_i \subseteq A_i$ ist genau dann Unteralgebra der heterogenen Algebra $(A_i | i \in I , \Omega)\!$ , wenn alle Operationen aus $Ω$ abgeschlossen sind. (Insbesondere die Nullstelligen Operationen) also wenn gilt:

$\omega(u_1, \dots , u_n) \in U_j,\quad \forall\ u_1 \in u_{i_1}, \dots , u_n \in u_{i_n},\ \forall\ \omega\ mit\ Typ\ (i_1, \dots , i_n ;j)$

Wie auch bei universelle Algebren gilt: Der mengentheoretische Durchschnitt von Unteralgebren ist stets eine Unteralgebra (sofern er nicht leer ist). Wobei hier der Durchschnitt in jede Menge $A i$ getrennt durchgeführt wird und keiner der Durchschnitte leer sein darf.

siehe auch: Unteralgebra

[Bearbeiten] Homomorphismen

Seinen $(A_i | i \in I , \Omega)\!$ und $(B_i | i \in I , \Omega)\!$ heterogene Algebren der selben Signatur.

Des weiteren sei $(f_i | i \in I) \!$ mit $f_i: A_i \rightarrow B_i$ ein System vom Abbildungen.

Sind die Funktionen $f_i \!$ nun im folgenden Sinne mit der Operationen $\omega{}_i \!$ vertauschbar:

$f_j(\omega (a_1 , \dots , a_n)) = \omega(f_{i_1}(a_1) , \dots , f_{i_n}(a_n)) \qquad \forall \ (a_1 , \dots , a_n) \in A_{i_1} \times \dots \times A_{i_n} \qquad \forall \ \omega \ mit \ Typ \ (i_1, ... ,i_n;j)$

und für $\omega \!$ mit Typ $(;j) \!$ gilt: $f_j(\omega_{A_j})=\omega_{B_j}\!$

so spricht man von einen Homomorphismus, sind zusätzlich alle Funktionen $f_i\!$ bijektiv, so spricht man von einem Isomorphismus

siehe auch: Homomorphismus

[Bearbeiten] Kongruenzrelationen

siehe auch Kongruenzrelation

[Bearbeiten] Faktoralgebra

[Bearbeiten] Homomorphiesatz

Für jeden Homomorphismus $f \!$ auf einer heterogenen Algebra ist das homomorphe Bild isomorph zu ihrer Faktoralgebra nach der Kongruenzrelation $θ f$ .