Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $M\in M_n(F)$ and define $\phi:M_n(F)\to M_n(F)$ by $\phi(X)=AX$ for all $X\in M_n(F)$. Prove that $\det(\phi)=\det(A)^n$.

I can prove it by considering the matrix representation with respect to the usual basis, which turns out to be a block diagonal form consisting of $n$ copies of $A$. Nevertheless, I'm looking for a clean (basis-free) approach to this problem.

share|improve this question
    
How do you define $\det$ without a basis? –  copper.hat Jun 7 '12 at 3:24
3  
@copper.hat: using the universal property of the exterior power (see en.wikipedia.org/wiki/Exterior_algebra). –  Qiaochu Yuan Jun 7 '12 at 3:28
1  
I'm guessing that "Let $M\in M_n(F)$..." is supposed to be "Let $A\in M_n(F)$"? –  Arturo Magidin Jun 7 '12 at 3:31
    
@QiaochuYuan: Thanks! –  copper.hat Jun 7 '12 at 3:37
add comment

2 Answers

Think of $M_n(F)$ as $V \otimes V^{\ast}$ where $V = F^n$ and $V^{\ast}$ is the dual space. The multiplication map $M_n(F) \times M_n(F) \to M_n(F)$ is a map $$(V \otimes V^{\ast}) \otimes (V \otimes V^{\ast}) \to V \otimes V^{\ast}$$

which, as it turns out, can be identified with tensor contraction of the two middle terms. It follows that $M_n(F)$, as a left $M_n(F)$-module, can be identified with the tensor product of $V$ (with the natural structure of an $M_n(F)$-module) and $V^{\ast}$ (regarded just as a vector space, the "multiplicity space" of $V$), which is a coordinate-free way of saying that it consists of a direct sum of $n$ copies of $V$ (which in turn is a reformulation of your statement about block diagonals).

Some module theory will put this result in useful context. The above argument shows that $M_n(F)$ is semisimple as a module over itself, hence that it is a semisimple ring, which means any module over $M_n(F)$ is a direct sum of simple modules; moreover, the above argument shows that $F^n$ is the unique simple module of $M_n(F)$ (since any simple module of a ring $R$ appears as a quotient of $R$ regarded as a module over itself), so in fact any module over $M_n(F)$ whatsoever breaks up into a direct sum of copies of $F^n$. This reflects the fact that $M_n(F)$ is Morita equivalent to $F$.

share|improve this answer
    
A simpler but slightly more coordinate-dependent way of stating the above is the following. Let $V = F^n$ and $W$ be another vector space. Consider the composition map $\text{Hom}(W, V) \times \text{Hom}(V, V) \to \text{Hom}(W, V)$. This map gives $\text{Hom}(W, V)$ the structure of an $\text{End}(V)$-module (left, even though $\text{Hom}(V, V)$ is on the right; this is due to bad function composition notation) and I claim that this structure respects direct sums in $W$. By choosing a direct sum decomposition of $W = V$ into one-dimensional subspaces the result follows. –  Qiaochu Yuan Jun 7 '12 at 4:36
add comment

The eigenvalue equation is $\phi(X)=\lambda_k X\implies AX=\lambda_k X$, so the columns of $X$ are the eigenvectors of $A$ corresponding to the eigenvalue $\lambda_k$. The operator $A$ has n eigenvalues counting multiplicity, and the multiplicity of $\lambda_k$ corresponding to $\phi(X)$ equation is $n$ times the the multiplicity of $\lambda_k$ corresponding to $A$. This is because having one column as an eigenvector for $A$ and the rest the zero is an eigenbasis corresponding to $\lambda_k$, and there are n times the multiplicity of $\lambda_k$ of these vectors in the basis since there are n columns. So the multiplicity of each $\lambda_k$ corresponding to $\phi$ (not counting multiplicities corresponding to $A$) is $n$, so that $\det \phi=\lambda_1^n\cdots\lambda_n^n=\det A^n.$ I hope this is understandable, if not, ask.

share|improve this answer
    
I don't think "so the columns of $X$ are the eigenvectors of $A$ corresponding to the eigenvalue $\lambda_k$" is understandable. I think you mean that if $\lambda_k$ is a fixed eigenvalue of $A$ then a matrix $X$ is eigenvector for $\phi$ with eigenvalue $\lambda_k$ if and only if all its columns are eigenvectors of $A$ with eigenvalue $\lambda_k$. But the argument seems neither simpler nor more convincing than the one OP gave in the question (using the block diagonal form of a $n^2\times n^2$ matrix for $\phi$). What if $A$ is not diagonalisable? –  Marc van Leeuwen Jun 7 '12 at 5:15
    
That is what I meant. I didn't use that $A$ is diagonalizable. –  JLA Jun 7 '12 at 6:26
    
Well if $A$ is not diagonalizable, for one thing what "multiplicity of $\lambda_k$ of these vectors" are you talking about: dimension of the eigenspace (i.e., the set of these vectors) or multiplicity as root of the characteristic polynomial? Also "having ... is an eigenbasis corresponding to $\lambda_k$" isn't clear; basis of what space? Just a basis for the eigenspace won't suffice for getting the right exponent for use in the determinant. –  Marc van Leeuwen Jun 7 '12 at 7:42
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.