Halbringe: Algebraische Theorie Und Anwendungen in Der Informatik

ISBN-13: 9783519020912 / Niemiecki / Miękka / 1993 / 361 str.

Udo Hebisch; Hanns Joachim Weinert; Hanns Joachim Weinert

Opis

Der Begriff des Halbringes entsteht aus dem des Ringes, indem man auf die Gruppeneigenschaft (und seltener auch auf die Kommutativitiit) der Addition verzichtet. So bilden die natiirlichen Zahlen einen Halbring, die sicherlich iilteste algebraische Struktur, in der Menschen gerechnet haben. Zahlreiche Arbeiten tiber Halbril1ge sind seit etwa 50 Jahren erschienel1. AniaB dazu war, jedenfalls teilweise, das Auftretel1 von Halbringen als Positivbereiche partiell geordneter Ringe und Korper, bei topologischen Fragestellungen, und nicht zuletzt beim Aufbau der Arithmetik im Zusammenhang mit entsprechenden Fragen des Schulunterrichts. Besonderes Interesse verdienen Halbringe da durch, daB sie unterdessen in wachsendem MaBe, oft ohne Bezug auf die bereits vorhandene Literatur, als Hilfsmittel in verschiedenen Gebieten der Informatik verwendet werden. In dieser Situation mochten wir eine Einfiihrung in die algebraische Theorie der Halbringe vorlegen, in der auch einige Anwendungen in der Theoretischen Informatik ausfiihrlich behandelt werden. Dabei haben wir uns inhaltlich weitgehend auf die allgemeinen Grundlagen einer algebraisehen Halbringtheo rie und auf solche Teilgebiete dieser Theorie besehriinkt, die ftir die eben genannten Anwendungen benotigt werden. Weiterhin legen wir hier, wie ja aueh bei der Behandlung von Ringen iiblieh, einen Halbringbegriff zugrunde, der die Kommutativitiit der Addition einsehlieBt (vgl. Definition 2. 1 im ersten Kapitel). Damit haben wir die gelegentlich in der Literatur auch auftreten den Halbril1ge mit nichtkollllllutativer Addition ausgeklammert, deren Unter suchung zwar fiir sieh reizvoll, dartiber hinaus jedoch von weit geringerem Interesse ist und oft erheblich mehr Aufwand erfordert.

Spis treści

I. Allgemeine Aussagen über Halbringe.- I.1. Halbgruppen.- I.2. Halbringe.- I.3. Homomorphismen und Isomorphismen.- I.4. Multiplikativ kürzbare Halbringe.- I.5. Halbkörper.- I.6. Relationen, partiell geordnete Mengen, Verbände.- I.7. Kongruenzen und Homomorphiesätze.- I.8. Halbringideale und k-Ideale.- II. Erweiterungen von Halbringen.- II.1 Polynomhalbringe.- II.2 Quotientenhalbkörper.- II.3 Quotientenhalbgruppen.- II.4 Quotientenhalbringe.- II.5 Differenzenhalbringe und Differenzenringe.- II.6 Nacheinanderanwendung von Quotienten- und Differenzenerweiterungen.- II.7 Kongruenzen und Ideale in Halbringen und ihren Differenzenringen.- III. Partiell geordnete Halbringe.- III.1 Partiell geordnete kommutative Halbgruppen.- III.2 Partiell geordnete Halbringe.- III.3 Quotientenhalbringe partiell geordneter Halbringe.- III.4 Differenzenhalbringe partiell geordneter Halbringe.- IV. Halbringe mit unendlichen Summen.- IV.1 ?-Algebren.- IV.2 Neutrale und absorbierende Elemente.- IV.3 ?-Halbmoduln und ?-Halbringe.- IV.4 Die Sternoperation.- IV.5 Freie Halbgruppen und formale Sprachen.- IV.6 Das algebraische Pfadproblem.- V. Halbalgebren, Halbgruppen-Halbringe und Potenzreihenhalbringe.- V.1. Operatorhalbmoduln über Halbringen.- V.2. Halbalgebren über Halbringen.- V.3. Verallgemeinerte Halbalgebren und Halbgruppen-Halbringe.- V.4. Potenzreihenhalbringe und formale Sprachen.- Lösungen zu ausgewählten Aufgaben.- Symbolverzeichnis.