Классификационная теорема

Cтраница 3

Когда G содержит лишь один класс сопряженных инволюций, процедура значительно усложняется. Прежде всего определяется р-локальное строение группы G ( включая сопряженные классы элементов порядка р) для множества видимых нечетных простых чисел - а именно тех, которые делят порядок заданного централизатора инволюции. Указанные действия используют 2-локальное строение группы G вместе с полученными ранее классификационными теоремами. Такие теоремы обычно используются также при описании возможной картины слияния инволюций в G и уточнении ее 2-локального строения. [31]

Дискретные модели наследуют многие важнейшие свойства уравнения Больцмана. Важность этой теоремы состоит в том, что она показывает необратимость ( по параметру эволюции - времени) уравнения Больцмана. В работе [5] доказана единственность Н - функции для уравнения Больцмана, что в то же время дает различные классификационные теоремы для сохраняющихся функционалов и позволяет уверенно оперировать понятиями консервативность, полная консервативность и точная консервативность в дальнейшем. [32]

Однако иногда, особенно при р 2, нам необходима более детальная структурная информация. Картер и Фонг [62] дали полное описание силовских 2-подгрупп классических групп над полями нечетной характеристики q, с помощью которого могут быть выяснены все необходимые свойства. Строение силовских подгрупп большинства оставшихся простых / С-групп было выяснено в отдельных работах огромного числа авторов, как правило, в ходе доказательства различных классификационных теорем. Chev ( p) включает в себя явные коммутаторные формулы соотношений Стейнберга. [33]

Комбинируя теорему 4.190 со своими результатами, о которых шла речь в предыдущем параграфе ( а именно, с теоремами 4.182 и 4.183), Ашбахеру удалось доказать следующую более точную форму локальной C ( G; Т) - теоремы. Отметим, что опубликованный Аш-бахером вариант его теоремы ( появившийся раньше теоремы Гла-убермана - Найлза) не требует, чтобы X была К - группой. Действительно, вид компонент группы Х / 02 ( Х) выясняется в самом конце с использованием теоремы Тиммесфельда о корневых инволюциях - теорема 2.71. Однако рассуждение в нашем случае проще первоначального и позволяет получить результат, достаточно сильный для приложения к классификационной теореме. [34]

В этой монографии освещается много центральных тем, которые можно рассчитывать найти в книге по теории графов - например, теорема Менгера и потоки в сетях, проблема восстановления, матричная теорема о деревьях, теория факторов ( или паросочетаний) для графов ( созданная в значительной степени самим профессором Таттом), хроматические многочлены, теорема Брукса, теорема Гринберга, пленарные графы, теорема Куратовского. Но это ни в коем случае не еще одна книга по теории графов, ибо излагаемый материал связывается в единое целое глубоко индивидуальным подходом профессора Татта. Кроме того, самые обычные темы преподносятся с некоторыми приятными сюрпризами, такими, как принадлежащая автору изящная теория разложения графов на трехсвязные 3-блоки ( кроме монографии [5], ее ни в какой книге не найдешь), интересный, замечательный подход к электрическим цепям и - быть может, самое примечательное - классификационная теорема для замкнутых поверхностей. Обычно эту теорему относят к топологии, но проф. Татт демонстрирует нам, что она отлично подходит для работы по теории графов - комбинаторная по своей сущности природа рассуждений здесь, действительно, на месте. [35]

Из нечетности W следует, что W G. Следовательно, Г, 2 () G, согласно (4.5), поэтому G имеет собственное - порожденное ядро. Теперь классификационная теорема Ашбахера дает нам, что G L2 ( 7), q 3, Se ( 22 1), nl, U3 ( 2n), n2, Mn или Jl. Однако в каждой из этих групп известен точный вид централизаторов инволюций. Оказывается, что ни в одной из указанных групп соответствующая подгруппа W не является нетривиальной группой нечетного порядка. [36]

Математики обычно соглашаются с тем, что Получение в какой-либо области новой значительной теоремы не является предзнаменованием ее скорого заката, но, напротив, служит стимулом для дальнейшего развития. Объяснение этому найти нетрудно. Внимание активно работавших над классификационной теоремой математиков, а в их число входила значительная часть специалистов по простым группам, было настолько сконцентрировано вокруг одной цели, на которую направлялась вся их энергия, что они были просто не в состоянии увидеть что-либо вне проблемы классификации или обратить внимание на какой-нибудь иной ее аспект. Было даже опасение, что все удивительные методы, развитые в ходе анализа простых групп, могут устареть. Это ощущение оказалось достаточно сильным и побудило многих специалистов совсем перейти из теории групп в другие области математики. [37]

Все конечные группы до порядка 12. [38]

Даже из малого фрагмента п 12 видно, как резко растет число неизоморфных групп с величиной порядка, когда порядок - составное число. Полной классификации конечных групп пока не существует. Однако более частные задачи классификации решены. Для примера приведем без доказательств две классификационные теоремы: одну сравнительно простую и одну очень сложную. [39]

Наконец, если не учитывать сделанных мимоходом замечаний, я не буду обсуждать удивительные, недавно обнаруженные связи между группой Грисса - Фишера Fx и классической теорией эллиптических функций. Хотя с тех пор были открыты новые интересные числовые соотношения [70], [195], [298], более глубокое объяснение этой взаимосвязи пока составляет загадку. Поскольку примерно 20 из 26 спорадических групп вложено тем или иным способом в группу Flf то вполне возможно, что в конечном счете будет найдено единообразное и однородное описание большинства спорадических групп. Хотя эти исследования и не нужны сами по себе для классификационной теоремы, они лишний раз показывают, что интерес к конечным простым группам еще долго не угаснет и по окончании их классификации. [40]

Пионером в исследовании конечных простых групп был Ричард Брауэр, который начал их изучать в конце 40 - х годов. Он первым понял глубокую и крайне важную взаимосвязь между строением группы и централизаторами ( D4) ее инволюций ( элементов порядка 2; D5), установив как количественные, так и качественные соотношения. Кроме того, он предвосхитил тот интригующий факт, что утверждения общих классификационных теорем обязательно будут включать в себя в качестве исключительных случаев спорадические простые группы. [41]

Теория модулярных представлений групп типа Ли берет свое начало в теории представлений простых алгебр Ли L. То же самое справедливо для любого конечномерного комплексного представления L. Весь процесс далее переносится на произвольное поле / ( ив конечном счете на соответствующую группу Шевалле над К. Если К алгебраически замкнуто, то мы получаем таким образом ввиду классификационной теоремы Шевалле картину теории представлений простых линейных алгебраических групп над К и, более общо, редуктивных групп. [42]

Можно ли верить узко профессиональному, даже с общематематической точки зрения, тексту из 5000 журнальных страниц. Если этот текст признан несколькими авторитетами вполне добро качественным, у нормального человека он будет вызывать почтение, а у критически настроенного еще и неистребимое сомнение в истинности итогового труда нескольких сотен энтузиастов, потративших на его завершение более четверти века. Яркой вспышки, подтвердившей в свое время реальность выводов атомной физики, на математическом небосклоне не произошло, хотя автор указывает точную дату рождения новой теоремы. Все так же регулярно появляются оригинальные статьи на тему классификации... Положение вещей именно таково и, казалось бы, говорить о завершении доказательства классификационной теоремы, по меньшей мере, преждевременно. [43]

Страницы: 1 2 3