Additively idempotent matrix semirings

Abstract: Let $S$ be an additively idempotent semiring and $\mathbf{M}_n(S)$ be the semiring of all $n\times n$ matrices over $S$. We characterize the conditions of when the semiring $\mathbf{M}_n(S)$ is congruence-simple provided that the semiring $S$ is either commutative or finite. We also give a characterization of when the semiring $\mathbf{M}_n(S)$ is subdirectly irreducible for $S$ beeing almost integral (i.e., $xy+yx+x=x$ for all $x,y\in S$). In particular, we provide this characterization for the semirings $S$ derived from the pseudo MV-algebras.