Помогите доказать. Теорема о кручении в HNN - расширениях. Пусть G * = <G, t; t^(-1)At = B, φ> - некоторое HNN - расширение. Тогда каждый элемент конечного порядка в G * сопряжен с некоторым элементом конечного порядка базовой группы G. Таким образом, G * имеются элементы порядка n тогда и только тогда, когда такие элементы имеются в G. заранее благодарен. задан 7 Янв '14 16:37 volakir |
Это теорема из книги Линдона - Шуппа (стр. 254). Она там же и доказывается с использованием леммы Бриттона. Если надо как-то прокомментировать доказательство (скажем, в нём что-то не до конца понятно), я могу это сделать.
Можно ли подробней расписать доказательство?
Можно. Но для этого надо знать, какие именно подробности Вас интересуют. Мне нужно знать, что Вы понимаете до конца, а какие вещи нужно пояснять.