I am new to semigroup research, so I apologize if this is an easy question.
Assuming by M(n, Z) you mean the semigroup (monoid) of n × n matrices over the integers under multiplication: no, it is not even finitely generated, because the determinant M(n, Z) → Z is multiplicative (Z denoting the monoid of integers under multiplication) and Z is not finitely generated (by the infinitude of primes). 

