Суммой и произведением целых р-адических чисел определяемых последовательностями и, называются целые р-адические числа, определяемые соответственно последовательностями и.
Чтобы быть уверенным в корректности этого определения,мы должны доказать,что последовательности и определяют некоторые целые - адические числа и что эти числа зависят только от, а не от выбора определяющих их последовательностей. Оба эти свойства доказываются путем очевидной проверки.
Очевидно,что при данном нам определении действий над целыми - адическими числами они образуют коммуникативное кольцо, содержащее кольцо целых рациональных чисел в качестве подкольца.
Делимость целых - адических чисел определяется так же,как и в любом другом кольце: , если существует такое целое - адическое число, что
Для исследования свойств деления важно знать, каковы те целые - адические числа,для которых существуют обратные целые - адические числа. Такие числа называют делителями единицы или единицами. Мы их будем называть - адическими единицами.
Теорема 1
:
Целое - адическое число,определяемое последовательностью, тогда и только тогда является единицей, когда.
Доказательство
:
Пусть является единицей, тогда существует такое целое - адическое число, что. Если определяется последовательностью то условие означает,что. В частности, а значит, Обратно, пусть Из условия легко следует, что, так что. Следовательно, для любого n можно найти такое, что будет справедливо сравнение. Так как и, то. Это значит, что последовательность определяет некоторое целое - адическое число Сравнения показывают, что, т.е. что является единицей.
Из доказанной теоремы следует, что целое рациональное число. Будучи рассмотрено как элемент кольца, тогда и только тогда является единицей, когда. Если это условие выполнено,то содержится в. Отсюда следует, что любое целое рациональное b делитсяна такое a в,т.е. что любое рациональное число вида b/a, где a и b целые и, содержится в Рациональные числа такого вида называются -целыми. Они образуют очевидным образом кольцо. Полученный нами результат можно теперь сформулировать так:
Следствие:
Кольцо целых - адических чисел содержит подкольцо, изоморфное кольцу - целых рациональных чисел.
Дробные p-адические числа
Определение
:
Дробь вида, k >= 0 определяет дробное p -адическое число или просто p -адическое число. Две дроби, и, определяют одно и тоже p -адическое число, если в.
Совокупность всех p -адических чисел обозначается p . Легко проверить, что операции сложения и умножения продолжаются с p на p и превращают p в поле.
2.9. Теорема. Всякое p -адическое число единственным образом представляется в виде
где m -- целое число, а -- единица кольца p .
2.10. Теорема. Всякое отличное от нуля p -адическое число однозначно представляется в виде
Свойства:
Поле p-адических чисел содержит в себе поле рациональных чисел. Нетрудно доказать, что любое целое p-адическое число некратное p обратимо в кольце p , а кратное p однозначно записывается в виде, где x не кратно p и поэтому обратимо, а. Поэтому любой ненулевой элемент поля p может быть записан в виде, где x не кратно p, а m любое; если m отрицательно, то, исходя из представления целых p-адических чисел в виде последовательности цифр в p-ичной системе счисления, мы можем записать такое p-адическое число в виде последовательности, то есть, формально представить в виде p-ичной дроби с конечным числом цифр после запятой и, возможно, бесконечным числом ненулевых цифр до запятой. Деление таких чисел можно также производить аналогично «школьному» правилу, но начиная с младших, а не старших разрядов числа.
Опр.
Кольцо K называется кольцом целых чисел, если аддитивная группа кольца K является аддитивной группой целых чисел и умножение в кольце K коммутативно и продолжает умножение натуральных чисел (в системе N натуральных чисел).
Т1.
Пусть - аддитивная группа целых чисел, есть естественное умножение в ней и 1 – единица системы N натуральных чисел. Тогда алгебра Z=является кольцом целых чисел.
Док-во.
Покажем, что алгебра Z есть коммутативное кольцо. По условию, алгебра - аддитивная группа кольца – есть абелева группа, как аддитивная группа целых чисел.
Пусть a, b, c – произвольные элементы множества Z. Их можно представить в виде радости натуральных чисел. Пусть (1) a=m-n, b=p-q, c=r-s (m, n, p, q, r, s N).
Естественное умножение в Z определяется формулой (2) a*b=(m-n)*(p-q)=(mp+nq)-(mq+np).
Естественное умножение коммутативно, так как b*a= (p-q)*(m-n)=(pm+qn)-(pn+qm), и коммутативно сложение и умножение натуральных чисел.
Естественное умножение ассоциативно. В самом деле, в силу (1) и (2) имеем:
Следовательно, в силу коммутативности сложения натуральных чисел a*(b*c)= (a*b)*c.
Элемент 1 является нейтральным относительно естественного умножения. В самом деле, для любого a из 2 имеем a*1=(m-n)(1-0)=m*1-n*1=m-n=a.
Следовательно, алгебра является коммутативным моноидом.
Опр.
Если для целых чисел aи bсуществует такое натуральное число k, что a+k=bи k 0,то говорят, что «a меньше или b», и пишут ab тогда и только тогда, когда b
Т2.
Пусть Z=кольцо целых чисел. Тогда: 1) для любых целых чисел a и b выполняется одно и только одно из трех услоий: a
2) для любого целого числа a выполняется одно и только одно из трех условий: a<0, a=0, 0