Minimal extensions of minimal representable sequences (Q1084120)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal extensions of minimal representable sequences |
scientific article |
Statements
Minimal extensions of minimal representable sequences (English)
0 references
1986
0 references
For each \(n\geq 1\) let \(p_ n({\mathcal A})\) denote the number of essentially n-ary polynomials in \({\mathcal A}\) excluding the trivial unary polynomial \(e(x)=x\), while \(p_ 0({\mathcal A})\) is the number of constant unary polynomials in \({\mathcal A}\). A sequence of cardinals \((a_ 0,...,a_ m)\) is said to be representable if there exists an algebra \({\mathcal A}\) such that \(a_ n=p_ n({\mathcal A})\) for all \(n\leq m\). The sequence is said to have the minimal extension property (MEP) if there exists an algebra \({\mathcal A}^*\) representing the sequence such that \(p_ n({\mathcal A}^*)\leq p_ n({\mathcal A})\) for all \(n\geq 0\) and for all \({\mathcal A}\) representing the sequence. It is already known that the sequences (0,0,1) and (0,0,0,1) have MEP, further the minimal representing algebras have been characterized. In this paper the author proves the following results: Let \({\mathcal A}_ m\) denote the sequence \((a_ 0,...,a_ m)\), where \(a_ 0=a_ 1=...=a_{m-1}=0\) and \(a_ m\) is the least integer such that the sequence is representable. If \(m>3\) then (i) \(a_ m=m\); (ii) \({\mathcal A}_ m\) has MEP; (iii) the minimal extension of \({\mathcal A}_ m\) is the sequence \(a_ n=n\cdot k^ m_ n\), \(n\geq 0\) and \(k^ m_ n\) opportune integers defined by induction; (iv) an algebra \({\mathcal A}\) represents the minimal extension of \({\mathcal A}_ m\) iff \({\mathcal A}\) is equivalent to a non trivial algebra belonging to the varieties \(K^*_ m\) or \(K^ 0_ m\) (there varieties are explicitly defined by a set of five very simple identities).
0 references
representable sequences
0 references
number of essentially n-ary polynomials
0 references
unary polynomials
0 references
minimal extension property
0 references
minimal representing algebras
0 references
varieties
0 references