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.

I was going over the Wikipedia page for exterior products of vector spaces and we can define the determinant as the coefficient of the exterior product of vectors with respect to the standard basis when the vectors are elements in $\mathbb{R}^n$. I was wondering if there was a way to deduce the formula for the determinant of the exterior (wedge) product of two matrices from this definition.

In particular let $V$ be a finite vector space and let $\wedge^k V$ be the $k$-th exterior power of $V$ that is $T^k(V)/A^k(V)$ where $A(V)$ is the ideal generated by all $v \otimes v$ for $v \in V$ and $T^k(V) = V \otimes V \otimes \cdots \otimes V$ is tensor product of $k$ vector spaces.

Let $M$ be a square $m\times m$ matrix. Is there a known formula for $\det(M \wedge M)?$

I was thinking there must be some nice formula like $\det(M \wedge M) = \det(M)\det(M)$ but I have a feeling this does not generalize to higher powers of wedge products.

share|improve this question
    
What does $\det(M\wedge M)$ stand for? –  anon Oct 26 '11 at 5:19
    
Yes I am a little confused myself now. I am looking at an old qualifying exam problem and wondering if I just did not interpret it correctly. The original problem says to define $D_p$ to be the determinant of the square matrix $ \wedge^p M$ and give a formula for $D_p$ in terms of a determinant for $det(X)$. based on you comment does it even make since to define a determinant function for $\wedge^p M$? –  user7980 Oct 26 '11 at 5:30
1  
The matrix $M$ is not an element of the vector space $V$. You're actually talking about $\Lambda^k M_{n\times n}$, if I understand the problem here correctly. Since I only know of $\det$ as a function of matrices, could you explain what it is as a function of wedge products of matrices? –  anon Oct 26 '11 at 5:30
    
Another 'basis heavy approach' - base change to $\mathbb{C}$ and choose coordinates in which its upper triangular; if you choose the 'dictionary ordering' for $e_{i_1} \wedge e_{i_2}$, it's again upper triangular –  uncookedfalcon Aug 3 '13 at 17:00

1 Answer 1

up vote 6 down vote accepted

Hint: Let $\{e_1,\ldots, e_n\}$ be a basis of $V$. Then the space $\wedge^p V$ has a basis consisting of vectors of the form $e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_p}$ for some strictly increasing sequence $i_1<i_2<\ldots<i_p$ of indices. The linear mapping $\wedge^pM$ maps the vector $e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_p}$ to $M(e_{i_1})\wedge M(e_{i_2})\wedge\cdots\wedge M(e_{i_p})$. Compute the determinant of this linear mapping in the following cases:

  1. $M$ maps the basis vector $e_{i_0}$ to $\lambda e_{i_0}$ and the other basis vectors $e_i,i\neq i_0,$ to themselves.
  2. $M$ interchanges two basis vectors, $e_{i_1}$ and $e_{i_2}$, and maps the other basis vectors $e_i, i\neq i_1, i\neq i_2,$ to themselves.
  3. $M$ maps the basis vector $e_{i_0}$ to the vector $e_{i_0}+ae_{i_1}$ for some constant $a$ and $i_1\neq i_0$, and maps the other basis vectors $e_i, i\neq i_0$ to themselves.

Then keep in mind (=functoriality) that $\wedge^p(M\circ M')=\wedge^p(M) \circ \wedge^p(M')$ for all linear mappings $M,M'$ from $V$ to itself. As a further hint: This approach is a bit about elementary combinatorics. You have to count the number of changes of a given type, and remember the rule used in forming Pascal's triangle.

share|improve this answer
    
Aha! +1, not least for making sense of the question to begin with. –  anon Oct 26 '11 at 7:09
1  
@anon I think you were the one who figured out what the question was :-) –  Jyrki Lahtonen Oct 26 '11 at 7:14
    
I hope that it is clear that the idea is to show that for all three types of elementary matrices $M$ a formula of the type $$\det \wedge^pM=(\det M)^{k(n,p)}$$ holds, where the exponent $k(n,p)$ is the same for all the elementary matrices. Then use the functoriality. For the sake of completeness you also need an argument to cater for the singular matrices $M$. –  Jyrki Lahtonen Oct 26 '11 at 14:51

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.