Algebra homomorphism
Let
π ( π π₯ + π π¦ ) = π π ( π₯ ) + π π ( π¦ ) π ( π₯ π¦ ) = π ( π₯ ) π ( π¦ )
a unital algebra homomorphism is one which additionally has
π ( 1 π΄ ) = 1 π΅
Let
a unital algebra homomorphism is one which additionally has