Skip to main content
SpringerLink
Log in

Quotient Relation Algebras and Equijections

  • Chapter
  • First Online:
Book cover Simple Relation Algebras

  • 536 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. Givant, S.: The Structure of Relation Algebras Generated by Relativizations. Contemporary Mathematics, vol. 156, xvi + 134 pp. American Mathematical Society, Providence, RI (1994)

    Google Scholar 

  2. Jaoua, A., Belkhiter, N., Ounalli, H., Moukam, T.: Databases. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, pp. 197–210. Advances in Computing Science. Springer, New York (1997)

    Chapter  Google Scholar 

  3. Jónsson, B., Tarski, A.: Boolean algebras with operators. Part II. Am. J. Math. 74, 127–162 (1952)

    Article  MathSciNet  MATH  Google Scholar 

  4. McKenzie, R.N.: The representation of relation algebras. Doctoral Dissertation, University of Colorado, Boulder, vii + 128 pp. (1966)

    Google Scholar 

  5. Riguet, J.: Relations binaires, fermetures, correspondances de Galois. Bull. Soc. Math. Fr. 76, 114–155 (1948)

    Article  MathSciNet  MATH  Google Scholar 

  6. Riguet, J.: Quelques propriétès des relations difonctionnelles. C.R. Math. Acad. Sci. Paris 230, 1999–2000 (1950)

    MathSciNet  MATH  Google Scholar 

  7. Schmidt, G., Ströhlein, T.: Relations and Graphs. Discrete Mathematics for Computer Scientists, ix + 301 pp. Springer, Heidelberg (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Mills College, Oakland, CA, USA

    Steven Givant

  2. Alfréd Rényi Institute of Mathematics, Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

    Hajnal Andréka

Authors
  1. Steven Givant
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hajnal Andréka
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Givant, S., Andréka, H. (2017). Quotient Relation Algebras and Equijections. In: Simple Relation Algebras. Springer, Cham. https://doi.org/10.1007/978-3-319-67696-8_7

Download citation

Publish with us

Policies and ethics

Search

Navigation