2-generated nilpotent algebras and Eggert's conjecture. (Q615845)

Let \(F\) be a field of characteristic \(p>0\) and \(A\) a commutative and associative nilpotent finite-dimensional algebra over \(F\). The adjoint group of \(A\) is the set \(A\) with the operation \(x\circ y=x+y+xy\) for every \(x,y\in A\). Let \(A^{(p)}\) be the subalgebra generated by the set \(\{a^p:a\in A\}\). Eggert's conjecture says that \(p\cdot\dim A^{(p)}\leq\dim A\). This conjecture gives an answer to the problem of when a finite Abelian group is isomorphic to the adjoint group of some finite commutative nilpotent \(F\)-algebra. Moreover, the validity of Eggert's conjecture would give an upper bound of the rank of the product of groups. Also, since the Jacobson radical of an Artinian commutative ring is nilpotent and since every commutative nilpotent algebra is equal to the Jacobson radical in some local ring, we get through this conjecture additional information about the structure of commutative rings with unit, especially of the finite ones. In this paper the author shows that Eggert's conjecture is true if the subalgebra \(A^{(p)}\) has at most two generators. His result needs no limitation on the dimension of \(A^{(p)}\), no assumption on grading of \(A\) and approaches Eggert's conjecture from a different point of view. His method is more combinatorial than algebraic. The author uses the theory of standard bases (a generalization of the well-known Gröbner bases). The author gives a complete characterization of 2-generated nilpotent commutative algebras in terms of the standard basis with respect to the reverse lexicographical ordering.