Certificate for #543 ⟨a, b, c | ba=ac, cb=a⟩

Back:⟨a, b, c | ba=ac, cb=a⟩

Completion settings:

[1] ba=ac

Axiom: ba=ac.

Defines rule #1.

Referenced by [3].

[2] cb=a

Axiom: cb=a.

Defines rule #2.

Referenced by [3], [4].

[3] cac=aa

Overlap of [2] cb=a with [1] ba=ac:

c b ba

Critical pair: cac=aa.

Defines rule #4.

Referenced by [4].

[4] caa=aab

Overlap of [3] cac=aa with [2] cb=a:

ca c cb

Critical pair: caa=aab.

Defines rule #3.