Skip to main content
Clarify the wording
Source Link
Emil Jeřábek
  • 47.1k
  • 4
  • 147
  • 208

Integer Matrixmatrix that does not belong to a free group of rank 2

I'm given two matrices in $SL_2(\mathbb{Z})$

$$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), \ \ B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right). $$

Then the group $\langle A, B \rangle$ is free of rank 2. Now my problem is to prove that the following$\langle A, B \rangle$ does not contain any matrix: of the form

$$ \left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*} $$$$ \left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right) $$

does not belong towith $\langle A, B \rangle$$n\in\mathbb Z$ nonzero. That is, it cannotno such matrix can be obtained from products of $A$ and $B$ and their inverses.

I started by writing $$ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2, $$ but then did not get any further.

Any help is highly appreciated.

Integer Matrix that does not belong to a free group of rank 2

I'm given two matrices in $SL_2(\mathbb{Z})$

$$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), \ \ B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right). $$

Then the group $\langle A, B \rangle$ is free of rank 2. Now my problem is to prove that the following matrix:

$$ \left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*} $$

does not belong to $\langle A, B \rangle$. That is, it cannot be obtained from products of $A$ and $B$ and their inverses.

I started by writing $$ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2, $$ but then did not get any further.

Any help is highly appreciated.

Integer matrix that does not belong to a free group of rank 2

I'm given two matrices in $SL_2(\mathbb{Z})$

$$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), \ \ B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right). $$

Then the group $\langle A, B \rangle$ is free of rank 2. Now my problem is to prove that $\langle A, B \rangle$ does not contain any matrix of the form

$$ \left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right) $$

with $n\in\mathbb Z$ nonzero. That is, no such matrix can be obtained from products of $A$ and $B$ and their inverses.

I started by writing $$ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2, $$ but then did not get any further.

Any help is highly appreciated.

Added top-level tag; improved formatting.
Source Link
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

I'm given two matrices in $SL_2(\mathbb{Z})$

$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right) $$$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), \ \ B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right). $$

Then the group $<A,B>$$\langle A, B \rangle$ is free of rank 2. Now my problem is to prove that the following matrix:

$\left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*}$$$ \left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*} $$

does not belong to $<A,B>$$\langle A, B \rangle$. That is, it cannot be obtained from products of $A$ and $B$ and their inverses.

I started by writing $ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2 $$$ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2, $$ Butbut then did not get any further.

Any help is highly appreciated.

I'm given two matrices in $SL_2(\mathbb{Z})$

$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right) $

Then the group $<A,B>$ is free of rank 2. Now my problem is to prove that the following matrix:

$\left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*}$

does not belong to $<A,B>$. That is, it cannot be obtained from products of $A$ and $B$ and their inverses.

I started by writing $ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2 $ But then did not get any further.

Any help is highly appreciated.

I'm given two matrices in $SL_2(\mathbb{Z})$

$$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), \ \ B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right). $$

Then the group $\langle A, B \rangle$ is free of rank 2. Now my problem is to prove that the following matrix:

$$ \left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*} $$

does not belong to $\langle A, B \rangle$. That is, it cannot be obtained from products of $A$ and $B$ and their inverses.

I started by writing $$ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2, $$ but then did not get any further.

Any help is highly appreciated.

added 4 characters in body
Source Link

I'm given two matrices in $SL_2(\mathbb{Z})$

$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right) $

Then the group $<A,B>$ is free of rank 2. Now my problem is to prove that the following matrix:

$\left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*}$

does not belong to $<A,B>$. That is, it cannot be obtained from products of $A$ and $B$ and their inverses.

I started by writing $ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2 $ But then did not get any further.

Any help is highly appreciated.

I'm given two matrices in $SL_2(\mathbb{Z})$

$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right) $

Then the group $<A,B>$ is free of rank 2. Now my problem is to prove that the following matrix:

$\left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*}$

does not belong to $<A,B>$. That is cannot be obtained from products of $A$ and $B$ and their inverses.

I started by writing $ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2 $ But then did not get any further.

Any help is highly appreciated.

I'm given two matrices in $SL_2(\mathbb{Z})$

$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), B = \left(\begin{array}{cc} 5 & 3\\ 3 & 2 \end{array}\right) $

Then the group $<A,B>$ is free of rank 2. Now my problem is to prove that the following matrix:

$\left(\begin{array}{cc} 1 & n\\ 0 & 1 \end{array}\right),n\in \mathbb{Z^*}$

does not belong to $<A,B>$. That is, it cannot be obtained from products of $A$ and $B$ and their inverses.

I started by writing $ \left(\begin{array}{cc} 0 & 1\\ - 1 & 0 \end{array}\right) \longrightarrow x, \left(\begin{array}{cc} 0 & 1\\ - 1 & 1 \end{array}\right) \longrightarrow y, A \longrightarrow (y x y^{- 1} x^{-1})^2, B \longrightarrow (y^2 x y^2 x^{- 1})^2 $ But then did not get any further.

Any help is highly appreciated.

added 2 characters in body
Source Link
Loading
Source Link
Loading