The freeness problem over matrix semigroups and bounded languages
We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular matrices with rational entries when the products are restricted to certain bounded languages.