I want to ask you this question: Is there any matrix $2\times 2$ such that $A\neq I$ but $A^3=I$. In my opinion: No. Thank you very much
Is there any matrix $2\times 2$ such that $A\neq I$ but $ A^3=I$
5
$\begingroup$
linear-algebra
-
23I don't think it is a matter of opinions... – 2011-08-20
-
0See also: [How to construct a $2\times 2$ real matrix $A$ not equal to Identity such that $A^3=I$?](https://math.stackexchange.com/q/182632) – 2017-10-03
2 Answers
25
Rotation by $2\pi/3$ in the plane. Find the $2 \times 2$ matrix that gives you this linear transformation.
-
0Hi! How did you get that? – 2011-08-20
-
12Imagine something when applied 3 times is the identity. How do you think? – 2011-08-20
-
1Ok, I'll think. thanks – 2011-08-20
12
Since you don't specify what field the entries of this matrix have to come from, I could just take a diagonal matrix whose entries are $1$ and $\omega$ where $\omega=e^{2\pi i /3}$ is a primitive cube root of 1 in the complex numbers.
I guess you want real or integer entries though. If $A^3=I$ then the eigenvalues of $A$, that is, the roots of the characteristic polynomial, have to be third roots of unity. A primitive third root of unity satisfies $x^2+x+1=0$, so you could look for a matrix over the integers with that as a characteristic polynomial....
-
2+1. Nice! Your argument shows that this holds for *any* (nonzero) commutative ring. – 2011-08-20
-
0Another way to get an integral matrix that does the job it to take the automorphism of order $3$ of the torus, then the induced map on homology. In fact, there's an automorphism of order $6$ coming from the symmetry of the hexagonal tiling. – 2011-08-20
-
0@Ryan: over $\mathbb Z$, you have reduced to the problem to the (equivalent, I'm pretty sure---given enough technology) one of finding an automorphism of order $3$ of the torus :) – 2011-08-20
-
0Yes, $2\times 2$ matrices of the integers of finite order all come from symmetries of the torus. This is a special case of what's called the Nielsen Realization problem -- which is solved, by-the-way. http://en.wikipedia.org/wiki/Nielsen_realization_problem Among other things, this gives you a fairly intuitive way to enumerate all the finite-order elements of $GL_2 \mathbb Z$ (up to conjugacy). – 2011-08-20