Remarks concerning the freeness problem over morphism and matrix semigroups

We study the freeness problem over morphism and matrix semigroups. We show that the freeness problem is undecidable for morphisms over a three-letter alphabet. We show that there is a commutative semiring R   such that the freeness problem is undecidable for upper-triangular 2×22×2 matrices having entries in R.