ALGORITHMIC PROBLEMS IN VARIETIES

DOI10.1142/S0218196795000227zbMath0837.08002OpenAlexW1967939054MaRDI QIDQ4863940

O. G. Kharlampovich, Mark V. Sapir

Publication date: 13 May 1996

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196795000227

zbMATH Keywords

surveygroupssemigroupsword problemLie algebrasopen problemsisomorphism problemvarieties of algebrasMinsky machinesassociative algebrasrelatively free algebraalgorithmic problemsequational problemidentity problemHigman propertysimulating differential equations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Identities, free Lie (super)algebras (17B01) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Quasivarieties and varieties of groups (20E10) Word problems, etc. in computability and recursion theory (03D40) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Word problems (aspects of algebraic structures) (08A50)

Related Items (82)

Inherently nonfinitely based lattices ⋮ Algorithmic problems for differential polynomial algebras ⋮ On algebraic and logical specifications of classes of regular languages. ⋮ Finitely presented nilsemigroups: complexes with the property of uniform ellipticity ⋮ Graded algebras, algebraic functions, planar trees, and elliptic integrals ⋮ QUASI-ISOMETRY INVARIANTS AND ASYMPTOTIC CONES ⋮ Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$ ⋮ Some undecidable embedding problems for finite semigroups ⋮ The Classification of Reversible Bit Operations ⋮ Noether bound for invariants in relatively free algebras. ⋮ The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups ⋮ Complexity of the identity checking problem for finite semigroups. ⋮ PSEUDORECURSIVE VARIETIES OF SEMIGROUPS — II ⋮ Idempotents, regular elements and sequences from finite semigroups ⋮ Algorithmic problems for finite groups and finite \(0\)-simple semigroups ⋮ FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE ⋮ COMPLEXITY OF SEMIGROUP IDENTITY CHECKING ⋮ Almeida's generalized variety problem ⋮ The \(\kappa\)-word problem over \(\mathsf{DRH}\) ⋮ Minsky Machines and Algorithmic Problems ⋮ Algorithmically complex residually finite groups ⋮ Primitive and almost primitive elements of Schreier varieties ⋮ On the consistency problem for modular lattices and related structures ⋮ Tropical representations and identities of the stylic monoid ⋮ Representations and identities of Baxter monoids with involution ⋮ A semigroup of paths on a sequence of uniformly elliptic complexes ⋮ Representations and identities of hypoplactic monoids with involution ⋮ The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups ⋮ Identities and bases in the Sylvester and Baxter monoids ⋮ Growth, unavoidable words, and M. Sapir's conjecture for semigroup varieties. ⋮ FINITELY BASED, FINITE SETS OF WORDS ⋮ On the problem of the derivability of identities in varieties of rings ⋮ On equational theories of varieties of anticommutative rings ⋮ BURNSIDE-TYPE PROBLEMS RELATED TO SOLVABILITY ⋮ Flat algebras and the translation of universal Horn logic to equational logic ⋮ ON SOME EMBEDDING OF LIE ALGEBRAS ⋮ Invariants of universal enveloping algebras of relatively free Lie algebras ⋮ On identities and varieties of associative algebras of finite type. ⋮ Undecidability of representability as binary relations ⋮ Natural dualities, nilpotence and projective planes ⋮ Uniform interpolation and coherence ⋮ ON MAXIMAL SUBGROUPS OF FREE OBJECTS OF CERTAIN COMPLETELY REGULAR SEMIGROUP VARIETIES ⋮ Construction of infinite finitely presented nilsemigroup ⋮ Recognizing a relatively hyperbolic group by its Dehn fillings ⋮ Polynomial growth in semigroup varieties. ⋮ A minimal nonfinitely based semigroup whose variety is polynomially recognizable. ⋮ Word problem for knotted residuated lattices. ⋮ The loop problem for Rees matrix semigroups. ⋮ Bases of identities for semigroups of bounded rank transformations of a set. ⋮ Filtrations and distortion in infinite-dimensional algebras. ⋮ Non-amenable finitely presented torsion-by-cyclic groups ⋮ Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I ⋮ Gröbner–Shirshov bases and their calculation ⋮ On the axiomatizability of priority. II ⋮ The word and geodesic problems in free solvable groups ⋮ Pattern avoidance: themes and variations ⋮ COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES ⋮ Sublinear time algorithms in the theory of groups and semigroups. ⋮ Classical invariant theory for free metabelian Lie algebras ⋮ A finitely axiomatizable undecidable equational theory with recursively solvable word problems ⋮ Using Decision Problems in Public Key Cryptography ⋮ Lattices of semigroup varieties ⋮ Potential Divisibility in Finite Semigroups is Undecidable ⋮ TYPES OF GROWTH AND IDENTITIES OF SEMIGROUPS ⋮ Search and witness problems in group theory ⋮ Undecidable problems for completely 0-simple semigroups. ⋮ Pattern occurrence statistics and applications to the Ramsey theory of unavoidable patterns ⋮ Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups ⋮ Subvarieties of the matrix variety of second order ⋮ Profinite topologies ⋮ A Hilbert-Nagata theorem in noncommutative invariant theory ⋮ Algorithmic problems for amalgams of finite semigroups ⋮ CHARACTERIZATION OF SOLVABLE GROUPS AND SOLVABLE RADICAL ⋮ Constants of Weitzenböck derivations and invariants of unipotent transformations acting on relatively free algebras. ⋮ On positive and critical theories of some classes of rings ⋮ The finite embeddability property for noncommutative knotted extensions of RL ⋮ IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS ⋮ On equational theories of classes of finite rings ⋮ Correction to: ``The word problem for one-relation monoids: a survey ⋮ Undecidability of Algebras of Binary Relations ⋮ Asymptotic invariants, complexity of groups and related problems ⋮ UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS

This page was built for publication: ALGORITHMIC PROBLEMS IN VARIETIES