Skip to main content

Levi’s Commutator Theorems for Cancellative Semigroups


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.

This is a preview of subscription content, access via your institution.

Author information

Authors and Affiliations


Corresponding authors

Correspondence to R. Padmanabhan, W. McCune or R. Veroff.

Rights and permissions

Reprints 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).

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI:


  • Group Theory
  • Automate Deduction
  • Cancellative Semigroup
  • Theory Commutator
  • Commutator Theorem