Algebra homomorphism Kernel of an algebra homomorphism The kernel of an algebra homomorphism over a field is simply its linear kernel, falg i.e. . The kernel is necessarily a (two-sided) algebra ideal of . Proof Let , so that . Then for any , so is a two-sided algebra ideal of . tidy | en | sembr