General linear group of degree three or higher is not ambivalent

From Groupprops

Statement

Suppose R is a commutative unital ring. Then, the general linear group of degree three GL(3,R) is not an ambivalent group. In fact, for n3, the group GL(n,R) is not an ambivalent group.

Proof

Case n=3

Given a matrix A with characteristic polynomial x3+kx2+lx+m, with m invertible, the characteristic polynomial of A1 is x3+(l/m)x2+(k/m)x+(1/m). We need to choose values of k,l,m such that these characteristic polynomials are distinct. Consider the case k=m=1,l=0. Thus, A has characteristic polynomial x3x21 and A1 has characteristic polynomial x3+x1.

Explicitly, we could choose:

A=(001100011),A1=(010101100)

These have different traces (1 and 0). Note that the example works even over field:F2 and rings of characteristic two.

Case of higher n

We can pad the example given above with the identity matrix, i.e., using A and A1 as above, set:

B=(A00In3),B1=(A100In3)