Реферат: Поле. Примеры полей. Свойства полей. Поле рациональных чисел

Рассматривается определение поля, примеры и простейшие свойства полей, определения подполя, простого поля и поля рациональных чисел.

п.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 являются алгебраическими, т. е. принадлежат множеству ...
Раздел: Рефераты по математике
Тип: реферат