Реферат: Поле. Примеры полей. Свойства полей. Поле рациональных чисел
Рассматривается определение поля, примеры и простейшие свойства полей, определения подполя, простого поля и поля рациональных чисел.
п.1. Определение поля.
Определение. Пусть - кольцо с единицей 1. Элемент
из множества
называется
обратным в кольце
, если
.
называется обратным к
.
Примеры.
Рассмотрим кольцо целых чисел, то есть кольцо , элемент 2
необратим в этом кольце, так как
, элемент 5 необратим в кольце
целых чисел.
- обратимые элементы в кольце
целых чисел
Рассмотрим кольцо рациональных чисел , обратимыми являются
все элементы кроме
.
Рассмотрим кольцо действительных чисел, то есть кольцо
,
обратимыми являются все элементы кроме
.
Определение. Поле – это кольцо , если:
- коммутативное кольцо (операция
коммутативна)
- кольцо с единицей 1, единица
.
Всякий ненулевой элемент кольца обратим.
Примеры полей.
- поле рациональных чисел.
- поле действительных чисел.
Это поля с бесконечным числом элементов. Рассмотрим поле с конечным числом элементов.
Поле Галуа - галуафилд.
;
. Определим
операции сложения и умножения:
И
- бинарные операции,
- унарная
Из этой таблицы видно, что операция - коммутативна,
-бинарные
операции,
-
унарная операция, т.к.
,
.
п.2. Простейшие свойства поля.
Пусть - поле. Обозначение:
.
Если , то
.
Доказательство. Пусть , докажем, что
, то есть
, тогда
противоречие с аксиомой
поля
. Если
, то по аксиоме
полей
|
,
.
Если ,
.
умножим равенство
справа на
, то есть
.
.
Доказательство. Если , то
, умножая обе части равенства
на
слева,
.
В поле нет делителей 0.
Доказательство. Следует из свойства 3, применяя законы
контрапозиции: ,
, значит нет делителей нуля.
Каждое поле является областью целостности.
Доказательство. Следует из определения поля и области целостности.
.
Доказательство. . Умножим обе части равенства
справа на
, где
.
, где
.
Доказательство. Выпишем правую часть
равна левой части.
, где
.
Доказательство. Правая часть
равна левой части.
,
.
Доказательство. Правая часть
левая часть.
,
.
Доказательство. Левая часть
.
,
.
Если , то
.
Доказательство. Вычислим произведение
то есть
обратный элемент к
.
, где
.
Доказательство. Левая часть равна
равна правой части.
- коммутативная группа, которая
называется мультипликативной группой не равных 0 элементов.
Доказательство. Следует из свойств поля:
1. , так как поле.
2.
3.
4. , так как поле
Так как поле – это кольцо определённого вида, то под гомоморфизмами полей понимаются гомоморфизмы полей. Аналогично для изоморфизмов.
п.3. Подполе.
Определение. Подполем поля называется подкольцом с единицей
поля
, в
котором всякий ненулевой элемент обратим. Всякое подполе является полем.
Подполе поля
, отличное от
называется собственным
полем.
Определение. Поле называется простым, если оно не имеет собственных подполей.
Пример. Рассмотрим поле действительных чисел, то есть
поле .
Для того, чтобы найти подполе надо найти подмножества замкнутые относительно
операции
и
подмножеству.
Например, поле рациональных чисел является подполем поля действительных чисел.
п.4. Поле рациональных чисел.
Алгебраическая система называется системой рациональных
чисел, если:
Алгебра - это поле с единицей 1.
Множество замкнуто относительно операции
и
Аксиома минимальности, если такое, что:
а)
б)
, тогда
.
Список литературы
Е.Е. Маренич, А.С. Маренич. Вводный курс математики. Учебно-методическое пособие. 2002
В.Е. Маренич. Журнал «Аргумент». Задачи по теории групп.
Кострикин А.И. Введение в алгебру. Ч.1 Основы алгебры. – М.: Физмат лит-ра, 2000
Кострикин А.И. Введение в алгебру. Ч.2 Основы алгебры. – М.: Физмат лит-ра, 2000
Кострикин А.И. Введение в алгебру. Ч.3 Основные структуры алгебры. – М.: Физмат лит-ра, 2000
Кострикин А.И. Сборник задач по алгебре. Изд. третье – М.: Физмат лит-ра, 2001
Для подготовки данной работы были использованы материалы с сайта http://referat.ru/
Алгебра октав | |
Оглавление Введение §1.Система аксиом алгебры октав, ее непротиворечивость и категоричность 1.1 Непротиворечивость системы аксиом алгебры октав 1.2 ... Покажем, что алгебра (К х K, +, .) есть кольцо, но не ассоциативное и не коммутативное. В ходе доказательства непротиворечивости системы аксиом алгебры октав мы установили, что любую октаву можно представить в виде: |
Раздел: Рефераты по математике Тип: дипломная работа |
* Алгебры и их применение | |
Дипломная работа специалиста Таврический национальный университет им. В.И. Вернадского Симферополь 2003 Введение Пусть Н - гильбертово пространство, L ... Пусть А - алгебра над полем С комплексных чисел. Элемент х А - *-алгебры называется унитарным, если хх* = х*х = е, иначе говоря, если х обратим и х = (х*)-1. |
Раздел: Рефераты по математике Тип: дипломная работа |
Вопросы к гос. экзамену по дисциплине "Математика - Алгебра" | |
Вопрос 3. Определитель квадратной матрицы. В вопросе рассматривается одна из характеристик матрицы - числовая. Все свойства определителя (числовые ... Алгебра как наука изучает различные алгебры: векторные пространства, группы, кольца. Пусть qi = q1, разделим обе части равенства (1) на p1, получим, что и "левая часть" и "правая часть" числа натуральные, меньше n, а для них разложение единственное с точночтью до ... |
Раздел: Рефераты по математике Тип: шпаргалка |
Обратимые матрицы над кольцом целых чисел | |
Министерство образования Российской Федерации Вятский государственный гуманитарный университет Математический факультет Кафедра алгебры и геометрии ... Равенство () умножим на и заменим на ( Пусть Zn -кольцо вычетов по модулю n, причем n=p1k1p2k2.pmkm , |
Раздел: Рефераты по математике Тип: дипломная работа |
Расширения полей | |
Содержание Введение 1. Простое алгебраическое расширение поля. 4 1.1. Простое расширение поля. 4 1.2. Минимальный полином алгебраического элемента. 5 ... Следовательно, в Р[x] существуют такие полиномы u и v, что uf + vg=1. Отсюда вытекает равенство uf = 1, показывающее, что элемент f обратим в кольце P. Итак, установлено, что ... Пусть a и b - любые элементы из А. По следствию 2.6, поле Q(a, b) является алгебраическим над Q. Поэтому числа a+b, -а, ab, 1 являются алгебраическими, т. е. принадлежат множеству ... |
Раздел: Рефераты по математике Тип: реферат |