define matrix monoid for addition