In mathematics, an algebra homomorphism is a homomorphism between two associative algebras. More precisely, if A and B are algebras over a field (or commutative ring) K, it is a function such that for all k in K and x, y in A, * * * The first two conditions say that F is a K-linear map (or K-module homomorphism if K is a commutative ring), and the last condition says that F is a (non-unital) ring homomorphism. If F admits an inverse homomorphism, or equivalently if it is bijective, F is said to be an isomorphism between A and B.