Subdirektes Produkt

Subdirektes Produkt

In der Universellen Algebra ergibt sich das Problem, dass nicht alle (universellen) Algebren als direktes Produkt direkt irreduzibler Algebren dargestellt werden können. Als Lösung bietet sich das sogenannte subdirekte Produkt an, eine bestimmte Art einer Unteralgebra eines direktes Produktes. Der erste Darstellungssatz von Garrett Birkhoff besagt dann, dass sich jede Algebra als subdirektes Produkt subdirekt irreduzibler Algebren schreiben lässt.

Inhaltsverzeichnis

Definition

Es seien A_i (i \in I) Algebren vom selben Typ, das heißt von derselben algebraischen Struktur, und I eine Indexfamilie. Eine Unteralgebra B \subseteq \prod_{i \in I} A_i heißt subdirektes Produkt der Ai, falls αj(B) = Aj gilt für alle j \in I, wobei \alpha_j: \prod_{i \in I} A_i \rightarrow A_j die kanonische Projektion bezeichnet.

Subdirekte Irreduzibilität

Eine Einbettung \varphi: A \rightarrow \prod_{i \in I} A_i heißt subdirekte Darstellung von A, falls \varphi(A) subdirektes Produkt der Ai ist.

A heißt subdirekt irreduzibel, falls für jede subdirekte Darstellung ein j \in I so existiert, dass \alpha_j \circ \varphi : A \rightarrow A_j ein Isomorphismus ist.

Motivation

Dass eine Algebra im Normalfall nicht als direktes Produkt direkt irreduzibler Algebren dargestellt werden kann, zeigt folgendes Beispiel: Eine boolesche Algebra B ist genau dann direkt oder subdirekt irreduzibel, wenn \mathrm{card}\, B \leq 2 gilt. Eine abzählbar unendliche boolesche Algebra ist gegeben durch B = (X, \cup, \cap, ', \emptyset, \mathbb{N}) mit Trägermenge X := \left\{M \subseteq \mathbb{N} \,:\, M \mbox{ endlich} \mbox{ oder } \mathbb{N} \setminus M \mbox{ endlich} \right\}. Diese kann unmöglich direktes Produkt zweielementiger Algebren sein, da ein solches Produkt entweder endlich oder überabzählbar ist.

Darstellungssatz von Birkhoff

Jede Algebra ist isomorph zu einem subdirekten Produkt subdirekt irreduzibler Algebren desselben Typs. Die Darstellung als subdirektes Produkt ist nicht eindeutig.

Beispiel

Oben erwähnte boolesche Algebra hat beispielsweise folgende subdirekte Darstellung:

\varphi: X \rightarrow \left\{0, 1\right\}^{\mathbb{N}} mit (\varphi(x))_j = \begin{cases} 1, & \mbox{falls } j\in x \\ 0, & \mbox{falls } j \not\in x \end{cases}

Literatur

  • Thomas Ihringer: Allgemeine Algebra. Berliner Studienreihe zur Mathematik. Band 10. Heldermann Verlag, 2003 Lemgo

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

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

  • 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… …   Deutsch Wikipedia

  • Semiprimideal — Ein Semiprimideal ist ein Begriff aus der abstrakten Algebra. Er stellt eine Erweiterung des Begriffs des Primideals dar. Definition Im Folgenden sei R ein Ring mit 1. Dann ist ein Ideal Q von R ein Semiprimideal, wenn es eine der folgenden… …   Deutsch Wikipedia

Share the article and excerpts

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