Artigos Matematica Universitaria N. 8, Dezembro de 1988, 37 - 42. O Simbolo de Legendre Derek Hacon Departamento de Matematica PUC/RJ Rua Marqués de Sao Vicente 225, Gavea 22.453 Rio de Janeiro, RJ Uma questdo basica de aritmética é decidir, para dois inteiros / em, se ou nado / é um quadrado médulo m, ou seja se existe um inteiro & tal que 1 = k? médulo m. O simbolo (de Legendre- Jacobi) fornece uma resposta répida a esta pergunta. O simbolo (4) 6 igual a £1 e € definido 86 para inteiros Je m tais que Le m sio coprimos e m 6 impar e positivo. Se m for primo entdo (£) = +1 se e sémente se 7 é um quadrado médulo m. Por exemplo, (4) = +1 = $e(2) = —-1 = (3) mas (2) ndoé definido. As propriedades basicas do simbolo sao: I: (£) = (4)sel=!' médulo m. Th) = GG I: (£)(f) = -1 #123 =m médulo 4. Estas e outras propriedades do simbolo sao demonstrados em quase todo livro sobre a teoria elementar dos nimeros. Aqui abordare- mos 0 simbolo de um ponto de vista axiomatico. Mostraremos primeiro como os axiomas L,IL,III determinam () completamente, no sentido que (+) pode ser calculado a partir dos axiomas. Em seguida mostraremos que existe uma {6rmula explicita para (4) 3738 que satisfaz os axiomas, de maneita que os axiomas sio consis- tentes, Finalmente, usando esta formula, verificaremos o critério, citado acima, para / ser um quadrado médulo um primo m. A formula que usaremos é baseada no teorema de Zolotareff, do século passado, que diz que o sfmbolo é 0 sinal de uma certa per- mutagio. . Vejamos agora como calcular (+) a partir dos axiomas. Con- sidere (288), por exemplo. Temos ‘(i8s) 337) (axioma III) = i (axioma 1) = (73;)(G&)? (axioma I) = (733), pois (4) é sempre £1. Os valores de (2) e de (=) podem ser calculados a partir dos axiomas. Pelo axioma III temos m+ m= m (TD) = Ca (ap) m+2 m © (>) = Gaya) O leitor poderd deduzir, usando sé axiomas I ¢ II que y= Cn m e(— 2) = (So Mas (2) = (2) = 41. Entéo aw H=-H=-D= == Ap = Em particular, (7) = (3) = +1. Como 257 é primo, con- cluimos que existe & tal que 185 = k? méddulo 257. Conhecendo o valor de (2) 6 facil se convencer que qualquer (£) pode ser calculado a partir dos axiomas. Antes de dar a f6rmula para o simbolo, lembramos que o sinal de uma permutacao o dos niimeros {1, 2,..., n} pode ser definido pela formula j) — o(k) isk39 Se, em vez da ordem usual 1 < 2 <... < m usamos uma outra ordem (por exemplon < n-—1 <... < 1) para definir ¢, 0 resultado serd o mesmo. Por exemplo, usando 3 2 1 em vez de 123, podemos passar de 1 23 para 321 por uma seqiténcia de trocas de clementos vizinhos 123 — 212 += 231 + 321. Escrevendo £;j4 pata o € definido usando a ordem ijk, temos, por exemplo, _ af2)-oft) | o(2)—0(3) _ o(1)-0(3) eus(e) = Sep a 2-1 2-3 3-1 = éoai(o) Assim ég2(¢) = €2a(¢) = €213(0) = €123(¢). A propriedade basica do sinal é a inultiplicatividade «(a 0p) = e(a)-£(p) onde a 0p leva j em o(p(j)).Temos coop) = TI oot) = gle) Mas,no primeiro fator podemos usar a ordem (1), p(2),---,p(m) em vez da ordem 1, 2,..., . Escrevendo u = p(j)ev = p(k), obtemos 0 a(u) - o(v) , ue uv que mostra que e(¢ 0p) = ¢(a)-e(p). Se em vez de {1, 2,..., m} consideramos um conjunto finito Kf num corpo e uma permutagao o dos elementos de XK’, 0 sinal é bem definido, nao depende da ordem escolhida para A e é mul- tiplicativo.40 Seja Rm 0 conjunto das m-esimas raizes complexas de 1 ou seja {(°, C1,..., ("™-1} onde ¢ = e7/™ (C9 sendo 1). Considere a permutago de Rm que leva X em X'. E uma permutagao pois, 1 e m sendo coprimo, existe * tal que [/* = 1 médulo m. Se X'= YlentioX = XU sy zy, Define (4) a ser o sinal desta permutacio , ou seja: L x'~y! Ge . x = x lem, no méximo, b solugdes em F. Ent&o, em F — {0}, tem, no mfnimo, a = 4+ elementos diferentes da forma y’. Cada um destes elementos é uma solugdo da equagio 2? = 1. Entdo cada solugio da equacio #* = 1 é da forma y°. O critério de Euler corresponde ao caso F = Zneb = 2 Dado este critério, precisa sé mostrar que (L) = IF" em Zn. O conjunto 22, pode ser identificado com Z,, pela correspondencia jo. Assim a permutagio X + X! corresponde & permutagio j7ljem Z,,. O sinal desta permutacao é Il jak isk ou seja ynest Mas, em Zn, rr étlemé fmpar. Entao este sinal 61°F" e o critério para J ser um quadrado médulo m é verificado. A definic&o usual do simbolo comeca por definir (-L) quando mm & um primo impar (o simbolo de Legendre). Para um produto m = p™+.-pl™, onde os p; sio primos impares, define-se o simbolo (4) pela formula U lia GQ = TG” em Zn,42 Com esta definigao a formula (45) = (£)(4) é imediata. E um exercicio interessante verificar esta formula a partir dos ax- iomas, usando axioma III na forma me ea formula (2) = (-1)".