Sea F ( X ) un grupo libre . Entonces se dice que una palabra w en F ( X ) se reduce cíclicamente si y sólo si se reduce cada permutación cíclica de la palabra .