Bases for equational theories of semi-groups
From MaRDI portal
Publication:2536632
DOI10.1016/0021-8693(69)90058-1zbMath0186.03401OpenAlexW2036285489MaRDI QIDQ2536632
Publication date: 1969
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0021-8693(69)90058-1
Related Items (only showing first 100 items - show all)
The structure and definability in the lattice of equational theories of strongly permutative semigroups ⋮ ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS ⋮ FINITELY BASED WORDS ⋮ A Nonfinitely Based Semigroup of Triangular Matrices ⋮ An equational logic sampler ⋮ On the finite basis problem for the monoids of partial extensive injective transformations. ⋮ The Division Relation: Congruence Conditions and Axiomatisability ⋮ Definability in the lattice of equational theories of commutative semigroups ⋮ THE FINITE BASIS PROBLEM FOR THE MONOID OF TWO-BY-TWO UPPER TRIANGULAR TROPICAL MATRICES ⋮ Word-Representable Graphs: a Survey ⋮ Finitely generated permutative varieties. ⋮ FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES ⋮ COMPLEXITY OF SEMIGROUP IDENTITY CHECKING ⋮ Classification of limit varieties of 𝒥-trivial monoids ⋮ Finite basis problem for semigroups of order six ⋮ Partially well-ordered sets of infinite matrices and closed classes of abelian groups ⋮ Various varieties ⋮ A note on the finite basis and finite rank properties for pseudovarieties of semigroups ⋮ Finite basis problem for Catalan monoids with involution ⋮ A survey on varieties generated by small semigroups and a companion website ⋮ Finite basis problems for stalactic, taiga, sylvester and baxter monoids ⋮ A NEW METHOD IN THE FINITE BASIS PROBLEM WITH APPLICATIONS TO RANK 2 TRANSFORMATION SEMIGROUPS ⋮ A NONFINITELY BASED FINITE SEMIRING ⋮ MINIMAL SEMIGROUPS GENERATING VARIETIES WITH COMPLEX SUBVARIETY LATTICES ⋮ FINITE BASIS PROBLEM FOR INVOLUTION MONOIDS OF ORDER FIVE ⋮ Tropical representations and identities of the stylic monoid ⋮ Parallelizable algebras ⋮ Representations and identities of Baxter monoids with involution ⋮ Representations and identities of hypoplactic monoids with involution ⋮ Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups ⋮ Limit varieties generated by finite non-J-trivial aperiodic monoids ⋮ Flat extensions of groups and limit varieties of additively idempotent semirings ⋮ Varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive ⋮ Chain varieties of monoids ⋮ FINITELY BASED, FINITE SETS OF WORDS ⋮ LIMIT VARIETIES GENERATED BY COMPLETELY 0-SIMPLE SEMIGROUPS ⋮ Monoid varieties with extreme properties ⋮ THE RANKS OF PLANARITY FOR VARIETIES OF COMMUTATIVE SEMIGROUPS ⋮ LEE MONOIDS ARE NONFINITELY BASED WHILE THE SETS OF THEIR ISOTERMS ARE FINITELY BASED ⋮ Limit varieties of aperiodic monoids with commuting idempotents ⋮ Varieties of Commutative Semigroups ⋮ EQUATIONAL DESCRIPTIONS OF LANGUAGES ⋮ On certain cross varieties of aperiodic monoids with commuting idempotents. ⋮ Algebraic properties of some quadratic dynamical systems ⋮ On identities of finite involution semigroups. ⋮ Small semigroups generating varieties with continuum many subvarieties. ⋮ On identical transformations in commutative semigroups ⋮ A finite basis theorem for difference-term varieties with a finite residual bound ⋮ THE PERKINS SEMIGROUP HAS CO-NP-COMPLETE TERM-EQUIVALENCE PROBLEM ⋮ THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES ⋮ The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based ⋮ Primitive Satisfaction and Equational Problems for Lattices and Other Algebras ⋮ Automorphisms of the lattice of equational theories of commutative semigroups ⋮ The lattice of ai-semiring varieties satisfying \(x^n \approx x\) and \(xy \approx yx\) ⋮ The lattice of semigroup varieties ⋮ Non-Specht variety generated by an involution semigroup of order five ⋮ Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups. ⋮ THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE ⋮ On the imbedding of semigroup identities in infinite irreducible sets ⋮ A NEW EXAMPLE OF A MINIMAL NONFINITELY BASED SEMIGROUP ⋮ On the ascending and descending chain conditions in the lattice of monoid varieties ⋮ FINITELY GENERATED LIMIT VARIETIES OF APERIODIC MONOIDS WITH CENTRAL IDEMPOTENTS ⋮ THE SEMIGROUPS B2 AND B0 ARE INHERENTLY NONFINITELY BASED, AS RESTRICTION SEMIGROUPS ⋮ Small semigroup related structures with infinite properties ⋮ Finite basis problem for Lee monoids with involution ⋮ On the finite basis problem for the variety generated by all \(n\)-element semigroups. ⋮ Non-finitely based finite involution semigroups with finitely based semigroup reducts ⋮ Finite basis problem for the variety generated by all monoids of order five ⋮ HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS ⋮ Inherently nonfinitely based lattices ⋮ Log-linear varieties of semigroups ⋮ The finite basis problem for words with at most two non-linear variables. ⋮ The word problem in varieties of semigroups, rings, and Lie algebras ⋮ Quasi-identities of finite semigroups and symbolic dynamics ⋮ On permutative semigroup algebras ⋮ On finite bases for varieties and pseudovarieties ⋮ Finite basis problem for semigroups of order five or less: generalization and revisitation. ⋮ On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation ⋮ The identities of the free product of two trivial semigroups ⋮ A non-finitely based involution semigroup of order five ⋮ On a question of Pollák and Volkov regarding hereditarily finitely based identities. ⋮ Identities satisfied by a finite ring ⋮ Bases of identities of varieties of inverse semigroups ⋮ Laws in finite loops ⋮ The finiteness of a base of identities for five-element monoids ⋮ The finite basis problem for Kiselman monoids. ⋮ On the varieties generated by ai-semirings of order two. ⋮ Classification of finitely based words in a class of words over a \(3\)-letter alphabet. ⋮ Minimal non-finitely based semigroups. ⋮ On definability in some lattices of semigroup varieties. ⋮ On the finite basis problem for certain 2-limited words. ⋮ A four-element algebra whose identities are not finitely based ⋮ Identities and quasiidentities in the lattice of overcommutative semigroup varieties. ⋮ Varieties generated by semigroups of order four ⋮ Almost cross varieties of aperiodic monoids with central idempotents. ⋮ Classification of algebraic structures by work space ⋮ Complexity of some language fragments of fuzzy logics ⋮ Finite basis problem for 2-testable monoids. ⋮ Equational theories of semigroups with involution. ⋮ Finite groupoids without finite bases for their identities
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Identical relations in finite groups
- Identical relations in groups. I
- SOME REMARKS ON VARIETIES OF GROUPS
- Identities in Two-Valued Calculi
- Two Notes on Nilpotent Groups
- Identities in Finite Algebras
- SWAC Computes 126 Distinct Semigroups of Order 4
- On a combinatorial game
This page was built for publication: Bases for equational theories of semi-groups