The semigroup of circulant matrices over a lattice (Q5929905)

A distributive lattice \((L,\leq,\wedge,\vee)\) is considered. Taking \(\vee\) as addition and \(\wedge\) as multiplication, matrices over \(L\) can be defined. The \(n\times n\) matrix \(P=(p_{ij})\) such that \(p_{ij}=1\) for \(j=i+1\) or for \(i=1\) and \(j=n\) and \(p_{ij}=0\) otherwise is then considered. Here \(0\) (or \(1\)) is the least (or greatest, respectively) element of the lattice \(L\). The powers of \(P\) (namely \(P,P^2,\dots,P^{n-1},E\)) form a cyclic group. The matrices of the form \(A=a_0E+a_1P+a_2P^2+\cdots+a_{n-1}P^{n-1}\) form the semigroup of circulant matrices over \(L\). Its idempotents and the validity of the Euler-Fermat Theorem for it are studied.