ALGORITHMIC PROBLEMS IN VARIETIES
DOI10.1142/S0218196795000227zbMATH Open0837.08002OpenAlexW1967939054MaRDI QIDQ4863940FDOQ4863940
Authors: Olga Kharlampovich, Mark 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
Recommendations
surveygroupsisomorphism problemMinsky machinessemigroupsword problemassociative algebrasLie algebrasvarieties of algebrasopen problemsrelatively free algebraalgorithmic problemsequational problemidentity problemHigman propertysimulating differential equations
Symbolic computation and algebraic computation (68W30) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Identities, free Lie (super)algebras (17B01) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Word problems (aspects of algebraic structures) (08A50) Quasivarieties and varieties of groups (20E10) Word problems, etc. in computability and recursion theory (03D40)
Cited In (93)
- Polynomial growth in semigroup varieties.
- Graded algebras, algebraic functions, planar trees, and elliptic integrals
- Recognizing a relatively hyperbolic group by its Dehn fillings
- Filtrations and distortion in infinite-dimensional algebras.
- Algorithmic problems for differential polynomial algebras
- The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups
- On identities and varieties of associative algebras of finite type.
- Constants of Weitzenböck derivations and invariants of unipotent transformations acting on relatively free algebras.
- Algorithmic problems in varieties of semigroups
- On the consistency problem for modular lattices and related structures
- Uniform interpolation and coherence
- Algorithmic problems for amalgams of finite semigroups
- On the axiomatizability of priority. II
- Some undecidable embedding problems for finite semigroups
- IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
- COMPLEXITY OF SEMIGROUP IDENTITY CHECKING
- The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
- Potential Divisibility in Finite Semigroups is Undecidable
- Algorithmic problems in associative algebras
- Asymptotic invariants, complexity of groups and related problems.
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
- Bases of identities for semigroups of bounded rank transformations of a set.
- On algebraic and logical specifications of classes of regular languages.
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- Undecidable problems for completely 0-simple semigroups.
- On maximal subgroups of free objects of certain completely regular semigroup varieties.
- Gröbner-Shirshov bases and their calculation
- Algorithmic problems for finite groups and finite \(0\)-simple semigroups
- The \(\kappa\)-word problem over \(\mathsf{DRH}\)
- Inherently nonfinitely based lattices
- Complexity of the identity checking problem for finite semigroups.
- Using Decision Problems in Public Key Cryptography
- On equational theories of classes of finite rings
- Non-amenable finitely presented torsion-by-cyclic groups
- Natural dualities, nilpotence and projective planes
- Identities and bases in the Sylvester and Baxter monoids
- On equational theories of varieties of anticommutative rings
- The classification of reversible bit operations
- The word and geodesic problems in free solvable groups.
- Lattices of semigroup varieties
- Growth, unavoidable words, and M. Sapir's conjecture for semigroup varieties.
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems
- BURNSIDE-TYPE PROBLEMS RELATED TO SOLVABILITY
- A Hilbert-Nagata theorem in noncommutative invariant theory
- Algorithmically complex residually finite groups
- ON SOME EMBEDDING OF LIE ALGEBRAS
- Pattern avoidance: themes and variations
- A minimal nonfinitely based semigroup whose variety is polynomially recognizable.
- Flat algebras and the translation of universal Horn logic to equational logic
- QUASI-ISOMETRY INVARIANTS AND ASYMPTOTIC CONES
- The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
- Title not available (Why is that?)
- Idempotents, regular elements and sequences from finite semigroups
- On the problem of the derivability of identities in varieties of rings
- Subvarieties of the matrix variety of second order
- Characterization of solvable groups and solvable radical.
- Undecidability of representability as binary relations
- Search and witness problems in group theory.
- Title not available (Why is that?)
- Invariants of universal enveloping algebras of relatively free Lie algebras
- Word problem for knotted residuated lattices.
- Pseudorecursive varieties of semigroups. II
- Undecidability of Algebras of Binary Relations
- Finitely based, finite sets of words
- Almeida's generalized variety problem
- Sublinear time algorithms in the theory of groups and semigroups.
- On positive and critical theories of some classes of rings
- Minsky Machines and Algorithmic Problems
- Pattern occurrence statistics and applications to the Ramsey theory of unavoidable patterns
- Correction to: ``The word problem for one-relation monoids: a survey
- Representations and identities of Baxter monoids with involution
- Computational complexity of learning algebraic varieties
- A semigroup of paths on a sequence of uniformly elliptic complexes
- Representations and identities of hypoplactic monoids with involution
- Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
- Algebras with single defining relation
- Construction of infinite finitely presented nilsemigroup
- The loop problem for Rees matrix semigroups.
- Classical invariant theory for free metabelian Lie algebras
- Finitely presented nilsemigroups: complexes with the property of uniform ellipticity
- Title not available (Why is that?)
- Noether bound for invariants in relatively free algebras.
- Tropical representations and identities of the stylic monoid
- Title not available (Why is that?)
- TYPES OF GROWTH AND IDENTITIES OF SEMIGROUPS
- Semigroup intersection problems in the Heisenberg groups
- Gröbner-Shirshov basis theory and word problems for metatrivial Poisson algebras
- Profinite topologies
- Primitive and almost primitive elements of Schreier varieties
- Title not available (Why is that?)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
- Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
This page was built for publication: ALGORITHMIC PROBLEMS IN VARIETIES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4863940)
