A LOGICAL INTRODUCTION TO HOMOMORPHISMS IN ALGEBRA
The notion of homomorphism is central to mathematics in general and to algebra in particular. The general definition of homomorphism in the context of logic is very natural, but too general for algebraic structures.
This paper exhibits a very short logical introduction to homomorphisms of algebraic structures. It is intended to be taught at the first lecture in a course in algebra.
homomorphism, isomorphism, logic.
