The freeness problem over matrix semigroups and bounded languages
Émilie Charlier, Juha Honkala · arXiv (Cornell University) · 2013
We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular $2\times 2$ matrices with rational entries when the products are restricted to certain bounded languages.