Semigroup identities and proofs

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

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

Recommendations

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

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 (6)

• Semigroups satisfying \(xy=yg(x,y)x\)
• 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)