Authors |
Title |
Status, Abstract |
|
Gunther Schmidt |
Homomorphism and Isomorphism Theorems |
Relational Methods in Computer Sciencecombined with the 4th Internat. Workshop on Applications of Kleene AlgebraRevised Selected Papers, edited by Renate A. Schmidt
Lecture Notes in Computer Science
|
|
Universität der Bundeswehr München 85577 Neubiberg, Germany Gunther.Schmidt@UniBw.de |
|
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. |