arXiv++ Combinatorics

We focus on the finite basis problem for flat semirings of the form $S(W)$, where $W$ is an arbitrary set of nonempty words. We prove that $S(W)$ generates a Cross variety (and hence is finitely based) whenever every word in $W$ has length at most $3$, whereas it is nonfinitely based whenever there exists $k \geq 3$ such that $W$ is $x^{k+2}$-free but not $x^{k+1}$-free. In particular, if $W_k$ denotes the set of all words of length $k$, then $S(W_k)$ is finitely based if and only if $k \leq 3$. Moreover, $S(W)$ is nonfinitely based whenever $W$ is finite and not $x^4$-free. These results provide a partial answer to an open problem raised by Jackson et al.~(J Algebra 611: 211--245, 2022).

In this paper the 3-hypergraph semigroups and 3-hypergraph semirings from 3-hypergraphs $\mathbb{H}$ are introduced and the varieties generated by them are studied. It is shown that all 3-hypergraph semirings $S_{\scriptscriptstyle \mathbb{H}}$ are nonfinitely based and subdirectly irreducible. Also, it is proved that each variety generated by 3-hypergraph semirings is equal to a variety generated by 3-uniform hypergraph semirings. It is well known that both variety $\mathbf{V}(S_c(abc))$ (see, J. Algebra 611: 211--245, 2022 and J. Algebra 623: 64--85, 2023) and variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ play key role in the theory of variety of ai-semirings, where 3-uniform hypergraph $\mathbb{H}$ is a 3-cycle. They are shown that each variety generated by 2-robustly strong 3-colorable 3-uniform hypergraph semirings is equal to variety $\mathbf{V}(S_c(abc))$, and each variety generated by so-called beam-type hypergraph semirings or fan-type hypergraph semirings is equal to the variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ generated by a 3-uniform 3-cycle hypergraph semiring $S_{\scriptscriptstyle \mathbb{H}}$. Finally, an infinite ascending chain is provided in the lattice of subvarieties of the variety generated by all 3-uniform hypergraph semirings. This implies that the variety generated by all 3-uniform hypergraph semirings has infinitely many subvarieties.

The $3$-element additively idempotent semiring $S_7$ is a nonnitely based algebra of the smallest possible order. In this paper we study the nite basis problem for some additively idempotent semirings that relate to $S_7$. We present a su cient condition under which an additively idempotent semiring variety is nonnitely based and as applications, show that some additively idempotent semiring varieties that contain $S_7$ are also nonnitely based. We then consider the subdirectly irreducible members of the variety $\mathsf{V}(S_7)$ generated by $S_7$. We show that $\mathsf{V}(S_7)$ contains exactly $6$ finitely based subvarieties, all of which sit at the base of the subvariety lattice, then invoke results from the homomorphism theory of Kneser graphs to verify that $\mathsf{V}(S_7)$ contains a continuum of subvarieties.

The present paper is a continuation of \cite{jrz} and is devoted to the study of limit varieties of additively idempotent semirings. A limit variety is a nonfinitely based variety whose proper subvarieties are all finitely based. We present concrete constructions for one infinite family of limit additively idempotent semiring varieties, and one further ad hoc example. Each of these examples can be generated by a finite flat semiring, with the infinite family arising by a way of a complete characterisation of limit varieties that can be generated by the flat extension of a finite group. We also demonstrate the existence of other examples of limit varieties of additively idempotent semirings, including one further continuum-sized family, each with no finite generator, and two further ad hoc examples. While an explicit description of these latter examples is not given, one of the examples is proved to contain only trivial flat semirings.

We present some general results implying nonfinite axiomatisability of many additively idempotent semirings with finitely based semigroup reducts. The smallest is a $3$-element commutative example, which we show also has \texttt{NP}-hard membership for its variety. As well as being the only nonfinite axiomatisable ai-semiring on $3$-elements, we are able to show that its nonfinite basis property infects many related semirings, including the natural ai-semiring structure on the semigroup $B_2^1$. We also extend previous group-theory based examples significantly, by showing that any finite additively idempotent semiring with a nonabelian nilpotent subgroup is not finitely axiomatisable for its identities.