Введение
Пермутабельное простое число, также известное как анаграмматическое простое число, — это простое число, которое в заданной системе счисления остаётся простым числом при любой перестановке его цифр. Г. Э. Рихерт, предположительно первый, кто изучал такие простые числа, назвал их пермутабельными простыми числами, но позже они также стали называться абсолютными простыми числами.
База 2
В системе счисления по основанию 2 пермитуемыми простыми числами могут быть только репуниты, поскольку любая цифра 0, переставленная в разряд единиц, приводит к четному числу. Следовательно, пермитуемые простые числа в двоичной системе счисления – это числа Мерсена. Можно с уверенностью утверждать, что для любой позиционной системы счисления пермитуемые простые числа, состоящие более чем из одной цифры, могут содержать только цифры, взаимно простые с основанием системы счисления. Однозначные простые числа, то есть любые простые числа, меньшие основания, всегда являются тривиально пермутируемыми.
Свободные основания
Пусть P(b, n, x, y) – переставляемое простое число в основании b, и пусть p – простое число, такое что n ≥ p. Если b – примитивный корень по модулю p, и p не делит x или |x − y|, то n кратно (p − 1). (Поскольку b – примитивный корень по модулю p и p не делит |x − y|, то числа xxxx…xxxy, xxxx…xxyx, xxxx…xyxx, …, xxxx…xyxx…xxxx (только bp−2-я цифра – y, остальные – все x), xxxx…yxxx…xxxx (только bp−1-я цифра – y, остальные – все x), xxxx…xxxx (репунит с n цифрами x) по модулю p различны. То есть, одно равно 0, другое – 1, другое – 2, …, другое – p − 1. Таким образом, поскольку первые p − 1 чисел – простые, последнее число (репунит с n цифрами x) должно делиться на p. Поскольку p не делит x, то p должно делить репунит с n единицами. Поскольку b – примитивный корень по модулю p, мультипликативный порядок n по модулю p равен p − 1. Таким образом, n должно быть делимо на p − 1.) Таким образом, если b = 10, то цифры, взаимно простые с 10, – {1, 3, 7, 9}. Поскольку 10 – примитивный корень по модулю 7, то если n ≥ 7, то либо 7 делит x (в этом случае x = 7, поскольку x ∈ {1, 3, 7, 9}) или |x − y| (в этом случае x = y = 1, поскольку x, y ∈ {1, 3, 7, 9}. То есть, простое число – репунит) или n кратно 7 − 1 = 6. Аналогично, поскольку 10 – примитивный корень по модулю 17, то если n ≥ 17, то либо 17 делит x (невозможно, так как x ∈ {1, 3, 7, 9}) или |x − y| (в этом случае x = y = 1, так как x, y ∈ {1, 3, 7, 9}. То есть, простое число – репунит) или n кратно 17 − 1 = 16. Кроме того, 10 также является примитивным корнем по модулю 19, 23, 29, 47, 59, 61, 97, 109, 113, 131, 149, 167, 179, 181, 193, …, поэтому n ≥ 17 крайне маловероятно (поскольку для этих простых чисел p, если n ≥ p, то n делится на p − 1), а если 7 ≤ n < 17, то x = 7 или n кратно 6 (единственное возможное n – 12). Если b = 12, то цифры, взаимно простые с 12, – {1, 5, 7, 11}. Поскольку 12 – примитивный корень по модулю 5, то если n ≥ 5, то либо 5 делит x (в этом случае x = 5, поскольку x ∈ {1, 5, 7, 11}) или |x − y| (в этом случае либо x = y = 1 (то есть, простое число – репунит) или x = 1, y = 11 или x = 11, y = 1, поскольку x, y ∈ {1, 5, 7, 11}.) или n кратно 5 − 1 = 4. Аналогично, поскольку 12 – примитивный корень по модулю 7, то если n ≥ 7, то либо 7 делит x (в этом случае x = 7, поскольку x ∈ {1, 5, 7, 11}) или |x − y| (в этом случае x = y = 1, поскольку x, y ∈ {1, 5, 7, 11}. То есть, простое число – репунит) или n кратно 7 − 1 = 6. Аналогично, поскольку 12 – примитивный корень по модулю 17, то если n ≥ 17, то либо 17 делит x (невозможно, так как x ∈ {1, 5, 7, 11}) или |x − y| (в этом случае x = y = 1, так как x, y ∈ {1, 5, 7, 11}. То есть, простое число – репунит) или n кратно 17 − 1 = 16. Кроме того, 12 также является примитивным корнем по модулю 31, 41, 43, 53, 67, 101, 103, 113, 127, 137, 139, 149, 151, 163, 173, 197, …, поэтому n ≥ 17 крайне маловероятно (поскольку для этих простых чисел p, если n ≥ p, то n делится на p − 1), а если 7 ≤ n < 17, то x = 7 (в этом случае, поскольку 5 не делит x или x − y, то n должно делиться на 4) или n кратно 6 (единственное возможное n – 12).