Блин, это даже я понимаю. Вот возьмите какой-то путь в

, начинающийся и заканчивающийся в точке

. Стяните его - получите какую-то намотку окружности: либо

витков по часовой стрелке, либо

витков против часовой стрелки, либо точку

. Путю с

витками по часовой поставим в соответствие число

, точке

- число

, путю с

витками против часовой поставим в соответствие число

. Получили биекцию

на

. Теперь просто проверяем, что эта биекция - изоморфизм. Возьмем 2 пути из

в

-

и

. Склеим 2 конца

и

- получим один путь - это бинарная операция произведения путей в

. Теперь просто проверьте, что

- гомоморфизм (а это очевидно: если 1-й путь - намотка 3-х витков, а 2-й путь - намотка 5 витков по часовой, то их композиция - намотка из

витков по часовой).
Если все совсем плохо, возьмите столб и 2 веревки и поэкспериментируйте.