## Algebra Isomorphism Between Algebra of Square Matrices and the Endomorphism Algebra (Pt. I)

**Point of post: **In this series of posts we’ll cover a lot of ground. We’ll discuss how one can canonically associate matrices in with endomorphisms on , we’ll then discuss the ideas of ordered bases and associative unital algebra isomorphisms, and we’ll end the sequence with our main theorem which connects matrices and endomorphisms on general -dimensional -spaces in an interesting and instructive way.

*Motivation*

In our last post we saw how to endow ( in disguise) with the structure of an associative unital algebra. We hinted that besides this being another example to add to our list of associative unital algebras that it played an important, and enlightening role in the study of the endomorphism algebra of an -dimensional -space. To see this we’ll first show how one can canonically interpret a matrix as a linear transformation on (in all formality what we really mean is that the square array of numbers defined as a matrix gives rise to a linear transformation which is represented and computed using the same square array of numbers). We’ll then show that this process goes in reverse. Namely, given an endomorphism on some -dimensional -space there is a canonical way to produce a matrix. Moreover, this correspondence between linear transformations and matrices turns out to be something called an associative unital algebra isomorphism, which is just a highfalutin way of saying that the correspondence respects the operations of the domain and codomain algebras.

*Square Matrices as Transformations on *

We begin by showing how given a field and some matrix there is a natural way to associate with an element of . We’ll see that the association is so natural, that we can’t help but indulge in a formal inaccuracy and use the same symbol for both the matrix and linear transformation. So, let us examine this idea in more detail.

So, as stated before we begin by considering some . From we’d like to produce some endomorphism on . To start this process we’d like to make a convention which is purely for notational convenience. Namely, in the past we’ve looked at -tuples in as being written ‘horizontally’ in the sense that a general element of looks like . But, for our purposes (it will make things look ‘smoother’) we shall like to think of -tuples in as being written vertically. Thus, a general element of with this convention will look like

From there we can define the *endomorphism induced by *to be the one which acts on column vector as follows

This mapping is indeed linear since

and

The interesting thing (not so surprising as we shall soon see) is the following theorem:

**Theorem: ***Let be a field and and . Then,*

*In words: applying to and then applying gives the same result if you matrix multiply and then apply this to . *

**Proof: **This follows from direct computation:

The question then arises as to whether all of the endomorphisms on are of the above form. We will find the answer as a corollary of the next section

*Associative Unital Algebra Isomorphisms*

In this section we discuss the concept of *associative unital algebra isomorphisms *which, as the name suggests, are just the bijective maps between two algebras which preserve structure ‘both ways’ (for those familiar with category theory, this of course is just saying that associative unital algebras are the isomorphisms in the category of associative unital algebras).

So, let and be associative unital algebras over with multiplicative identities and . Then, a mapping is called an *associative unital algebra isomorphism *if is bijective and for all and

We first make the observation that since is a linear transformation that all the theorems about them apply, and so in particular .

Our next theorem just goes to show that if is an associative unital algebra isomorphism then so is its inverse:

**Theorem:** *Let and be associative unital algebras with identities and . Then, if is an associative unital algebra isomorphism, so is .*

**Proof: **Evidently is bijective and . The fact that the inverse is linear follows from aprevious theorem. To see that the inverse preserves products we note that for any we have by surjectivity of that and for . We see then that

and thus applying to both sides finishes the argument.

**References:**

1. Golan, Jonathan S. *The Linear Algebra a Beginning Graduate Student Ought to Know*. Dordrecht: Springer, 2007. Print.

2. Halmos, Paul R. *Finite-dimensional Vector Spaces,*. New York: Springer-Verlag, 1974. Print

[…] Point of post: This is a continuation of this post. […]

Pingback by Algebra Isomorphism Between Algebra of Square Matrices and the Endomorphism Algebra (Pt. II) « Abstract Nonsense | December 14, 2010 |

[…] read my side-along postings you will probably need to see the series of posts for which this and this are the first posts for […]

Pingback by Halmos Sections 37 and 38: Matrices and Matrices of Linear Transformations(Pt. I) « Abstract Nonsense | December 19, 2010 |

[…] to verify that is a representation of it suffices to show that is a homomorphism. But, using the fact that the map is an associative unital algebra isomorphism we know then […]

Pingback by Representation Theory: Matrix Entry Functions « Abstract Nonsense | February 22, 2011 |

[…] Theorem: Let , and let be defined as above. Then is a -homomorphism (i.e. it’s an associative algebra homomorphism) […]

Pingback by Representation Theory: A ‘Lemma’ « Abstract Nonsense | March 10, 2011 |

[…] this post we’ll show much more. Indeed, we’ll show that this isomorphism is also an associative unital algebra isomorphism. Moreover, we’ll even show that if one gives each an inner product which is a multiple of […]

Pingback by Representation Theory: Decomposing the Group Algebra Into the Direct Sum of Matrix Algebras « Abstract Nonsense | April 6, 2011 |

[…] some point we denote the derivative of at by . We define the Jacbobian matrix of at to be the matrix representation of with respect to the usual ordered basis. We denote the Jacobian of at as […]

Pingback by The Total Derivative « Abstract Nonsense | May 22, 2011 |

[…] may think that matrix rings come up most often in the study of matrices, as in the connection between matrices over fields and linear transformations. In fact, in our studies ,at least in […]

Pingback by Matrix Rings (Pt. I) « Abstract Nonsense | July 12, 2011 |

[…] by linearity”, for finite dimensional spaces we get (in fact from the previous idea) the duality between and , we have the fact that structurally vector spaces have only one invariant (in the […]

Pingback by Free Modules (Pt. I) « Abstract Nonsense | November 16, 2011 |

[…] an example of an (iso)morphism of -algebras one can recall the basic fact from linear algebra that if is a field and is an -dimensional -space then […]

Pingback by R-Algebras « Abstract Nonsense | January 10, 2012 |

[…] the association is actuall an -algebra isomorphism (the proof is the same as that for the case of fields). Moreover we know that if we define to be the unique -isomorphism with then where acts on in […]

Pingback by Tensor Algebra and Exterior Product (Pt. VI) « Abstract Nonsense | May 10, 2012 |