Ремонт принтеров, сканнеров, факсов и остальной офисной техники


назад Оглавление вперед




[241]

Периодичность позволяет продолжить последовательность в обе стороны, определив как = a(8modf) (рИ всяком целом г (в том числе и отрицательном.)

Следствие 33.19

В конечной группе (S, ф) с единицей е для всякого а £ S выполняется равенство as = е. Доказательство

По теореме Лагранжа ord(a) \ \S\, откуда 15*1 = 0 (mod t), где t = ord(a). Упражнения 33.3-1

Напишите таблицы для групповых операций в группах (Z£, +4) и (Z*,, -5). Докажите, что эти группы изоморфны, то есть постройте взаимно-однозначное соответствие а между их элементами, удовлетворяющее следующему свойству: равенство а + Ь = с (mod 4) должно выполняться одновременно с равенством а (а) а(Ь) = а (с) (mod 5).

33.3-2

Докажите теорему 33.14 33.3-3

Пусть р - простое число, к - положительное целое число. Докажите, что <р(рк) =рк~г(р- 1). 33.3-4

Пусть п > 1 и а £ Z*. Докажите, что функция fa : Z* -> Z*, определяемая равенством fa(x) = ах mod п является перестановкой множества Z*.

33.3-5

Выпишите все подгруппы групп Zg и Z*3.

33.4. Решение линейных диофантовых уравнений

Нас будут интересовать целочисленные решения уравнения

ах = Ь (mod га),(33.22)

(здесь а, Ь и га - целые числа; такие уравнения называют «линейными диофантовыми уравнениями»). Ясно, что здесь ва- жен лишь остаток от деления х на га, так что решением (33.22) естественно называть не целое число, а элемент группы Ъп (класс чисел, дающих один и тот же остаток при делении на га). Таким образом, можно сформулировать задачу так: есть элементы а, Ь £ Zra, мы ищем все х £ Zra, для которых ах = Ь (mod га).

Напомним, что через (а) обозначается порождённая элементов а подгруппа (в данном случае подгруппа группы Zra). По определению (а) = {а : х > 0} = {ах mod га : х > 0}, поэтому уравнение


(33.22) имеет хотя бы одно решение тогда и только тогда, когда Ь £ (а). Сколько элементов вПо теореме Лагранжа (33.15)

это число является делителем га. Теорема 33.20

Для любых положительных целых а и га

(а) = (d) = {0, d,2d,..., ((n/d) - l)d},(33.23)

и

I (а) I = n/d,

где d = gcd (а, ra). Доказательство

Расширенный алгоритм Евклида в применении капп даёт тройку (d,x,yr), для которой d = gcd(a,ra) и ах + пу = d. Тогда ах = d (mod га), и потому d £ (а). С другой стороны, d есть делитель а, и потому а £ (d). Следовательно, (a) = (d) = {0,d,2d,... , ((n/d) - l)d}

Следствие 33.21

Уравнение ах = Ь (mod га) разрешимо относительно х тогда и только тогда, когда НОД(а, га) Ь. Следствие 33.22

Уравнение ах = Ь (mod га) имеет <i = gcd(a,ra) различных решений в Ъп или не имеет их вовсе.

Доказательство Если уравнение ах = Ь (mod га) имеет решение, то Ь £ (а). Согласно следствию 33.18, последовательность ах mod га (а и га фиксированы, ж = 0,1,...) периодична с периодом \{а)\ = n/d. Если Ь £ (а), то 6 встречается ровно один раз среди первых n/d членов рассматриваемой последовательности. При изменении г от 0 до га - 1 этот набор из n/d чисел проходится d раз и элемент Ь встречается d раз; соответствующие значения ж служат решениями уравнения ах = Ь (mod га).

Теорема 33.23

Пусть d = gcd (а, га) = ах Л-пу, где ж и у - целые числа (например, выдаваемые процедурой Extended-Euclid). Если d \ Ь, то число жо = x(b/d) (mod га) является решением уравнения ах = Ь (mod га).

Доказательство

По условию ах = <i (mod га), поэтому ажо = ax(b/d) = d(b/d) = 6 (mod га).

Теорема 33.24

Пусть уравнение ах = Ь (mod га) разрешимо, и жо является его решением. Тогда уравнение имеет d = gcd(a,6) решений в Ъп, задаваемых формулой Xi = жо + i(n/d), где г = 0,1, 2,... , га - 1.

Доказательство

Начав с жо и двигаясь с шагом n/d, мы сделаем d шагов, прежде чем замкнём круг. При этом все эти числа будут оставаться решениями уравнения ах = Ь (mod га), так как при увеличении ж на


n/d произведение ах увеличивается на n(a/d), то есть на кратное га. Таким образом, мы перечислили все d решений.

В соответствии со сказанным напишем процедуру, которая по целым числам а, 6 и га > 0 даёт все решения уравнения ах = Ь (mod га).

Modular-Linear-Equation-Solver(a,b,п)

1(d,x,у)\gets Extended-Euclid(a,n)

2if d b

3then x 0 \gets x (b/d) \bmod n

4for i \gets 0 to d-1

5do print (x 0+i(n/d)) \bmod n

6else print "нет решений"

Например, для уравнения 14ж = 30 (mod 100) (а = 14, 6 = 30 и га = 100) вызов процедуры Extended-Euclid в строке 1 даёт (d, х, у) = (2, -7,1). Поскольку 2 30, в строке 3 вычисляется жо = ( - 7) • (15) mod 100 = 95, и в строках 4-5 печатаются числа 95 и 45.

Процедура Modular-Linear-Equation-Solver (а, га) выполняет 0(lg п-\-НОД(а, га)) арифметических операций (O(lgra) в строке 1 и О (gcd (а, га)) в остальных строках).

Следствие 33.25

Пусть га > 1. Если gcd (а, га) = 1, то уравнение ах = Ь (mod га) имеет единственное решение (в Ъп).

Случай 6=1 особенно важен - при этом мы находит обратный к х элемент по модулю га (multiplicative inverse modulo га), то есть обратный в группе Z* элемент.

Следствие 33.26

Пусть га > 1. Если gcd (а, га) = 1, то уравнение

ах = 1 (mod га)(33.24)

имеет единственное решение в Ъп. При gcd (а, га) > 1 это уравнение решений не имеет.

Тем самым мы научились вычислять обратный элемент в группе Z* за О (lgra) арифметических операций.

Упражнения

33.4-1

Решите уравнение 35ж = 10 (mod 50). 33.4-2

Докажите, что если gcd(a,ra) = 1, то из ах = ay (mod га) следует уравнение ж = у (mod га). Покажите на пример, что условие gcd(a,ra) = 1 существенно.

33.4-3

Будет ли работать процедура Modular-Linear-Equation-Solver, если строку 3 в ней заменить на

3 then х 0 \gets х (b/d) \bmod (n/d)



[стр.Начало] [стр.1] [стр.2] [стр.3] [стр.4] [стр.5] [стр.6] [стр.7] [стр.8] [стр.9] [стр.10] [стр.11] [стр.12] [стр.13] [стр.14] [стр.15] [стр.16] [стр.17] [стр.18] [стр.19] [стр.20] [стр.21] [стр.22] [стр.23] [стр.24] [стр.25] [стр.26] [стр.27] [стр.28] [стр.29] [стр.30] [стр.31] [стр.32] [стр.33] [стр.34] [стр.35] [стр.36] [стр.37] [стр.38] [стр.39] [стр.40] [стр.41] [стр.42] [стр.43] [стр.44] [стр.45] [стр.46] [стр.47] [стр.48] [стр.49] [стр.50] [стр.51] [стр.52] [стр.53] [стр.54] [стр.55] [стр.56] [стр.57] [стр.58] [стр.59] [стр.60] [стр.61] [стр.62] [стр.63] [стр.64] [стр.65] [стр.66] [стр.67] [стр.68] [стр.69] [стр.70] [стр.71] [стр.72] [стр.73] [стр.74] [стр.75] [стр.76] [стр.77] [стр.78] [стр.79] [стр.80] [стр.81] [стр.82] [стр.83] [стр.84] [стр.85] [стр.86] [стр.87] [стр.88] [стр.89] [стр.90] [стр.91] [стр.92] [стр.93] [стр.94] [стр.95] [стр.96] [стр.97] [стр.98] [стр.99] [стр.100] [стр.101] [стр.102] [стр.103] [стр.104] [стр.105] [стр.106] [стр.107] [стр.108] [стр.109] [стр.110] [стр.111] [стр.112] [стр.113] [стр.114] [стр.115] [стр.116] [стр.117] [стр.118] [стр.119] [стр.120] [стр.121] [стр.122] [стр.123] [стр.124] [стр.125] [стр.126] [стр.127] [стр.128] [стр.129] [стр.130] [стр.131] [стр.132] [стр.133] [стр.134] [стр.135] [стр.136] [стр.137] [стр.138] [стр.139] [стр.140] [стр.141] [стр.142] [стр.143] [стр.144] [стр.145] [стр.146] [стр.147] [стр.148] [стр.149] [стр.150] [стр.151] [стр.152] [стр.153] [стр.154] [стр.155] [стр.156] [стр.157] [стр.158] [стр.159] [стр.160] [стр.161] [стр.162] [стр.163] [стр.164] [стр.165] [стр.166] [стр.167] [стр.168] [стр.169] [стр.170] [стр.171] [стр.172] [стр.173] [стр.174] [стр.175] [стр.176] [стр.177] [стр.178] [стр.179] [стр.180] [стр.181] [стр.182] [стр.183] [стр.184] [стр.185] [стр.186] [стр.187] [стр.188] [стр.189] [стр.190] [стр.191] [стр.192] [стр.193] [стр.194] [стр.195] [стр.196] [стр.197] [стр.198] [стр.199] [стр.200] [стр.201] [стр.202] [стр.203] [стр.204] [стр.205] [стр.206] [стр.207] [стр.208] [стр.209] [стр.210] [стр.211] [стр.212] [стр.213] [стр.214] [стр.215] [стр.216] [стр.217] [стр.218] [стр.219] [стр.220] [стр.221] [стр.222] [стр.223] [стр.224] [стр.225] [стр.226] [стр.227] [стр.228] [стр.229] [стр.230] [стр.231] [стр.232] [стр.233] [стр.234] [стр.235] [стр.236] [стр.237] [стр.238] [стр.239] [стр.240] [стр.241] [стр.242] [стр.243] [стр.244] [стр.245] [стр.246] [стр.247] [стр.248] [стр.249] [стр.250] [стр.251] [стр.252] [стр.253] [стр.254] [стр.255] [стр.256] [стр.257] [стр.258] [стр.259] [стр.260] [стр.261] [стр.262] [стр.263] [стр.264] [стр.265] [стр.266] [стр.267] [стр.268] [стр.269] [стр.270] [стр.271] [стр.272] [стр.273] [стр.274] [стр.275] [стр.276] [стр.277] [стр.278] [стр.279] [стр.280] [стр.281] [стр.282] [стр.283] [стр.284] [стр.285] [стр.286] [стр.287] [стр.288] [стр.289] [стр.290] [стр.291] [стр.292] [стр.293] [стр.294]