กรุปชั้นอุดมคติและหน่วย

กรุปชั้นอุดมคติใช้วัดว่าการแยกตัวประกอบเฉพาะในริงของจำนวนเต็มล้มเหลวมากน้อยเพียงใด ในขณะที่กรุปหน่วยอธิบายถึงสมาชิกที่สามารถผกผันได้ โดยทั้งสองสิ่งนี้ถูกควบคุมโดยเรขาคณิตของจำนวน

Definition

กรุปชั้นอุดมคติของฟิลด์จำนวนคือกรุปของอุดมคติเศษส่วนมอดุโลอุดมคติหลัก ลำดับของมันคือเลขชั้น หน่วยคือสมาชิกที่สามารถผกผันได้ของริงของจำนวนเต็ม ซึ่งก่อตัวเป็นกรุปอาเบลีนที่สร้างขึ้นอย่างจำกัด

Scope

หัวข้อนี้ครอบคลุมถึงอุดมคติเศษส่วนและกรุปชั้นอุดมคติ ความจำกัดของเลขชั้น ทฤษฎีบทวัตถุรูปนูนของมิงคอฟสกีและขอบเขตมิงคอฟสกีที่ใช้ในการคำนวณกรุปชั้น โครงสร้างของกรุปหน่วย ทฤษฎีบทหน่วยของดิริชเลต์ที่ให้แรงก์ของมัน หน่วยมูลฐานและตัวควบคุม และสูตรเลขชั้นเชิงวิเคราะห์ที่เชื่อมโยงค่าคงที่เหล่านี้กับฟังก์ชันซีตาของเดเดคินด์

Core questions

• กรุปชั้นอุดมคติถูกนิยามอย่างไร และเหตุใดจึงเป็นกรุปสามัญเมื่อการแยกตัวประกอบเป็นเอกลักษณ์?
• เรขาคณิตของจำนวนของมิงคอฟสกีพิสูจน์ได้อย่างไรว่าเลขชั้นมีจำกัดและจำกัดตัวแทน?
• แรงก์ของกรุปหน่วยคืออะไร และการฝังตัวจริงและการฝังตัวเชิงซ้อนกำหนดได้อย่างไร?
• สูตรเลขชั้นเชิงวิเคราะห์เชื่อมโยงเลขชั้น ตัวควบคุม และหน่วยเข้ากับฟังก์ชันซีตาได้อย่างไร?

Key theories

ความจำกัดของเลขชั้น

ทุกชั้นอุดมคติมีอุดมคติที่มีนอร์มจำกัด (ขอบเขตมิงคอฟสกี) และมีอุดมคติดังกล่าวจำนวนจำกัด ดังนั้นกรุปชั้นจึงมีจำกัด ซึ่งเป็นผลลัพธ์พื้นฐานสำหรับการคำนวณและทฤษฎี

ทฤษฎีบทหน่วยของดิริชเลต์

กรุปหน่วยคือผลคูณของกรุปจำกัดของรากของเอกภาพและกรุปอาเบลีนอิสระที่มีแรงก์เท่ากับจำนวนการฝังตัวจริงบวกกับคู่การฝังตัวเชิงซ้อนลบหนึ่ง ซึ่งรับรู้ได้โดยหน่วยมูลฐาน

สูตรเลขชั้นเชิงวิเคราะห์

ส่วนเหลือของฟังก์ชันซีตาของเดเดคินด์ที่จุดหนึ่งถูกแสดงในรูปของเลขชั้น ตัวควบคุม จำนวนรากของเอกภาพ และดิสคริมิแนนต์ ซึ่งเชื่อมโยงพีชคณิตเข้ากับการวิเคราะห์

Clinical relevance

การคำนวณกรุปชั้นและหน่วยเป็นหัวใจสำคัญของทฤษฎีจำนวนเชิงขั้นตอนวิธีและการวิเคราะห์ความปลอดภัยของระบบเข้ารหัสที่อิงตามแลตทิซอุดมคติและกรุปชั้น ซึ่งความยากในการคำนวณกรุปชั้นเป็นพื้นฐานของแผนการที่เสนอ

History

เกาส์ได้ศึกษาทฤษฎีที่เทียบเท่ากันของรูปแบบกำลังสองฐานสองและการประกอบกันของมัน ซึ่งก็คือกรุปชั้นของฟิลด์กำลังสอง ดิริชเลต์ได้พิสูจน์ทฤษฎีบทหน่วยของเขาในปี 1846 และเรขาคณิตของจำนวนของมิงคอฟสกีประมาณปี 1896 ได้ให้การพิสูจน์ความจำกัดและแรงก์หน่วยของวัตถุรูปนูนที่ชัดเจน

Key figures

• Peter Gustav Lejeune Dirichlet
• Hermann Minkowski
• Carl Friedrich Gauss

Seminal works

• neukirch1999

Frequently asked questions

เลขชั้นเท่ากับหนึ่งหมายความว่าอย่างไร?

หมายความว่ากรุปชั้นอุดมคติเป็นกรุปสามัญ ดังนั้นทุกอุดมคติเป็นอุดมคติหลัก และริงของจำนวนเต็มมีการแยกตัวประกอบเฉพาะของสมาชิก เช่นเดียวกับจำนวนเต็มทั่วไป

หน่วยมูลฐานคืออะไร?

เป็นตัวก่อกำเนิดของส่วนอนันต์ของกรุปหน่วย สำหรับฟิลด์กำลังสองจริง มันคือหน่วยที่เล็กที่สุดที่มากกว่าหนึ่ง และกำลังของมัน (พร้อมเครื่องหมาย) ให้หน่วยทั้งหมดจนถึงรากของเอกภาพ