A related result states that it is undecidable whether a finitely many 3 × 3 integer matrices generate a free semigroup.
-- JeffreyShallit - 13 Jul 2011
Edit