Semigroup identities and proofs

DOI10.1007/S00012-014-0280-5MaRDI QIDQ2249404zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Semigroups satisfying xy=yg(x,y)x
• On equivalence of semigroup identities
• scientific article; zbMATH DE number 4171232
• scientific article; zbMATH DE number 3933342
• scientific article; zbMATH DE number 4029840

Cites work

• scientific article; zbMATH DE number 3687602 (Why is no real title available?)
• Examples of varieties of semigroups
• Semigroups satisfying \(xy=yg(x,y)x\)
• Semigroups satisfying identity xy=f(x,y)
• The combinatorial degrees of proofs and equations

Cited in

(6)

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

Describes a project that uses

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)