Characterization of \(p_ n\)-sequences for nonidempotent algebras (Q1820183): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:47, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterization of \(p_ n\)-sequences for nonidempotent algebras |
scientific article |
Statements
Characterization of \(p_ n\)-sequences for nonidempotent algebras (English)
0 references
1987
0 references
Let \(<p_ n>\) be a sequence of nonnegative integers. \(<p_ n>\) is representable if there exists an algebra A such that \(p_ n\) is equal to the number of essentially n-ary polynomials of A (excluding the unary projection). It is known that \(<p_ n>\) is representable (with \(p_ 0\) or \(p_ 1\) positive) iff at least one of the following conditions holds: (i) \(p_ 0>0\), (ii) \(p_ n>0\) for all \(n>1\), (iii) n divides \(p_ n\) for all \(n>1\), (iv) \(p_{2n}=\sum^{n}_{k=1}a_ k\left( \begin{matrix} 2n\\ 2k-1\end{matrix} \right)\) for some nonnegative integers \(a_ k\) and \(p_{2n+1}>0\) for all \(n\geq 0\). It is easy to verify (i), (ii) and (iii) but (iv) is rather complicated. The aim of the paper is to simplify it. It is proved that if A is without constants and \(p_{2m}=0\) for some \(m>0\) and \(p_{2n+1}>0\) for all \(n\geq 0\) then (iv) holds. A corollary of this fact is given. In contrast to previous papers on this problem, the author uses some nontrivial results of permutation group theory and the results of Schur on linear diophantine equations.
0 references
representable sequences
0 references
number of essentially n-ary polynomials
0 references