# Additive commutators and trace over a PID

I would like to find an example of principal ideal domain $R$, such that there exists a square matrix $A\in \mathfrak{M}_n(R)$ with zero trace that is not a commutator (i.e. for all $B,C \in \mathfrak{M}_n(R)$, $A\neq BC-CB$).

I know that such a PID (if it can be found) cannot be a field, or $\mathbb{Z}$.

-
Why can't you take $R = \mathbb{Z}$, n=2, and $A = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}$? –  Mike Skirvin Apr 18 '10 at 16:08
Because that A can be written as BC-CB! –  Kevin Buzzard Apr 18 '10 at 16:16
@Mike: $A=[B,C]$ with $B=\begin{pmatrix}1&0\\0&0\end{pmatrix}$, $C=A$. –  Vladimir Dotsenko Apr 18 '10 at 16:20
I see, I was thinking that $B,C$ also had to be trace zero. –  Mike Skirvin Apr 18 '10 at 18:16
Is there a NATURAL proof for $R$ being a field? I have only seen ones involving a lot of hacking. –  darij grinberg Sep 23 '10 at 16:43

It is not difficult to see that Rosset & Rosset's result for $2\times2$ matrices is equivalent to the surjectivity of the bilinear map $(X,Y)\mapsto X\times Y$ (called vector product when $A={\mathbb R}^3$) over $A^3$. For this, just search $B$ and $C$ such that $b_{22}=c_{22}=0$.

To prove it, let $Z=(a,b,c)\in A^3$ be given. One can choose a primitive vector $X=(x,y,z)$ such that $ax+by+cz=0$. By primitive, I mean that $gcd(x,y,z)=1$. Bézout tells that there exist a vector $U=(u,v,w)$ such that $ux+vy+wz=1$. Set $Y=Z\times U$. Then $Z=X\times Y$.

-

Every matrix with trace zero over a PID is a commutator, according to the MR review of

Rosset, Myriam(IL-BILN); Rosset, Shmuel(IL-TLAV) Elements of trace zero that are not commutators. Comm. Algebra 28 (2000), no. 6, 3059--3072.

From the Math Review:

Although Shoda's method fails when $C$ is a PID, the authors do prove the result in this case, and give counterexamples for $C$ of dimension $\ge 2$.

However, I just took a look at the paper, and as far as I can see the authors only claim the result for 2x2 matrices!

Can anyone resolve this conundrum?

-
The paper of Rosset and Rosset contains an explicit calculation for 2x2 matrices over a PID. The math review, and to some extent the paper, claim that it solves this for general square matrices over PIDs, but I do not see that this is the case. –  Jack Schmidt Apr 18 '10 at 17:48
@Jack: I just independently spotted this! I thought it was a bit disingenuous to give a MR review for a reference, and when I checked it out I came to the same conclusion as you! I edited accordingly. –  Kevin Buzzard Apr 18 '10 at 17:49
@Kevin: this confirms my feeling - this paper does not claim it for matrices bigger than 2x2. Moreover, on the second page of the article, they claim explicitly that they do not know the answer for the 3x3 case! –  Vladimir Dotsenko Apr 18 '10 at 18:05

Here (see the very last paragraph) it is stated that every matrix with trace zero over a PID is a commutator. However, I can't come up with a proof right away; the only proof for matrices over a field that I remember (due to Albert?) does not immediately generalize.

-
If it helps anyone, the proof for matrices over a field (Albert and Muckenhoupt) is available via the following link: projecteuclid.org/… –  Vladimir Dotsenko Apr 18 '10 at 17:14
Vladimir, that is my .pdf file you linked to and I actually do not have a good citation! I may have just read the MathSciNet review as Jack did without looking at the Rosset--Rosset article itself. So I have now removed that claim from the .pdf file and will see if I can find someone to settle this question. ой.... –  KConrad Apr 18 '10 at 20:22
I have written to someone who has worked on these kinds of problems and will post a reply when I get it. –  KConrad Apr 18 '10 at 20:29
Vladimir, I wrote to Zak Mesyan (who wrote a paper on trace 0 and commutators) and he told me that whether an arbitrary nxn matrix over a PID with trace 0 is a commutator is still open as far as he knows. –  KConrad Apr 19 '10 at 14:04
Keith, thanks! Why don't you post it as an answer here? I think it's a bit misleading that the accepted answer to this question states that every nxn traceless matrix over a PID is a commutator! –  Vladimir Dotsenko Apr 19 '10 at 21:13