Status, Abstract

Gunther Schmidt

Homomorphism and Isomorphism Theorems
Generalized from a Relational Perspective

.pdf .bib

Proc. of the International Workshop RelMiCS '9

Relational Methods in Computer Science

combined with the 4th Internat. Workshop on Applications of Kleene Algebra

Revised Selected Papers, edited by Renate A. Schmidt

Lecture Notes in Computer Science

vol. 4136, (2006), 328--342

Department of Computing Science
Universität der Bundeswehr München
85577 Neubiberg, Germany

August 2006
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.