2 . แฟร์มาต์ทฤษฎีบท
) ที่ให้เราเริ่มต้นด้วยของแฟร์มาต์ทฤษฎีบทเล็ก ' ' ซึ่งถูกระบุในจดหมายลงวันที่ 18 ตุลาคม
2183 และระบุว่า เป็นนายกรัฐมนตรี / ? ความสอดคล้อง , AF =
( mod / ? ) พอ โดยทุก . นี้เป็นสรุปโดยออยเลอร์ใน 1760 ต่อ
) ที่มีชื่อเสียงของแฟร์มาต์ทฤษฎีบท * m ) = 1 ( modm )
ที่ไหน ( P ( M ) นับเลขถึง M ซึ่งเป็นจำนวนเฉพาะสัมพัทธ์กับ M ,
ความสอดคล้องกันเป็นพอ โดยทุก ๆเช่นหมายเลขนี้สำคัญผลบังคับ
เราพิจารณากลุ่มการคูณจำนวนเต็มมอดุโล m , และแน่นอน
จุดเริ่มต้นของทฤษฎีกลุ่ม เฟิร์มâ T ค้นพบทฤษฎีบทของเขาจาก
'additive ' พิจารณาที่เกี่ยวข้องกับการขยายตัวแบบ . เพิ่มเติม
โดยเฉพาะ ทั้งแบบ coeffcients ในการขยายตัว
( ถ้า = 1 X ( D í v ~ * < * < P W
1มีหลาย ๆ / ? และต้องนำผลที่ได้ ตามด้วยอาร์กิวเมนต์นี้
ถูกเสนอโดยออยเลอร์ใน 1075 ; มันยังสามารถสร้างโดยใช้
' สูตร ' โดยตามที่ไลบ์นิซ ( 1646-1716 ) ทำ แม้มีâ T
จะทราบว่าผลที่ได้คือที่เกี่ยวข้องกับสิ่งที่เป็น ตอนนี้ เรียกว่าทฤษฎีบทของลากรองจ์
คือว่า คำสั่งของกลุ่มเป็นหลาย ๆคำสั่งของ
กลุ่มย่อยการจะเป็นนายกต่อ ถ้าเราแบ่งตัวเลข , A2 , . . . . . . .
p เหลือต้องย้ำตัวเอง นำไปสู่
บวกเล็กๆ เช่นว่า n = 1 ( mod / ? ) จากนั้น P - 1 ความสอดคล้องเรียน
มอดุโล p ตกอยู่ในการดื่มเหล้ามากเกินไปละธาตุ n แล้วว่าต้องแบ่ง
/ 7-1 . นี่คือวิธีพิสูจน์ได้โดยออยเลอร์รอบ 1750 และ
เขากล่าวว่ามันเป็นดีกว่าหนึ่งเนื่องจากข้อโต้แย้งได้อย่างง่ายดาย generalises กับ
ทฤษฎีบทแฟร์มาต์ออยเลอร์ . ระดับประถมศึกษา จำนวนข้อความทฤษฎีให้หลักฐานที่เรียบง่ายดังต่อไปนี้
: ให้ h = 0 ( M ) และใช้ระบบลดสารตกค้าง B , B2 , - -
•» BH มอดุโล m ที่เป็นคอลเลกชันของตัวเลขจำนวนเฉพาะสัมพัทธ์กับ H ซึ่งไม่ลงรอยกัน M .
ถ้าเป็นจำนวนเฉพาะสัมพัทธ์กับ M แล้ว อาบู ab2 , . . . abh , ยังฟอร์มระบบดังกล่าวและ
ดังนั้น N ab2 AB . . . . . . . abh = b / B2 . . . . . . . BH ( modm ) การยกเลิกของทั่วไป
ปัจจัย B B2 . . . . . . . BH แล้ว ให้ใช้ผลอ่า = 1 ( modm ) นี้
การแปล กรุณารอสักครู่..
