## The Determinant

Let’s look at the dimensions of antisymmetric tensor spaces. We worked out that if has dimension , then the space of antisymmetric tensors with tensorands has dimension

One thing should leap out about this: if is greater than , then the dimension formula breaks down. This is connected with the fact that at that point we can’t pick any -tuples without repetition from basis vectors.

So what happens right before everything breaks down? If , then we find

There’s only one independent antisymmetric tensor of this type, and so we have a one-dimensional vector space. But remember that this isn’t just a vector space. The tensor power is both a representation of and a representation of , which actions commute with each other. Our antisymmetric tensors are the image of a certain action from the symmetric group, which is an intertwiner of the action. Thus we have a one-dimensional representation of , which we call the determinant representation.

I want to pause here and point out something that’s *extremely* important. We’ve mentioned a basis for in the process of calculating the dimension of this space, but the space itself was defined without reference to such a basis. Similarly, the representation of any element of is defined completely without reference to any basis of . It needs *only* the abstract vector space itself to be defined. Calculating the determinant of a linear transformation, though, is a different story. We’ll use a basis to calculate it, but as we’ve just said the particular choice of a basis *won’t matter in the slightest* to the answer we get. We’d get the same answer no matter what basis we chose.

[…] the Determinant Today we’ll actually calculate the determinant representation of an element of for a finite-dimensional vector space . That is, what […]

Pingback by Calculating the Determinant « The Unapologetic Mathematician | January 2, 2009 |

[…] Determinant of a Noninvertible Transformation We’ve defined and calculated the determinant representation of for a finite-dimensional vector space . But we […]

Pingback by The Determinant of a Noninvertible Transformation « The Unapologetic Mathematician | January 14, 2009 |

[…] polynomial of an endomorphism on a vector space of finite dimension , then we can get its determinant from the constant […]

Pingback by Extracting the Determinant from the Characteristic Polynomial « The Unapologetic Mathematician | January 29, 2009 |

[…] always unapologetic John Armstrong is currently on an exposition of the determinant, starting here and now here . This must be about the fifth time I’m relearning the determinant, each time […]

Pingback by Welcome to Carnival of Mathematics 48 = 6!!! « Concrete Nonsense | January 30, 2009 |

[…] of some appropriate — we have a homomorphism to the multiplicative group of given by the determinant. We originally defined the determinant on itself, but we can easily restrict it to any subgroup. […]

Pingback by The Special Linear Group (and others) « The Unapologetic Mathematician | September 8, 2009 |

[…] we can use this to get back to our original definition of the determinant of a linear transformation . Pick a orthonormal basis for and wedge them all […]

Pingback by Inner Products on Exterior Algebras and Determinants « The Unapologetic Mathematician | October 30, 2009 |

[…] these matrices are exactly the Jacobian matrices of the functions! And since the by definition, the determinant of the product of two matrices is the product of their determinants. That is, we […]

Pingback by The Jacobian of a Composition « The Unapologetic Mathematician | November 12, 2009 |