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

อ่าน 3 นาที

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

ใน ทางคณิตศาสตร์ วงแหวน สลับที่ R เรียกว่า วงแหวนแค ทเทนารี ถ้าสำหรับคู่ของ อุดมคติเฉพาะ p และ q ใดๆ โซ่เพิ่มขึ้นอย่างเคร่งครัดสองโซ่ใดๆ

วงแหวนแคทเทนารี

ในทางคณิตศาสตร์วงแหวนสลับที่Rเรียกว่า วงแหวนแค ทเทนารีถ้าสำหรับคู่ของอุดมคติเฉพาะpและq ใดๆ โซ่เพิ่มขึ้นอย่างเคร่งครัดสองโซ่ใดๆ

p = p p ... p = q

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

วงแหวนหนึ่งเรียกว่าวงแหวนแคทเทนารีสากลถ้าพีชคณิตที่สร้างขึ้นอย่างจำกัดทั้งหมดบนวงแหวนนั้นเป็นวงแหวนแคทเทนารี

คำว่า 'catenary' มาจากคำภาษาละตินว่าcatenaซึ่งหมายถึง "โซ่"

มีลำดับการรวมดังต่อไปนี้

วงแหวนแคทเทนารีสากลวงแหวนโคเฮน-แมคออลีย์วงแหวนโกเรนสไตน์วงแหวนจุดตัดสมบูรณ์วงแหวนท้องถิ่นปกติ

สูตรมิติ

สมมติว่าAเป็นโดเมนโนเธอร์เรียน และBเป็นโดเมนที่บรรจุ Aซึ่งสร้างขึ้นอย่างจำกัดเหนือAถ้าPเป็นไอเดียลเฉพาะของBและpเป็นส่วนตัดกันระหว่าง B กับAแล้ว

ความสูง(พี)ความสูง(พี)+tr.deg.เอ(บี)tr.deg.κ(พี)(κ(พี)).{\displaystyle {\text{height}}(P)\leq {\text{height}}(p)+{\text{tr.deg.}}_{A}(B)-{\text{tr.deg.}}_{\kappa (p)}(\kappa (P)).}

สูตรมิติสำหรับวงแหวนแคทเทนารีสากลกล่าวว่า ความเท่าเทียมกันจะเป็นจริงก็ต่อเมื่อAเป็นวงแหวนแคทเทนารีสากล โดยที่ κ( P ) คือฟิลด์ส่วนเหลือของPและ tr.deg. หมายถึงระดับความเหนือธรรมชาติ (ของฟิลด์ผลหาร) ในความเป็นจริง เมื่อAไม่ใช่วงแหวนแคทเทนารีสากล แต่บี=เอ[x1,,xn]{\displaystyle B=A[x_{1},\dots ,x_{n}]}ดังนั้นความเท่าเทียมกันจึงเกิดขึ้นเช่นกัน[ 1 ]

ตัวอย่าง

วงแหวนโนเธอร์เรียนเกือบทั้งหมดที่ปรากฏในเรขาคณิตเชิงพีชคณิตเป็นวงแหวนแคทเทนารีสากล โดยเฉพาะอย่างยิ่งวงแหวนต่อไปนี้เป็นวงแหวนแคทเทนารีสากล:

แหวนที่เป็นเส้นโค้งแคทเทนารี แต่ไม่ใช่เส้นโค้งแคทเทนารีโดยทั่วไป

การสร้างตัวอย่างของวงแหวนโนเธอร์เรียนที่ไม่เป็นเส้นโค้งแคทเทนารีโดยทั่วไปนั้นเป็นเรื่องละเอียดอ่อน ตัวอย่างแรกถูกค้นพบโดยมาซาโยชินากาตะ( 1956 , 1962 , หน้า 203 ตัวอย่างที่ 2)ซึ่งพบโดเมนเฉพาะที่โนเธอร์เรียน 2 มิติที่เป็นเส้นโค้งแคทเทนารี แต่ไม่ใช่เส้นโค้งแคทเทนารีโดยทั่วไป 

ตัวอย่างของนากาตะมีดังนี้ เลือกฟิลด์kและอนุกรมกำลังเชิงรูปธรรมza x iในริงSของอนุกรมกำลังเชิงรูปธรรมในxเหนือkโดยที่zและxเป็นอิสระเชิงพีชคณิต

กำหนดให้z = zและz = z /x– a .

ให้Rเป็นวงแหวน (ที่ไม่ใช่แบบโนเธอร์เรียน) ที่สร้างขึ้นโดยx และสมาชิกz

ให้mเป็นไอเดียล ( x ) และให้nเป็นไอเดียลที่สร้างขึ้นโดยx –1 และองค์ประกอบz ทั้งหมด ไอเดียลทั้งสองนี้เป็นไอเดียลสูงสุดของRโดยมีฟิลด์ตกค้างที่สมมาตรกับkวงแหวนเฉพาะที่R เป็นวงแหวนเฉพาะที่ปกติที่มีมิติ 1 (การพิสูจน์นี้ใช้ข้อเท็จจริงที่ว่าzและxเป็นอิสระทางพีชคณิต) และวงแหวนเฉพาะที่R เป็นวงแหวนเฉพาะที่แบบโนเธอร์เรียนปกติที่มีมิติ 2

ให้Bเป็นโลคัลไลเซชันของRโดยสัมพันธ์กับสมาชิกทั้งหมดที่ไม่ได้อยู่ในmหรือnแล้วBเป็นริงกึ่งโลคัลแบบโนเธอร์เรียน 2 มิติ ที่มีอุดมคติสูงสุด 2 ตัว คือmB (ความสูง 1) และnB (ความสูง 2)

ให้Iเป็นรากของ JacobsonของBและให้A = k + IวงแหวนAเป็นโดเมนเฉพาะที่มิติ 2 ที่มีอุดมคติสูงสุดIดังนั้นจึงเป็นวงแหวนแคทเทนารี เพราะโดเมนเฉพาะที่ 2 มิติทั้งหมดเป็นวงแหวนแคทเทนารี วงแหวนAเป็นวงแหวนโนเธอร์เรียน เพราะBเป็นวงแหวนโนเธอร์เรียนและเป็น โมดูล A จำกัด อย่างไรก็ตามAไม่ใช่วงแหวนแคทเทนารีสากล เพราะถ้าเป็นเช่นนั้น อุดมคติmBของBจะมีความสูงเท่ากับmB Aตามสูตรมิติสำหรับวงแหวนแคทเทนารีสากล แต่อุดมคติหลังมีความสูงเท่ากับ dim( A ) = 2

ตัวอย่างของนากาตะก็เป็นวงแหวนกึ่งยอดเยี่ยม เช่นกัน ดังนั้นจึงเป็นตัวอย่างของวงแหวนกึ่งยอดเยี่ยมที่ไม่ใช่วงแหวนยอดเยี่ยม

ดูเพิ่มเติม

ดูเพิ่มเติม

สรุปเนื้อหา

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

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

ใน ทางคณิตศาสตร์ วงแหวน สลับที่ R เรียกว่า วงแหวนแค ทเทนารี ถ้าสำหรับคู่ของ อุดมคติเฉพาะ p และ q ใดๆ โซ่เพิ่มขึ้นอย่างเคร่งครัดสองโซ่ใดๆ

สูตรมิติ

สมมติว่า A เป็นโดเมนโนเธอร์เรียน และ B เป็นโดเมนที่บรรจุ A ซึ่งสร้างขึ้นอย่างจำกัดเหนือ A ถ้า P เป็นไอเดียลเฉพาะของ B และ p เป็นส่วนตัดกันระหว่าง B กับ A แล้ว

ตัวอย่าง

วงแหวนโนเธอร์เรียน เกือบทั้งหมดที่ปรากฏในเรขาคณิตเชิงพีชคณิตเป็นวงแหวนแคทเทนารีสากล โดยเฉพาะอย่างยิ่งวงแหวนต่อไปนี้เป็นวงแหวนแคทเทนารีสากล:

แหวนที่เป็นเส้นโค้งแคทเทนารี แต่ไม่ใช่เส้นโค้งแคทเทนารีโดยทั่วไป

การสร้างตัวอย่างของวงแหวนโนเธอร์เรียนที่ไม่เป็นเส้นโค้งแคทเทนารีโดยทั่วไปนั้นเป็นเรื่องละเอียดอ่อน ตัวอย่างแรกถูกค้นพบโดย มาซาโยชิ นากาตะ ( 1956 , 1962 , หน้า 203 ตัวอย่างที่ 2) ซึ่งพบโดเมนเฉพาะที่โนเธอร์เรียน 2 มิติที่เป็นเส้นโค้งแคทเทนารี...