Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective

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.

[1]  Andre Scedrov,et al.  Categories, allegories , 1990, North-Holland mathematical library.

[2]  Gunther Schmidt,et al.  Relationen und Graphen , 1989, Mathematik für Informatiker.

[3]  Karl-Heinz Kiyek,et al.  Mathematik für Informatiker 1 , 1989 .

[4]  George Gratzer,et al.  Universal Algebra , 1979 .

[5]  Gunther Schmidt,et al.  Programs as Partial Graphs I: Flow Equivalence and Correctness , 1981, Theor. Comput. Sci..

[6]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[7]  Wolfram Kahl,et al.  A Relation-Algebraic Approach to Graph Structure Transformation , 2001, RelMiCS.

[8]  Gunther Schmidt,et al.  Programs as Partial Graphs II: Recursion , 1981, Theor. Comput. Sci..