กลับไปหน้าบทความ

อ่าน 6 นาที

ไม่มีชื่อบทความ

ใน พีชคณิตนามธรรม วงแหวน การประเมินค่าแบบไม่ต่อเนื่อง ( DVR ) คือ โดเมนอุดมคติหลัก (PID) ที่มี อุดมคติสูงสุด ที่ไม่เป็นศูนย์เพียงหนึ่งเดียวเท่านั้น

วงแหวนการประเมินค่าแบบไม่ต่อเนื่อง

ในพีชคณิตนามธรรมวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง ( DVR ) คือโดเมนอุดมคติหลัก (PID) ที่มี อุดมคติสูงสุดที่ไม่เป็นศูนย์เพียงหนึ่งเดียวเท่านั้น

นั่นหมายความว่า DVR เป็นส่วนประกอบสำคัญอาร์{\displaystyle R}ที่ตรงตามเงื่อนไขเทียบเท่าต่อไปนี้ทั้งหมด:

  1. อาร์{\displaystyle R}เป็นวงแหวนท้องถิ่นโดเมนอุดมคติหลักและไม่ใช่ฟิลด์
  2. อาร์{\displaystyle R}เป็นวงแหวนการประเมินค่าที่มีกลุ่มค่าที่สมมาตรกับจำนวนเต็มภายใต้การบวก
  3. อาร์{\displaystyle R}เป็นวงแหวนท้องถิ่นโดเมนเดเดคินด์และไม่ใช่ฟิลด์
  4. อาร์{\displaystyle R}เป็นNoetherianและเป็นโดเมนท้องถิ่น ที่มี อุดมคติสูงสุดเฉพาะตัวเป็นหลัก ไม่ใช่ฟิลด์[ 1 ]
  5. อาร์{\displaystyle R}เป็น วงแหวน ปิดสนิท เป็นแบบโนเธอร์เรียน และเป็นวงแหวนเฉพาะที่ที่มีมิติครูลล์เท่ากับหนึ่ง
  6. อาร์{\displaystyle R}เป็นโดเมนอุดมคติหลักที่มีอุดมคติเฉพาะที่ไม่เป็นศูนย์เพียงหนึ่งเดียว
  7. อาร์{\displaystyle R}เป็นโดเมนอุดมคติหลักที่มีองค์ประกอบที่ไม่สามารถลดทอนได้ เพียงหนึ่งเดียว ( โดยไม่รวมการคูณด้วยหน่วย )
  8. อาร์{\displaystyle R}เป็นโดเมนการแยกตัวประกอบที่ไม่ซ้ำกันโดยมีองค์ประกอบที่ไม่สามารถแยกย่อยได้อีกเพียงหนึ่งเดียว (ยกเว้นการคูณด้วยหน่วย)
  9. อาร์{\displaystyle R}R เป็น Noetherian ไม่ใช่ฟิลด์และไอเดียลเศษส่วน ที่ไม่เป็นศูนย์ทุกตัว ของR นั้น ไม่สามารถลดทอนได้ในแง่ที่ว่ามันไม่สามารถเขียนออกมาเป็นการตัดกันแบบจำกัดของไอเดียลเศษส่วนที่บรรจุไอเดียลนั้นไว้ได้
  10. มีการประเมินมูลค่าแบบแยกส่วน อยู่บ้างν{\displaystyle \nu }ในสาขาเศษส่วนเค{\displaystyle K}ของอาร์{\displaystyle R}โดยที่อาร์={0}{xเค:ν(x)0}{\displaystyle R=\{0\}\cup \{x\in K:\nu (x)\geq 0\}}.

ตัวอย่าง

พีชคณิต

การระบุตำแหน่งของวงแหวนเดเดคินด์

อนุญาต(2){\displaystyle \mathbb {Z} _{(2)}}เป็นการกำหนดตำแหน่งของ{\displaystyle \mathbb {Z} }ที่อุดมคติที่สร้างขึ้นโดย 2. อย่างเป็นทางการ

(2)={z/n:z,n,n มันแปลก}.{\displaystyle \mathbb {Z} _{(2)}=\{z/n:z,n\in \mathbb {Z} ,\,\,n{\text{ เป็นจำนวนคี่}}\}.}

ขอบเขตของเศษส่วนของ(2){\displaystyle \mathbb {Z} _{(2)}}เป็นคิว{\displaystyle \mathbb {Q} }สำหรับองค์ประกอบใดๆ ที่ไม่ใช่ศูนย์{\displaystyle r}ของคิว{\displaystyle \mathbb {Q} }เราสามารถใช้การแยกตัวประกอบเฉพาะกับตัวเศษและตัวส่วนของ{\displaystyle r}เพื่อเขียน{\displaystyle r}เช่น2เคzn{\displaystyle {\tfrac {2^{k}z}{n}}}ที่ไหนz{\displaystyle z},n{\displaystyle n}, และเค{\displaystyle k}เป็นจำนวนเต็มที่มีz{\displaystyle z}และn{\displaystyle n}แปลก ในกรณีนี้ เรากำหนดν()=เค{\displaystyle \nu (r)=k}.

แล้ว(2){\displaystyle \mathbb {Z} _{(2)}}คือวงแหวนการประเมินค่าแบบไม่ต่อเนื่องที่สอดคล้องกับν{\displaystyle \nu }อุดมคติสูงสุดของ(2){\displaystyle \mathbb {Z} _{(2)}}คืออุดมคติหลักที่สร้างขึ้นโดย 2 กล่าวคือ2(2){\displaystyle 2\mathbb {Z} _{(2)}}และองค์ประกอบที่ไม่สามารถลดทอนได้ "เฉพาะ" (ไม่เกินหน่วย) คือ 2 (หรือที่เรียกว่าพารามิเตอร์การทำให้เป็นมาตรฐาน)

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

(พี):={z/n:z,n,พีn}{\displaystyle \mathbb {Z} _{(p)}:=\{z/n:z,n\in \mathbb {Z} ,\,p\nกลาง n\}}

สำหรับสินค้าหลัก ใดๆพี{\displaystyle p}โดยเปรียบเทียบอย่างสมบูรณ์แบบ

จำนวนเต็มp -adic

แหวนพี{\displaystyle \mathbb {Z} _{p}}ของจำนวนเต็มp -adic เป็น DVR สำหรับจำนวนเฉพาะ ใดๆพี{\displaystyle p}. ที่นี่พี{\displaystyle p}เป็นองค์ประกอบที่ไม่สามารถลดทอนได้การประเมินค่าจะกำหนดให้กับแต่ละองค์ประกอบพี{\displaystyle p}จำนวนเต็ม -adicx{\displaystyle x}จำนวนเต็มที่มากที่สุดเค{\displaystyle k}โดยที่พีเค{\displaystyle p^{k}}แบ่งแยกx{\displaystyle x}.

อนุกรมพลังงานอย่างเป็นทางการ

อีกตัวอย่างสำคัญของ DVR คือวงแหวนของอนุกรมกำลังอย่างเป็นทางการอาร์=เค[[ที]]{\displaystyle R=k[[T]]}ในตัวแปรหนึ่งตัวที{\displaystyle T}เหนือทุ่งนาบางแห่งเค{\displaystyle k}องค์ประกอบที่ไม่สามารถลดทอนได้ "เฉพาะตัว" คือที{\displaystyle T}อุดมคติสูงสุดของอาร์{\displaystyle R}เป็นอุดมคติหลักที่สร้างขึ้นโดยที{\displaystyle T}และการประเมินมูลค่าν{\displaystyle \nu }กำหนดดัชนี (เช่น ระดับ) ของสัมประสิทธิ์ที่ไม่เป็นศูนย์ตัวแรกให้กับอนุกรมกำลังแต่ละชุด

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

แหวนในช่องฟังก์ชัน

ตัวอย่างที่มีลักษณะทางเรขาคณิตมากขึ้นก็คือ แหวน

อาร์={เอฟ/จี:เอฟ,จีอาร์[x],จี(0)0},{\displaystyle R=\{f/g:f,g\in \mathbb {R} [x],\,g(0)\neq 0\},}

ถือเป็นวงย่อยของขอบเขตฟังก์ชันตรรกยะอาร์(x){\displaystyle \mathbb {R} (x)}.อาร์{\displaystyle R}สามารถระบุได้ว่าเป็นวงแหวนของฟังก์ชันตรรกยะค่าจริงทั้งหมดที่กำหนด (กล่าวคือ มีจำนวนจำกัด) บนบริเวณใกล้เคียงของ 0 บนแกนจริง (โดยบริเวณใกล้เคียงขึ้นอยู่กับฟังก์ชัน) มันเป็นวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง องค์ประกอบที่ไม่สามารถแยกย่อยได้ "เพียงหนึ่งเดียว" คือx{\displaystyle x}และการประเมินค่าที่กำหนดให้กับแต่ละฟังก์ชันเอฟ{\displaystyle f}ลำดับ (อาจเป็น 0) ของศูนย์ของเอฟ{\displaystyle f}ที่ 0 ตัวอย่างนี้เป็นแม่แบบสำหรับการศึกษาเส้นโค้งพีชคณิต ทั่วไป ใกล้จุดที่ไม่เอกฐานโดยเส้นโค้งพีชคณิตในกรณีนี้คือเส้นจำนวนจริง

ทฤษฎีโครงร่าง

ลักษณะเฉพาะของเฮนเซเลียน

สำหรับเครื่องบันทึกวิดีโอ (DVR)อาร์{\displaystyle R}โดยทั่วไปมักเขียนช่องเศษส่วนดังนี้เค=แฟรก(อาร์){\displaystyle K={\text{Frac}}(R)}และκ=อาร์/{\displaystyle \kappa =R/{\mathfrak {m}}}ฟิลด์ส่วนเหลือสิ่งเหล่านี้สอดคล้องกับ จุด ทั่วไปและ จุด ปิดของเอส=สเปค(อาร์).{\displaystyle S={\text{Spec}}(R).}ตัวอย่างเช่น จุดปิดของสเปค(พี){\displaystyle {\text{Spec}}(\mathbb {Z} _{p})}เป็นเอฟพี{\displaystyle \mathbb {F} _{p}}และประเด็นหลักก็คือคิวพี{\displaystyle \mathbb {Q} _{p}}บางครั้งสิ่งนี้จะถูกระบุว่าเป็น

ηเอส{\displaystyle \eta \to S\leftarrow s}

ที่ไหนη{\displaystyle \eta }เป็นประเด็นทั่วไปและ{\displaystyle s}เป็นจุดปิด

การระบุตำแหน่งของจุด

กำหนดให้เป็นเส้นโค้งพีชคณิต(X,โอX){\displaystyle (X,{\mathcal {O}}_{X})}วงแหวนท้องถิ่นโอX,พี{\displaystyle {\mathcal {O}}_{X,{\mathfrak {p}}}}ณ จุดเรียบ (ปิด)พี{\displaystyle {\mathfrak {p}}}เป็นวงแหวนการประเมินค่าแบบแยกส่วน เนื่องจากเป็นวงแหวนการประเมินค่าหลัก โปรดสังเกตว่าจุดนั้นสำคัญพี{\displaystyle {\mathfrak {p}}}มีความเรียบเนียนการเติมเต็มวงแหวนท้องถิ่นมีลักษณะสมมาตรกับการเติมเต็มการกำหนดตำแหน่งของเอ1{\displaystyle \mathbb {A} ^{1}}ณ จุดใดจุดหนึ่งq{\displaystyle {\mathfrak {q}}}.

สำหรับวาไรตี้ที่ไม่เอกฐานใดๆ เราสามารถพิจารณาวงแหวนท้องถิ่นที่จุดที่มีมิติร่วมหนึ่งได้เช่นกัน โดยทั่วไปแล้ว บนแผนผังปกติแบบโนเธอร์เรียน (เฉพาะที่) วงแหวนท้องถิ่นที่จุดทั่วไปของตัวหาร Weil ที่เป็นไพรม์คือวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง โดยการประเมินค่าแบบไม่ต่อเนื่องจะให้ลำดับของการหายไปของฟังก์ชันปกติไปตามตัวหาร[ 2 ]

พารามิเตอร์การทำให้สม่ำเสมอ

เมื่อมีเครื่องบันทึกวิดีโอ (DVR) แล้วอาร์{\displaystyle R}องค์ประกอบที่ไม่สามารถลดทอนได้ใดๆ ของอาร์{\displaystyle R}เป็นตัวสร้างสำหรับอุดมคติสูงสุดที่ไม่ซ้ำกันของอาร์{\displaystyle R}และในทางกลับกัน องค์ประกอบดังกล่าวเรียกอีกอย่างว่าพารามิเตอร์การทำให้เป็นมาตรฐานของอาร์{\displaystyle R}(หรือองค์ประกอบที่ทำให้เป็นเอกรูป , ตัวทำให้เป็นเอกรูปหรือองค์ประกอบหลัก )

ถ้าเรากำหนดค่าพารามิเตอร์การทำให้สม่ำเสมอที{\displaystyle t}, แล้ว=(ที){\displaystyle {\mathfrak {m}}=(t)}คืออุดมคติสูงสุดที่เป็นเอกลักษณ์ของอาร์{\displaystyle R}และอุดมคติที่ไม่เป็นศูนย์อื่นๆ ทั้งหมดเป็นกำลังของ{\displaystyle {\mathfrak {m}}}กล่าวคือ มีรูปแบบดังนี้(ทีเค){\displaystyle (t^{k})}สำหรับบางคนเค0{\displaystyle k\geq 0}พลังทั้งหมดของที{\displaystyle t}แตกต่างกัน และอำนาจของก็แตกต่างกันเช่นกัน{\displaystyle {\mathfrak {m}}}. ทุกองค์ประกอบที่ไม่เป็นศูนย์x{\displaystyle x}ของอาร์{\displaystyle R}สามารถเขียนได้ในรูปแบบαทีเค{\displaystyle \alpha t^{k}}กับα{\displaystyle \alpha }หน่วยหนึ่งในอาร์{\displaystyle R}และเค0{\displaystyle k\geq 0}โดยทั้งสองอย่างถูกกำหนดอย่างเฉพาะเจาะจงโดยx{\displaystyle x}การประเมินมูลค่ากำหนดโดยν(x)=เคν(ที){\displaystyle \nu (x)=k\nu (t)}ดังนั้น เพื่อให้เข้าใจวงแหวนได้อย่างสมบูรณ์ จำเป็นต้องรู้จักกลุ่มของหน่วยต่างๆอาร์{\displaystyle R}และหน่วยต่างๆ มีปฏิสัมพันธ์แบบบวกกับกำลังของอย่างไรที{\displaystyle t}.

ฟังก์ชันν{\displaystyle \nu }นอกจากนี้ยังเปลี่ยนวงแหวนการประเมินค่าแบบไม่ต่อเนื่องใดๆ ให้กลายเป็นโดเมนแบบยุคลิดได้ อีกด้วย

โทโพโลยี

วงแหวนการประเมินค่าแบบไม่ต่อเนื่องทุกวง ซึ่งเป็นวงแหวนเฉพาะที่ จะมีโทโพโลยีตามธรรมชาติ ( adic ) และเป็นวงแหวนเชิงโทโพโลยีนอกจากนี้ยังยอมรับ โครงสร้าง ปริภูมิเมตริกซึ่งระยะห่างระหว่างสององค์ประกอบx{\displaystyle x}และy{\displaystyle y}สามารถวัดได้ดังนี้:

|xy|=ν(xy),{\displaystyle |xy|=b^{-\nu (xy)},}

ที่ไหนอาร์>1{\displaystyle b\in \mathbb {R} _{>1}}โดยสัญชาตญาณแล้ว องค์ประกอบหนึ่งz{\displaystyle z}มีค่า "น้อย" และ "ใกล้เคียง 0" ก็ต่อเมื่อการประเมินค่าของมันν(z){\displaystyle \nu (z)}มีขนาดใหญ่ ตัวชี้วัดข้างต้น พร้อมกับเงื่อนไข|0|=0{\displaystyle |0|=0}คือการจำกัดค่าสัมบูรณ์ที่กำหนดไว้บนฟิลด์เศษส่วนของวงแหวนการประเมินค่าแบบไม่ต่อเนื่อง

เครื่องบันทึกวิดีโอ (DVR)อาร์{\displaystyle R}ด้วยอุดมคติสูงสุด{\displaystyle {\mathfrak {m}}}จะถือว่ากระชับก็ต่อเมื่อมันสมบูรณ์และมีฟิลด์ส่วนที่เหลือ อยู่อาร์/{\displaystyle R/{\mathfrak {m}}}เป็นฟิลด์จำกัด

ตัวอย่างของ เครื่องบันทึกวิดีโอ แบบสมบูรณ์ (DVR) ได้แก่ วงแหวนของพี{\displaystyle p}จำนวนเต็ม -adic และวงแหวนของอนุกรมกำลังเชิงรูปธรรมเหนือฟิลด์ใดๆ

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

วงแหวนของอนุกรมกำลังเชิงรูปธรรมทั้งหมดในตัวแปรเดียวที่มีสัมประสิทธิ์เป็นจำนวนจริง คือส่วนเติมเต็มของวงแหวนของฟังก์ชันตรรกยะที่กำหนดในบริเวณใกล้เคียง 0 บนเส้นจำนวนจริง และยังเป็นส่วนเติมเต็มของวงแหวนของอนุกรมกำลังจำนวนจริงทั้งหมดที่ลู่เข้าสู่ 0 ด้วย ส่วนเติมเต็มของ(พี)=คิวพี{\displaystyle \mathbb {Z} _{(p)}=\mathbb {Q} \cap \mathbb {Z} _{p}}(ซึ่งสามารถมองได้ว่าเป็นเซตของจำนวนตรรกยะทั้งหมดที่พี{\displaystyle p}จำนวนเต็ม -adic) คือวงแหวนของทั้งหมดพี{\displaystyle p}จำนวนเต็ม -adicพี{\displaystyle \mathbb {Z} _{p}}.

ดูเพิ่มเติม

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ไม่มีชื่อบทความ

ใน พีชคณิตนามธรรม วงแหวน การประเมินค่าแบบไม่ต่อเนื่อง ( DVR ) คือ โดเมนอุดมคติหลัก (PID) ที่มี อุดมคติสูงสุด ที่ไม่เป็นศูนย์เพียงหนึ่งเดียวเท่านั้น

พีชคณิต

อนุญาต ซ ( 2 ) {\displaystyle \mathbb {Z} _{(2)}} เป็นการ กำหนดตำแหน่ง ของ ซ {\displaystyle \mathbb {Z} } ที่อุดมคติที่สร้างขึ้นโดย 2. อย่างเป็นทางการ

ทฤษฎีโครงร่าง

สำหรับเครื่องบันทึกวิดีโอ (DVR) อาร์ {\displaystyle R} โดยทั่วไปมักเขียนช่องเศษส่วนดังนี้ เค = แฟรก ( อาร์ ) {\displaystyle K={\text{Frac}}(R)} และ κ = อาร์ / ม {\displaystyle \kappa =R/{\mathfrak {m}}} ฟิลด์ ส่วนเหลือ สิ่งเหล่านี้สอดคล้องกับ จุด ทั่วไป และ...

พารามิเตอร์การทำให้สม่ำเสมอ

เมื่อมีเครื่องบันทึกวิดีโอ (DVR) แล้ว อาร์ {\displaystyle R} องค์ประกอบที่ไม่สามารถลดทอนได้ใดๆ ของ อาร์ {\displaystyle R} เป็นตัวสร้างสำหรับอุดมคติสูงสุดที่ไม่ซ้ำกันของ อาร์ {\displaystyle R} และในทางกลับกัน องค์ประกอบดังกล่าวเรียกอีกอย่างว่า...