A sequence of algebraic integer relation numbers which converges to 4

Abstract

Let $α\in \mathbb{R}$ and let $$A=\begin{bmatrix} 1 & 1 \\ 0 & 1\end{bmatrix} \ \text{and} \ B_α = \begin{bmatrix} 1 & 0 \\ α& 1\end{bmatrix}.$$ The subgroup $G_α$ of $\mathrm{SL}_2(\mathbb{R})$ is a group generated by the matrices $A$ and $B_α$. In this paper, we investigate the property of the group $G_α.$ We construct a generalization of the Farey graph for the subgroup $G_α.$ This graph determines whether the group $G_α$ is a free group of rank $2$. More precisely, the group $G_α$ is a free group of rank $2$ if and only if the graph is tree. In particular, we show that if $1/2$ is a vertex of the graph, then $G_α$ is not a free group of rank $2$. Using this, we construct a sequence of real numbers so that the sequence converges to $4$ and each number has the corresponding group that is not a free group of rank $2$. It turns out that the real numbers are algebraic integers.