Автор работы: Пользователь скрыл имя, 30 Ноября 2011 в 16:35, курсовая работа
Целью курсовой работы является раскрытие общих понятий теории группы автоморфизмов линейных алгебр и их основных особенностей.
Перейдем к краткому изложению результатов курсовой работы, которая включает в себя введение, две главы, заключение и список использованной литературы.
Первая глава является вспомогательной. Здесь приводятся основные определения, обозначения и результаты, используемые в дальнейшем. Состоит эта глава из шести параграфов.
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ
ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
ГОСУДАРСТВЕННАЯ
СОЦИАЛЬНО-ПЕДАГОГИЧЕСКАЯ АКАДЕМИЯ
Физико-математический
факультет
Кафедра
алгебры, геометрии и методики преподавания
математики
Факкарова И.Ш.
Научный руководитель: к.ф.-м.н.,
корреспондент МАНПО
Александров Н.Д.
Бирск
2011
ВВЕДЕНИЕ
Роль
автоморфизмов хорошо известна. При
изучении всевозможных специальных
математических структур алгебраического,
геометрического или даже внематематического
происхождения встречаются
Получение новых результатов, касающихся групп автоморфизмов конкретных алгебр, представляет несомненный интерес. Именно этой задаче посвящается настоящая курсовая работа.
Целью курсовой работы является раскрытие общих понятий теории группы автоморфизмов линейных алгебр и их основных особенностей.
Перейдем к краткому изложению результатов курсовой работы, которая включает в себя введение, две главы, заключение и список использованной литературы.
Первая глава является вспомогательной. Здесь приводятся основные определения, обозначения и результаты, используемые в дальнейшем. Состоит эта глава из шести параграфов.
В первом параграфе рассматриваются два пункта. В них кратко даны понятия линейной алгебры и перечислены виды линейных алгебр.
Во втором параграфе определен общий вид структурных уравнений и структурных констант.
В третьем параграфе дано понятие главной единицы алгебры.
Четвертый параграф состоит из двух пунктов. В первом пункте дано определение центра алгебры и приведены две леммы, одна из которых доказана. Второй пункт посвящен уравнениям для нахождения центра, который далее закреплен примером.
В
пятом параграфе описана
В шестом параграфе дана общая теория групп автоморфизмов линейных алгебр. Доказана теорема о алгебре Ли группы автоморфизмов группы Ли.
Вторая глава, которая является основной, состоит из шести параграфов. Здесь подробно с доказательствами найдены группы автоморфизмов алгебры комплексных, двойных, дуальных чисел, кватернионов и октав.
В
первом параграфе определена группа
автоморфизмов комплексных
Во втором, в третьем и в четветром параграфах аналогично найдены группы автоморфизмов двойных и дуальных чисел, кватернионов.
Пятый параграф состоит из двух пунктов, в которых описана алгебра октав: приведена таблица Кэли и найдены структурные константы.
В шестом параграфе сформулирована и доказана основная лемма об автоморфизмах алгебры октав.
В работе использовано 14 источников литературы.
Глава
1. ОСНОВНЫЕ ПОНЯТИЯ
АЛГЕБРЫ
§
1. Линейная алгебра
п.1. Понятие линейной алгебры
Рассмотрим непустое множество А. Пусть на нем определены внутренние бинарные операции сложения, умножения и внешняя унарная операция умножения элементов множества А на числа из поля P.
Определение 1. Линейной алгеброй (или гиперкомплексной системой) называется алгебра A =(A; +, ·, fλ), которая:
1)
относительно сложения и
2) (А; +, fλ ); - векторное пространство;
3) умножение и fλ связаны соотношениями билинейности: (λa)b=λ(ab).
Таким образом, алгеброй называется упорядоченная пара A =(A, Ω), где А - непустое множество и Ω - множество операций на множестве А. Множество А называется носителем алгебры.
Алгебра A называется конечномерной или ∞-мерной в зависимости от того, конечномерно или ∞-мерно векторное пространство .
Размерность векторного пространства называется размерностью алгебры A или рангом алгебры A
dim A
= rang A =
п.
п.2. Виды линейных алгебр
Алгебра An называется коммутативной, если выполняется условие:
(
Алгебра An называется антикоммутативной, если квадрат любого ее элемента равен нулю. В этом случае для любых а и b из алгебры Àn выполнено соотношение:
a× b= -b×a, т.к. 0=(а + b) × (а + b) = a2+a×b+b×a+b2.
Алгебра называется алгеброй Ли, если она антикоммутативна и для любых ее элементов выполнено соотношение Якоби:
a× (b× c)+b× (c× a)+c× (a× b)=0.
Алгебра An называется ассоциативной, если выполняется условие:
Алгебра An называется альтернативной, если выполняется условие:
Алгебра An называется алгеброй с делением, если выполняется условие:
Считается, что элемент называется левой единицей, если ·а=а, ; правой единицей, если а· =а, ; двусторонней или главной единицей в An , если выполняется: ·а = а · = a , .
Алгебра An называется унитальной (унитарной), если она имеет главную единицу .
Четырехмерная
единственная ассоциативная, но некоммутативная,
конечномерная нормированная
§
2. Структурные уравнения
и структурные константы
Размерность векторного пространства A называется размерностью или рангом алгебры, а поле P – считать полем действительных чисел R.
Если в пространстве выбран базис , то он называется базисом алгебры. Любой элемент алгебры A можно записать в виде:
Таким образом , где R, =1,2,…, n. Умножение элементов алгебры однозначно определяется заданием произведений базисных элементов .
Действительно, если , то
Здесь A, значит A и поэтому
ОПРЕДЕЛЕНИЕ.
Уравнения (1) называются структурными
уравнениями алгебры, а величины структурными
константами алгебры.
§
3. Понятие главной
единицы алгебры
ОПРЕДЕЛЕНИЕ. Считается, что элемент называется левой единицей, если ·а=а, ; правой единицей, если а· =а, ; двусторонней или главной единицей в An, если выполняется: ·а = а · = a , .
Главная единица ε в алгебре единственна. В самом деле, если другая единица, то .
Существование единицы – это несущественные ограничения. Если алгебра без единицы, то к ней единицу всегда можно “присоединить”.
Алгебра An
называется унитальной (унитарной),
если она имеет главную единицу
.
§
4. Центр алгебры
п.1.Понятие центра алгебры.
ОПРЕДЕЛЕНИЕ. Центром алгебры называется совокупность из , перестановочных со всеми элементами алгебры ,