Označi je cdot cdot dots cdot frac ker je pj equiv pmod lahko na ta način zmnožimo ustrezne dvojice elementov
razred moči B je kjer zadošča equiv pmod ta razred obstaja natanko tedaj ko je ta enačba rešljiva
razreda potem ti moči množic dekompoziciji povejo ++ torej equiv pmod če pa imaš en ekv
Po vsti To enačbo lahko rešimo equiv pmod ker je mathbb p cel kolobar celo polje lahko sklepamo je ali
moči ampak morata biti dva torej tudi tisti iz točke ki pa obstaja natanko tedaj ko je enačba equiv pmod
Po Wilsonovem izreku potem sledi equiv pmod
polovici mojega prejšnjega posta tam se namreč vidi da za rešitve obstajajo natanko tedaj ko je equiv pmod
Denimo da je takih praštevil končno mnogo pi equiv pmod za dots
razred dobiš torej equiv pmod
enačba bo rešljiva za vsak če koeficienta ne bosta deljiva t j equiv equiv pmod ne sme biti deljiv torej
Mogoče še to če je equiv pmod potem lahko rešitev enačbe equiv pmod izračunaš eksplicitno preko Wilsonovega
kot prejšnjem primeru če bi bila dva bi bilo equiv pmod zato je samo eden torej tistega iz točke ni
Sedaj definiramo zaporedje s sn s an zato obstajata indeksa le le da velja si equiv sj pmod
dokaz posledice če ima inverz lahko pišemo in enačba equiv pmod preide equiv pmod oziroma equiv pmod
Naj bo sedaj poljuben prafaktor equiv pmod Rightarrow equiv pmod Rightarrow frac equiv frac pmod ker