I GO 



MK MORI AS !>A AGADEMiA REAL 



isto e, uma so solucao menor que PQ 



Tambem se ve que a solucao x' de (JV) nao pdd« ser igual a solu- 



cao x 



10) 



■» d( 



x — lssOMP' i+l=0M()' 



sendo a decomposite /*, <? difterente de P.Q; porquanto scr.a neces- 

 sario que urn dos (adores />, P' tivesse urn factor primo/ Mo divisor 

 do outro; seja pois />—/>/, como PQ ^ P 1 Q' serf ?'— j//": lo §° d( ' 



(JV, £)) tirar se-liia 



donde 



«-isOMf .r + lsOM/' 

 2=^0 M/', isto e, f=2. 



O numeru de grupos binaries .r sera pois ty l M—-2f , par <>u 1 

 conforme £> ou — 1, logo para k I ou N.**=.f Jf f ; . . . 



a/a'W's"". 



I 



e por tanto 



c para N*=p f ' 



a I) c d . . . -i= -t- 1 . 

 abed . . .^£ — 1. 



Consideremos agora caso de A' imparmciilc par, isto e, ^==2 TV' 

 = 2P<? (sendo 7V differente de 1, alias A=2, e o theoremo de Wil- 

 son general isado scria 1 = ±1M2). 



Na livpothese actual teriamos ainda 



isto e, cada systema {()) daria urn valor de .*'. 



Acontece pore'm agora, que, segmido se viu precedentemente, as 

 duas resolucoes x, correspondentes a decomposicao 2 P, Q, cquivalem ;is 

 dnas relatives a decomposite P, 2Q. Logo o min.ero de grupos distin- 

 ctos de va lores x sera 



■f, 2 N' - 'b . A" = 2*.r ' — 2* ' " " 



= 2* 



