Certificate for #6948 ⟨a, b, c | ab=1, accba=c⟩

Back:⟨a, b, c | ab=1, accba=c⟩

Completion settings:

[1] ab=1

Axiom: ab=1.

Defines rule #1.

Referenced by [3].

[2] accba=c

Axiom: accba=c.

Referenced by [3], [4].

[3] accb=cb

Overlap of [2] accba=c with [1] ab=1:

accb a ab

Critical pair: accb=cb.

Referenced by [4], [5].

[4] cba=c

Overlap of [2] accba=c with [3] accb=cb:

accba accb

Critical pair: cba=c.

Defines rule #3.

Referenced by [5], [6].

[5] acc=c

Overlap of [3] accb=cb with [4] cba=c:

ac cb cba

Critical pair: acc=cba.

Reduce RHS:

[4](cba)
⇒ c

Defines rule #2.

Referenced by [6].

[6] cbc=ccc

Overlap of [4] cba=c with [5] acc=c:

cb a acc

Critical pair: cbc=ccc.

Defines rule #4.