On decompositions of matrices over distributive lattices (Q2336217)

Summary: Let \(L\) be a distributive lattice and \(M_{n, q} (L)(M_n(L)\), resp.) the semigroup (semiring, resp.) of \(n \times q (n \times n\), resp.) matrices over \(L\). In this paper, we show that if there is a subdirect embedding from distributive lattice \(L\) to the direct product \(\prod_{i = 1}^m L_i\) of distributive lattices \(L_1, L_2, \ldots, L_m\), then there will be a corresponding subdirect embedding from the matrix semigroup \(M_{n, q}(L)\) (semiring \(M_n(L)\), resp.) to semigroup \(\prod_{i = 1}^m M_{n, q}(L_i)\) (semiring \(\prod_{i=1}^m M_n(L_i)\), resp.). Further, it is proved that a matrix over a distributive lattice can be decomposed into the sum of matrices over some of its special subchains. This generalizes and extends the decomposition theorems of matrices over finite distributive lattices, chain semirings, fuzzy semirings, and so forth. Finally, as some applications, we present a method to calculate the indices and periods of the matrices over a distributive lattice and characterize the structures of idempotent and nilpotent matrices over it. We translate the characterizations of idempotent and nilpotent matrices over a distributive lattice into the corresponding ones of the binary Boolean cases, which also generalize the corresponding structures of idempotent and nilpotent matrices over general Boolean algebras, chain semirings, fuzzy semirings, and so forth.