Kryterium nieredukowalności Cohna
W wielomianu arytmetycznych , kryterium nieredukowalność Crohna to warunek wystarczający do wielomianu z całkowitych współczynników się nierozkładalny .
Stany
Jeśli liczba pierwsza p jest zapisana w postaci dziesiętnej w postaci
p=wm10m+wm-110m-1+⋯+w110+w0 z 0≤wk≤9{\ Displaystyle p = a_ {m} 10 ^ {m} + a_ {m-1} 10 ^ {m-1} + \ kropki + a_ {1} 10 + a_ {0} {\ tekst {z}} 0 \ leq a_ {k} \ leq 9}
potem wielomian
wmXm+wm-1Xm-1+...+w1X+w0{\ Displaystyle a_ {m} X ^ {m} + a_ {m-1} X ^ {m-1} + \ ldots + a_ {1} X + a_ {0}}
jest nieredukowalny w .Z[X]{\ displaystyle \ mathbb {Z} [X]}![\ mathbb {Z} [X]](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a538d203a057d4c604f799c28e9a7be410fdcac)
To twierdzenie uogólnia na inne podstawy :
Dla dowolnej liczby całkowitej b ≥ 2, wielomian postaciP.(X)=wmXm+wm-1Xm-1+...+w1X+w0 z 0≤wk≤b-1{\ Displaystyle P (X) = a_ {m} X ^ {m} + a_ {m-1} X ^ {m-1} + \ ldots + a_ {1} X + a_ {0} {\ tekst {z }} 0 \ leq a_ {k} \ leq b-1}
jest nieredukowalna, gdy tylko P ( b ) jest liczbą pierwszą.Z[X]{\ displaystyle \ mathbb {Z} [X]}
Notatki historyczne
Wersja bazowa 10 jest przypisany do Arthur Cohn - student Issai Schur - przez Pólya i Szegő i jego uogólnienia do dowolnej bazy b ≥ 2 jest spowodowane Brillhart , Filaseta i Odlyzko .
W 2002 roku pan Ram Murty (in) przedstawił uproszczony dowód i historyczne szczegóły tego twierdzenia, wykazując również następujący wariant:
Albo i .P.(X)=wmXm+wm-1Xm-1+...+w1X+w0∈Zm[X]{\ Displaystyle P (X) = a_ {m} X ^ {m} + a_ {m-1} X ^ {m-1} + \ ldots + a_ {1} X + a_ {0} \ in \ mathbb { Z} _ {m.} [X]}
H.=max0≤ja<m|wja/wm|{\ displaystyle H = \ max _ {0 \ równoważnik ja <m} | a_ {i} / a_ {m.} |}
Jeśli istnieje liczba całkowita b ≥ H + 2 taka, że P ( b ) jest liczbą pierwszą, to P jest nieredukowalne na ℤ.
Demonstracja
Powód przez przeciwieństwo , zakładając redukcję P i pokazując, że wtedy dla dowolnej liczby całkowitej b ≥ H + 2 , P ( b ) jest złożona .
Niech więc będzie taka, że P = QR .
Q,R∈Z[X]∖{-1,0,1}{\ Displaystyle Q, R \ in \ mathbb {Z} [X] \ setminus \ {- 1,0,1 \}}![{\ Displaystyle Q, R \ in \ mathbb {Z} [X] \ setminus \ {- 1,0,1 \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4eaab0ed3f5dfe2cc3a8233bae3171ae57808eac)
- Jeśli Q nie jest stały, a następnie z, ponieważ każdy jest pierwiastkiem P , (por korzeń rzeczywistej lub zespolonej wielomian # pierwsze oszacowanie ) W związku .Q=vs∏ja(X-αja){\ displaystyle Q = c \ prod _ {i} (X- \ alpha _ {i})}
αja{\ displaystyle \ alpha _ {i}}
|αja|<H.+1{\ Displaystyle | \ alfa _ {i} | <H + 1}
|Q(b)|≥∏ja(b-|αja|)>∏ja(H.+2-H.-1)=1{\ Displaystyle | Q (b) | \ geq \ prod _ {i} (b- | \ alfa _ {i} |)> \ prod _ {i} (H + 2-H-1) = 1}![{\ Displaystyle | Q (b) | \ geq \ prod _ {i} (b- | \ alfa _ {i} |)> \ prod _ {i} (H + 2-H-1) = 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/274273529a42c7005fec7d6494cbc8a0f7048def)
- Jeśli Q jest stałe, to oczywiście nadal mamy | Q ( b ) | > 1 .Q∈Z∖{-1,0,1}{\ displaystyle Q \ in \ mathbb {Z} \ setminus \ {- 1,0,1 \}}
![{\ displaystyle Q \ in \ mathbb {Z} \ setminus \ {- 1,0,1 \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee1b9791736b6a61089b21eb62cb92cef1d3d6f6)
To samo rozumowanie dla R , więc P ( b ) = Q ( b ) R ( b ) z | Q ( b ) |, | R ( b ) | > 1 .
Uwagi i odniesienia
(
fr ) Ten artykuł jest częściowo lub w całości zaczerpnięty z artykułu w
angielskiej Wikipedii zatytułowanego
„ Kryterium nieredukowalności Cohna ” ( patrz lista autorów ) .
-
Nie mylić z Paulem Cohnem .
-
(w) „ Arthur Cohn ” , na stronie internetowej Mathematics Genealogy Project .
-
(De) George Pólya i Gábor Szegő, Aufgaben und Lehrsätze aus der Analysis , vol. II, Springer ,1971, 4 th ed. ( 1 st ed. 1925) ( linia odczytu ) , s. 351- tłumaczenie: (en) George Pólya i Gábor Szegő, Problems and Theorems in Analysis , vol. II, Springer,1976( czytaj online ) , s. 330.
-
(w) John Brillhart, Michael i Andrew Odlyzko Filaseta, „ O nieredukowalności twierdzenia A. Cohna ” , CJM , tom. 33 N O 5,Dziewiętnaście osiemdziesiąt jeden, s. 1055-1059 ( czytaj online ).
-
(w) M. Ram Murty, " Liczby pierwsze i nieredukowalne wielomiany " , Amer. Matematyka. Miesiąc. , vol. 109 n O 5,2002, s. 452-458 ( czytaj online [dvi]).
Powiązane artykuły
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">