Число Джуги

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Число Джуги — составное число [math]\displaystyle{ n }[/math], такое, что для любого его простого делителя [math]\displaystyle{ p_i }[/math] выполнено [math]\displaystyle{ p_i | \left({n \over p_i} - 1\right) }[/math], или, что эквивалентно, такое, что для любого его простого делителя [math]\displaystyle{ p_i }[/math] имеет место [math]\displaystyle{ p_i^2 | (n - p_i) }[/math].

Название дано по имени итальянского математика Джузеппе Джуги[it], исследовавшим эти числа в связи с гипотезой Аго — Джуги о простых числах.

Определения

Одно из эквивалентных определений дал Такаси Аго (Takashi Agoh, 1990): составное число [math]\displaystyle{ n }[/math] является числом Джуги тогда и только тогда, когда выполняется:

[math]\displaystyle{ nB_{\varphi(n)} \equiv -1 \pmod n }[/math],

где [math]\displaystyle{ B }[/math] — число Бернулли и [math]\displaystyle{ \varphi(n) }[/math] — функция Эйлера.

Другие эквивалентная формулировка принадлежат Джузеппе Джуге: составное число [math]\displaystyle{ n }[/math] является числом Джуги тогда и только тогда, когда выполняется равенство:

[math]\displaystyle{ \sum_{i=1}^{n-1} i^{\varphi(n)} \equiv -1 \pmod n }[/math],

а также тогда и только тогда, когда:

[math]\displaystyle{ \sum_{p|n} \frac{1}{p} - \prod_{p|n} \frac{1}{p} \in \mathbb{N}. }[/math]

Все известные числа Джуги ([math]\displaystyle{ n }[/math]) фактически удовлетворяют более сильному условию:

[math]\displaystyle{ \sum_{p|n} \frac{1}{p} - \prod_{p|n} \frac{1}{p} = 1 }[/math].

Примеры

Первые пять чисел Джуги:

30, 858, 1722, 66 198, 2 214 408 306, …[1].

Например, число 30 является числом Джуги, поскольку его простые делители — это 2, 3 и 5, и можно показать, что:

  • 30/2 — 1 = 14, делится на 2,
  • 30/3 — 1 = 9, является квадратом трёх, и
  • 30/5 — 1 = 5, совпадает с третьим простым делителем.

Свойства

Простые делители числа Джуги должны быть различными. Если [math]\displaystyle{ p^2 }[/math] делит [math]\displaystyle{ n }[/math], то [math]\displaystyle{ {n \over p} - 1 = n'-1 }[/math], где [math]\displaystyle{ n' }[/math] делится на [math]\displaystyle{ p }[/math]. Поскольку [math]\displaystyle{ n'-1 }[/math] не может делиться на [math]\displaystyle{ p }[/math], [math]\displaystyle{ n }[/math] не может быть числом Джуги.

Таким образом, только свободные от квадратов числа могут быть числами Джуги. Например, делителями 60 являются 2, 2, 3 и 5, и 60/2 — 1 = 29, которое не делится на 2. Таким образом, 60 не является числом Джуги.

Полупростые числа также не могут быть числами Джуги. Если число [math]\displaystyle{ n=p_1p_2 }[/math], где [math]\displaystyle{ p_1\lt p_2 }[/math] простые, то [math]\displaystyle{ {n \over p_2} - 1 =p_1 - 1 \lt p_2 }[/math], так что [math]\displaystyle{ p_2 }[/math] не будет делить [math]\displaystyle{ {n \over p_2} - 1 }[/math], а следовательно, [math]\displaystyle{ n }[/math] не является числом Джуги.

Все известные числа Джуги чётны. Если нечётное число Джуги существует, то оно должно быть произведением по меньшей мере четырнадцати простых. Неизвестно, конечно ли количество чисел Джуги или бесконечно.

Паоло Лава (Paolo P. Lava, 2009) высказал гипотезу, по которой числа Джуги являются решениям арифметического дифференциального уравнения [math]\displaystyle{ n'=n+1 }[/math], где [math]\displaystyle{ n' }[/math] — арифметическая производная числа [math]\displaystyle{ n }[/math]. Хосе Мария Грау (José Maria Grau) и Антонио Оллер-Марсен (Antonio Oller-Marcén) показали, что целое число [math]\displaystyle{ n }[/math] является числом Джуги тогда и только тогда, когда оно удовлетворяет арифметическому дифференциальному уравнению [math]\displaystyle{ n'= an +1 }[/math] для некоторого целого [math]\displaystyle{ a\gt 0 }[/math].

См. также

Нерешённые проблемы математики: бесконечна ли последовательность чисел Джуги?
Нерешённые проблемы математики: существует ли составное число Джуги, которое также является числом Кармайкла?

Примечания

  1. последовательность A007850 в OEIS

Ссылки

  • Weisstein, Eric W. Giuga Number (англ.) на сайте Wolfram MathWorld.
  • D. Borwein, J. M. Borwein, P. B. Borwein, R. Girgensohn. Giuga's Conjecture on Primality // American Mathematical Monthly. — 1996. — Т. 103. — С. 40–50. — doi:10.2307/2975213. Архивировано 31 мая 2005 года.
  • Giorgio Balzarotti, Paolo P. Lava. Centotre curiosità matematiche. — Milan: Hoepli Editore, 2010. — С. 129. — ISBN 978-88-203-4556-3.