ALGORITHMIC PROBLEMS IN VARIETIES
From MaRDI portal
Publication:4863940
algorithmic problemsassociative algebrasequational problemgroupsHigman propertyidentity problemisomorphism problemLie algebrasMinsky machinesopen problemsrelatively free algebrasemigroupssimulating differential equationssurveyvarieties of algebrasword problem
Word problems, etc. in computability and recursion theory (03D40) Word problems (aspects of algebraic structures) (08A50) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Identities, free Lie (super)algebras (17B01) Quasivarieties and varieties of groups (20E10) 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) Symbolic computation and algebraic computation (68W30)
Recommendations
Cited in
(99)- Undecidable problems for completely 0-simple semigroups.
- On equational theories of classes of finite rings
- Algorithmic problems in associative algebras
- Idempotents, regular elements and sequences from finite semigroups
- Algorithmic problems for finite groups and finite \(0\)-simple semigroups
- Almeida's generalized variety problem
- The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups
- Growth, unavoidable words, and M. Sapir's conjecture for semigroup varieties.
- Subvarieties of the matrix variety of second order
- Algorithmic problems for amalgams of finite semigroups
- On positive and critical theories of some classes of rings
- Inherently nonfinitely based lattices
- The \(\kappa\)-word problem over \(\mathsf{DRH}\)
- Algorithmically complex residually finite groups
- Uniform interpolation and coherence
- Bases of identities for semigroups of bounded rank transformations of a set.
- Algorithmic problems in varieties of semigroups
- On algebraic and logical specifications of classes of regular languages.
- The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
- On the problem of the derivability of identities in varieties of rings
- On equational theories of varieties of anticommutative rings
- Invariants of universal enveloping algebras of relatively free Lie algebras
- Recognizing a relatively hyperbolic group by its Dehn fillings
- Profinite topologies
- Correction to: ``The word problem for one-relation monoids: a survey
- Computational complexity of learning algebraic varieties
- Construction of infinite finitely presented nilsemigroup
- A minimal nonfinitely based semigroup whose variety is polynomially recognizable.
- Word problem for knotted residuated lattices.
- Primitive and almost primitive elements of Schreier varieties
- The loop problem for Rees matrix semigroups.
- Constants of Weitzenböck derivations and invariants of unipotent transformations acting on relatively free algebras.
- Noether bound for invariants in relatively free algebras.
- Algorithmic problems for differential polynomial algebras
- Tropical representations and identities of the stylic monoid
- Finitely based, finite sets of words
- Non-amenable finitely presented torsion-by-cyclic groups
- Characterization of solvable groups and solvable radical.
- Pseudorecursive varieties of semigroups. II
- Minsky Machines and Algorithmic Problems
- On the consistency problem for modular lattices and related structures
- On maximal subgroups of free objects of certain completely regular semigroup varieties.
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
- Search and witness problems in group theory.
- Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
- Asymptotic invariants, complexity of groups and related problems.
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
- TYPES OF GROWTH AND IDENTITIES OF SEMIGROUPS
- IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
- scientific article; zbMATH DE number 5302299 (Why is no real title available?)
- Using Decision Problems in Public Key Cryptography
- scientific article; zbMATH DE number 3922732 (Why is no real title available?)
- scientific article; zbMATH DE number 3966410 (Why is no real title available?)
- scientific article; zbMATH DE number 4051899 (Why is no real title available?)
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
- A Hilbert-Nagata theorem in noncommutative invariant theory
- Some undecidable embedding problems for finite semigroups
- scientific article; zbMATH DE number 700342 (Why is no real title available?)
- scientific article; zbMATH DE number 2039031 (Why is no real title available?)
- UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
- Pattern occurrence statistics and applications to the Ramsey theory of unavoidable patterns
- The classification of reversible bit operations
- Potential Divisibility in Finite Semigroups is Undecidable
- QUASI-ISOMETRY INVARIANTS AND ASYMPTOTIC CONES
- COMPLEXITY OF SEMIGROUP IDENTITY CHECKING
- Undecidability of representability as binary relations
- The word and geodesic problems in free solvable groups.
- Natural dualities, nilpotence and projective planes
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems
- Undecidability of Algebras of Binary Relations
- Finitely presented nilsemigroups: complexes with the property of uniform ellipticity
- Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
- Classical invariant theory for free metabelian Lie algebras
- Gröbner-Shirshov bases and their calculation
- The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
- Filtrations and distortion in infinite-dimensional algebras.
- BURNSIDE-TYPE PROBLEMS RELATED TO SOLVABILITY
- Flat algebras and the translation of universal Horn logic to equational logic
- ON SOME EMBEDDING OF LIE ALGEBRAS
- On the axiomatizability of priority. II
- Pattern avoidance: themes and variations
- 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
- Identities and bases in the Sylvester and Baxter monoids
- Algebras with single defining relation
- Semigroup intersection problems in the Heisenberg groups
- Gröbner-Shirshov basis theory and word problems for metatrivial Poisson algebras
- Automorphisms of finitely generated free metabelian Novikov algebras
- On the equational theory of finite modular lattices
- Flexible constraint satisfiability and a problem in semigroup theory
- Noncommutative invariants of dihedral groups
- Computable structure theory of partial combinatory algebras
- Sublinear time algorithms in the theory of groups and semigroups.
- Lattices of semigroup varieties
- Graded algebras, algebraic functions, planar trees, and elliptic integrals
- Complexity of the identity checking problem for finite semigroups.
- On identities and varieties of associative algebras of finite type.
- Polynomial growth in semigroup varieties.
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)
