Abstract:A complex number $\lambda$ is said to be non-free if the subgroup of $SL(2,\bc)$ generated by $$X=\begin{pmatrix} 1& 1\\ 0 & 1 \end{pmatrix} \,\, \text{and}\,\,\,Y_{\lambda}=\begin{pmatrix} 1& 0\\ \lambda & 1 \end{pmatrix}$$ is not a free group of rank 2. In this case the number $\lambda$ is called a relation number, and it has been a long standing problem to determine the relation numbers. In this paper, we characterize the relation numbers by establishing the equivalence between $\lambda$ being a relation number and $u:=\sqrt{- \lambda}$ being a root of a `generalized Chebyshev polynomial'. The generalized Chebyshev polynomials of degree $k$ are given by a sequence of $k$ integers $(n_1, n_2,\cdots, n_k)$ using the usual recursive formula, and thereby can be studied systematically using continuants and continued fractions. Such formulation, then, enables us to prove that, the question whether a given number $\lambda$ is a relation number of $u$-degree $k$ can be answered by checking only finitely many generalized Chebyshev polynomials. Based on these theorems, we design an algorithm deciding any given number is a relation number with minimal degree $k$. With its computer implementation we provide a few sample examples, with a particular emphasis on the well known conjecture that every rational number in the interval $(-4, 4)$ is a relation number.

Long relators in groups generated by two parabolic elements

Non-freeness of parabolic two-generator groups

Generalised Triangle Groups of Type (2,4,2)

The generalised word problem in hyperbolic and relatively hyperbolic groups

Short, highly imprimitive words yield hyperbolic one-relator groups

Varieties of groups and the problem on conciseness of words

Fundamental groups and group presentations with bounded relator lengths

Listing Words in Free Groups

Limit groups over coherent right-angled Artin groups are cyclic subgroup separable

Steinberg representations for groups of parahoric types: the special case

Effective equation solving, constraints and growth in virtually abelian groups

Triangles of Baumslag-Solitar Groups

Ping-Pong on Negatively Curved Groups

Geodesic languages for rational subsets and conjugates in virtually free groups

Rational cross-sections, bounded generation and orders on groups

Subgroups of word hyperbolic groups in dimension 2 over arbitrary rings

Residually rationally solvable one-relator groups

The relational complexity of linear groups acting on subspaces

Rational sets in virtually abelian groups: languages and growth

Formal language convexity in left-orderable groups

Permute and conjugate: the conjugacy problem in relatively hyperbolic groups