Продолжаем знакомство с моделью числа и ее свойствами, а конкретно, с симметриями на разном уровне представления модели: областей строк, отдельных строк, элементов одной строки и элементов разных строк. Для читателей, ознакомившимися с моими предыдущими статьей 1(О разложении модели числа), статьей 2 (О симметриях...) и др. предлагается продолжить знакомство с проблемой моделирования и исследования чисел. Объект натуральный ряд чисел (НРЧ) настолько богат известными и совершенно новыми свойствами, что само их перечисление потребовало бы много места и времени.
Рассмотрение же конкретного свойства в деталях ограничивает автора с одной стороны располагаемыми знаниями, а с другой - ограниченным объемом публикации. Тем не менее, есть желание показать читателям развернутую картину проявлений такого свойства НРЧ, как симметрия в поведении элементов этого замечательного объекта.
Например, обращал ли кто-нибудь внимание на последовательности квадратичных вычетов (КВВ) элементов НРЧ по разным модулям, когда модель рассматриваем как фрагмент НРЧ или конечное числовое кольцо вычетов по модулю N. Эти квадраты следуют парами Rо, R1 и получают вид (21 пара) для N = 1961. Пары КВК 484 = 222; 529 =232 и
625 = 252; 676 =262 образованы смежными числами, для N = 1961 они окаймляют в 4-м слое средний вычет rcсс = 0; и для N = 2501 в 5-м слое средний вычет rcсс = 0.
Почему во втором случае N = 2501 квадраты следуют вначале с флексиями 0, затем с 12=1,
4= 22, 32, 42 ? Эти квадраты лежат в строках за пределами тривиальной области ТКВК и среди них нет кратных dб.
В табличках приведен порядок следования КВВ = КВК полных квадратов, объединенных в пары (верх\низ), всего 42 квадрата (для N = 1961) и 48 квадратов (для N = 2501). Каждый квадрат получен в некоторой точке хо и реализует решающий интервал (РИ), обеспечивающий получение решения задачи факторизации большого числа (ЗФБЧ) N, т.е. для вычисления делителей N. На основании закона распределения делителей можно записать соотношение di = хо ±√КВК и при необходимости воспользоваться алгоритмом Евклида НОД.
Цель публикации в первую очередь образовательная, познавательная, популяризация науки, а также стремление привлечь в ряды исследователей, в науку приток новых молодых (и не очень) умов, вызвать в таких умах стремление к поиску ответов на возникающие вопросы. Масштабность темы требует ввести разумные ограничения на излагаемый материал после краткого панорамного её рассмотрения
Введение
По мере изложения текста используются аббревиатуры (сокращения), которые я собрал в одном месте для удобства читателя. Эти сокращения мной используются во всех статьях по проблеме факторизации числа и информационной безопасности.
СММ – списочная многострочная модель числа;
ЗРД — закон распределения делителей числа;
НРЧ — натуральный ряд чисел;
ПНЧ — последовательность нечетных чисел;
ИБ — информационная безопасность;
КВВ — квадратичный вычет элемента кольца по модулю N;
КВК — квадратичный вычет – полный квадрат;
ЧКСС — четверка кратных смежных строк;
КЧКВ — конечное числовое кольцо вычетов по модулю N; ТКВК — тривиальная непрерывная область строк СММ, содержащая все КВК;
ТССС — тривиальная непрерывная область строк СММ, содержащая все средние вычеты, сохраняющие смежность сомножителей;
ДЦ, ДIn, Д0, — дубли строк СММ центральной, первой (инволюций), последней (нулевой;
Идемпотент — идемпотентный элемент, элемент е кольца, полугруппы или группоида, равный своему квадрату: е2 = е.
Инволю́ция (от лат. involutio — свёртывание, завиток) — инволютивный элемент х кольца, квадрат которого х2 =1; преобразование, которое является обратным самому себе, а квадрат инволюции равен единице в кольце.
Ранее уже упоминалось, что в СМ-модели установлено, по меньшей мере, пять осей (позиций, линий) симметрии (по трем первым позициям материалы описаны, рассмотрены и опубликованы):
– нулевая (нижняя) строка модели;
– центральная строка модели;
– строка нетривиальных инволюций;
– линия раздела четверки смежных кратных пар строк;
– линия, разделяющая строки идемпотентов;
Каждая из перечисленных позиций, обеспечивает самостоятельный вариант компоновки строк с вычетами, в основу которых кладется определение номера исходной и дублируемой строки.
Линия раздела пар четверки кратных смежных строк
Задача в целом остается прежней – локализовать каждую строку СММ, используя новые симметрии. Первые два слоя окаймления линии образуют пары кратных строк ЧКСС
Эта линия раздела является общей границей двух пар (4-ки) кратных смежных строк с номерами хо. Такая 4-ка имеет общие КВВ с тройкой кратных смежных строк (строка-дубль нулевой) и общие значения t и tп с окаймленными нетривиальными инволюциями.
Симметрия этой линии проявляется для строк-дублей, окаймляющих rcсс средние вычеты.
При разных модулях N номера строк окаймляющих линий определяются четной инволюцией и нижней строкой СММ.
В списке СМ-модели (в колонках с монотонно возрастающими значениями Хо , Х1) встречаются значения кратные делителям N без ограничения на четность коэффициента кратности. В колонках (Т, Тп) последовательных нечетных чисел (ПНЧ) также встречаются значения кратные делителям N, но уже только с нечетным коэффициентом кратности k. Генерирование элементов ПНЧ происходит путем суммирования пары смежных чисел, а для колонки Р – путем перемножения слагаемых.
Т = {0 + 1 = 1, 1+ 2 = 3, 2 + 3 = 5, 3 + 4 = 7, …, n+(n+1) = 2n + 1},
Р = {0 · 1 = 0, 1 · 2 = 2, 2 · 3 = 6, 3 · 4 = 12, …, n· (n+1) = n2 + n}.
Для таких двух последовательных сумм в Т и Тп одно из слагаемых всегда является общим. Например, для t = 5 и t = 7 имеем: 2 + 3 = 5, 3 + 4 = 7, общее слагаемое 3. Переменная р = t1· tо равна произведению слагаемых, из которых один или оба сомножителя могут быть кратны делителю N.
При этом один сомножитель (это может быть один из делителей N) остается общим для двух (строк) последовательных значений. Это делает пару последовательных значений Р, Rc кратными общему нечетному делителю. Такие значения t далее преобразуются в средние вычеты rc и в силу специфики преобразования пара смежных строк в позициях р и rc получает кратные одному из делителей значения rcв и rcн (верхнее и нижнее). Для другого делителя это также справедливо.
Такие пары многочисленны и между ними в СММ может быть разное количество s некратных строк s = 0, 1, 2, …. Существует вариант размещения кратных разным делителям пар строк, когда две смежных пары кратных разным делителям строк образуют непрерывную четверку кратных смежных строк (ЧКСС). В такой четверке монотонные значения tп повторяют (зеркально) четыре значения колонки t в области строки нетривиальных инволюций. Другими словами, такая четверка строк и четверка строк, окаймляющая строку нетривиальных инволюций (включая ее саму), имеют совпадающие встречно направленные отрезки столбцов Т, Тп (табл. В4).
Симметрия ориентирована на средние вычеты из ТССС. Как и ранее относительно этой линии пары строк нумерованных слоев модели симметрично отдаляются от линии, но дублирование таких строк приводит к иному, чем ранее, результату. Все соответствующие пары строк-дублей разделяются единственной строкой, содержащей средний вычет rcсс из ТССС со свойством сохранения смежности сомножителей.
В таблице ВВ4 показаны лишь начало такого списка вычетов rc = 0, 2, 6, 12… в строках с номерами хо (rcсс = 0) = 1128, хо (rcсс = 2) = 883, хо (rcсс = 6) = 638, хо (rcсс = 12) = 393, … с их окаймлением парами строк-дублей. Пары строк СММ послойно окаймляют выделенную линию, постепенно отдаляясь от нее.
4. Симметрии модели. Линия раздела пар строк четверки
Мы уже рассмотрели, как окаймляются строки с полными квадратами в позициях левых вычетов, рассмотрели механизмы образования и размещения строк-дублей для строк,
окаймляющих линии и строки симметрии. Это были вопросы, касающиеся носителя Х. Теперь перейдем к другому носителю Тп интересующих нас элементов, а именно, кратных делителей. Отличия оказываются значительными, но тем более интересными для изучения. Поясним как локализуются строки-дубли с квадратами rл и средними rccc вычетами. Какие существенные отличия имеются при локализации. Между одиночными кратными разным делителям строками в СММ возникают промежутки из некратных строк.
Если промежуток между кратными строками содержит нечетное число строк, то по ЗРД средняя строка промежутка имеет квадратичный вычет КВВ = КВК = rл полный квадрат, равный квадрату удаленности границ интервала от центра. Границами промежутка служат строки с элементами, кратными разным значениям делителей (элементы х1 и хо).
В какой-то мере аналогичное явление имеет место и для средних вычетов rccc. Также рассматриваются промежутки из некратных строк, но уже между сдвоенными (парами) смежных строк кратных разным делителям. Если промежуток содержит нечетное число некратных строк, то центральная (средняя) строка имеет средний вычет rccc со свойством сохранения смежности сомножителей. Поясним это описание числовым примером.
Пример К. Задан модуль приведения N = 989. На рис.1 размещен фрагмент СММ, содержащий элементы, названные в тексте ранее. Одиночные кратные по х1 и хо делителям строки в модели имеют номера хо = 253 = 11∙23, хо = 258 = 6∙43, хо = 276 = 12∙23 (заливка голубым цветом). Между ними интервалы из 4-х и 17 некратных строк. Для большего интервала (17 строк) существует центральная точка (строка, ее номер хо = 267). В этой точке квадратичный вычет равен rл = 267 2(mod N) = 81 – полный квадрат. Аналогично, в хо = 277, КВК = 576 = 242, что означает удаленность границ РИ от центра из 24 строк; хо = 253 = 11∙23, хо = 301 = 7∙43.
С кратными значениями по tп являются также две пары смежных строк первая пара с номерами хо = 264, хо = 265, где нижняя строка пары содержит элемент tп = 529 = 23∙23 и вторая с номерами хо = 279, хо = 280, где нижняя строка пары содержит элемент
tп = 559 = 13∙43. Кратными делителям являются не номера строк, а значения Р и rс = 713 = 31∙23, rс = 253 = 11∙23 (оба кратны делителю d = 23) в верхней паре и значения rс = 946 = 22∙43,
rс = 516 = 12∙43 (оба кратны другому делителю d = 43) для нижней пары строк.
Интервал (промежуток) некратных строк между этими смежными парами нечетный (равен 13 строкам), т.е. имеет центральную точку (строку с номером хоц = 272). Значение
rccc = 56 = 7·8 – это произведение числа строк интервала до центра на число после центра, включая границы его самого. С другой стороны, это значение равно разности КВВ rл (272) строки и rло, т.е. 798 – 742 = 56. В таблице А4 выделены заливкой (зеленые) значения rccc строк пересечения тривиальных областей ТКВК ∩ ТССС = {42, 272}
Окаймление строк-дублей со средними вычетами вида (Rccc) парами строк (верх\низ)
Таблица А4 КВВ пар строк, послойно (11слоев) окаймляющих строки со средними вычетами (rссс) приведена ниже. Таблица формируется, начиная со средней (центральной строки), в клетки которой вписываются в лексикографическом порядке значения rссс = 0, 2, 6, 12, 20, 30, …, 272, …,812, 870, 930. Рядом указываются значения t строк СММ, содержащих эти rссс. Далее из СММ в клетки столбцов (выше\ниже rссс) вписываются послойно (i = 1(1)I(N)) КВВ окаймляющих строк.
Слои КВВ окаймляющих строк располагаются в таблице горизонтально. Такую таблицу легко преобразовать в таблицу с вертикальным расположением КВВ слоев. В преобразованной таблице каждый i-й слой КВВ образует i-й столбец. Строкам (парам верхняя\нижняя) такой таблицы соответствуют значения (имена) rссс. Каждому rссс в слое отводится две строки (клетки) в каждом столбце. Две центральные строки для rссс = 0 – смежные. К ним сверху и снизу примыкают КВВ окаймляющих строк первого слоя для
rссс = 2, затем для rссс = 6 и так далее до конца списка rссс.
Почему рассматривается такое преобразование таблиц ? Дело в том, что в СММ все послойные последовательности КВВ (столбцы таблицы) уже содержатся в явном виде. При формировании СММ они возникают автоматически. Необходимо только указывать центральную пару (rссс = 0) каждого слоя (столбца.)
В табл. А4 зарегистрированы КВВ окаймления (11слоев) строк-дублей средних вычетов. Каждой паре окаймляющих строк соответствуют дубли (табл. Б4, каждый слой –вертикаль) Пятый слой строк-дублей содержит в основном КВВ=КВК – полные квадраты (N = 989)
Такие пары являются смежными для столбца 1-го слоя и для всех остальных слоев. Для
rcсс = 0 это КВВ=443, КВВ=54; для rcсс= 2 это КВВ =834, КВВ = 656 в этом же 1-м столбце.
Локализация вычетов. Рассматривая КВВ таблицы СММ, обратим внимание на распределение строк-дублей, содержащих КВВ = КВК = rл (т.е. дубли из ТКВК) и строк-дублей, содержащих средние (rccc) вычеты (дубли из другой тривиальной области ТССС). Будем иметь ввиду, что регулярность распределения строк, содержащих кратные делителей N имеет место при всех составных N.
При этом будем учитывать, что элементы строк кратные делителей в роли х1 и хо всегда встречаются одиночными строками (исключая строки с идемпотентами, в СММ они смежные) и могут иметь целочисленные четные и нечетные коэффициенты, в то время как элементы кратные тех же делителей в роли средних вычетов (rc, rc-1) всегда возникают сдвоенными (парами) смежных строк и при этом в нижней строке такой пары всегда размещается и элемент tп кратный делителю с целым нечетным коэффициентом кратности.
Описанные кратные строки одиночные и парные (выделены заливкой), содержащие кратные делителям элементы, служат некоторым фоном, решеткой, на которых проявляются полные квадраты rл = КВК и средние вычеты со свойством после редукции сохранять смежность сомножителей rc = rccc. Квадраты формируют соотношения закона распределения делителей (ЗРД) в НРЧ, а средние вычеты обеспечивают быстроту поиска квадратов и однозначность решения ЗФБЧ. Задача в целом остается прежней – локализовать каждую строку СММ, используя новые симметрии. Первые два слоя окаймления линии образуют пары кратных строк ЧКСС.
Области левых вычетов, относительно средних, сохраняющих смежность сомножителей
Ранее были рассмотрены области аттракции для КВК с центрами в точках кратных большего делителя Аi = idб. Подробно описывалась взаимосвязь областей, проявляющаяся симметричным включением в нумерованные слои КВВ. Элементы КВВ строк в колонках часто меняются местами. Совсем иначе выглядят зависимости при рассмотрении окаймлений средних вычетов вида rссс. Хотя все rссс распределяются по списку СММ для разных N неповторимым образом, но для таблиц все rссс помещаются в центральную строку упорядоченными лексикографически.
Основное отличие в том, что каждый столбец-слой таблицы Б4 вертикально выстроенных КВВ слоев начинается не в строках, где размещены средние вычеты, а от некоторых разделительных линий между парами строк СММ, задаваемых текущими хо номерами. Первый слой окаймляющих строк начинается от линии разделения четверки смежных строк кратных разным делителям. Линия проходит между строками с номерами хо =194 и хо=195. Дополнением до инволюции этой пары строк является пара хо = 106 и хо = 105. Линия между этой парой строк порождает второй слой окаймлений для rссс.
Далее номера этой пары увеличиваем на четную инволюцию (In = 300) и получаем очередную пару строк с разделяющей линией хо = 406 и хо = 405, порождающей строки третьего слоя. Следующий слой с нечетным номером – это слой пять, порождается линией между строками с номерами хо = 16 и хо = 17. Четные слои четвертый и шестой образуются линиями между строками-дополнениями до инволюции (хо = 284 и хо = 283) и увеличенными на инволюцию (In = 300), т.е. хо = 316 и хо = 317.
Далее по аналогии можно продолжить, чередуя четные и нечетные номера слоев. 8-й слой порождается линией между строками с номерами хо = 72 и хо = 73. Слои 7-й и 9-й определяются линиями между строками с хо= 372 и хо= 373, хо= 227 и хо= 228, т.е. для 7-го
хо = 300 +72 = 372 и хо = 300 =73 = 373, а для 9-го хо = 300 – 72 = 228 и хо = 300 –73 = 227.
Следующие три слоя 10, 11,12 задаем вначале для 11-го слоя хо = 161 и хо = 162, для 10-го добавим инволюцию, а для 12 определим дополнение к инволюции хо = 461 и хо = 462,
хо = 300 – 161 = 139 и хо = 300 – 162 = 138.
Представление симметричных областей КВВ, связываемых со средними вычетами rссс СМ-модели, существенным образом отличается от рассмотренных ранее, как по устройству, так и по зависимостям элементов. Удобно выполнять описание с использованием таблицы областей аттракции КВВ строк, окаймляющих послойно (в 6-ти слоях) упорядоченные средние вычеты rссс
Находим интервалы между парами кратных сдвоенных строк четной длины. Центр интервала определяется линией его раздела пополам, проходящей между строками верхней с номером хосл и нижней хосл.
Первая такая линия – линия раздела ЧКСС. Строки с такими КВВ окаймляют rccc = 0 в 1-ом слое. Номера этих строк хо1 = х1о –In = 495 –300 = 195 и хо1 = хоо –In = 494 –300 = 194. Колонка КВВ от этой линии (вверх\вниз) окаймляет все rccc в lex порядке строками 1 слоя. Вторая линия (для 2-го слоя окаймления) лежит между строками-дополнениями до модуля N, т.е. сверху хо2 = 300 –195 = 105 и снизу хо2 = 300 – 194 = 106. Третья линия увеличивает номера строк на In, т.е. хо3=300+105 = 405 и хо3= 300+106 = 406. Вообще правильнее будет записать условия так хо2 = 300 ± 105 и хо2 = 300 ± 106, где
хо2 = 105 и хо2 = 106. Тогда для слоев 4-го и 6-го находим номера хо5 = 16 и хо5 = 17, хо4,6 = 300 ± 16 и хо4,6 = 300 ± 17, где хо5 = 272 = 16∙17 = rccc самый верхний средний вычет.
Главной особенностью строк-дублей таких отдаляющихся пар строк окаймления (см. таблицу А4) является то, что они становятся смежными (хо (rcсс) = ± 1 верхняя\нижняя) со строками, включающими вначале средние вычеты в строках-дублях в порядке монотонного возрастания среднего вычета rc = 0, 2, 6, 12, ..., а после их исчерпания из ТССС, и для строк с другими вычетами.
Рассмотрим подробнее свойство строк СМ-модели, которое проявляется с дублями строк, послойно окаймляющих линию, разделяющую пары строк четверки смежных, кратных делителям N строк.
Каждая строка-дубля с rcсс ϵ ТССС в 5-м слое пар строк окаймления содержит КВВ=КВК, первые степени которых для rcсс = 0 смежные, а их сумма равна ½ (dм + dб) полусумме делителей N. Для N =2501 в строке с rcсс = 0 это КВК 252 и 262, а для rcсс = 2 это КВК 242 и 272, rcсс = 6 это КВК 232 и 282, rcсс = 12 это КВК 222 и 292 и т.д.
25+26 = 24+27 = 23+28 = 22+29 =½(41+61) = 51.
Пример 8. (Симметрия линии раздела 4-ки смежных кратных делителям N пар строк). Пусть N = 2501 = 41·61. Этот вид симметрии в СМ-модели задается средней линией 4-ки кратных строк (Табл. В4, ВВ4, выделена заливкой). Ведущая роль у средних вычетов. Тройки вычетов строк 1-го слоя четверки дублируются в окаймляющих строках «нулевой» строки, содержащей rссс = 0.
Эти средние кратные строки 4-ки содержат также элементы (блоки) хо = rс = 246 = 6·41 и
х1 = rс = 2257=37·61, такие же элементы содержатся в окаймляющих строках строки нетривиальных инволюций. Строки 2-го слоя (внешние строки четверки) содержат тройки вычетов строк, которые содержатся в окаймляющих строках среднего вычета rс = 2.
Так средняя линия четверки (двух смежных пар строк, выделены заливкой) кратных разным делителям N строк задает симметрию положения (значение отдаленности от нее) других строк модели, дубли которых лежат в других областях СМ-модели и оказываются разделенными лишь единственной строкой, содержащей дубль-строку среднего вычета rc из тривиальной области вычетов сохраняющих свойство смежности сомножителей.
При этом квадратичный вычет номера разделяющей строки окаймляется квадратичными вычетами номеров исходных симметрично (послойно) отдаленных строк, кратной четверки. В таблице В4 заливкой выделены две пары строк СМ-модели. Верхняя пара строк кратна меньшему делителю dм = 41, нижняя – кратна большему делителю dб = 61. КВВ пары внутренних строк четверки окаймляют строку-дубля последней (нулевой) строки (Табл.ВВ4). Следующие окаймляющие линию пары строк имеют строки-дубли с помещенными между ними строками, содержащими средние вычеты из ТССС, с соблюдением очередности следования их друг за другом, начиная с значений rc = 0, 2, 6, 12, 20, … до исчерпания списка ТССС.
В следующей таблице ВВ4 (верхняя строка) вычеты левый и правый из нулевой строки поменялись местами; правый вычет КВК= 625 стал играть роль центра решающего интервала; средний вычет принял значение rc (1123) = 1250 = хоо (1250). В нормальном положении (дубль среднего вычета 1-й строки СММ) он равен 1 + rпо = 1 + 625 = 626; нечетная инволюция (Ин = 245 = (122 = 2·61) + (123 = 3·41)) раскладывается в сумму кратных разным делителям N слагаемых. Дубль нулевой строки окаймляется строками с КВК 252 и 262, размещенными в 5-ом слое.
Между строками-дублями со средними вычетами rс с ССС расстояние равно нечетной инволюции, 1128 – 883 = 883 – 638 = 638 – 393 = 393 – 148 = … = 245.
Все три вычета дублирующей строки повторяют вычеты строки оригинала. Так для окаймления строки-дубля нулевой строки две средние строки 4-ки (таблицы В4) повторяют вычеты. В таблице эти строки смежные (не разделяются как во в таблице ВВ4 дублем нулевой строки). Средние вычеты пары внутренних строк-дублей таблицы утраиваются до
0+3·246 = 738, 3·2257= 1769; при окаймлении очередного элемента rс = 2, возрастают в 5 раз для rс = 6, то есть до 2 + 246·5 =1232 и 2+ 1283 и далее растут с нечетным k коэффициентом, т.е.
k = 1(2) … до исчерпания элементов ТССС. Номера строк, симметричных относительно средней строки в четверке кратных смежных строк модели, определяются умножением половины четной инволюции на порядковый коэффициент k, соответствующий среднему вычету в ТССС. Этот коэффициент k принимает последовательные значения нечетных чисел от k = 1, 3, 5, … и возрастает до исчерпания средних вычетов в ТССС, следующих в порядке возрастания значений.
Пример 9. (Симметрия линии раздела 4-ки смежных кратных делителям N пар строк). Пусть N = 989. В разделе таблицы А4 симметрий для средней линии четверки кратных разным делителям строк (первые 17 колонок) указаны исходные значения rс средних вычетов со свойством сохранения смежности сомножителей (TCCC). Множества этих значений вычетов можно пронумеровать, они начинаются от rс = 0, 2, 6, …, получают номера n = 1, 2, 3, … и одинаковы для всех чисел N. С ростом N изменяется только их количество в списке модели. Пусть выбран дубль среднего вычета из ТССС rс = 30 = 5·6. Его порядковый номер
n = 6. Строки-дубли, окаймляющие среднюю линию раздела кратных смежных строк 4-ки, лежащие в 6-м слое, имеют КВВ rлв = 117 и
rлн= 440 тогда коэффициент k = 2·6 – 1 = 11. Эти окаймляющие строки отделены одна от другой 10-ю промежуточными строками. Дубли этих строк оказываются отделенными лишь одной строкой, содержащей дубль среднего вычета rссс = 30. Коэффициент кратности
k = 2n–1, где n – текущий номер среднего вычета из ТССС. Этот номер для rссс равен большему из 2-х смежных сомножителей. Значение n для rссс определяется как больший смежный сомножитель в списке средних вычетов. Начало этого списка имеет такой вид:
rссс = {0·1 = 0, 1·2 = 2, 2·3 = 6, 3·4 = 12, 4·5 = 20, 5·6 = 30, 6·7 = 42, …}.
Таким образом, вычет rссс = 30 получает текущий номер n (30) = 6. Тогда, k = 2n – 1 = 11.
Это означает, что средний вычет rссс = 30 содержится в строке с номером хо = 661, то есть номер хо = ½k300(mod 989) = 661. В зависимости от выбранного значения составного модуля N строка-дубль модели, содержащая этот средний вычет rссс = 30, получит разный номер.
Для N = 989 нетривиальная четная инволюция равна хо = 300, а ее половина 150. Убедимся, что хо является инволюцией: хо2 = 3002(mod 989) = 90000 = 1 + 91·989 = 1. Теперь вернемся к определению номера строки хо (rс = 30) = 150k = 150·11 = 1650. Выполним приведение по модулю N, что дает хо (rс = 30) = 1650 – N = 1650 – 989 = 661. Для строки с этим номером можно вычислить средний вычет по формуле
rс (хо= (N – 661)) = ¼ ((N – 2·хо)2 – 1) = ¼ ((989 – 2·328)2 – 1) =27722(mod 989) = 30.
Для этой строки легко определяется квадратичный вычет и окаймляющие его вычеты
rл (661) = (хо (rс = 30))2(mod 989) = 6612(mod 989) = 772.
Заключение
Здесь описан очередной объект СМ-модели, порождающий симметрии. Удивительным следует признать факт: разнообразие типов механизмов, порождающих симметрии строк на довольно статичном множестве строк модели. В рамках заданного составного числа N и в пределах СМ-модели строки не перемещаются и не обнаруживают явно признаков симметрии.
Анализ причин проявления ряда особенностей в поведении отдельных элементов и целых строк привел к необходимости внимательного рассмотрения частных деталей. Например, если делители N (простые числа) связаны линейной зависимостью, то
р=23, q=1+2р =47, модуль N =1081, идемпотент оказывается равным q = 47;
р=67, q=1+4р =269, модуль N =18023, то идемпотент оказывается равным q = 269; или
р=13, q=2+3р =41, модуль N = 533, то инволюция оказывается равной q - 1= 40; или
р=61, q=2+5р =307, модуль N =18727, то инволюция оказывается равной q - 1= 306.
Доказывать эти факты - отвлекаться от основной задачи жалко тратить время (Ферма и Эйлер тоже не все доказывали и допускали ошибки). Но польза от фактов есть, при их изучении всплыли симметрии, о которых слышать и читать ранее не доводилось, но разобраться кое в чем удалось. Что и выношу на суд общественности.
Комментарии (3)
VAE Автор
08.08.2024 08:25q - должно быть простым числом, следовательно на k накладываются ограничения
wataru
08.08.2024 08:25+1Вы опять не туда отвечаете. Это вы специально так, чтобы мне не пришло уведомление, и чтобы я вам не отвечал? Да, тут в ваши же допущения, что n - раскладывается на 2 простых числа p и q.
wataru
Че там доказывать-то? Все просто же. Ничего кроме элементарной алгебры тут не задействовано.
Во втором случае:
![q = 2 + kp](https://habrastorage.org/getpro/habr/upload_files/fe7/7d0/403/fe77d040399e2752ae9e0bbeb2a278e7.svg)
И все такие свойства можно вывести алгебраически.
Допустим, мы хотим, что бы (q-a) было инволюцией. Представим q=kp+m.
Отсюда получаем![(m-a)^2+(m-2a)kp=1](https://habrastorage.org/getpro/habr/upload_files/1e9/aa6/e5e/1e9aa6e5edd4ec1a503c76492f25dd79.svg)
Для любого p это уравнение выполнено, только если m=2a и (m-a)^2=1. Отсюда получаем 2 решения a=1, m=2; a=-1, m=-2a.
Т.е. при q=kp-1, инволюцией будет q+1.
Для идемпотент выкладки аналогичные.
Таблицы эти - это хорошо для поиска паттернов, но далее эти паттерны надо доказывать. Иначе это не математика, а гадание по картинкам получается. Как у вас в разложении модели, где на первом цикле может не оказаться инволюции вообще. А оставшиеся свойства следуют из элементарной алгебры.