Собственно, сабж. Достаточно ли знать КТО, изоморфизмы аддитивных и мультипликативных групп по модулю, лемму Бёрнсайда, теорему Пойа и еще парочку тем, или нужно учить теорию групп основательно? Если нужно, то буду рад услышать совет по поводу литературы (с английским проблем не имею :) ).
Вы не теорию групп перечислили, а какую-то алгебру =) А такую фундаментальную науку знать всегда полезно, правда редко это пригождается, даже в Петрозаводске(относительно редко).
Если честно — пока писал пост, вспоминал разбор задачи про количество решений уравнения X^K=X(mod N) в Вашем исполнении в Ижевске :).
Вы не теорию групп перечислили, а какую-то алгебру
Вроде пересечение теории групп с теорией чисел, или я не прав? :)
Если касаться этой задачи, то там ключевым фактом является то, что группу по умножению можно представить в виде прямой суммы циклических групп Zpk, но именно в ней до этих соображений можно дойти логикой через КТО. Правда, доказательство строгое приводится как раз через теорию групп.
Вопрос изначально не про эту конкретную задачу (которую я понял по разбору), а про собственно необходимость знания теории групп. В-общем, по комментарию Николая я сделал вывод, что изучить эту науку надо, но, как говорится, на досуге.
Самая важная группа в СП — .
Не знаю, как для СП, а для общего развития еще хорошо знать теоремы Силова и какие-то основы теории Галуа. А так, конечно, неплохо бы еще знать классификацию простых конечных групп, разумеется, с доказательством полноты списка. Тогда у Вас с теорией групп точно не будет проблем!
Экий вы добрый. Хотя бы порядок группы-монстра надо наизусть выучить для начала. =)
классификацию даже специалистам знать не надо, это практически бесполезно
Очень важным разделом является та часть что изложена в кормене.
На самом деле не вижу особого смысла выделять теорию групп из высшей алгебры в контексте подготовки к сп. Я бы добавил к посту автора еще понимание того, как устроены евклидовы кольца (и их примеры), нормальную форму Смита, строение конечного поля и как это связано с неприводимыми многочленами.