Definition:Zero Matrix over General Monoid