Use the usual unital convention for an algebra over a field. For and ,
Passing to matrices in one fixed basis preserves these identities: , and . Thus is an algebra homomorphism. If , evaluating at gives . Its kernel is zero, so the left regular representation is faithful.
No. Take and its diagonal subalgebra . The algebra over a field is commutative, so . But does not commute with :
Hence , although . Commutation inside a subalgebra places no condition on elements outside it.

Articles by others on the same topic (0)

There are currently no matching articles.