Главная страница
Навигация по странице:

  • «МИРЭА - Российский технологический университет» РТУ МИРЭА Институт кибернетикиКУРСОВАЯ РАБОТА «

  • Содержание G-группа 2 Введение

  • Основные обозначения G-группа Теорема1.

  • ДОКАЗАТЕЛЬСТВО.

  • Теорема 2

  • нормализатору

  • пизда. Курсовая работа Примитивные группы подстановок с абелевой нормальной подгруппой по дисциплине Группы подстановок


    Скачать 110.33 Kb.
    НазваниеКурсовая работа Примитивные группы подстановок с абелевой нормальной подгруппой по дисциплине Группы подстановок
    Дата26.06.2019
    Размер110.33 Kb.
    Формат файлаdocx
    Имя файлапизда.docx
    ТипКурсовая
    #83131



    МИНОБРНАУКИ РОССИИ


    Федеральное государственное бюджетное образовательное учреждение

    высшего образования

    «МИРЭА - Российский технологический университет»

    РТУ МИРЭА

    Институт кибернетики

    КУРСОВАЯ РАБОТА

    «Примитивные группы подстановок с абелевой нормальной подгруппой»

    по дисциплине

    «Группы подстановок»


    Выполнил студент группы ККСО-03-18 Трошин И.А.

    Проверил Зязин В.П.

    Москва 2019

    Содержание

    G-группа 2


    Введение: целью данной работы является рассмотрение свойств и основных особенностей примитивных групп подстановок с абелевой нормальной подгруппой.



    Основные обозначения



    G-группа


    Теорема1. Пусть А и В –примитивные группы подстановок множества Х, обладающие одной и тойде неединичной абелевой нормальной подгруппой F, N-нормализатор группы F в группе S(X), а 0-произвольная точка множества X. Обозначим стабилизатор точки 0 в группах A,B и N буквами A0,B0 N0 соответственно. Тогда сследущие утверждения попарно эквивалентны:

    А) группы А и b сопряжены в группе N0

    Б) группы A и B сопряжены в группе S(X)

    В) ) группы A и B сопряжены в группе N

    ДОКАЗАТЕЛЬСТВО.
    A=FA-=0, B=FB0, N=FN0

    Пусть верно а) Тогда в группе n0 есть такой элемент g, что gA0g-1=B0

    Отсюда и из первого получаем

    gAg-1=gFA0g-1=gFg-1gA0g-1=FB0=B

    Это означает что из а) следует б) и в)

    Пусть теперь верно б) тогда gAg-1=B,

    Где g *принадлежит S(X)

    Ясно что gFg – абелева нормальная подгруппа B. Так как B имеет только одну неединичную абелеву нормальную подругппц то gFg-1=F. Cледовательно, g принадлежит N, значит из б) вытекает в)

    Пусть наконец, верно в) Тогда верно равенство (2) модно переписать так:

    B=

    Как легко вычислить, стабилизатор точки 0 в группе goAg
    падает с гр. А. 1. Отсюда


    Таким образом из в) вытекает а).


    Теорема 2. Пусть Г и G - примитивные группы подстановок
    множества Х, в каждой из которых есть неединичная абелева
    подгруппа нормальная, Тогда изоморфизм групп Г и G влечет за
    собой их сопряженность в группе S(X),

    Доказательство, Пусть Ф и F- неединичные абелевы
    нормальные подгруппы в Г и в G соответственно. Пусть далее
    .Так как Ф и F регулярны , то

    где Го и G о - стабилизаторы точки 0.

    Пусть теперь - изоморфизм групп. Тогда Ф(Ф)-
    абелева нормальная подгруппа группы G. Следовательно,

    Так как Ф и F регулярны и изоморфны , то они сопряжены в 
    группе S(X) для некоторой подстановки (X). Поло-
    жим
    (3)

    Очевидно, А-примитивная группа подстановок, изоморфная
    группе G. Ф- нормальная подгруппа А. Пусть A — G - изо-
    морфизм групп. Тогда г (ф) ф, следовательно, преобразование

    автоморфизм группы Ф.

    Обратимся к нормализатору N группы F в группе S(Х), Как
    известно, N=fn0, где No - стабилизатор точки 0 в группе N. По
    теореме 1 из $ 17(напиши сноску-отсылку в параграффах) в группе есть такая подстановка д, что
    (4)
    для всех
    Введем еще один изоморфизм
    y: a v (A), A-d (a) d, A A.(5)
    В силу (4) ограничение является единицей группы t F.
    Пусть Тогда Следовательно,
    Итак, подстановка коммутирует с любой подстановкой 
    группы F. Однако Ф максимальная абелева подгруппа группы
    S (X). Отсюда
    A C. F., y (a) GaF, y (4) A.
    Так как , то , Следовательно, у(А) = А.

    Отсюда из (5) получаем
    А Г(А) (А) Д - д "ГД,
    (6)
    $ 18. Примитивные группы подстановок
    Сто сорок один
    ибо «(с) Г. Из (3) и (6) находим

     Как уже говорилось, неединичная абелева нормальная
    подгруппа примитивной группы подстановок характеристически
    проста. Характеристически простые абелевы группы описывает
    Предложение 1. Аддитивные группы линейных прост-
    ранств над простыми полями и только они являются характери-
    стически простыми абелевыми группами,
    Доказательство. Пусть - характеристически про-
    стая абелева группа. Покажем, что А - аддитивная группа ли-
    нейного пространства над простым полем. Очевидно,
    возможны
    лишь два случая: а) все ненулевые элементы группы А имеют
    один и тот же простой порядок р, б) группа А без кручения -
    А все ненулевые элементы имеют бесконечный порядок.
    В первом случае очевидно, что А
    линейное пространство
    над полем GF (P).
    Теперь Пусть А - группа без кручения, Для целого положи-
    т тельного, как легко видеть, подгруппа т.А
    (табл) являет-
    ся ненулевой характеристической подгруппойгруппы А. Следо-
    вательно, т.А А. В Отсюда вытекает разрешимость группе А
    уравнения
    не доступно
    (7)
    при любых асА,
    Уравнение (7) имеет единственное решение. Действительно,
    МХ2 на
    Так как группа А без кручения, то х и Х2. Решение уравнения (7)
    запишем в виде
    (8)
    м
    Равенство (8) определяет операцию умножения элементов груп-
    пы на рациональные числа. Прямая проверка показывает, что
    группа после введения этой операции превращается в линейное
    вопрос: над полем пространство 
    Покажем, например, что
    r (a b) - ra rb,
    (9)
    а где, пля,
    Пусть
    м
    Тогда, согласно (7) и (8), имеем
    Сто сорок два
    глава 4, группы с регулярноп нормальной подгруппой
    m(ra) na, m(rb) nb, mr (a - b) (a + b).

    Сложив два первых равенства, получим
    m (ra rb) n (A b).
    (11)
    Сравнение равенств (10) и (11) приводит к равенству (9). Ана-
    логично проверяются и другие аксиомы линейного пространства.
    Итак, характеристически простая абелева группа есть линейное
    пространство над простым полем.
    Пусть теперь в линейное пространство над произвольным
    полем. Покажем характеристическую простоту аддитивной груп-
    пы В. Обратимся к аффинной группе АФФ(в) - гл(в)Т, Согласно
    $ 11, Aff (V) - дважды транзитивная группа подстановок множе-
    ства В. Группа параллельных переносов 7 является нормальной
    AF AFF (V). Так как группа АФФ(в) примитивна,
    то характеристически проста. Отсюда следует характеристиче-
    ская простота аддитивной группы пространства В.
    18.3. П р е д л о ж е н и е 2. Пусть в - линейное простран-
    ство над полем а, а А аддитивная группа этого пространства.
    Тогда верны следующие два утверждения:
    a) если простое поле, то
    Из гл (в);
    6) если поле А не является простым, то имеет место строгое
    включение
    GL (V) Aut A.
    (12)
    Доказательство. При любом поле А, очевидно, верно
    включение гл(в) авт А. сперва Пусть - простое поле. Тогда
    либо GF (P), либо Q.
    В первом случае для можно написать ему ЛО, где
    целое число. Следовательно, если аут , то
    Отсюда
    Aut A GL (V), Aut A - GL (V).
    Теперь Пусть м, м, авт А. Тогда
    - целые числа. Положим - и.
    Тогда

    Следовательно,
    EGL (V), Aut A-GL (V),
    утверждение а) доказано.
    Из а) легко получить Пусть - поле непростое, а
    простое подполе поля А. Тогда в можно трактовать как и прост-
    ранство над полем А и как пространство над полем 12.
    CG, что GL(va) cgl(Va). И Отсюда из а) находим
    Гл (в) - ГЛ(ва) ГЛ(против) = авт А.
    Следовательно, верно (12).
    Теорема 3. Пусть Г - примитивная группа подстановок мно-
    жества х, неединичной нормальной абелевой обладающая под-
    F. F. N - нормализатор подгруппы F в группе S(X). Тог-
    да множество можно таким способом наделить структурой ли-
    нейного пространства В над простым полем А, что группа ока-
    жется группой параллельных переносов этого пространства, а
    группа Н станет аффинной группой в). Следовательно, груп-
    па Г превратится в подгруппу группы АФФ(В) вида Г = ГоТ, где
    Го - подгруппа группы GL(V).
    Доказательство. Так как регулярная группа под
    становок множества Х, то на множестве можно задать такую
    операцию
    что (X,+) станет группой, а группа - образом
    регулярного представления группы Так как абелева
    группа характеристически проста, то, согласно предложению
    I, группа (X,
    совпадает с некоторым линейным пространст-
    вом над простым полем А. Следовательно, F, будучи образом
    регулярного представления В является группой параллельных
    переносов пространства Т В. Согласно теореме 1 $ 17, группу Н
    можно представить в виде
    Н Ф Аут ) Авт ( Х, +
    В силу предложения Aul (X, GL(V). Следовательно, N
    ГЛ(В)Т(В). По теореме 2 из $ 17, Г ГаТ, где Го - под-
    aut autxx, GL(V).
    Пусть в - линейное пространство над простым полем
    А - аддитивная группа пространства В. Так как, согласно пред-
    ложению 2, Aul a GL (V), то
    неприводимые подгруппы
    группы авт А мы будем называть А-неприводимыми подгруппами
    группы GL(V). Очевидно, и это уже отмечалось, при что в-
    GF(p) неприводимость подгруппы группы GL (V) и ее а-не-
    равносильны приводимость. При Однако в класс А-иеприво-
    димых подгруппа группы содержится в классе всех неприводимых подгрупп но не совпадает с ним.

     теоремы 4 $ 17 и теоремы 3 вытекает
    Теорема 4. a) Пусть G Примитивная группа подстановок
    множества
    X, обладающая неединичной абелевой нормальной
    подгруппой Ф. Тогда группа г подобна некоторой подгруппе Г
    AF AFF(V),
    (13)
    V V линейное пространство над простым полем, | V
    группа параллельных переносов пространства в,
    А-неприводимая подгруппа группы GL(V).
    ля
    б) Пусть в -
    линейное пространство над простым полем
    группа параллельных переносов пространства В, а Го
    А-непри-
    водимая подгруппа группы GL(V). Тогда подгруппа группы
    Aff (V) является примитивной группой подстановок множества V
    b) Пусть G Примитивная группа подстановок конечного
    множества Х. неединичной обладающая абелевой кормильной
    подгруппой Г. Тогда:
    I) [X] рт, где р простое;
    2) г подгруппе аффинной группы подобна Альф(N, Р), Я
    ТоТ, где го-GL GL (n, p), t-
    подгруппа параллельных переносов группы АФФ(Н,
    Из теорем 3 и вытекает
    Теорема 5. Пусть = и Г Гат - примитивные подгруппы
    группы АФФ(В) вида (13). Тогда следующие утверждения попар -
    но эквивалентны:
    a) Ga Ga сопряжены в группе GL(V):
    б) группы и Г сопряжены в группе
    b) группы г и G сопряжены в симметрической группе S(V).
    замечание 1. Пусть линейное пространство
    вопрос: нал 
    класс всех А-неприводимых подгрупп группы
    GL (V), a9R (L) - класс всех неприводимых подгрупп GL(V)
    Тогда имеет место строгое включение 
    (А) (Л).
    (14)
    Действительно, пусть А - аддитивная группа пространства В.
    DIM DIM V = 1. Тогда
    V A Q, Aut A GL (V) Q*.
    Пусть далее л - любое истинное непустое подмножество множе-
    ства всех простых чисел, а (п) подгруппа группы по-
    рожденная множеством л. Тогда (L) \ R (A). В самом деле,
    пусть подгруппа аддитивной группы поля к, состоящих из
    дробей, знаменатели которых принадлежат группе Н. Тогда, как
    легко видеть, является В Н-инвариантной подгруппой группы А,
    19. Характеры
    Сто сорок пять
    Следовательно, для дим


    написать администратору сайта