Делитель

Целое число, являющееся делителем другого целого числа

Делители числа 10 изображены стержнями Кюизенера : 1, 2, 5 и 10.

В математике делитель целого числа, также называемый множителем , представляет собой целое число , которое можно умножить на некоторое целое число, чтобы получить ^[1] В этом случае также говорят, что оно кратно Целое число делится или делится нацело на другое целое число если является делителем ; это подразумевает деление без остатка. ${\displaystyle n,}$ ${\displaystyle n,}$ ${\displaystyle m}$ ${\displaystyle n.}$ ${\displaystyle n}$ ${\displaystyle m.}$ ${\displaystyle n}$ ${\displaystyle m}$ ${\displaystyle m}$ ${\displaystyle n}$ ${\displaystyle n}$ ${\displaystyle m}$

Определение

Целое число делится на ненулевое целое число, если существует целое число такое, что это записывается как ${\displaystyle n}$ ${\displaystyle m}$ ${\displaystyle k}$ ${\displaystyle n=km.}$

${\displaystyle m\mid n.}$

Это можно прочитать так: делит является делителем является множителем или кратным. Если не делит , то используется обозначение ^{[2] [3]} ${\displaystyle m}$ ${\displaystyle n,}$ ${\displaystyle m}$ ${\displaystyle n,}$ ${\displaystyle m}$ ${\displaystyle n,}$ ${\displaystyle n}$ ${\displaystyle m.}$ ${\displaystyle m}$ ${\displaystyle n,}$ ${\displaystyle m\not \mid n.}$

Существует два соглашения, различающиеся тем, разрешено ли равняться нулю: ${\displaystyle m}$

• С соглашением без дополнительных ограничений для каждого целого числа ^{[2] [3]} ${\displaystyle m,}$ ${\displaystyle m\mid 0}$ ${\displaystyle m.}$
• Согласно соглашению, которое должно быть ненулевым, для каждого ненулевого целого числа ^{[4] [5]} ${\displaystyle m}$ ${\displaystyle m\mid 0}$ ${\displaystyle m.}$

Общий

Делители могут быть как отрицательными , так и положительными, хотя часто этот термин ограничивается положительными делителями. Например, существует шесть делителей числа 4; это 1, 2, 4, -1, -2 и -4, но обычно упоминаются только положительные (1, 2 и 4).

1 и −1 делят (являются делителями) каждое целое число. Каждое целое число (и его отрицание) является делителем самого себя. Целые числа, делящиеся на 2, называются четными , а целые числа, не делящиеся на 2, — нечетными .

1, −1 и известны как тривиальные делители . Делитель, который не является тривиальным делителем, известен как нетривиальный делитель (или строгий делитель ^[6] ). Ненулевое целое число хотя бы с одним нетривиальным делителем называется составным числом , а единицы -1 и 1 и простые числа не имеют нетривиальных делителей. ${\displaystyle n}$ ${\displaystyle -n}$ ${\displaystyle n.}$ ${\displaystyle n}$

Существуют правила делимости , которые позволяют по цифрам числа узнавать определенные делители числа.

Примеры

График количества делителей целых чисел от 1 до 1000. Простые числа имеют ровно 2 делителя, а составные числа выделены жирным шрифтом.

• 7 является делителем 42, потому что так мы можем сказать. Можно также сказать, что 42 делится на 7, 42 кратно 7 , 7 делит 42 или 7 делит 42. ${\displaystyle 7\times 6=42,}$ ${\displaystyle 7\mid 42.}$
• Нетривиальными делителями числа 6 являются 2, −2, 3, −3.
• Положительные делители числа 42 — 1, 2, 3, 6, 7, 14, 21, 42.
• Набор всех положительных делителей числа 60, частично упорядоченных по делимости, имеет диаграмму Хассе : ${\displaystyle A=\{1,2,3,4,5,6,10,12,15,20,30,60\},}$

Дальнейшие понятия и факты

Есть несколько элементарных правил:

• Если и то т.е. делимость является транзитивным отношением . ${\displaystyle a\mid b}$ ${\displaystyle b\mid c,}$ ${\displaystyle a\mid c,}$
• Если и тогда или ${\displaystyle a\mid b}$ ${\displaystyle b\mid a,}$ ${\displaystyle a=b}$ ${\displaystyle a=-b.}$
• Если и то выполняется, как и ^[a] . Однако если и то не всегда выполняется (например , и, но 5 не делит 6). ${\displaystyle a\mid b}$ ${\displaystyle a\mid c,}$ ${\displaystyle a\mid (b+c)}$ ${\displaystyle a\mid (b-c).}$ ${\displaystyle a\mid b}$ ${\displaystyle c\mid b,}$ ${\displaystyle (a+c)\mid b}$ ${\displaystyle 2\mid 6}$ ${\displaystyle 3\mid 6}$

Если и то ^[b] Это называется леммой Евклида . ${\displaystyle a\mid bc,}$ ${\displaystyle \gcd(a,b)=1,}$ ${\displaystyle a\mid c.}$

Если — простое число, а затем или ${\displaystyle p}$ ${\displaystyle p\mid ab}$ ${\displaystyle p\mid a}$ ${\displaystyle p\mid b.}$

Положительный делитель, отличный от, называется ${\displaystyle n}$ ${\displaystyle n}$собственный делитель илиаликвотная часть числа, которое не делится поровну, но оставляет остаток, иногда называют аликвотой. ${\displaystyle n.}$ ${\displaystyle n}$значительная часть ${\displaystyle n.}$

Целое число , единственный собственный делитель которого равен 1, называется простым числом . Другими словами, простое число — это целое положительное число, имеющее ровно два положительных делителя: 1 и само себя. ${\displaystyle n>1}$

Любой положительный делитель является произведением простых делителей , возведенных в некоторую степень. Это следствие основной теоремы арифметики . ${\displaystyle n}$ ${\displaystyle n}$

Число называется совершенным , если оно равно сумме своих собственных делителей, недостаточным , если сумма его собственных делителей меньше, и избыточным , если эта сумма превышает ${\displaystyle n}$ ${\displaystyle n,}$ ${\displaystyle n.}$

Общее количество положительных делителей является мультипликативной функцией, означающей, что когда два числа и являются относительно простыми , то, например, ; восемь делителей числа 42 — это 1, 2, 3, 6, 7, 14, 21 и 42. Однако количество положительных делителей не является полностью мультипликативной функцией: если эти два числа имеют общий делитель, то это может быть не так. верно, что сумма положительных делителей является еще одной мультипликативной функцией (например , ). Обе эти функции являются примерами функций делителей . ${\displaystyle n}$ ${\displaystyle d(n),}$ ${\displaystyle m}$ ${\displaystyle n}$ ${\displaystyle d(mn)=d(m)\times d(n).}$ ${\displaystyle d(42)=8=2\times 2\times 2=d(2)\times d(3)\times d(7)}$ ${\displaystyle m}$ ${\displaystyle n}$ ${\displaystyle d(mn)=d(m)\times d(n).}$ ${\displaystyle n}$ ${\displaystyle \sigma (n)}$ ${\displaystyle \sigma (42)=96=3\times 4\times 8=\sigma (2)\times \sigma (3)\times \sigma (7)=1+2+3+6+7+14+21+42}$

Если простая факторизация задается выражением ${\displaystyle n}$

${\displaystyle n=p_{1}^{\nu _{1}}\,p_{2}^{\nu _{2}}\cdots p_{k}^{\nu _{k}}}$

тогда число положительных делителей равно ${\displaystyle n}$

${\displaystyle d(n)=(\nu _{1}+1)(\nu _{2}+1)\cdots (\nu _{k}+1),}$

и каждый из делителей имеет вид

${\displaystyle p_{1}^{\mu _{1}}\,p_{2}^{\mu _{2}}\cdots p_{k}^{\mu _{k}}}$

где для каждого ${\displaystyle 0\leq \mu _{i}\leq \nu _{i}}$ ${\displaystyle 1\leq i\leq k.}$

Для каждого природного ${\displaystyle n,}$ ${\displaystyle d(n)<2{\sqrt {n}}.}$

Кроме того, ^[7]

${\displaystyle d(1)+d(2)+\cdots +d(n)=n\ln n+(2\gamma -1)n+O({\sqrt {n}}),}$

где – постоянная Эйлера–Машерони . Одна из интерпретаций этого результата состоит в том, что случайно выбранное положительное целое число n имеет среднее количество делителей около . Однако это результат вклада чисел с «аномально большим количеством» делителей . ${\displaystyle \gamma }$ ${\displaystyle \ln n.}$

В абстрактной алгебре

Теория колец

Разделительная решетка

В определениях, допускающих, что делитель равен 0, отношение делимости превращает набор неотрицательных целых чисел в частично упорядоченный набор , который представляет собой полную дистрибутивную решетку . Самый большой элемент этой решетки равен 0, а самый маленький — 1. Операция встречи ∧ задается наибольшим общим делителем , а операция соединения ∨ — наименьшим общим кратным . Эта решетка изоморфна двойственной решетке подгрупп бесконечной циклической группы Z. ${\displaystyle \mathbb {N} }$

Смотрите также

• Арифметические функции
• Евклидов алгоритм
• Дробь (математика)
• Целочисленная факторизация
• Таблица делителей - Таблица простых и непростых делителей чисел от 1 до 1000.
• Таблица простых множителей - Таблица простых множителей для 1–1000.
• Унитарный делитель

Примечания

1. Аналогично, ${\displaystyle a\mid b,\,a\mid c}$ ${\displaystyle \Rightarrow \exists j\colon ja=b,\,\exists k\colon ka=c}$ ${\displaystyle \Rightarrow \exists j,k\colon (j+k)a=b+c}$ ${\displaystyle \Rightarrow a\mid (b+c).}$ ${\displaystyle a\mid b,\,a\mid c}$ ${\displaystyle \Rightarrow \exists j\colon ja=b,\,\exists k\colon ka=c}$ ${\displaystyle \Rightarrow \exists j,k\colon (j-k)a=b-c}$ ${\displaystyle \Rightarrow a\mid (b-c).}$
2. относится к наибольшему общему делителю . ${\displaystyle \gcd }$

Цитаты

1. Тантон 2005, с. 185
2. Харди и Райт 1960, стр. 1
3. Нивен, Цукерман и Монтгомери 1991, стр. 4
4. Симс 1984, с. 42
5. Дурбин (2009), с. 57, Глава III Раздел 10
6. «FoCaLiZe и Dedukti спешат на помощь для обеспечения совместимости доказательств, Рафаэль Кодерлье и Катрин Дюбуа» (PDF) .
7. Харди и Райт 1960, с. 264, Теорема 320.

Рекомендации

• Дурбин, Джон Р. (2009). Современная алгебра: Введение (6-е изд.). Нью-Йорк: Уайли. ISBN 978-0470-38443-5.
• Гай, Ричард К. (2004), Нерешенные проблемы теории чисел (3-е изд.), Springer Verlag , ISBN 0-387-20860-7; раздел Б
• Харди, штат Джорджия ; Райт, Э.М. (1960). Введение в теорию чисел (4-е изд.). Издательство Оксфордского университета.
• Херштейн, Индиана (1986), Абстрактная алгебра , Нью-Йорк: Macmillan Publishing Company, ISBN 0-02-353820-1
• Нивен, Иван ; Цукерман, Герберт С.; Монтгомери, Хью Л. (1991). Введение в теорию чисел (5-е изд.). Джон Уайли и сыновья . ISBN 0-471-62546-9.
• Ойстейн Оре , Теория чисел и ее история, МакГроу-Хилл, Нью-Йорк, 1944 (и переиздания в Дувре).
• Симс, Чарльз К. (1984), Абстрактная алгебра: вычислительный подход , Нью-Йорк: John Wiley & Sons, ISBN 0-471-09846-9
• Тантон, Джеймс (2005). Энциклопедия математики. Нью-Йорк: факты в архиве. ISBN 0-8160-5124-0. ОСЛК  56057904.