Lie higher derivations of incidence algebras (Q2121670)

Let \(\mathscr{R}\) be a commutative ring with unity \(1_\mathscr{R}\). For an associative \(\mathscr{R}\)-algebra \(\mathscr{A}\) (maybe without unity), an \(\mathscr{R}\)-linear map \(l: \mathscr{A}\rightarrow \mathscr{A}\) is called a Lie derivation if \(l([x,y]) = [l(x),y] + [x,l(y)]\) for all \(x, y\in \mathscr{A}\), where \([x, y]:=xy-yx\) is the Lie product or commutator of \(x\) and \(y\). Let \(\mathscr{L}= \{l_n\}_{n=0}^{\infty}\) be a sequence of \(\mathscr{R}\)-linear maps on \(\mathscr{A}\) such that \(l_0 = id_\mathscr{A}\). Then \(\mathscr{L}\) is called a Lie higher derivation if \(l_n([x,y])=\sum_{i+j=n} [l_i(x), l_j(y)]\) for all \(x,y\in \mathscr{A}\). Let \((X, \leq)\) be a locally finite pre-ordered set, i.e., \(\leq\) is a reflexive and transitive binary relation, and for any \(x \leq y\) there are only finitely many elements \(z\in X\) satisfying \(x\leq z \leq y\). The incidence algebra \(I(X, \mathscr{R})\) of \(X\) over \(\mathscr{R}\) is defined to be the set of functions \(I( X, \mathscr{R}):=\{f: X \times X\rightarrow \mathscr{R} | f(x, y)=0~\text{if}~x\nleq y \}\) with the natural \(\mathscr{R}\)-module structure and the multiplication given by the convolution \((fg)(x,y):=\sum_{x\leq z\leq y} f(x,z)g(z,y)\) for all \(f, g\in I(X,\mathscr{R})\) and \(x,y\in X\). In this article, the authors investigated Lie higher derivations of incidence algebras. In fact they proved that every Lie higher derivation on the incidence algebra \(I(X, \mathscr{R})\) is proper.