Theory of cogroups. (Q2589565)

Die in dieser Arbeit untersuchten sogenannten Kogruppen bilden einen speziellen Fall von Multigruppen mit teilweise gruppenartigen Eigenschaften. Eine Kogruppe wird als eine nicht leere Menge \(C\) mit einer durch sechs Axiome beschriebenen Multiplikation erklärt: 1) Existenz eines Produktes \(ab\) (\(=\) ein Komplex in \(C\)) für \(a\), \(b \in C\), 2) Gültigkeit des Assoziativgesetzes in \(C\), 3) Existenz einer linksseitigen Einheit \(e\): \(ea = a\) für \(a\in C\), 4) Existenz von rechtsseitigen und 5) von linksseitigen inversen Elementen, wobei diese Begriffe zunächst unsymmetrisch definiert werden, 6) Unabhängigkeit der Anzahl der Elemente in \(ax\) von \(x \in C\), für jedes \(a \in C\). Z. B. ist das multiplikative System von linksseitigen Nebenklassen einer Gruppe in bezug auf eine Untergruppe eine Kogruppe. Es werden nur endliche Kogruppen betrachtet, wobei der Gang der Theorie etwa durch die folgenden Ergebnisse beschrieben werden kann: Jede Kogruppe \(\mathfrak C\) ist eine Multigruppe; die zu jedem Elemente rechtsseitig inversen Elemente sind linksseitig invers und umgekehrt. Ist \(\mathfrak H \subset \mathfrak C\) und \(\mathfrak H \mathfrak H \subset \mathfrak C\), so ist \(\mathfrak H\) eine Unterkogruppe in \(\mathfrak C\). Jede Unterkogruppe \(\mathfrak H \subset \mathfrak C\) ist beiderseits umkehrbar und erzeugt demnach eine Klassenzerlegung von \(\mathfrak C\); \(\mathfrak C /\mathfrak H\) ist wieder eine Kogruppe. Ferner besteht für Kogruppen der Lagrangesche Satz der Gruppentheorie. Aus \(\mathfrak H a \supset a\mathfrak H\) für \(a \in \mathfrak C\) folgt \(a\mathfrak H a^{-1} = \mathfrak H\) für jedes inverse Element \(a^{-1}\); daraus folgt eine Vereinfachung der für allgemeine Multigruppen erklärten Begriffe von normalen Untermultigruppen.