группы, КОЛЬЦА и поля

131

Чтобы умножить (разделить) один элемент на другой, надо

абсолютную величину первого элемента умножить (разделить) на

абсолютную величину второго и поставить знак если знаки

, если различны. Для умно-

данных элементов одинаковы, и знак

жения это следует из правила знаков в любом ко.чьце [S 7, (3)l,

ибо (±lal) • (З: 1), а для деления (если оно выполнимо)

то .lcl, от-

выводится отсюда так: если

куда

При умножении на положительный элемент знак сохраняется,

а на отрицательный — меняется. Поэтому из следует, что

при одинаковых знаках а и Ь частное с положительно, а при раз-

ных знаках отрицательно.

Мы видим, таким образом, что обычные правила оперирования

с неравенствами и абсолютными величинами верны не только для

чисел, но и для элементов любых расположенных колец. Эти пра-

вила являются следствием аксиом I—VI, IX и Х.

Есть, однако, одно важное свойство чисел, которое уже не пе-

реносится на любые расположенные кольца. Это — выполнение так

называемой аксиомы Архимеда, согласно которой, складывая само

с собой любое данное положительное число (как бы мало оно ни было)

достаточное число раз, мы можем получить число, превосходящее

любое (сколь угодно большое) данное число. Поэтому кольца,

обладающие аналогичным свойством, нуждаются в особом опреде-

лении.

Опр ед еле ние З. Кольцо (в частности, поле) называется

архимедовски расположенным, если оно обладает свойством:

XI. (А кси ома Архимед а.) Для любых элементов а и Ь

кольца, еде Ь существует натуральное число п такое,

что п» а.

В случае поля достаточно выполнения этого условия лишь для

единицы поля е, т. е. свойство XI эквивалентно свойству

XI'. Для любого элемента а поля существует натураљное

число п такое, что а.

Действительно, если Ь то существует натуральное число п,

для которого пе>—, и, умножая на Ь>О, получим: пь

Пример 1. Кольцо целых, поле рациональных и поле действи-

тельных чисел архимедовски расположены (доказательства даны

в соответствующих главах).

Пример 2. Пусть R есть кольцо многочленов

. . + апхП

с рациональными коэффициентами (при обычных операциях сложения

98