Definition
For two structures of the same type (two groups, two rings, two vector spaces, etc.), and , a homomorphism is a map that preserves the operations of the structures.
For two structures of the same type (two groups, two rings, two vector spaces, etc.), A and B, a homomorphism f:A→B is a map that preserves the operations of the structures.