1: \begin{abstract}

2: In this paper we study decidability and complexity of decision problems on matrices from the special linear group \sltwoz. In particular, we study the freeness problem: given a finite set of matrices $G$ generating a multiplicative semigroup $S$, decide whether each element of $S$ has at most one factorization over $G$. In other words, is $G$ a code? We show that the problem of deciding 

3: whether a matrix semigroup in \sltwoz is non-free is NP-hard.

4: Then, we study questions about the number of factorizations of matrices in the matrix semigroup such as the 

5: finite freeness problem, the recurrent matrix problem, the unique factorizability problem, etc.

6: Finally, we show that some factorization problems could be even harder in \sltwoz, for example we show 

7: that to decide whether every prime matrix has at most $k$ factorizations is PSPACE-hard.

8: %

9: %We show that the freeness problem in \sltwoz is NP-hard. We also consider other closely related problems in case of non-freeness: $k$-freeness problem (decide whether each element has at most $k$ factorizations) and finite freeness problem (decide whether each element has finite number of factorizations). We show that for matrix semigroups in \sltwoz the finite freeness in NP-hard, while the $k$-freeness is PSPACE hard. Also we prove whether a particular matrix has unique factorization, $k$-factorization or finite factorization is decidable as well as show decidability of the finite freeness problem.

10: \keywords{matrix semigroups, freeness, decision problems, decidability, computational complexity}

11:  \end{abstract}

12: