No label defined (Q4428060)

Let \(P\) be a locally finite poset and \(\text{Inc}_F(P,\leq)\) be the algebra of all incidence functions with values in the field \(F\). The functions \(f,g\in\text{Inc}_F(P,\leq)\) are called conjugated (\(f\sim g\)) in the algebra \( \text{Inc}_F(P,\leq)\) if there is an invertible function \(x\in\text{Inc}_F(P,\leq)\) such that \(x^{-1}*f*x=g\). Here \(*\) denotes the convolution operation. It is easily seen that \(\sim\) is an equivalence relation. Therefore it is reasonable to introduce the canonical form of the elements of an incidence algebra. The function \(g\) is called a canonical form iff (1) \(g(a,b)\in\{0,1\}\) for any \(a<b\); (2) if \(g(a,b)\neq 0\), \(g\sim g_1\), then \(g_1(a,b)\neq 0\). The paper announces some results of the author which are useful to determine whether two elements of an incidence algebra are conjugated or not. The author's approach is based on the consideration of the introduced canonical forms. The canonical forms of zeta-functions in some incidence algebras are evaluated.