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
There are currently no matching articles.