Elements of order two in $GL_2(\mathbb{Z})$

96 Views Asked by At

I would like to determine the elements of order two in $GL_2(\mathbb{Z})$. I reduced the problem to solve the diophantine equation $a^2+bc=1$ with $a,b,c \in \mathbb{Z}$, but I have no idea to solve it.

1

There are 1 best solutions below

3
On BEST ANSWER

How did you arrive to only that condition?? You also need other ones:

$$A=\begin{pmatrix}a&b\\c&d\end{pmatrix}\,\,,\,\,A^2=I\Longrightarrow bc=0\,\,or\,\,tr.(A)=a+d=0\,\,\,and\,\,\,a^2+bc=d^2+bc=1$$

$$\text{and also}\,\,A^2=1\Longrightarrow (\det A)^2=1\Longrightarrow ad-bc=\pm 1$$

Now, cases:

$$(1)\;\;\;b=0\;\Longrightarrow a^2=d^2=1\Longrightarrow a,d=\pm 1\,\,,\,b=0\,\,,\,c\in\Bbb Z$$

$$(2)\;\;\;c=0 --\text{just as above, mutatis mutandis} --$$

$$(3)\;\;\;bc\neq0\;\Longrightarrow a=-d\,\,,\,a^2+bc=1$$

The last one must be the case where you're stuck, and we can try:

$$a^2+bc=1\Longleftrightarrow bc=(1-a)(1+a)\Longrightarrow $$

$$(i)\;\;\;a=0\;\Longrightarrow bc=1\Longrightarrow b=c=1\,\,or\,\,b=c= -1$$ \ $$(ii)\;\;\;a\neq 0\Longrightarrow \text{ a pair of possibilities for each solution } b\,,\,c\,\,\text{with different signs}$$

For example

$$A=\begin{pmatrix}\;\;3&\;\;4\\-2&-3\end{pmatrix}$$