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

อ่าน 2 นาที

เกือบจะเป็นแหวนแล้ว

ในทางคณิตศาสตร์โมดูลเกือบและวงแหวนเกือบเป็นวัตถุบางอย่างที่เชื่อมโยงระหว่างวงแหวนและฟิลด์เศษส่วนของวงแหวน เหล่านั้น เกิร์ด ฟัลติงส์ ( 1988 )...

เกือบจะเป็นแหวนแล้ว

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

เกือบทุกโมดูล

ให้Vเป็นโดเมนอินทิกรัลเฉพาะที่ที่ มี อุดมคติสูงสุด m และ K เป็นฟิลด์เศษส่วนของVหมวดหมู่ของโมดูลK , K - Mod , อาจได้มาจากการหารV - Modด้วยหมวดหมู่ย่อยของโมดูลทอร์ชั่นของ Serreกล่าวคือ N ที่สมาชิกnใดๆใน N ถูกทำลายโดยสมาชิกที่ไม่เป็นศูนย์บางตัวในอุดมคติสูงสุด หากหมวดหมู่ของโมดูลทอร์ชั่นถูกแทนที่ด้วยหมวดหมู่ย่อย ที่เล็กกว่า เราจะได้ขั้นตอนกลางระหว่าง โมดูล Vและ โมดูล K Faltings เสนอให้ใช้หมวดหมู่ย่อยของ โมดูล เกือบศูนย์ กล่าว คือNV - Modที่สมาชิกn ใดๆ ในNถูกทำลายโดย สมาชิก ทั้งหมดของอุดมคติสูงสุด

เพื่อให้แนวคิดนี้ใช้ได้ผลmและVต้องเป็นไปตามเงื่อนไขทางเทคนิคบางประการ ให้Vเป็นริง (ไม่จำเป็นต้องเป็นริงเฉพาะที่) และmVเป็นไอเดีย ล เอกลักษณ์ กล่าวคือ ไอเดียลที่m 2  =  mสมมติด้วยว่าm  ⊗  mเป็น โมดูล V แบบราบ โมดูลNบนVจะเกือบเป็นศูนย์เมื่อเทียบกับm ดังกล่าว ถ้าสำหรับทุกεmและnNเรามีεn = 0 โมดูลเกือบเป็นศูนย์ก่อให้เกิดหมวดหมู่ย่อย Serre ของหมวดหมู่ของ โมดูล Vหมวดหมู่ของโมดูลเกือบ V , V a - Mod , คือการทำให้เป็นโลคัลไลเซชันของV - Modตามหมวดหมู่ย่อยนี้

ฟังก์ชัน ผลหารV - ModV a - Modจะถูกแทนด้วย. ข้อสมมติเกี่ยวกับmรับประกันว่าเป็นฟังก์ชันที่แม่นยำซึ่งมีทั้งฟังก์ชันผกผัน ทางขวา และฟังก์ชันผกผันทางซ้ายยิ่งไปกว่านั้น ยังสมบูรณ์และซื่อสัตย์หมวดหมู่ของโมดูลเกือบสมบูรณ์นั้นสมบูรณ์และสมบูรณ์ ร่วม

เกือบจะเป็นแหวน

ผลคูณเทนเซอร์ของV-โมดูลจะลดรูปเป็นโครงสร้างโมโนอิดัลบนV a - ModโมดูลเกือบRV a - Modที่มีแผนที่RRRที่สอดคล้องกับเงื่อนไขตามธรรมชาติ คล้ายกับนิยามของริง เรียกว่าพีชคณิตเกือบV หรือริงเกือบถ้าบริบทไม่กำกวม คุณสมบัติมาตรฐานหลายอย่างของพีชคณิตและมอร์ฟิซึมระหว่างพีชคณิตเหล่านั้นสามารถนำไปใช้กับโลก "เกือบ" ได้เช่นกัน

ตัวอย่าง

ในบทความต้นฉบับของ Faltings นั้นVคือการปิดเชิงปริพันธ์ของวงแหวนการประเมินค่าแบบไม่ ต่อเนื่อง ในการปิดเชิงพีชคณิตของฟิลด์ผลหารและm คืออุดมคติสูงสุด ของ วงแหวนนั้น ตัวอย่างเช่น ให้Vเป็น นั่นคือการเติมเต็มp -adic ของ ให้mเป็นอุดมคติสูงสุดของวงแหวนนี้ ผลหารV/mจะเป็นโมดูลเกือบศูนย์ ในขณะที่V/pเป็นทอร์ชั่น แต่ไม่ใช่โมดูลเกือบศูนย์ เนื่องจากคลาสของp 1/ p 2ในผลหารไม่ได้ถูกทำลายโดยp 1/ p 2 ที่ ถือว่า เป็นองค์ประกอบของm

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Almost_ring&oldid=1170051002 "

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ เกือบจะเป็นแหวนแล้ว

ในทางคณิตศาสตร์โมดูลเกือบและวงแหวนเกือบเป็นวัตถุบางอย่างที่เชื่อมโยงระหว่างวงแหวนและฟิลด์เศษส่วนของวงแหวน เหล่านั้น เกิร์ด ฟัลติงส์ ( 1988 )...

เกือบทุกโมดูล

ให้ V เป็น โดเมนอินทิกรัล เฉพาะที่ที่ มี อุดมคติสูงสุด m และ K เป็น ฟิลด์ เศษส่วน ของ V หมวด หมู่ ของ โมดูล K , K - Mod , อาจได้มาจาก การหาร V - Mod ด้วย หมวดหมู่ย่อยของโมดูลทอร์ชั่นของ Serre กล่าว คือ N ที่สมาชิก n ใดๆ ใน N ถูก...

เกือบจะเป็นแหวน

ผล คูณเทนเซอร์ ของ V- โมดูลจะลดรูปเป็น โครงสร้างโมโนอิดั ลบน V a - Mod โมดูลเกือบ R ∈ V a - Mod ที่มีแผนที่ R ⊗ R → R ที่สอดคล้องกับเงื่อนไขตามธรรมชาติ คล้ายกับนิยามของริง เรียกว่าพีชคณิต เกือบ V หรือ ริ งเกือบ ถ้าบริบทไม่กำกวม...

ตัวอย่าง

ในบทความต้นฉบับของ Faltings นั้น V คือ การปิดเชิงปริพันธ์ ของ วงแหวนการประเมินค่าแบบไม่ ต่อเนื่อง ใน การปิดเชิงพีชคณิต ของ ฟิลด์ผลหาร และ m คืออุดมคติสูงสุด ของ วงแหวนนั้น ตัวอย่างเช่น ให้ V เป็น นั่นคือ การเติมเต็ม p -adic ของ ให้ m...