Các số học trên vành các số nguyên gauss

38 460 3
Các số học trên vành các số nguyên gauss

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

  ! "#$%&'()* +,-./"0 12345+627/89: ;<=2#!>9009?!@= 8"''=52?/"A450<<+ 'B?2,-./C!@'<D/ E8:E4+,-./ ++62"094%F%"+4E?2 2 G+GHGG+EIJ++K"LMN"MOPQ"PRMS 2?;ELT;U#$VU' /W@+ 9 /EX /U'L" !MQ".M.N"@NYMM L8E!@F#Z[  +62%'%?BZ\E ()*L8<E#Z'<D/E ()*"+44,]&Z2E./"! ^8"29_2D%B+()* '8:E+' 6A+E,]&`G+aE<#Zb 62c+Gb2!/ I2G+++8#3#+!de+fghi2D%6F8# MG9j"258T#$8#8-aE<#Zk@MlSN VdG)O*W`G+#3#+`G+>92+ #_+G+GGNQMN@MljY"b6?]& 9%A#$/g,]&kE`G+ L39:",]&`G+a<#Z4 5#$\+,]&NNN#$8T-#[ g  !"#$%& '%()!*$%&'%+)!, d+m+/Z#8n%/Rc. .LT oR>!6#8np2"0q5! @ dZ9+,-C&? "K /"K,-.-/r +#3,-/Ur>8- #8n09+/! dZ +#3,-/.A>0q"-%'! $h/09+/!E#Z+6- -/ sZZB9E9"6"2-=>Bm0q +3/!tB N N -  + = >7+B+6/!"?!@"7 7nA4?4"+D#$4&"p2E9 2-F' ./$0(120(2    !"#$%!& '()*+, '''"-+./012/++' 7-]u!$ [ " +4+#3" ;0  & +f"45E,4u"e mBG+"/4 •  • ' '''/342*56+.78' U 16/"?258T2f5+1v/"h ) * w b " x    = + ∈ ⊂¢ ¢ £ £ N M = − ) *¢ £ " ) *" α β ∈¢ " b α β α β + − ∈¢ [ ]  αβ ∈¢ -3 += W"V - 54/69Ey%ửứ ủieồm M 258T4aù ủoọ. z{+"! a]8#eD$[?6L+"?#9E 9#3<+]'E4":5 %9m"69E4%9A ="v-;<6!"#%ieọm|? %'9"5!'Z%'/E G]u"|E26#ZE9 E4L4%"?6 4 8 e D$em"|}!U6!"4+f |4<Dm[ ''9':;<64%$5 6'78'9"#":$56;) <(= <2= [ ] Â [ ] Â NM =+ [ ] = + Â WV NN . +== [ ] [ " V W Y Y. . = =Â Ơ V W V W V W. . . = +=+= " V W V W V W. . . = V W V W V W. . . = WbWVVWVWV NNNNNN ++=++ N N N N N N V W V W V WV W + + = + + ''=/2)2>6?7@6A(BC- 7@6ADE6(F/06G1C-+./012/++ '''=/2)2>66G1C- +./012/++'U"4+f#E 2E"%<'"?F-K'\+E%' ?BG+ #$/ %]?#EM"4 %"?Y]E+};0 &+f"8M#E/"_%]? p?4#E/ !_%]E#$ # ''')HI'>?:$#@ ABC'9  6 !!"_ %]]E4 4~8#Z 4L#$-"?6]E;•!de+ft%eG 1"4%1 α β α β β α α β ) * γ ∈¢ βαγ = ¢ ≠ £ [ ]  ∗ ¢ [ ] ¢ [ ] ¢ [ ]  ∗ ¢ { } { } M" ) *b V W M  . α α = ± ± = ∈ =¢ α M ) * α − ∈¢ MWMVWVWV M == − αα M V W" V W. . α α − MWVWV M == − αα V W M. α = V W M. α αα = = α α MWV NN =+=+ . WY"MVW"V ±= WM"YVW"V ±= M±=+  ± ;0&+f"t] u}6-#$%?B+"%98•9:|  4" AD "%<'"?   L!de+f"%?%p%0% Bem_%] ''9'J@6ADE6(F/042C-+./012/++ K'B+/D+B'?_2D%B"% '4+A#Z#+ 4  #@EAB; +?%9%]?61%]V%4W1% V%4WL4%"2D%B?4%Y %94#C#&+f"?2D%B+6 9#3 "#$-%90"v-N%9 _2D%BE2\6 €_2D%B ?Z '9'KL/MNC-BMOD42.P 42C-+./012/++ <DE|ed]e^8# M ) * w ) *b ) *x   α α ∗ − = ∈ ∈¢ ¢ ¢ α β : βα αβ ) * α ∈¢ ) *¢ αα "Y≠ βγα = β γ α : γ β α : ∈¢ ) *¢  ) *¢ N WMVN  += '9'')HI'<FGH" '9$I="9$I'%&J E$I'9 6,1     +1 v +:  +: "!<!54/ / 5/DK4"%=%9#$B _8#3e69Z]"u"4+9•Z M,4u‚M~4 Lmde+f"1#+' 4+8Dƒ "KNQ'  /' + 4  . D 45D#ZEe^8"% 4!#$8#,ve^8 "KNQ';[„…Sl†NjN"„QY†QY 4[ α β Y≠ β ρµ " ρβµα += WVWV βρ < - += β α "-  ∈¡ £ ¡ ¡ ) * µ ∈¢ - + µ - + N N ≤ WV µ β α −. WVWVWVWWVVWV µµ β α βµ β α ββµα 〈−=−=− γβ " S‡"PQ  +=−= βα      QP ‡M QP MM WS‡WVS‡V WS‡WVPQV S‡ PQ −= −+ −− = + −  QP ‡M QP MM − −  +=+= βα " −=−= N βµαρ P Q V‡ S WV W VN W"   − = + − + − QP − S‡ + MYS MSO  QY QY    = + d]; #ZD +6€8#m"+1 v"#Z #$25] 2fDG"f+99 8Z]jpj "99#$9•m-~%=5;%9 BM"+]E;p4525]2\jp €j #3+A2%<Z]!jp+mV#3+A9 d-WL?5f+#3+A6;45!+]-m #3+A4L66€D;pf+S#3+A4m5 9•"8445!++]2f[N†NbN†SbS†S K?BD F  -  E  !   ^8  +        !    8:    1   e6#$#DEGu[ VMWb  VNWU/6 1%?1  ˆDE VF-#$+\+W%98DL? #         " ) *" Y α β β ∈ ≠¢ δ " α β βδαδ " δ ′ βδαδ ′′ " δ ′ δ WVWV δδ < ′ δ βα " δ δ ′ : w b x δ δ δ ′ ′ : " α β " ) * µ γ ∈¢ ' µα β δ + = DE6/}#D!!# DEXZ?="!^8}_ ,v#$2??8#/vJGy  4+f%Y•?M# DE0 :  ;<6         K  L '9M'9A'9LA NM'9$I <^8E +#3$12'EJa '9''RSHI'"9$ I'%EAB;.DO  6     _  +f %9#EK4"_8:!^82V%'2D%B 2=F-#DE• U62D%BG?1_%]1 _%?L#%95%?E6%44 "8nL#!_%] +4tv %eG 4ƒ L#'B"F-e ^8+" 4,]&Z2E./#[ Y"Y ≠≠  ) *¢ γβα "" α βγα βα γα α β αβ " α Y≠ α δ αβ " '" µ ' αβµδ += αδ α δ α δ α α δδ β α β δ ' γαδγβµδγ MM −− += βγα  γα ) *¢ '9'9'BMO V,]&Z2E./WPQ IA$07R:'D%J "     "9    #  @  AB C"9$#@EAB;<ASEDT?UASE DSAS"AD=$TU9"9E)VW.D"9 TUXY'9&J$'C?Z(2[\ '%Q 6.F-[ ? B-G +#3$#36%4_%] _m<#!F-/8#Z 4 L? _2D%B6]& #$_%B"?_%9%]~ I8:?B-!#$m<•> E]& <8D[L?_ %]6,]&5_%9%]K9D<a B"45m<<_2D%B8#8- _2D%B"%9D?9%9%?;0&+f"_ %]Em<#$!+_2D%B M   α εγ γ = ε  γγ "" M  δδα  M ∈ ′ = α δ  V W  δ δ γ : WV α . MWV = α . α [ ]  β ∈¢ A. <WV β M>A α A. =WV α αα ' µα = '" µ WVWVWV ' µα = WVW"VM A' << µ µ ' αα  γγγα  NM =  γ [...]... khả quy của một số nguyên tốvà các phần tử liên kết của nó Các số (a,b) có thể được đặc trưng như là bộ số nguyên duy nhất, chính xác tới dấu và tới thứ tự thỏa mãn CHƯƠNG 2 MỘT SỐ ỨNG DỤNG CỦA VÀNH CÁC SỐ NGUYÊN GAUSS 2.1 Định lý Fermat về tổng hai số chính phương 2.1.1 Định lý Fermat về tổng của hai số chính phương Số nguyên tố lẻ p biểu diễn được dưới dạng tổng của hai số chính phương: p... bộ số Pythagore thì cũng là một bộ số Pythagore với mọi số nguyên dương Do đó ta chỉ cần xét các bộ ba số nguyên tố cùng nhau { x,xy,,yz,}z}= 1 { Bộ ba số Pythagore được gọi là nguyên thuỷ nếu { 3, 4,5} , { 5,12,13} Ví dụ: Các bộ số là nguyên thuỷ, { 6,8,10} bộ số không nguyên thuỷ x y z, z d Nếu bộ số Pythagore là không { {,xx,, y},z=  }   d d d  nguyên thuỷ, chẳng hạn , thì là một bộ số. .. Bài toán số học trong kì thi Học sinh giỏi Quốc gia 2010 có thể được phát biểu cách khác Cho dù không phải là ứng dụng trực tiếp của vành các số nguyên Gauss, sự hiểu biết về vành Gauss, mà cụ thể ở đây là các đẳng thức do tính nhân của hàm chuẩn, có thể làm sáng tỏ hơn chứng minh trình bày sau đây 2.3.3 Mệnh đề Với mọi số nguyên dương, phương trình x 2 + 15 y 2 = 4n , có đúng n nghiêm nguyên không... của n Chứng minh Theo Định lý cơ bản của Số học trên vành các số nguyên Gauss ta có thể viết s1 sh s1 sh n = 2m p1r pkr γ 1s γ 1 γ hs γ h = ( −i ) m (1 + i ) 2 m p1r pkr γ 1s γ γ hs γ h 1 k 1 h 1 k 1 h , a2 i+ b ,[ p trong đó là các phần tử bất khả quy apγ=iγ] j i2 của với , là các số nguyên tố đồng dư + p¢pijbi i với 3 theo mod 4 và có dạng với là một số nguyên tố đồng dư với 1 theo mod 4 n = x... là ước của một ước số nguyên tố nào đó của Số nguyen tố như vậy là duy nhất Thật vậy, nếu tồn tại một số nguyên tố sao cho Theo Định lý Bezout cho các số nguyên, tồn tại các số nguyên a,b sao cho ap+ bq = 1 , do đó , mâu thuẫn với giả thiết bất khả quy ■ Nhận xét Mệnh đề trên, đơn giản ¢ [ i ] nhưng rất sâu sắc, nói rằng mọi phần tử bất khả quy của vành đều nằm trong một số nguyên tố nào đó Đây... của Số học ¢[i ] trên vành cho ta một công thức để tính ước chung lớn nhất và bội chung nhỏ nhất (mà định nghĩa hoàn toàn giống như các số nguyên thông thường) Tuy nhiên, trong thực tế, đây thường không phải là cách tốt nhất để tìm đại lượng này Ta mở rộng được Bổ đề 1.3.3 tới 1.3.4 Mệnh đề Cho số là các số αα βγ,.γ nguyên Gauss sao cho Nếu nguyên β α, ,βγ tố cùng nhau thì 1.4 Mô tả các. .. phương trình đã cho chỉ có các nghiệm nguyên dương là Giả sử là một nghiệm Dễ thấy (mod 2) Ta phân ra hai trường hợp để suy luận (a, b)+ −i±b,∈ ¢ −i )±2) 1) Giả sử là các số nguyên lẻ ( y=y ,= (5 ± 11) a x y + bi 1,1),( y x, 2()2i,(y + 22, 3 a Thế thì là các số nguyên Gauss nguyên tố cùng nhau Ta suy ra với nào đó Từ đây ta suy ra và ; y x ( xy′ +xi+yi′ + iy 2) Giả sử là các số nguyên chẵn , y )y=+(2,... bất khả quy của vành Gauss Định lý cơ bản của Số học cho vành ¢ [ i ] mà ta đã thiết lập ở trên cho thấy sự cấn thiết của việc nghiên cứu các phần tử khả nghịch và các phần tử bất khả quy của vành này Đối với các phần tử bất khả quy, trước hết ta có kết quả sau 1.4.1 Mệnh đề Cho là một phần tử γ p ∈p][ i ] ∈ ¢¢ ¢[ i γ bất khả quy Khi đó, tồn tại duy nhất một số nguyên tố sao cho trong vành qγ=qp N... cùng tính chẵn lẻ 2.4.4 Bổ đề Giả sử là các số nguyên dương sao cho và Khi đó tồn tại các số nguyên và sao cho và s s>t Chứng minh Nếu hoặc thì Bổ đề là r , =,1 hiển nhiên Ta giả sử và Giả sử các phân tích ra thừa số nguyên tố có dạng sau: p1α1 p2α 2 pnα n s = pn+1α n +1 pn+ 2α n+ 2 pmα m Vì nên các số nguyên tố xuất t = q1β1 q2 β2 qk βk hiện trong các phân tích của và là khác nhau Do nên... i =i=2] } Số học còn đúng cho và tập các phần tử khả nghịch của là Mặt khác, theo bổ đề trên, là nguyên tố cùng nhau Như vậy là lập phương của các phần tử của (do mọi phần tử khả nghịch đều là lập phương của một phần tử khả nghịch nào đó) Do đó tồn tại các số nguyên a,b sao cho (bằng cách lấy liên hợp ta có ) So sánh các phân ảo của hai vế của đẳng thức ta được Giải phương trình nghiệm nguyên đơn

Ngày đăng: 03/09/2015, 10:46

Từ khóa liên quan

Mục lục

  • 2.1.2. Các bước chứng minh của Định lý về tổng của hai số chính phương

  • 2.2. Các kết quả khác xung quanh

  • Định lý Fermat về tổng của hai số chính phương

  • 2.3. Ứng dụng số học của vành các số nguyên Gauss

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan