606

д . Г . Храмцов

что и требовалось доказать.'Таким образом, ff- гомоморфизм

Рассмотрим тепер^ изомоофизм^^^^ группы ^ (б'^^З / на ^{ОщГ) , тогда & (11:)'=^^ L^') У 10 i^l) - Построим по сопря- f4K4KHM элементам ff {/l;) , i^Z , продолжение & до гомоморфиз-

ма В группы r[ir^û) в riff^/J . Посмотрим, как действует

композиция У и а , являющаяся гомоморфизмом Г\1г^1 / в себя,

на порождающих г[и^Г) :

следовательно , композиция У^ 8 - тождественный изоморфизм r\Q^I) на себя. Аналогично композиция &*&z тождественный изоморфизм F[lj^à) на себя, значит, & ^ & - изоморфизмы. Теорема 2 доказана, так как равенство aflyy = и/ ^» i^I , дует сразу из определения ff

§ 4. Упорядочение ассоциированных подгрупп и проходных букв

Пусть

Ь

ассоциированные подгруппы группы г (сг, / } ^ jLu . Построим