Anzeige
Erschienen in:
2017 | OriginalPaper | Buchkapitel
7. Quotient Relation Algebras and Equijections
verfasst von : Steven Givant, Hajnal Andréka
Erschienen in: Simple Relation Algebras
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
The semipower construction of Chapter 4 builds a simple relation algebra from a given simple base algebra by using bijections to copy the base algebra to each component of a rectangular system. A much more general and interesting construction is possible. Instead of copying the base algebra to each component, it is possible to copy various quotients of the base algebra, and even various quotients from a coordinated system of base algebras. This chapter investigates two critical components of the construction that are of independent interest: quotient relation algebras and equijections. Some historical remarks are gathered together at the end of the chapter.