Доказательство. Помножая обе части равенства на bd, получим: ad = bc. Если, обратно, дано равенство ad = bc, где b ≠ 0 и d ≠ 0, то, полагая , получим: bdx = ad, bdy = bc, откуда bdx = bdy. Умножая обе части равенства на b -1 и d -1 , получим: x = y, т. е. .

Утверждение а) доказано. Утверждения б) и в) доказываются аналогично второй части утверждения а). Наконец, для доказательства утверждения г) достаточно убедиться, что

Характеристика поля. Существуют поля, содержащие элементы a ≠ 0 такие, что na = 0 при целом n, отличном от нуля. Так, в поле из двух элементов 0 и e имеем: 2e = e + e = 0. Справедливо утверждение:

Теорема 4. Для любого поля P имеет место один из двух случаев:

а) для любого элемента a ≠ 0 и любого целого числа n ≠ 0 кратное na также отлично от нуля;

б) существует единственное простое число p такое, что pa = 0 для любого элемента a. (Под простым числом понимается натуральное число, отличное от 1 и не делящееся ни на какое натуральное число, кроме 1 и самого себя)

Доказательство. Пусть случай а) не имеет места, т. е. существует элемент поля a ≠ 0 и целое число n ≠ 0, для которых na = 0. Докажем, что тогда имеет место случай б). Для любого существует q такое, что aq = b. Тогда по (5) также

Достаточно поэтому доказать, что случай б) имеет место для какого-нибудь одного элемента a ≠ 0, например для единицы e. По доказанному ne = 0, значит, и (-n)e = -ne = 0. Одно из чисел n и -n - положительное. Существуют, следовательно, натуральные числа k такие, что ke = 0. Пусть p будет наименьшее из чисел k с этим свойством.

Покажем, что p - число простое; p ≠ 1, так как 1 · e = e ≠ 0 и pe = 0. Если p делится на q, где 1