I am new to semigroup research, so I apologize if this is an easy question.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
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). 

