Semigroups of non-negative integer-valued matrices

Factorization-theoretic aspects of semigroups of matrices have received much attention over the past decade. Much of the focus has been on the multiplicative semigroups of nonzero divisors in rings of matrices; that is, factorization in rings of matrices. More recently, factorizations of upper triangular matrices over the nonnegative integers and over more general semirings have been considered. Here, we continue the study of the semigroup Tn(N0)• of upper-triangular matrices over the nonnegative integers as well as the larger semigroup Mn(N0)• of all square n × n matrices over the semiring of nonnegative integers. We extend the notion of divisor-closed semigroups to a noncommutative setting and show that each m≤n, Tm(N0)• and Mm(N0)• are almost divisor-closed in Mn(N0)•. After giving a characterization of irreducible elements in these matrix semigroups, we use the almost divisor-closed result along with precise computations, often in T2(N0)• and M2(N0)•, to determine arithmetical invariants that measure the degree to which factorization in these semigroups is nonunique.