On right unipotent semigroups (Q1239275): Difference between revisions

Es werden rechtsunipotente Halbgruppen, d.h. Halbgruppen, in denen jede \(R\)-Klasse genau ein idempotentes Element enthält, betrachtet. Der Verf. charakterisiert die folgenden Eigenschaften derartiger Halbgruppen \(S\): (1) Die Unterhalbgruppe \(E\) der Idempotenten liegt im Zentrum von \(S\); (2) \(S\) ist Vereinigung von Gruppen; (3) S ist invers. Zu \(x\in S\) sei \(V(x)\) die Menge der Inversen von \(x\). Die Relation \(\beta = \{ (x,y) \mid x,y \in S, \forall e \in E \;\forall x' \in V(x)\; \forall y' \in V(y) : xex' =yey' \}\) ist die größte, die Idempotenten trennende Kongruenz auf \(S\); dies verallgemeinert auch formal den Fall der inversen Halbgruppen. \(\beta\) wird durch eine Darstellung von \(S\) in \(\mathrm{Endo}(E)\) beschrieben, und es werden notwendige und hinreichende Bedingungen für \(S/\beta \cong E\) hergeleitet. Die Arbeit zeigt schön, wie gewisse Aussagen für inverse Halbgruppen als Spezialfälle entsprech- ender, keineswegs komplizierter Sätze über einzeitig unipotente Halbgruppen erhalten werden können.