finitely based
Recently Published Documents


TOTAL DOCUMENTS

143
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

2020 ◽  
Vol 6 (2) ◽  
pp. 117
Author(s):  
Xianzhong Zhao ◽  
Miaomiao Ren ◽  
Siniša Crvenković ◽  
Yong Shao ◽  
Petar Dapić

Up to isomorphism, there are 61 ai-semirings of order three. The finite basis problem for these semirings is investigated. This problem for 45 semirings of them is answered by some results in the literature. The remaining semirings are studied using equational logic. It is shown that with the possible exception of the semiring \(S_7\), all ai-semirings of order three are finitely based.



Author(s):  
S. V. Gusev

A variety of algebras is called limit if it is nonfinitely-based but all its proper subvarieties are finitely-based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents.



2020 ◽  
Vol 81 (3) ◽  
Author(s):  
Meng Gao ◽  
Wen Ting Zhang ◽  
Yan Feng Luo
Keyword(s):  


2019 ◽  
Vol 100 (1) ◽  
pp. 153-168 ◽  
Author(s):  
Meng Gao ◽  
Wen Ting Zhang ◽  
Yan Feng Luo
Keyword(s):  


2019 ◽  
Vol 99 (3) ◽  
pp. 881-897 ◽  
Author(s):  
Olga Sapir
Keyword(s):  


2019 ◽  
Vol 70 (4) ◽  
pp. 1157-1180
Author(s):  
Edmond W H Lee

Abstract A variety that contains continuum many subvarieties is said to be huge. A sufficient condition is established under which an involution monoid generates a variety that is huge by virtue of its lattice of subvarieties order-embedding the power set lattice of the positive integers. Based on this result, several examples of finite involution monoids with extreme varietal properties are exhibited. These examples—all first of their kinds—include the following: finite involution monoids that generate huge varieties but whose reduct monoids generate Cross varieties; two finite involution monoids sharing a common reduct monoid such that one generates a huge, non-finitely based variety while the other generates a Cross variety; and two finite involution monoids that generate Cross varieties, the join of which is huge.



2019 ◽  
Vol 29 (06) ◽  
pp. 909-925
Author(s):  
Z Ésik

AbstractSeveral fixed-point models share the equational properties of iteration theories, or iteration categories, which are cartesian categories equipped with a fixed point or dagger operation subject to certain axioms. After discussing some of the basic models, we provide equational bases for iteration categories and offer an analysis of the axioms. Although iteration categories have no finite base for their identities, there exist finitely based implicational theories that capture their equational theory. We exhibit several such systems. Then we enrich iteration categories with an additive structure and exhibit interesting cases where the interaction between the iteration category structure and the additive structure can be captured by a finite number of identities. This includes the iteration category of monotonic or continuous functions over complete lattices equipped with the least fixed-point operation and the binary supremum operation as addition, the categories of simulation, bisimulation, or language equivalence classes of processes, context-free languages, and others. Finally, we exhibit a finite equational system involving residuals, which is sound and complete for monotonic or continuous functions over complete lattices in the sense that it proves all of their identities involving the operations and constants of cartesian categories, the least fixed-point operation and binary supremum, but not involving residuals.



2019 ◽  
Vol 27 (5) ◽  
pp. 743-745
Author(s):  
Edmond W H Lee

Abstract It is shown that given any finite system of monoid identities, it is decidable if the class of locally finite monoids that satisfy the system is a variety. This answers an open problem of Mark V. Sapir.



2019 ◽  
Vol 23 (16) ◽  
pp. 6819-6825 ◽  
Author(s):  
Miaomiao Ren ◽  
Lingli Zeng


2018 ◽  
Vol 16 (1) ◽  
pp. 913-923
Author(s):  
Aifa Wang ◽  
Yong Shao

AbstractThe aim of this paper is to study the lattice of subvarieties of the ai-semiring variety defined by the additional identities$$\begin{array}{} \displaystyle x^{p+1}\approx x\,\,\mbox{and}\,\,zxyz\approx(zxzyz)^{p}zyxz(zxzyz)^{p}, \end{array} $$wherepis a prime. It is shown that this lattice is a distributive lattice of order 179. Also, each member of this lattice is finitely based and finitely generated.



Sign in / Sign up

Export Citation Format

Share Document