ЭлементыЭлементы большой науки
Жизнь в науке. Дневники
Главная / Дневники / Вдовин Евгений / Запись

МОЖЕТ, КОМУ ИНТЕРЕСНО БУДЕТ. О КЛАССИФИКАЦИИ КОНЕЧНЫХ ПРОСТЫХ ГРУПП.

veprus
16.06.2005
10:25
После выхода книги (точнее, двух томов)
Michael Aschbacher, Classification of Quasithin Groups
Закрыта последняя известная дырка в доказательстве классификационной теоремы.

Осталось совсем немного математиков, способных понять эти два тома Ашбахера, а также продолжающуюся серию Gorenstein, Lyons, Solomon, с ревизией классификационного доказательства. Так что на вопрос завершена ли классификация я бы ответил - "да", а вот на вопрос, существует ли доказательство - "да, но оно требует ревизии".
Ответить предыдущая | следующая

КОММЕНТАРИИ:

16.06.2005 13:34#
editor
Здравствуйте, Евгений
Поздравляем всех с открытием первого дневника математика!

Евгений, небольшая просьба: уберите, пожалуйста, ссылку на отдельную страницу (для этого надо нажать "Редактировать" над записью и скопировать сокращенный текст записи в поле "Краткий текст". А то в FireFox'е длинная ссылка не переносится и "раздувает" все страницы, на которых показывается, в том числе главную страницу блогов.

(Сам эффект запишем в список багов, но есть подозрение, что с этим и поделать-то ничего нельзя.)

Спасибо.
16.06.2005 15:39#
editor
Вот эта ссылка
Евгений, спасибо, что убрали длинную ссылку с "головы" блогов. Но совсем убирать ссылку не стоило.

http://print.google.com/print%3Fie%3DUTF-8%26q%3DClassification%2Bfinite%2Bsimple%2Bgroups%26btnG%3DSearch&pg=3&sig=Wq5Hs9QgAnjz1iVCIDPAbR4_I_o" target="_blank">Вот она!
07.07.2006 14:48#
fomalhaut
настроение:
заинтересованный
заинтересованный
Здравствуйте, Евгений
Завидую (откровенно) этому человеку... Мне всё время математика нравилась, но никогда я не мог сдать экзамены выше, чем на 4.
Но намерен в ближайшем будущем найти хорошего математика и поднатаскаться и по подзабытым темам и по тем, что интересны. :)
12.07.2006 01:04#
voix
Дневник математика
> Завидую (откровенно) этому человеку... Мне всё время математика нравилась, но никогда я не мог сдать экзамены выше, чем на 4.
Но намерен в ближайшем будущем найти хорошего математика и поднатаскаться и по подзабытым темам и по тем, что интересны. :)


Чтобы достичь уровня Евгения Вдовина, нужно математиком родиться :o).

Вообще, я как-то слабо представляю профессию математика.
Какой смысл ходить с 8 до 17 на работу? Даже если для работы нужен компьютер, его дома завести можно и Интернет недорогой. К тому же идеи не всегда приходят в рабочее время, не откладывать же идею на утро, если она пришла за ужином. Тем более, когда ты "сова".
Общение с коллегами? А зачем, работа математика, в моем представлении, скорее, работа одиночки. Да и в Интернете легко найти коллег из разных стран.

И за что платят математикам, за что дают премии? На каком основании они выбирают теоремы, которые нужно доказать? Точнее за доказательство каких теорем математикам платят деньги? Может за физическую математику?
16.06.2005 13:52#
spark
О классификации конечных простых групп.
А что порекомендуете вводное такое почитать? Для естественнонаучников :)

Еще я обнаружил, что была статья Ашбахера в Успехах Математических Наук в 1981 году. Но, насколько я понимаю, УМН не доступен онлайн? (в отличие от УФН кстати :) )
16.06.2005 13:58#
spark
Ответ: О классификации конечных простых групп.
Кое-что, впрочем, есть на Википедии (Classification of finite simple groups).
16.06.2005 14:06#
veprus
Ответ: О классификации конечных простых групп.
А это зависит от того, с какой целью и насколько продвинуты "естественнонаучники". Я встречал таких, которые про алгебры и группы Ли знали лучше многих математиков. А это - основной пласт конечных простых групп.

Статьи Ашбахера (любые) весьма далеки от "популярных", их достаточно тяжело читать. Нередки случаи, когда их переписывают болеее простым языком.

Есть книга Горенстейна "Конечные простые группы. Введение в их классификацию" (Gorenstein, "Finite simple groups. An iintroduction...", написал по памяти, но думаю, что без ошибок). Теоретически эта книга рассчитана на человека, который вообще не знает, что такое группы. Но читать ее, начиная со второй главы тяжело даже специалисту. Первая глава достаточно простая, и она дает некоторое представление о том, как выглядят известные простые группы, и весьма грубо описывает некоторые методы доказательства.

Есть еще книга Gorenstein, Lyons, Solomon " The classification of the finite simple groups". -Providence: R.I. AMS, 1994. -XIV, 165 p. -Bibliogr.: p. 141-153. Ind.: p.154-165 (Mathematical surveys and monogr. v.40 N1) (первая в уже упомянутой ранее серии), которая на мой взгляд лучше всего подходит для начинающего читателя, знакомого с основами теории групп. Она достаточно быстро и элементарно объясняет общее строение конечных групп, после чего становится более-менее понятно, в чем же важность классификации и как ее использовать для исследования произвольной конечной группы.
20.06.2008 15:26#
Может, кому интересно будет. О классификации конечных простых групп.
Здравствуйте Евгений!

А где-нибудь можно найти в pdf/djvu два тома Ашбахера?
в интернете пока только книги Горенстейна и только два тома, к сожалению...

Gorenstein D, Lyons R, Solomon R.`Classification of finite simple groups, tom 2-I-G`1996
Gorenstein D, Lyons R, Solomon R.`Classification of finite simple groups, tom 1`1994
Горенстейн[Gorenstein D.]`Конечные простые группы`[1982]1985

Очень жалко. Важный раздел знаний, а материала мало. Было бы ещё замечательнее если бы кто-нибудь взялся перевести на русский язык во всех математических деталях и тонкостях...

Еще вопрос если возможно - по томам 3, 4 и далее - классификация на 18 простых конечных и 26 простых спорадических не претерпела серьезных изменений ?

с уважением,
Андрей
26.08.2008 05:58#
veprus
Может, кому интересно будет. О классификации конечных простых групп.
Только сейчас заметил этот вопрос. Отвечаю последовательно.

Тома Ашбахера в формате pdf/djvu найти нельзя. Авторские права и бла-бла-бла знаете-ли. Некоторое время соответствующий препринт лежал в открытом доступе, но сейчас я его найти не могу. Вообще эти два тома представляют собой довольно сложный текст с очень большим количеством вычислений, которые при этом используют знание весьма обширных разделов алгебры. Думаю, что весьма ограниченное число специалистов во всём мире способно разобраться во всех деталях.

Я не очень понял вопроса про "классификация на 18 простых конечных и 26 простых спорадических не претерпела серьезных изменений ?" Если Вы имеете ввиду список - то он, конечно, не изменился. Если же структура доказательства по сравнению с первоначальным, то, естественно, что она существенно перерабатывается.
27.08.2008 11:27#
Может, кому интересно будет. О классификации конечных простых групп.
>Если Вы имеете ввиду список - то он, конечно, не изменился.

да, это имел ввиду (вопрос был в основном в том:"не нашлась ли 27-я спорадическая"). Доказательство, как естественно было бы предположить, со временем должно только улучшится.

>Вообще эти два тома представляют собой довольно сложный текст с очень большим количеством вычислений, которые при этом используют знание весьма обширных разделов алгебры.

А что-нибудь в стиле популярного изложения сути (не для спецов) в журналах типа "Наука в Америке" не появлялось по этим выкладкам Ашбахера?

спасибо, наилучшего в работе,
Андрей
28.08.2008 05:57#
veprus
Может, кому интересно будет. О классификации конечных простых групп.
>А что-нибудь в стиле популярного изложения сути (не для спецов) в журналах типа "Наука в Америке" не появлялось по этим выкладкам Ашбахера?

По-моему, изложить популярно и при этом объяснить суть невозможно. Скажем в этих двух томах строится очень сложная и глубокая теория квазитонких групп только затем, чтобы показать, что она пустая, т.е. объектов, попадающих под эту теорию не существует.

На мой взгляд, статья в Википедии, посвящённая изложению идеи доказательства теоремы о разрешимости групп нечётного порядка (теоремы Фейта-Томпсона) довольно удачная. Но и она практически ничего не говорит об основной части этой статьи, посвящённой локальному анализу, кроме того, что это бОльшая и самая запутанная часть. А именно из методов локального анализа, разработанных в этой части строится доказательство классификационной теоремы.

Вообще очень интересно разбирать саму технику, как один простой делитель порядка "цепляется" за другой. Различные удивительные совпадения иногда кажутся просто фантастическими - всякие мексиканские сериалы отдыхают. Но работа эта тяжёлая и, увы, неблагодарная.
Вести дневник и оставлять комментарии могут только зарегистрированные пользователи
Логин:
Пароль:
Зарегистрироваться
Последние сообщения
Помощь
Всего дневников: 654

Пользователей
в системе: 2783

Всего записей
и комментариев: 50264

Записей и комментариев
за последние 24 часа: 17

АКТИВНЫЕ ДНЕВНИКИ


 
Энциклопедия | Новости | Блоги | Календарь | Право | Библиотека | Детские вопросы | ЖОБ При поддержке фонда Дмитрия Зимина - Династия