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.
Articles by others on the same topic
There are currently no matching articles.