On invertible matrices over antirings (Q880048)

A semiring \(S\) is called an antiring if it is zerosumfree, i.e. if \(a+ b=0\) implies that \(a= 0\) and \(b= 0\) for any \(a,b\in S\). The author studies invertible matrices over general commutative antirings. He gives a complete description for invertible matrices over a commutative antiring \(S\) and obtains some necessary and sufficient conditions for a matrix over a commutative antiring \(S\) to be invertible. For example, if \(S\) satisfies \(U(S)=\{1\}\), where \(U(S)\) denotes the set of all invertible elements in \(S\), and \(A\in M_n(S)\), the author proves that \(A\) is invertible if and only if \(A\) is an orthogonal combination of some permutation matrices of order \(n\). The last part of the paper presents Cramer's rule for a matrix equation over a commutative antiring. The main results in this paper generalize and develop the corresponding results in the literature for Boolean matrices, fuzzy matrices, lattice matrices and incline matrices.