Алгебраические операции

Пусть дано некоторое множество М. Будем говорить, что на множестве М задана внутренняя алгебраическая операция, если задан закон (правило), по которому каждой упорядоченной паре элементов а и в из М ставится в соответствие вполне определённый элемент с. Если при этом для любой пары элементов а, в из М соответствующий элемент с всегда тоже принадлежит М, то М замкнуто относительноданной операции.

Пусть даны два множества М и К. Будем говорить, что на множестве М задана внешняя алгебраическая операция, если задан закон, по которому для каждой пары элементов а Î М, в Î К ставится в соответствие вполне определённый элемент с Î М.

Сложение и умножение действительных чисел – примеры внутренних алгебраических операций на множестве действительных чисел. Умножение вектора на действительное число – пример внешней алгебраической операции на множестве векторов трёхмерного евклидова пространства.

Пусть на множестве элементов Р определены две внутренние алгебраические операции: сложение и умножение: при сложении каждой упорядоченной паре элементов а и в из Р взаимнооднозначно соответствует элемент с Î Р (с = а + в); при умножении тоже каждой упорядоченной паре элементов а и в из Р взаимнооднозначно соответствует элемент с Î Р (с = а×в).

Определение 12. Множество элементов Р называется полем, если на нём заданы две алгебраические операции: сложение и умножение, удовлетворяющие следующим требованиям (аксиомам):

1. Р замкнуто относительно обеих операций;

2. а + в = в + а для любых элементов а и в из Р (коммутативный закон для сложения);

3. (а + в) + с = а + (в + с) для любых элементов а, в и с из Р (ассоциативный закон);

4. $ 0 Î Р такой, что а + 0 = а для любого а Î Р;

5. для любого а Î Р существует (- а) Î Р такой, что а + (- а) = 0;

6. а×в = в×а для любых элементов а и в из Р (коммутативный закон);

7. (а×в) ×с = а× (в×с) для любых элементов а, в и с из Р (ассоциативный закон);

8. $ е Î Р такой, что е×а = а для любого а Î Р (е называетсяединицей и обозначается 1);

9. для любого а Î Р существует а^-1 Î Р такой, что а×а^-1 = е (а^-1 – обратный элемент для а);

10. (а + в) ×с = а×с + в×с для любых элементов а, в и с из Р.

Примерами полей являются множество рациональных чисел (R), множество действительных чисел (Q), множество комплексных чисел (С).