Здравствуйте!

Пытаюсь решить задачу:
`TZ` доказать, что разрешимая группа, имеющая конечное число классов сопряженных элементов, конечна (задача 13.25 из Задачника по теории групп Вячеслава Александровича Белоногова (М. : Наука, 2000. — 239 с.)).
[[/TZ]]
Действую поэтапно (чтобы потом попытаться применить принцип индукции, например):

Если G' = {e}, то группа абелева, каждому элементу соответствует один класс, следовательно, группа конечна.

Если G' != {e}, G'' = {e}, то G' абелева.

Первая мысль, которая пришла в голову на данном этапе: в G' конечное число сопряженных элементов, так как это подгруппа группы G.

Но это не обязательно так: пусть в подгруппе H какой-то группы G есть элементы h и `h^g` != h. `h^g` = (`g^-1` * h * g). h и `h^g` лежат в одном классе сопряженных элементов в G. Однако, если g не принадлежит H, то в H может быть и больше классов сопряженных элементов. Следовательно, «первая мысль» некорректна.

Подскажите, пожалуйста, как можно попытаться все-таки доказать, что и в G' будет конечное число сопряженных элементов?

Заранее спасибо! :)

(Спрашивал неделю назад на dxdy, не удалось найти ответа :), надеюсь, что ответ все-таки найдется :). Попытки найти решение самостоятельно пока не увенчались успехом...)

@темы: Теория групп, Высшая алгебра

Комментарии
23.01.2011 в 22:25

Долго пытался решить или найти доказательство, и удалось найти его в журнале:

Доказательство (в несколько измененном виде) взято из статьи Сергея Николаевича Черникова «К теории локально разрешимых групп» в журнале «Математический сборник» (1943 год, том 13(55), номер 2-3, стр. 317—333) (http://mi.mathnet.ru/msb6182).


23.01.2011 в 22:39

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Большое спасибо, что выложили