Abstract
The homomorphism and isomorphism theorems traditionally taught to students in a group theory or linear algebra lecture are by no means theorems of group theory. They are for a long time seen as general concepts of universal algebra. This article goes even further and identifies them as relational properties which to study does not even require the concept of an algebra. In addition it is shown how the homomorphism and isomorphism theorems generalize to not necessarily algebraic and thus relational structures.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Grätzer, G.: Universal Algebra, 2nd edn. Springer, Heidelberg (1978)
Schmidt, G.: Programme als partielle Graphen. Habil. Thesis, und Bericht 7813, Fachbereich Mathematik der Techn. Univ. München, English as [3,8] (1977)
Schmidt, G.: Programs as partial graphs I: Flow equivalence and correctness. Theoret. Comput. Sci. 15, 1–25 (1981)
Schmidt, G., Ströhlein, T.: Relationen und Graphen. In: Mathematik für Informatiker, vol. 8, Springer, Heidelberg (1989) ISBN 3-540-50304-8
Schmidt, G., Ströhlein, T.: Relations and Graphs — Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993) ISBN 3-540-56254-0
Freyd, P.J., Scedrov, A.: Categories, Allegories. In: North-Holland Mathematical Library, vol. 39, North-Holland, Amsterdam (1990)
Kahl, W.: A Relation-Algebraic Approach to Graph Structure Transformation. Technical Report 2002/03, Fakultät für Informatik, Universität der Bundeswehr München (2002), http://ist.unibw-muenchen.de/Publications/TR/2002-03/
Schmidt, G.: Programs as partial graphs II: Recursion. Theoret. Comput. Sci. 15, 159–179 (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmidt, G. (2006). Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. In: Schmidt, R.A. (eds) Relations and Kleene Algebra in Computer Science. RelMiCS 2006. Lecture Notes in Computer Science, vol 4136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11828563_22
Download citation
DOI: https://doi.org/10.1007/11828563_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37873-0
Online ISBN: 978-3-540-37874-7
eBook Packages: Computer ScienceComputer Science (R0)