7
$\begingroup$

Given a map $f:M_n(k)\to k$ (with $k$ some field) such that $f(AB)=f(A)f(B)$ for all matrices $A$ and $B$, is it necessarily the case that $f$ factors through the determinant, i.e. does there exist a multiplicative map $g:k\to k$ such that $f=g\circ\det\,$? Are constraints on $k$ necessary?

A simple corollary would be that nonzero multiplicative maps on subgroups of the general linear group $GL_n(k)$ factor through multiplicative maps on the units $k^\times\to k^\times$.

Two definitions of $\det$ I'm aware of (written with our setting in mind):

  • The unique alternating mulilinear map (of column vectors in a matrix) sending $I$ to $1_k$.
  • The trace of the map induced by $A$ on the $n$th exterior power $\mathrm{Alt}^nk^n$.

By Gaussian elemination, any multiplicative map $f$ from matrices to the base field is determined by its values on the matrices representing elementary row operations and upper triangular matrices.

One stumbling block is that it seems hard, in general, to fully characterize the multiplicative maps on the base field $k$. With a finite field it would just be integer powers and the zero map, but with the reals you get all (positive) real powers too, and some funky stuff may occur with other fields.

  • 0
    I'm afraid I'm no longer certain about the rank $n-1$ matrices forming a single orbit. With $GL_n$ acting from the left each orbit contains a unique matrix in reduced row echelon form. From the right I guess we get the transpose. May be 2-sided action? Anyway, I haven't given up on this.2012-07-01

1 Answers 1

4

Your mapping $f$ sends all the commutators to $1_k$, so given that the determinant distinguishes the cosets in $GL_n(k)/SL_n(k)$, the answer to your question seems to be YES, whenever $GL_n(k)'=SL_n(k)$, and we restrict the domain of $f$ to invertible matrices.

Lemma in N. Jacobson, Basic Algebra I, p. 377, tells us that $SL_n(k)$ is its own commutator subgroup (and obviously then also equal to $GL_n(k)'$) unless $n=2$ and $|k|=2$ or $3$. In the case $n=2$, $k=\mathbb{F}_2$ we have that $GL_2(k)=SL_2(k)\simeq S_3$ meaning that $GL_2(k)'$ is an index two subgroup of $SL_2(k)$. Using the ideas of the proof of this result it is easy to see that in the case $k=\mathbb{F}_3$ we do get that $GL_2(k)'=SL_2(k)$ (but $SL_2(k)$ is not its own commutator subgroup).

So we know that the restriction of your mapping $f$ to $GL_n(k)$ must factor via the determinant except possibly in the case $n=2,k=\mathbb{F}_2$.

  • 0
    Even given the failure of the commutator argument in the case $n=2$, $k=\mathbb{F}_2$ it is difficult to see, how we could get functions other than the determinant. This is because an index two subgroup must be mapped to 1, but the field $k$ has no elements of order 2 :-)2012-06-15