Abstract
A conjecture of Padmanabhan, on provability in cancellative semigroups, is addressed. Several of Levi’s group theory commutator theorems are proved for cancellative semigroups. The proofs, found by automated deduction, support the conjecture.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Padmanabhan, R., McCune, W. & Veroff, R. Levi’s Commutator Theorems for Cancellative Semigroups. Semigroup Forum 71, 152–157 (2005). https://doi.org/10.1007/s00233-005-0506-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-005-0506-0