On a Hereditarily Finitely Based Ai-Semiring Variety

Miaomiao Ren,Lingli Zeng
DOI: https://doi.org/10.1007/s00500-018-03719-0
IF: 3.732
2019-01-01
Soft Computing
Abstract:Let \(\mathbf{W}\) denote the join of the ai-semiring variety axiomatized by \(x^2\approx x\) and the ai-semiring variety axiomatized by \(xy\approx zt\). We show that the lattice of subvarieties of \(\mathbf{W}\), \(\mathcal{L}(\mathbf{W})\), is a distributive lattice of order 312. Also, all members of this variety are finitely based and finitely generated. Thus, \(\mathbf{W}\) is hereditarily finitely based.
What problem does this paper attempt to address?