Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.13980

The strong nonfinite basis property of $S_7$

Lili Wang·Qingrui Yin·Aifa Wang
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the three-element additively idempotent semiring $S_7$ is strongly nonfinitely based: every finite additively idempotent semiring whose generated variety contains $S_7$ has no finite equational basis. This answers Problem~1.2 in Yue, Ren and Gao's paper Explicit equational bases for the power semirings of $S_7$ affirmatively. The proof combines a rigidity property of set systems with private points and a probabilistic construction derived from semilinear sets of letter counts in finite semigroups. The argument allows arbitrary polynomial substitutions and does not assume commutative multiplication. As consequences, both power semirings of the multiplicative reduct of $S_7$, and both power semirings of every finite group of order at least three, are strongly nonfinitely based. All algebras are considered in the signature $(+,\cdot)$ without nullary operations.

Explore related subjects

math.RAmath.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lili Wang, Qingrui Yin, Aifa Wang. 2026-09-22. The strong nonfinite basis property of $S_7$. https://arxiv.org/abs/2610.13980

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The center of an associative crossed module

In this paper, we define a Drinfeld-type center for an associative crossed module and prove that it is canonically the internal category of an explicit crossed module constructed from Mac Lane's bimultiplications. The resulting center carries a canonical multiplicative lifting, which induces a natural strict braiding, establishing its correspondence to a braided crossed module. We also examine the relationship between this center and Huq's categorical center. Finally, we obtain a canonical comparison morphism with Pirashvili's center of Lie crossed modules via the (braided) Liezation functors, which preserves braidings under an injectivity condition.

math.RA↗
arXiv2026

Inclusions and intersections of products of verbally prime $T$-ideals

We study inclusions and intersections of products of verbally prime $T$-ideals over a field of characteristic zero. Our main tool is a Vandermonde-type construction of graded polynomials with a uniformly bounded number of variables. Together with a reduction to finite exterior algebras, this construction yields separating polynomials that work uniformly under bounds on Grassmann envelope representations. We prove that, under these bounds, an intersection of $T$-ideals is contained in such a product only if one member is. This proves Berele's Conjecture~3 and, consequently, his Conjecture~1 \cite{Berele2012}. We also characterize inclusions between ordered products by an explicit combinatorial criterion, proving his Conjecture~2 and answering his Question~2 \cite{Berele2012}. These results characterize inclusions between arbitrary intersections of products of nonzero proper verbally prime $T$-ideals and show that every nonzero such intersection has a unique finite irredundant representation. As an application, we characterize finite quivers whose path algebras have the same polynomial identities as some, equivalently every, positive power of their arrow ideals.

math.RA↗
arXiv2026

Central simple algebras, Milnor $K$-theory and homogeneous spaces over complete discretely valued fields of dimension 2

Let $K$ be a complete discretely valued field of dimension $2$. We prove the following statements on the arithmetic of $K$. - The ``period equals index'' property holds for central simple $K$-algebras. - If $K$ has characteristic $0$, for every prime $p$, every class in the Milnor $\mathrm{K}$-theory modulo $p$ is represented by a symbol. - Serre's Conjecture II holds for the field $K$. That is, for every semisimple and simply connected $K$-group $G$, the set $H^1(K,G)$ is trivial.

math.RA↗