Small Cancellation and Dehn Algorithms - Examples

The cyclic conjugates of $r=abc$ are $abc$, $bca$, and $cab$.

The inverse word is $r^{-1}=c^{-1}{b}^{-1}{a}^{-1}$, whose cyclic conjugates are $c^{-1}{b}^{-1}{a}^{-1}$, $b^{-1}{a}^{-1}{c}^{-1}$, and $a^{-1}{c}^{-1}{b}^{-1}$. Applying [L1] gives exactly the displayed six-element set.

The words $r_1$ and $r_2$ start with the same letter $a$ and then immediately diverge, so $a$ is a piece by [L1]. Their inverse words have cyclic conjugates starting with $a^{-1}$ and then immediately diverging, so $a^{-1}$ is also a piece. Every other letter occurs in only one cyclic position among the two relators and their inverses, so there is no other nontrivial piece and no piece of length greater than $1$.

The relevant relator lengths are $\mathrm{\mid }{r}_1\mathrm{\mid }=7$ and $\mathrm{\mid }{r}_2\mathrm{\mid }=8$, while both pieces have length $1$. Since $1<7\mathrm{/}6$ and $1<8\mathrm{/}6$, [L2] shows that the $C^{\mathrm{\prime }}(1\mathrm{/}6)$ inequalities hold for every symmetrised occurrence.

The first seven letters of $w$ form the defining relator itself, so [L1] replaces that block by the empty word. The result is the single relator $x_1{x}_2{x}_3{x}_4{x}_5{x}_6{x}_7$.

Apply the same move again to the remaining relator block. A second Dehn replacement produces the empty word.

In a one-face disc diagram, every edge of the unique face lies on the outer boundary of the whole diagram. So the distinguished face contributes exactly $\mathrm{\mid }r\mathrm{\mid }$ boundary edges to the outer boundary.

Since $\mathrm{\mid }r\mathrm{\mid }>\mathrm{\mid }r\mathrm{\mid }\mathrm{/}2$, the unique face satisfies the conclusion of [L1]. Thus this one-cell disc is a concrete Greendlinger face.

The symmetrised relator set has no nontrivial pieces, because distinct cyclic conjugates start with distinct letters. So the $C^{\mathrm{\prime }}(1\mathrm{/}6)$ condition holds vacuously. The relator is not a proper power because its letters are all distinct in cyclic order.

Apply [L1] to the presentation from step 1.1. Therefore the group $G$ is torsion-free.

The common initial segment of the two relators is the one-letter word $a$, so $a$ is a piece. Both relators have length $6$.

Hence the piece length is exactly $1=6\mathrm{/}6$. This meets the weak inequality $\mathrm{\mid }p\mathrm{\mid }\le \mathrm{\mid }r\mathrm{\mid }\mathrm{/}6$, but it does not satisfy the strict inequality required by [L1].

So the strict convention is genuinely stronger: exact one-sixth overlap fails it. This refutes the statement.

As in FALSE: a presentation with no proper-power relators is automatically torsion-free, neither relator $a{b}^2$ nor $a^{2}b$ is a proper power.

The same substitution calculation gives $a=b^{-2}$ and then $b^{-4}b=1$, so $b^3=1$. Moreover the assignment $a\mapsto t$, $b\mapsto t$ to the cyclic group $C_3=⟨t\mid t^3=1⟩$ satisfies both relators, so it induces a surjective homomorphism $G\to C_3$. Thus $G$ has nontrivial torsion.

Therefore no-proper-power relators do not by themselves prevent torsion. By [L1], the missing small-cancellation hypothesis is essential.