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 x 2 matrices having entries in R. (C) 2014 Elsevier B.V. All rights reserved.