2.4. Relaes de congruncia sobre .

Aritmtica modular
Recorda-se que uma relao de equivalncia sobre um conjunto uma relao reflexiva, simtrica e transitiva. A relao de igualdade a relao de equivalncia mnima, sendo a relao universal a relao de equivalncia mxima. A cada relao de equivalncia sobre um conjunto E podemos associar uma partio desse conjunto, i.e., uma famlia de subconjuntos de E, disjuntos dois a dois, cuja unio E Os subconjuntos da partio so as chamadas classes de equivalncia. O objectivo desta seco o estudo daquelas relaes de equivalncia sobre o conjunto que so compatveis com as operaes de adio e de multiplicao, i.e. satisfazem a condio (C) da definio que segue. 2.4.1 Definio. Uma relao de congruncia sobre uma relao de equivalncia tal que: + - , - (C) a+ , - + , +- ,-

2.4.2 Proposio. Uma relao de equivalncia congruncia se e s se + - (Cw ) a+ , - . , + ,, - . +D. Mostra-se que qualquer relao transitiva propriedade (Cw ) a+ , - . , + , + - . , -

sobre relao de , . ,.

, com a propriedade (C), tem a

, - + - , .

, .

Analogamente, obtinhamos que +- ,. . Mostra-se, imediatamente, que qualquer relao reflexiva com a propriedade (Cw ) tem a propriedade (C). O teorema que segue d uma descrio completa das relaes de congruncia sobre . 2.4.3 Teorema. Para cada inteiro 7 !, a relao definida por: a+ , () + , : 7 l + , uma congruncia sobre . Qualquer relao de congruncia sobre desta forma. D. Verificamos que, dado um inteiro 7 !, a relao definida por () uma relao de congruncia A relao reflexiva: a+ , + +, pois 7 l + +

 A relao simtrica: a+ , , +

, 7 l + , 7 l , + , +

A relao transitiva: a+ , - , + , , - 7 l + ,, 7 l , - 7 l + , , - 7l + - + - A relao compatvel com a adio: a+ , - , + , 7 l + , 7 l + c , - + - , - A relao compatvel com a multiplicao: a+ , - , + , 7 l + , 7 l + ,c 7 l +c ,c +- ,- Podemos agora dizer que h tantas relaes de congruncia sobre quantos os inteiros no negativos. Se + e , so equivalentes pela congruncia determinada por 7 , 7 !, diz-se que + e , so congruentes mdulo 7 e escreve-se: + , mod 7). A conguncia mod ! a relao de igualdade, 2.4.4 Proposio. Para cada inteiro 7 ! e para quaisquer + , , tem-se: + , mod 7) se e s se os restos da diviso por 7 de + e , so iguais. D. Dados + , , pelo algoritmo da diviso temos que: + 7;" <" e , 7;# <# , com ! <" <# 7 Podemos supr que <" <# . Ento, , + 7;# ;" <# <" , com ! <# <" 7 Daqui resulta que: 7 l, + se e s se <# <" !, i.e., <# <" Notao +7 representa a classe dos inteiros equivalentes mdulo 7 a + +7 , , +mod 7) 7 denota o conjunto das classes de equivalncia de mdulo 7 Exemplos As classes de equivalncia de mdulo "" so: !"" ""5 5 """ ""5 " 5 "!"" ""5 "! 5 A classe dos elementos equivalentes mdulo "" a 45 %&"" "!"" 2.4.5 Proposio. Dado 7 , 7 !, o conjunto das classes de equivalncia da relao " mod 7" 7 !7 "7 7 "7

Se o resto da diviso de + por 7 <, podemos denotar por < a classe +7 <7 O conjunto 7 pode ser algebrizado com uma operao de adio e uma operao de multiplicao: a+ , +7 ,7 + ,7 , +7 ,7 + ,7 . Estas operaes no dependem dos inteiros que escolhemos para representar as classes de equivalncia, pois +7 +" 7 e ,7 ," 7 l+ ,7 +" ," 7 . De facto, +7 +" 7 e ,7 ," 7 + +" (mod 7 e , ," mod 7 7 l + +" , 7 l , ," 7 l + +" , ," 7 l + , +" ," + , +" ," mod 7 l+ ,7 +" ," 7 2.4.6 Proposio. O sistema 7 tem as seguintes propriedades: M1. a + , 7 , + , 7 M3. a + , 7 + , , + M5. a + , - 7 , + , - + , -; M7. Existe " 7 tal que: + " + , a + 7 M2. a + , 7 + , 7 M4. a + , 7 + , , + M6. a + , - 7 + , - + , -; M7w . Existe 0 7 tal que + 0 + , a + 7 M8w a + 7 , b + 7 + + 0; M9. a + , - 7 , + , - + , + -. 2.4.7 Proposio. Se 7 primo o sistema 7 tem as propriedades: M8. a + 7 !, b, 7 +, ". M8. a + , 7 a D 7 !+D ,D + , M8 significa que, para 7 primo, cada cada nmero modular tem inverso. Por M8 o inverso nico. Para um sistema modular 7 , a propriedade M8 equivalente a M8. fcil provar que M8 M8, mas mais difcil provar a implicao recproca.

Damos as tabelas da adio e da multiplicao nos sistemas modulares # , $ , % e & . Note-se que em % alm de ", apenas $ tem inverso que o prprio 3. # ! " ! " # ! " # $ ! " # $ % ! " ! " " ! ! " # ! " # " # ! # ! " ! " # $ ! " # $ " # $ ! # $ ! " $ ! " # ! " # $ % ! " # $ % " # $ % ! # $ % ! " $ % ! " # % ! " # $ ! " ! " # ! " # $ ! " # $ % ! " ! ! ! " ! " # ! ! ! ! " # ! # " ! " ! ! ! " ! # ! $ ! ! ! ! ! ! # ! # ! # $ ! $ # " % ! % $ # "

&

" # $ ! ! ! " # $ # % " $ " % % $ #

Questo 1 Dado um inteiro positivo 7, e dados + , 7 , existe B 7 tal que () + B ,? No caso de ter soluo, ter soluo nica ? Quando 7 primo, vimos em 2.4.7 que a equao + B " solvel, desde que seja + 0, e a solo nica. Neste caso, multiplicando por , uma soluo da equao + B " obtemos a nica soluo de + B , . Quando 7 no primo, a ltima questo pode ser imediatamente respondida, olhando para a tabela da multiplicao de % . A equao # B ! tem duas solues: 0 e # Levanta-se ento a questo: Questo 2 Dado um inteiro positivo no primo 7, e dados + , 7 tais que + B , solvel, quantas solues tem?

Para qualquer 7 !, b B 7 tal que: () +B , se e s se bB tal que: () +B , (mod 7 se e s se b B C tal que: () +B 7C , se e s se mdc+ 7l , (2.3.6). Vimos, em 2.3, como encontrar uma soluo da equao +B 7C mdc+ 7, usando o algoritmo de Euclides. Obtem-se uma soluo da equao +B 7C ,, com . mdc+ 7l ,, multiplicando por ,. uma soluo de +B 7C . Veremos, agora, como obter todas as solues de +B 7C ,. Supondo que B" C" uma soluo particular desta equao, i.e., +B" 7C" ,, e que B C uma soluo qualquer, i.e., +B 7C ,, obtemos +(B B" 7C C" ! Logo 7 l +(B" B# . Se . mdc+ 7, vem () 7. l +.(B B" , com mdc+. 7. " Observamos que a proposio 1.5.6 pode ser estendida a : Para quaisquer + , - , - l +, mdc+ - " - l ,. Ento, resulta de () que: 7. l (B B" , i.e., para algum 5 B B" 7.5 Como se tem, para todo 5 , +B" 7.5 7C" +.5 . , podemos dar a seguinte proposio. 2.4.8 Proposio. Sejam + 7 , 7 ! e . mdc+ 7 Se B" C" uma soluo da equao +B 7C ,, ento o conjunto das solues dessa equao B" 7.5 C" +.5 5 . 2.4.9 Corolrio. Sejam + 7 , 7 ! e . mdc+ 7. Se B" uma soluo da congruncia +B , mod 7, ento o conjunto das solues dessa congruncia B" 7.5 5 . Exemplo. Determinao de todas as solues em da equao $B &C (. Como mdc$ & " e B 2, C 1) soluo da equao $B &C ", vem que "% ( soluo de $B &C (. O conjunto das solues desta equao : "% &5 7 $5 5