Determinant formula in monomials - can it be generalized?

sal
Messages
78
Reaction score
2
Determinant formula in monomials -- can it be generalized?

I ran across this question in one of the Usenet groups (fr.sci.maths), and after doing a double take and realizing what was actually being asked I realized I don't know the answer, and after searching a bit I haven't turned it up, so I thought I'd post it here.

A cute formula for the determinant of a 2x2 matrix is:

<br /> \left| \begin{matrix}<br /> a &amp; b \\<br /> c &amp; d<br /> \end{matrix}<br /> \right| ~=~ {1 \over 2} \cdot \left( (a + b) (d - c) + (a - b) (d + c) \right) <br />

Of course this is the "usual" ab-cd formula factored into a sum of products of monomials. The question was whether this form of the formula can be generalized to higher orders?

I'm well aware of the formula using expansion in cofactors, and I know you can expand the determinant as a sum of products of all permutations of selections of one element from each row (or column), and I know it's the (signed) hypervolume of the hyperrectangle spanned by the column vectors. But I don't know any way in general to expand it as a sum of products of monomials analogous to this formula, and searching Google, the CRC Math Tables, and Artin's "Algebra" didn't turn anything up.

This looks vaguely like the formula for Vandermonde's determinant, but the relationship, if any, is too vague to tell me much.

Any ideas or comments will be appreciated.
 
Physics news on Phys.org


you could multiply your matrix on the right by
<br /> \left( \begin{matrix}<br /> 1 &amp; -1 \\<br /> 1 &amp; 1<br /> \end{matrix}<br /> \right)<br />
(which has determinant 2) then use the usual formula for the determinant to get your expression.
Given any square matrix A, you could write det(A)=det(MAN)/det(MN) for constant matrices M,N to obtain similar expressions.
 


Thanks -- I think that leads in the right direction. In particular, I was thinking in terms of factors with just two additive terms, and getting nowhere fast trying to come up with generalizations; what you're suggesting leads to something where, for an NxN matrix, each factor would have N additive terms, which makes a lot more sense!

I'll fiddle with this a bit more in the morning and see if I get any farther with it.
 


sal said:
I'll fiddle with this a bit more in the morning and see if I get any farther with it.

After some fiddling, and playing around with alternative matrices for "N", I posted a response based on Gel's comments on fr.sci.physique (with due credit to Gel). The OP appreciated it. Thread may be found here:

http://groups.google.ca/group/fr.sc..."Expression+du+déterminant"#32069f45d8ab0d28"

It appears that use of "M" in addition to "N", as in "MAN", is unnecessary to narrowly answer the original question; it could, however, be used to produce a result in terms of summations on the components of the column vectors rather than the row vectors.

Thanks again.
 
Last edited by a moderator:
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top