Direktes Produkt

Direktes Produkt

In der Mathematik ist ein direktes Produkt eine mathematische Struktur, die mit Hilfe des kartesischen Produkts aus vorhandenen mathematischen Strukturen gebildet wird. Wichtige Beispiele sind das direkte Produkt von Gruppen, Ringen und anderen algebraischen Strukturen, sowie direkte Produkte von nichtalgebraischen Strukturen wie topologischen Räumen.

Allen direkten Produkten algebraischer Strukturen Xi ist gemeinsam, dass sie aus einem kartesischen Produkt der Xi bestehen und die Verknüpfungen komponentenweise definiert sind. Wir betrachten hier Beispiele solcher Produkte.

Inhaltsverzeichnis

Direktes Produkt von Gruppen

Äußeres und inneres Produkt

Bei den im folgenden erläuterten Begriffen muss aus mengentheoretischen Gründen zwischen äußerer Konstruktion und innerer Charakterisierung des direkten Produktes bzw. der direkten Summe unterschieden werden. Die Ausführungen in diesem Artikel konzentrieren sich auf die äußere Konstruktion, die innere Charakterisierung wird im Artikel Normalteiler erläutert.

Direktes Produkt von zwei Gruppen

Sind (X, * ) und (Y, + ) Gruppen, so lässt sich auf dem kartesischen Produkt X \times Y eine Verknüpfung definieren:

(x_1, y_1) \times (x_2, y_2) = (x_1 * x_2, y_1 + y_2)

Hier werden also jeweils die beiden ersten Komponenten und die beiden zweiten Komponenten miteinander verknüpft. Es ergibt sich wieder eine Gruppe, die man als (X,*) \times (Y,+) schreibt.

Da man oft eine Gruppe (G, * ) mit ihrer Grundmenge G gleichsetzt, verwendet man für das kartesische Produkt der Grundmengen G und H dasselbe Zeichen wie für das direkte Produkt der Gruppen (G, * ) und (H, * ), nämlich G \times H.

Die Gruppe G \times H enthält einen Normalteiler der zu G isomorph ist, dieser besteht aus den Elementen der Form (g,1H), und einen zu H isomorphen Normalteiler, der aus den Elementen der Form (1G,h) besteht. Dabei bezeichnen 1G und 1H die neutralen Elemente von G und H.

Unabhängig davon, ob die Gruppen G und H abelsch (kommutativ) sind, kommutieren die Elemente der Form (g,1H) mit denen der Form (1G,h). Daraus folgt, dass sich jedes Element von G \times H eindeutig schreiben lässt als Produkt (g, h) = (g, 1_H) \times (1_G, h).

Eine Verallgemeinerung des direkten Produktes von zwei Gruppen ist das Semidirekte Produkt.

Direktes Produkt von endlich vielen Gruppen

Für beliebig endlich viele Gruppen G_1,\ldots,G_n erfolgt die Definition ihres direkten Produkt analog: Das direkte Produkt ist die Menge G_1 \times \ldots \times G_n mit der Verknüpfung

(x_1,\ldots,x_n) \times (y_1,\ldots,y_n) := (x_1 * y_1, \ldots, x_n * y_n)

Es ergibt sich auch hier wieder eine Gruppe.

Auch hier enthält das direkte Produkt zu jeder Gruppe Gi einen Normalteiler, der zu Gi isomorph ist, er besteht aus den Elementen der Form

(1_{G_1}, \ldots, 1_{G_{i-1}}, g, 1_{G_{i+1}}, \ldots, 1_{G_n}).

Jedes Element des direkten Produkts lässt sich als Produkt von Elementen dieser Form darstellen.

Jede endliche abelsche Gruppe ist entweder zyklisch oder isomorph zum direkten Produkt zyklischer Gruppen von Primzahlpotenzordnung. Diese sind bis auf die Reihenfolge eindeutig bestimmt (Hauptsatz über endlich erzeugte abelsche Gruppen).

Direktes Produkt und direkte Summe von unendlich vielen Gruppen

Analog zum Fall endlich vieler Gruppen definiert man das direkte Produkt unendlich vieler Gruppen \{G_i | i\in I\} als ihr kartesisches Produkt \prod_{i\in I} G_i mit komponentenweiser Verknüpfung (x_i)_{i\in I} \times (y_i)_{i\in I} := (x_i * y_i)_{i \in I}.

Die Menge der Elemente des direkten Produkts, die sich als Produkt von Tupeln schreiben lassen, welche in nur einer Komponente vom neutralen Element verschieden sind, ist im allgemeinen eine echte Untergruppe des gesamten direkten Produkts. Diese Teilmenge nennt man die direkte Summe der Gruppen.

Gleichwertige Charakterisierungen der direkten Summe als Untergruppe des direkten Produkts:

  • Sie besteht aus jenen Elementen (x_i)_{i\in I}, für die die Indexmenge J=\{i\in I|x_i\neq e_{G_i}\} endlich ist. (J ist die Menge der „Positionen“ von (xi), an denen nicht das neutrale Element der jeweiligen Faktorgruppe „steht“.)
  • Jedes Element der direkten Summe liegt im Kern von allen bis auf endlich vielen kanonischen Projektionen (\pi_i)_{i\in I}.

Aus diesen Charakterisierungen wird deutlich, dass bei Produkten mit endlich vielen nichttrivialen Faktoren die Summen- und die Produktgruppe identisch sind.

Direktes Produkt von Ringen, Vektorräumen und Moduln

Analog zum direkten Produkt von Gruppen kann man auch das direkte Produkt von Ringen definieren, indem man Addition und Multiplikation komponentenweise definiert. Man erhält dabei wieder einen Ring, der aber kein Integritätsring mehr ist, da er Nullteiler enthält.

Wie bei Gruppen unterscheidet sich auch das direkte Produkt unendlich vieler Ringe von der direkten Summe der Ringe.

Das direkte Produkt von Vektorräumen über demselben Körper K (bzw. von R-Moduln über demselben kommutativen Ring R mit Eins) definiert man ebenfalls als kartesisches Produkt mit komponentenweiser Addition und Skalarmultiplikation (bzw. Multiplikation mit den Ringelementen).

Für endlich viele Vektorräume V_1,\ldots,V_n (oder R-Moduln) stimmt das direkte Produkt

\prod_{i=1}^n V_i

mit der direkten Summe

\bigoplus_{i=1}^n V_i

überein. Für unendlich viele Vektorräume (bzw. R-Moduln) unterscheiden sie sich dadurch, dass das direkte Produkt aus dem gesamten kartesischen Produkt besteht, während die direkte Summe nur aus den Tupeln besteht, die an nur endlich vielen Stellen i vom Nullvektor in Vi verschieden sind.

Das direkte Produkt

\prod_{i=1}^\infty \mathbb{Q}

ist der Vektorraum aller rationalen Zahlenfolgen, er ist überabzählbar.

Die direkte Summe

\bigoplus_{i=1}^\infty \mathbb{Q}

ist der Vektorraum aller rationalen Zahlenfolgen, die nur endlich viele Nicht-Nullen enthalten, d.h. der Raum aller abbrechenden rationalen Zahlenfolgen. Er ist abzählbar.

Direktes Produkt von topologischen Räumen

Für das direkte Produkt von topologischen Räumen \{X_i | i \in I\} bilden wir wieder ein kartesisches Produkt

\prod_{i \in I} X_i,

doch die Definition der neuen Topologie ist schwieriger.

Für endlich viele Räume X_1,\ldots,X_n definiert man die Topologie des Produkts als die kleinste Topologie (d.h. die mit den wenigsten offenen Mengen), die die Menge

\mathcal{B} = \{U_1 \times \ldots \times U_n | U_i\ \textrm{offen\ in}\ X_i \}

aller "offenen Quader" enthält. Diese Menge \mathcal{B} bildet damit eine Basis der Topologie des Produkts. Die so erhaltene Topologie nennt man die Produkttopologie.

Die Produkttopologie, die auf dem kartesischen Produkt \mathbb{R}^n erzeugt wird, wenn man auf \mathbb{R} die gewöhnliche Topologie wählt (in der die offenen Mengen von den offenen Intervallen erzeugt werden), ist gerade die gewöhnliche Topologie des euklidischen Raumes \mathbb{R}^n.

Für die Definition der Produkttopologie für unendlich viele Räume und weitere Eigenschaften siehe den Artikel Produkttopologie.

Weblinks

  • Eric W. Weisstein et al.: Direct Product (from MathWorld--A Wolfram Web Resource)

Literatur


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

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

  • direktes Produkt — dirẹktes Prodụkt,   allgemeine die Zusammensetzung gleichartiger mathematischen Strukturen, besonders von Gruppen. Ist in einer Gruppe G mit den Normalteilern G1 und G2 jedes Element g darstellbar als Verknüpfung eines Elements aus G1 …   Universal-Lexikon

  • Produkt von Moduln — In vielen Gebieten der Mathematik spielen direkte Produkte (– oder einfach – Produkte) und Koprodukte der betrachteten Objekte eine besondere Rolle. Die Konstruktion solcher Produkte von Objektfamilien fußt oft auf dem kartesischen Produkt von… …   Deutsch Wikipedia

  • Direktes Gut — Als Gut bezeichnet man in der Wirtschaftswissenschaft allgemein alle Mittel, die der Bedürfnisbefriedigung dienen. Inhaltsverzeichnis 1 Bedeutung von Gütern in den Wirtschaftswissenschaften 2 Güterarten nach dem Kriterium der Verfügbarkeit 2.1… …   Deutsch Wikipedia

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

  • Cartesisches Produkt — In der Mathematik bezeichnet man als kartesisches Produkt (nach René Descartes) zweier Mengen A und B die Menge aller geordneten Paare (a,b), wobei a aus A und b aus B ist. (Kombination: „Jedes mit jedem“) Geschrieben wird es als , gelesen als A… …   Deutsch Wikipedia

  • Kartesisches Produkt — In der Mathematik bezeichnet man als kartesisches Produkt (nach René Descartes) zweier Mengen A und B die Menge aller geordneten Paare (a,b), wobei a aus A und b aus B ist. (Kombination: „Jedes mit jedem“.) Geschrieben wird es als , gelesen als A …   Deutsch Wikipedia

  • Normale Untergruppe — Ein Normalteiler oder eine normale Untergruppe ist in der Gruppentheorie, einem Teilgebiet der Mathematik, eine spezielle Untergruppe einer Gruppe, mit deren Hilfe Faktorgruppen der Gruppe gebildet werden können, wodurch die Strukturuntersuchung… …   Deutsch Wikipedia

  • Normalteilerverband — Ein Normalteiler oder eine normale Untergruppe ist in der Gruppentheorie, einem Teilgebiet der Mathematik, eine spezielle Untergruppe einer Gruppe, mit deren Hilfe Faktorgruppen der Gruppe gebildet werden können, wodurch die Strukturuntersuchung… …   Deutsch Wikipedia

  • Normalteiler — In der Gruppentheorie ist ein Normalteiler oder eine normale Untergruppe eine spezielle Untergruppe einer Gruppe. Mit ihrer Hilfe können Faktorgruppen der Gruppe gebildet werden. Dadurch kann die Strukturuntersuchung von Gruppen auf weniger… …   Deutsch Wikipedia

  • Gruppentheorie-Glossar — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik zur Löschung vorgeschlagen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel… …   Deutsch Wikipedia

Share the article and excerpts

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