direktes Produkt von HalbgruppenDefinition direktes Produkt von Halbgruppen
Schule
Universität
Es sei eine nichtleere Menge und eine Familie von Halbgruppen. Auf dem mengentheoretischen direkten Produkt
![$ \prod\limits_{\alpha \in I} H_{\alpha}= \left\{f\, \vert\, f:I \to \bigcup\limits_{\alpha \in I} H_{\alpha} \ \mbox{\scriptsize mit} \ f(\alpha) \in H_{\alpha} \right\} $ $ \prod\limits_{\alpha \in I} H_{\alpha}= \left\{f\, \vert\, f:I \to \bigcup\limits_{\alpha \in I} H_{\alpha} \ \mbox{\scriptsize mit} \ f(\alpha) \in H_{\alpha} \right\} $](/teximg/9/0/00387909.png)
definieren wir eine innere Verknüpfun durch
,
wobei bestimmt ist durch
.
Da die nicht leer sind, ist auch nicht leer (nach dem Auswahlaxiom) und da ferner alle assoziativ sind, ist auch assoziativ, denn
.
Also ist eine Halbgruppe, das direkte Produkt der Halgruppen .
Im Sonderfall ist das
![$ H_1 \times \ldots \times H_n = \{(a_1,\ldots,a_n)\, \vert \, a_i \in H_i \ (1 \le i \le n)\} $ $ H_1 \times \ldots \times H_n = \{(a_1,\ldots,a_n)\, \vert \, a_i \in H_i \ (1 \le i \le n)\} $](/teximg/9/1/00387919.png)
mit komponentenweiser Verknüpfung
.
Man beachte hier, dass die völlig verschiedene Verknüpfungen sein können, zum Beispiel im direkten Produkt von mit ist
.
Quelle: K. Meyberg, Algebra Teil 1, Carl Hanser Verlag, 1980, ISBN 3-446-13079-9
|