Invertible matrices over finite additively idempotent semirings (Q1955588)

For finite additively idempotent semirings, it is shown that a matrix is invertible iff it is a generalized permutation matrix. The inverse matrix is constructed and a formula for the number of invertible matrices of a given size over a given semiring is derived. Further, a finite additively idempotent semiring with zero and one as a semiring of residuated mappings of a finite lattice is represented and an invertibility criterion based on a description of automorphisms of lattices is formulated.