Relatively free doppelsemigroups

Eine Doppelalgebra ist eine auf einem Vektorraum definierte Algebra mit zwei binären linearen assoziativen Operationen. Doppelalgebren spielen eine herausragende Rolle in der algebraischen K-Theorie. Wir betrachten Doppelhalbgruppen, d. h Mengen mit zwei binären assoziativen Operationen, welche die Axiome der Doppelhalbgruppe erfüllen. Doppelhalbgruppen sind Veralgemeinerungen von Halbgruppen und sie stehen in Beziehung zu solchen algebraischen Strukturen wie interassoziative Halbgruppen, restriktive Bihalbgruppen, Dimonoiden und Trioden. In dieser Lecture Notes werden eine Vielzahl von Beispielen für Doppelhalbgruppen und strong Doppelhalbgruppen gegeben. Die Unabhängigkeit der Axiome für Doppelhalbgruppen wird nachgewiesen. Ein freies Produkt in der Varietät der Doppelhalbgruppen wird vorgestellt. Wir konstruieren auch eine freie (kommutative) strong Doppelhalbgruppe, eine freie n-dinilpotent (strong) Doppelhalbgruppe und eine freie Links n-dinilpotent Doppelhalbgruppe. Darüber hinaus werden die kleinste n-nilpotente Kogruenz, die kleinste n-dinilpotente Kongruenz auf der freien (strong) Doppelhalbgruppe und die kleinste n-dinilpotente Kongruenz auf einer freien Doppelhalbgruppe charakterisiert. Das Buch richtet sich an Graduierte, Doktoranden, Forscher in Algebra und interessierte Leser.