Делимость

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

Делимость — одно из основных понятий арифметики и теории чисел, связаное с операцией деления.

Содержание

[править] Определение

Если для некоторого целого числа a и целого числа b\ne 0 существует такое целое число q, что bq = a, то говорят, что число a делится нацело на b.

При этом число b называется делителем числа a, делимое a будет кратным числа b, а число q называется частным от деления a на b.

[править] Обозначения

  • a\,\vdots\, b означает, что a делится на b
  • b | a означает, что b делит a.

[править] Связанные определения

  • Натуральное число, имеющее ровно два натуральных делителя (единицу и само себя), называется простым. Все остальные числа (кроме единицы) называются составными.
  • Собственным делителем числа называется всякий его делитель, отличный от самого числа. У простых чисел существует ровно один собственный делитель — единица.
  • Вне зависимости от делимости целого числа a на целое число b\ne 0, число a всегда можно разделить на b с остатком, то есть представить в виде:
    a = bq + r, где 0\leqslant r<|b|.
В этом соотношении число r называется остатком (от деления a на b), а число q — неполным частным (от деления a на b).
Число a делится нацело на b тогда и только тогда, когда остаток от деления a на b равен нулю.

[править] Свойства

  • Любое натуральное число является делителем нуля;
  • Единица является делителем любого целого числа;
  • Любое натуральное число является делителем самого себя.

[править] Число делителей

Число положительных делителей натурального числа n обычно обозначается τ(n), является мультипликативной функцией, для неё верна асимптотическая формула Дирихле:

\sum_{n\le N}\tau(n)=N\ln N+(2\gamma-1)N+O(\sqrt N),

[править] Обобщения

Понятие делимости обобщается на произвольные кольца, например кольцо многочленов.

[править] См. также