Algebra homomorphism over a field
ID: algebra-homomorphism-over-a-field
For a field , a homomorphism of -algebras is a unital ring homomorphism preserving scalar multiplication by every element of . For unital algebras it is equivalently a ring homomorphism commuting with their structural maps from . Pullback by a morphism of algebraic varieties gives such a homomorphism between their coordinate rings.
New to topics? Read the docs here!