
,

— изоморфизм
Формулу не видно:

Но я все равно не врубаюсь. Пусть это верно. А что такое тогда

?

и

? ... Тогда

- удовлетворяет определению 1.
А обратно как? ...
-- Сб окт 01, 2011 17:37:04 --Все-таки понял, почему

. Пусть

, тогда

. С другой стороны,

, пусть

, значит

и тогда для

будет

. Если бы было

, то получилось бы верно. Хотя видно, что

- ретракция.
Все-таки не до конца понял

В любом случае, утверждение скорее всего является стандартным фактом, а значит должно быть каноничное доказательство. Хотелось бы увидеть его, для точности и общности и ясности... Я-то использую то, что

- свободная группа, а в общем случае это не так...