Number Fields Part II - Galois Theory

Choose a study mode

Play Quiz
Study Flashcards
Spaced Repetition
Chat to Lesson

Podcast

Play an AI-generated podcast conversation about this lesson

Questions and Answers

ข้อใดถูกต้องเกี่ยวกับค่าของ χD (p + Da) เมื่อ d ≡ 3 (mod 4)?

  • χD (p + Da) = (−1)2
  • χD (p + Da) = d
  • χD (p + Da) = 0
  • χD (p + Da) = χD (p) (correct)

ถ้าดูจากการพิสูจน์ที่ให้มา ค่าของ χD (2) เป็นอย่างไร?

  • χD (2) = 2
  • χD (2) = 0 (correct)
  • χD (2) = 1
  • χD (2) = -1

การวิเคราะห์ของ L(χ, s) สำหรับ Re(s) > 0 จะต้องแสดงว่าอะไร?

  • X χ(i) = ∞
  • X χ(i) เป็น unbounded
  • X χ(i) = O(1) (correct)
  • X χ(i) = 0

กฎการออร์โธกอนัลระหว่างตัวละครที่ไม่ซ้ำกันของกลุ่ม G ที่ถูกต้องคืออะไร?

<p>X g∈G χ1(g)χ2(g) = 0 (B)</p> Signup and view all the answers

เมื่อ d ≡ 1 หรือ 2 (mod 4) ค่า χD สำหรับจำนวนเฉพาะ p สามารถแสดงเป็นอะไร?

<p>χD (p) = (-1)2 (C)</p> Signup and view all the answers

อัตราสูงสุดของอันดับของแมทริซ A คืออะไร?

<p>r + s - 1 (A)</p> Signup and view all the answers

เมื่อ vi เป็นคอลัมน์ที่ i ของแมทริซ A, คอลัมน์ไหนไม่สามารถเป็นอิสระได้?

<p>v1 ถึง vm-1 (C)</p> Signup and view all the answers

ข้อใดที่กล่าวถึงการเลือกค่า tk?

<p>tk ถูกเลือกเพื่อให้ |tk| ใหญ่ที่สุด (D)</p> Signup and view all the answers

นิยามของ Regulator คืออะไร?

<p>RL = covol(OL ⊆ Rr+s-1) (B)</p> Signup and view all the answers

การใดต่อไปนี้เป็นคุณสมบัติของการนำเสนอที่ไม่ใช่ศูนย์ของโอเวอร์เฟล?

<p>aij &lt; 0 สำหรับทุก i 6= j (B), aij &gt; 0 สำหรับทุก i (C)</p> Signup and view all the answers

อิสระเชิงเส้นของ vi จะถูกปฏิเสธเมื่อไหร่?

<p>เมื่อมี ti เท่ากับ 0 แต่มากกว่านั้น (D)</p> Signup and view all the answers

หาก d < 0 ในกรณี L = Q(d), ค่า r และ s เป็นอย่างไร?

<p>r = 0, s = 1 (D)</p> Signup and view all the answers

การคำนวณที่ระบุคืออะไรเมื่อใช้การคูณ?

<p>| det(subminor)| = RL (B)</p> Signup and view all the answers

แสดงให้เห็นว่า $ ext{im } ackslash$ ของ $ackslash$ คืออะไรเมื่อ $ ext{ker } ackslash$ เป็นฟินิต?

<p>เป็นกลุ่มแบบมีกำลัง จำกัด (D)</p> Signup and view all the answers

เงื่อนไขใดที่ทำให้ $ ext{im } ackslash$ เป็นแยกดิสครีตก?

<p>เมื่อ $ ext{ker } ackslash$ เป็นฟินิต (C)</p> Signup and view all the answers

การนำ log ของค่าใช้จ่ายใดสามารถนำไปสู่การพิสูจน์ถึงธรรมชาติของการตระหนัก?

<p>log |σi(α)| (D)</p> Signup and view all the answers

สิ่งใดคือวิธีการที่ใช้เพื่อพิสูจน์ว่า $ ext{ker } ackslash$ เป็นฟินิต?

<p>อธิบายว่ามันเกี่ยวข้องกับเซตมีขนาดจำกัด (D)</p> Signup and view all the answers

ผลลัพธ์ใดที่ลงนามว่า $ ext{L}$ เป็นการปลูกฝังใน $ ext{C}$?

<p>มันแสดงว่ามันสามารถสร้างจากรากเอกลักษณ์ (A)</p> Signup and view all the answers

แสดงให้เห็นว่าการสร้าง $ ext{µL}$ จากรากของเอกลักษณ์นั้นมีที่มาอย่างไร?

<p>จากรากที่มีการบันทึกค่าต่ำที่สุด (D)</p> Signup and view all the answers

ข้อใดที่ทำให้ $ ext{im } ackslash$ กลายเป็น lattice?

<p>การมีศูนย์เกรดที่ชัดเจน (A)</p> Signup and view all the answers

การแสดงออกใดคือการแสดงให้เห็นว่า $ ext{N(α)} = ±1$?

<p>$N(α) = rac{σi(α)}{σr+`(α)}$ (B)</p> Signup and view all the answers

ถ้าฟิลด์ S เป็นฟิลด์ที่สร้างจากกลุ่มเชิงเส้นแบบใด การพิสูจน์ของ Cayley-Hamilton จะใช้ได้?

<p>ฟิลด์ที่มีมิติจำกัด (D)</p> Signup and view all the answers

ในการพิสูจน์นี้ ฟังก์ชัน ms หมายถึงอะไร?

<p>ฟังก์ชันที่สร้างมาจากการคูณด้วย s (D)</p> Signup and view all the answers

ในเวลาที่เรามีกำหนดให้เลขฐานสอง $ ext{det}(sI - B) = 0$ เหตุผลอะไรที่เราสามารถสรุปได้?

<p>s เป็นค่าที่จะทำให้ฟังก์ชัน f เป็น 0 (D)</p> Signup and view all the answers

คำจำกัดความของ OL คืออะไร?

<p>วงแหวนที่สร้างจากค่าสู่สูงใน L (D)</p> Signup and view all the answers

ในการพิสูจน์การมีอยู่ของฟังก์ชันฟิลด์ α ± β อยู่ใน Z[α, β] เราต้องทำอย่างไร?

<p>แสดงให้เห็นว่า α, β มีการผสมผสานกันได้ (B)</p> Signup and view all the answers

การสร้าง Z[α, β] ต้องการเงื่อนไขอะไรในการใส่ α, β?

<p>ต้องมีการผลิตจำกัด (A)</p> Signup and view all the answers

ถ้าฟิลด์ S เป็นการขยายเลขจำนวนเหลือง (Z) แล้ว S จะต้องเป็นอย่างไร?

<p>ต้องมีการจำกัดเหนือ Z (A)</p> Signup and view all the answers

ในการพิสูจน์นี้ S ไม่สามารถสร้างเป็นวงแหวนได้เมื่อใด?

<p>เมื่อ S ไม่สามารถพันธ์ต่อ Z ได้ (A)</p> Signup and view all the answers

ในวิชาคณิตศาสตร์, อะไรคือคำจำกัดความของ S ที่เป็น finitely-generated over R?

<p>S มีเจเนอเรเตอร์จำนวนจำกัดที่สามารถเขียนทุกองค์ประกอบเป็นการรวม R-linear (B)</p> Signup and view all the answers

ใน Galois theory, การบอกว่าความเป็น finiteness กับความเป็น algebraicity คือสิ่งเดียวกันเกี่ยวข้องกับอะไร?

<p>การใช้ rings และจำกัดที่ polynomials monic (A)</p> Signup and view all the answers

ถ้า $S = R[s]$ และ $s$ เป็น integral over $R$, อะไรที่เกิดขึ้น?

<p>S จะเป็น finitely-generated over R (D)</p> Signup and view all the answers

ในกรณีที่ $S = R[s_1, s_2, ..., s_n]$, ถ้า $s_i$ เป็น integral over $R$, สัมพันธ์กับ S อย่างไร?

<p>S จะเป็น finitely-generated over R (A)</p> Signup and view all the answers

เมื่อใดที่ S ถูกเรียกว่า integral over R?

<p>เมื่อทุก $α ext{ ใน } S$ เป็น integral over R (C)</p> Signup and view all the answers

ในการพิสูจน์ความสัมพันธ์ระหว่าง finitely-generated และ integrality, อะไรสำคัญที่สุด?

<p>การเชื่อมโยงระหว่าง rings และ homomorphisms (B)</p> Signup and view all the answers

ในกรณีที่ $C$ เป็น finitely generated over $B$ และ $B$ เป็น finitely generated over $A$, อย่างไรที่ $C$ จะมีความสัมพันธ์กับ $A$?

<p>C จะถูกพิสูจน์ว่าเป็น finitely generated over A (B)</p> Signup and view all the answers

ทำไมถึงกล่าวได้ว่า S เป็น finitely-generated หาก S ย่อยกรอบเชิงเส้นใน R?

<p>เพราะการดำเนินการนี้จะทำให้ S คงอยู่ (C)</p> Signup and view all the answers

เงื่อนไขใดบ่งบอกว่า C เป็น integral over A?

<p>B เหนือ A และ C เหนือ B ต้องเป็นการขยายแบบ integral (C)</p> Signup and view all the answers

ในการพิสูจน์ว่าเลขจำนวน c เป็น algebraic integer ต้องทำอย่างไร?

<p>เพียงต้องแสดง monic polynomial ที่มี c เป็นศูนย์ (B)</p> Signup and view all the answers

ในกรณีที่ f ∈ K[x] และ f(α) = 0 เลข polynomial ใดที่ pα ต้องหาร f?

<p>pα ต้องมีอำนาจน้อยที่สุดในจำนวน (B)</p> Signup and view all the answers

โปรพอซิชันใดที่มีความหมายเกี่ยวกับ algebraic integers?

<p>α เป็นจำนวนเชิงขยายจาก Q ถ้าหาก polynomial ขั้นต่ำ pα ∈ Z[x] (A)</p> Signup and view all the answers

เมื่อใดที่ C0 จะเป็น finitely-generated over A?

<p>เมื่อ c เป็น integral over B0 (B)</p> Signup and view all the answers

คำจำกัดความของ minimal polynomial คืออะไร?

<p>เป็น monic polynomial ที่มี degree ต่ำสุดที่ทำให้ α เป็นศูนย์ (B)</p> Signup and view all the answers

ข้อกำหนดใดเป็นการพิสูจน์ว่า c ไม่ใช่ algebraic integer?

<p>ไม่มี monic polynomial ที่ c เป็นศูนย์ (D)</p> Signup and view all the answers

การขยายแบบ integral ของ C ใน A ขึ้นอยู่กับข้อใด?

<p>ความเป็น integral ของ B เหนือ A (A)</p> Signup and view all the answers

Flashcards

ทฤษฎีบทหน่วยของ Dirichlet

ทฤษฎีบทนี้กล่าวถึงกลุ่มของหน่วยในจำนวนเต็มริงของสนามจำนวน

กลุ่มหน่วยในจำนวนเต็มริง

กลุ่มขององค์ประกอบที่กลับได้ในจำนวนเต็มริงของสนามจำนวน

รูปร่างของภาพ

กลุ่มที่เกิดจากการแปลงจำนวนเชิงซ้อนโดยการนำข้อมูลเข้ามา

คอร์คเนล

เซตขององค์ประกอบที่ถูกส่งไปยังเอกลักษณ์

Signup and view all the flashcards

กลุ่มไซคลิก

กลุ่มที่มีองค์ประกอบสามารถเขียนเป็นกำลังขององค์ประกอบตัวเดียว

Signup and view all the flashcards

จำนวนเต็มริง

เซตของจำนวนเชิงซ้อนทั้งหมดที่เป็นจำนวนเต็ม

Signup and view all the flashcards

รูปร่างกระจาย

กลุ่มที่สร้างขึ้นจากการนำจำนวนเชิงซ้อนเข้ามา

Signup and view all the flashcards

จำนวนเชิงซ้อน

จำนวนที่มีส่วนจินตภาพ

Signup and view all the flashcards

อันดับของเมทริกซ์ (OL)

แสดงถึงจำนวนมิติอิสระของพื้นที่เวกเตอร์ของลำดับ OL

Signup and view all the flashcards

ทฤษฎีบทของ Dirichlet

ทฤษฎีที่แสดงถึงโครงสร้างของกลุ่มหน่วยในฟิลด์ตัวเลข

Signup and view all the flashcards

เมทริกซ์ A

เมทริกซ์ขนาด (r + s) × (r + s) โดยแถว j มีค่า (uj)

Signup and view all the flashcards

อันดับของเมทริกซ์ A

มากกว่าหรือเท่ากับ m-1 เมื่อทุก aii > 0 และ aij < 0 สำหรับ i ≠ j และ aij ≥ 0

Signup and view all the flashcards

ตัวแปรเชิงเส้น

คำอธิบายสำหรับการหาค่าต่าง ๆ ของตัวแปรที่ทำให้สมการเป็นศูนย์

Signup and view all the flashcards

ตัวกำหนดค่า

ค่าสัมบูรณ์ของผลกำหนดของ subminor ขนาด (r + s − 1)(r + s − 1)

Signup and view all the flashcards

ตัวควบคุม

ค่ากำหนดของช่องว่างของหน่วยยูนิต (OL)

Signup and view all the flashcards

ฟิลด์กำลังสอง

ฟิลด์ตัวเลขที่เกิดจากการเพิ่มรากที่สองของจำนวนเต็ม

Signup and view all the flashcards

วงแหวน S เป็นอินทิกรัลเหนือวงแหวน R

ถ้าทุกองค์ประกอบ α ใน S เป็นอินทิกรัลเหนือ R

Signup and view all the flashcards

วงแหวน S สร้างจาก R ได้จำกัด

มีองค์ประกอบ α1, ..., αn ใน S ที่สามารถเขียนองค์ประกอบทุกตัวใน S เป็นผลรวมเชิงเส้นของ α1, ..., αn ด้วยสัมประสิทธิ์จาก R

Signup and view all the flashcards

จำนวนเต็มพีชคณิตในจำนวนเชิงพีชคณิต

จำนวนเชิงพีชคณิต α ในจำนวนฟิลด์ L ที่เป็นอินทิกรัลเหนือ Z

Signup and view all the flashcards

R[α1, ..., αr]

วงแหวนย่อยของ S ที่สร้างจาก R, α1, ..., αr. เป็นผลจากการแมปจากวงแหวนพหุนาม R[x1, ..., xn] โดย xᵢ ถูกแมปเป็น αᵢ

Signup and view all the flashcards

S = R[s]

ถ้า s เป็นอินทิกรัลเหนือ R, แล้ว S สร้างจาก R ได้จำกัด

Signup and view all the flashcards

S = R[s1, ..., sn]

ถ้า sᵢ เป็นอินทิกรัลเหนือ R สำหรับทุก i, แล้ว S สร้างจาก R ได้จำกัด

Signup and view all the flashcards

สร้างได้จำกัด, ตรงกัน

ถ้า A ⊆ B ⊆ C เป็นวงแหวน, B สร้างได้จาก A และ C สร้างได้จาก B แล้ว C สร้างได้จาก A

Signup and view all the flashcards

ถ้าง สร้างได้จำกัดจาก R, แล้ว S จะเป็นอินทิกรัลเหนือ R

ทฤษฎีบทที่แสดงความสัมพันธ์ระหว่างการสร้างได้จำกัดกับการเป็นอินทิกรัลเหนือ

Signup and view all the flashcards

การพิสูจน์เซต S

ต้องการหาพหุนาม monic ที่สมาชิก s ในเซต S เป็นราก โดยพิจารณาความขึ้นลงของสมาชิก s

Signup and view all the flashcards

แผนที่การคูณด้วย s

แผนที่ ms ที่ส่ง γ ไปยัง sγ ในเซต S

Signup and view all the flashcards

ทฤษฎีบท Cayley-Hamilton

ทฤษฎีบทนี้บอกว่าเมทริกซ์สี่เหลี่ยมจัตุรัสทุกเมทริกซ์เป็นรากของพหุนามลักษณะเฉพาะของมัน

Signup and view all the flashcards

เมทริกซ์การคูณด้วย s

เมทริกซ์ B ที่แสดงการคูณสมาชิก s ในเซต S โดย αi

Signup and view all the flashcards

adj(X)

เมทริกซ์ adjoint ของเมทริกซ์ X

Signup and view all the flashcards

det(sI − B)

ดีเทอร์มิแนนต์ของเมทริกซ์ (sI − B)

Signup and view all the flashcards

วงแหวน OL

วงแหวนของจำนวนเต็มในสนามจำนวน L

Signup and view all the flashcards

ผลลัพธ์ของทฤษฎีบท

ถ้า S ⊇ R เป็นการขยายแบบอินทิเกรต S อาจไม่จำเป็นต้องสร้างแบบจำกัดเหนือ R

Signup and view all the flashcards

χD(p + Da) = χD(p)

เมื่อ p เป็นจำนวนเฉพาะและ d เป็นจำนวนเต็ม เป็นการแสดงออกของความสัมพันธ์ระหว่างตัวละคร Dirichlet χD ที่เกี่ยวข้องกับ discriminator D และ p

Signup and view all the flashcards

χD(2) = 0

เมื่อ D = 4d และ d ≡ 3 (mod 4)

Signup and view all the flashcards

χD(even) = 0

เมื่อ D = 4d และ d ≡ 3 (mod 4)

Signup and view all the flashcards

χD(p) = (−1)^(p−1)/2

เมื่อ p > 2 และ d ≡ 3 (mod 4)

Signup and view all the flashcards

L(χ, s) เป็น holomorphic สำหรับ Re(s) > 0

เมื่อ χ เป็นตัวละคร Dirichlet ที่ไม่ใช่แบบ trivial

Signup and view all the flashcards

Study Notes

Part II - Number Fields

  • Based on lectures by I. Grojnowski, notes taken by Dexter Chua, Lent 2016.
  • These notes are not endorsed by the lecturers and have been modified.
  • Part IB Groups, Rings, and Modules is essential. Part II Galois Theory is desirable.
  • Includes definition of algebraic number fields, their integers, and units, as well as norms, bases, and discriminants.
  • Examines ideals (principal and prime), unique factorization, and norms of ideals.
  • Discusses Minkowski's theorem on convex bodies and Dirichlet's unit theorem.
  • Explores the determination of units in quadratic fields and ideal classes, along with finiteness of the class group.
  • Includes Dedekind's theorem on the factorization of primes applied to quadratic fields.
  • Covers cyclotomic fields and the Fermat equation.

Contents

  • Contains an introduction, number fields, norm, trace, discriminant, numbers, multiplicative structure of ideals, norms of ideals, structure of prime ideals, Minkowski bound, and finiteness of class group, Dirichlet's unit theorem, and L-functions, Dirichlet series.
  • Page numbers for each section are listed.

Studying That Suits You

Use AI to generate personalized quizzes and flashcards to suit your learning preferences.

Quiz Team

Related Documents

Number Fields Notes PDF

More Like This

Use Quizgecko on...
Browser
Browser