A homomorphism between two algebras over a field K, A and B, is a map such that for all k in K and x,y in A,

• F(kx)=kF(x)
• F(x+y)=F(x)+F(y)
• F(xy)=F(x)F(y)