Semigroup identities and proofs

DOI10.1007/S00012-014-0280-5zbMATH Open1393.20026OpenAlexW1982937383MaRDI QIDQ2249404FDOQ2249404

Sherman Stein

Publication date: 1 July 2014

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-014-0280-5

zbMATH Keywords

modelsidentitiesproofscomputer proofsBurnside's problem

Mathematics Subject Classification ID

Combinatorics on words (68R15) Equational logic, Mal'tsev conditions (08B05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05) Word problems, etc. in computability and recursion theory (03D40)

Cites Work

• The combinatorial degrees of proofs and equations
• Title not available (Why is that?)
• Examples of varieties of semigroups
• Semigroups satisfying identity xy=f(x,y)
• Semigroups satisfying \(xy=yg(x,y)x\)

Cited In (5)

• On Tamura’s identity yx=f(x,y) in groups
• Identities of locally testable semigroups
• Congruence semimodularity and identities
• IDENTITIES AND A BOUNDED HEIGHT CONDITION FOR SEMIGROUPS
• On equivalence of semigroup identities

Uses Software

• Prover9
• Mace4

This page was built for publication: Semigroup identities and proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2249404)