Kernel of an algebra homomorphism

The kernel of an algebra homomorphism over a field is simply its linear kernel, #m/def/ralg 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 .

#state/tidy | #lang/en | #SemBr