Cyclic reduction of a shortest conjugacy representative

ID: cyclic-reduction-of-a-shortest-conjugacy-representative

A nonempty shortest conjugacy representative is a cyclically reduced word. If with first and last letters inverse, is a shorter word representing a conjugate. Consequently has length exactly as a freely reduced word, and any segment of the periodic word of length at most fits in a cyclic rotation of . This observation turns a Dehn shortening segment crossing copy boundaries into a shortening of a conjugacy representative.

New to topics? Read the docs here!