Freely reduced word
= Freely reduced word
A word in generators and their formal inverses is freely reduced if no consecutive letters are mutual inverses. Deleting such inverse pairs gives the unique reduced representative in a <free group>. In a general <group presentation>, <free reduction> preserves the represented group element but may not produce a shortest representative.