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

อ่าน 4 นาที

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

ใน พีชคณิตนามธรรม กลุ่ม ที่มีลำดับบางส่วน คือ กลุ่ม ( G , +) ที่มี ลำดับบางส่วน "≤" ซึ่ง ไม่เปลี่ยนแปลงเมื่อมีการเลื่อนตำแหน่ง กล่าว อีกนัยหนึ่ง " ≤" มีคุณสมบัติว่า สำหรับทุก a ,..

กลุ่มที่เรียงลำดับบางส่วน

ในพีชคณิตนามธรรมกลุ่มที่มีลำดับบางส่วนคือกลุ่ม ( G , +) ที่มีลำดับบางส่วน "≤" ซึ่งไม่เปลี่ยนแปลงเมื่อมีการเลื่อนตำแหน่ง กล่าว อีกนัยหนึ่ง " ≤" มีคุณสมบัติว่า สำหรับทุกa , bและgในGถ้าabแล้วa + gb + gและg + ag + b

สมาชิกxของGเรียกว่าสมาชิกบวกถ้า 0 ≤ xเซตของสมาชิก 0 ≤ xมักจะใช้สัญลักษณ์G + แทน และเรียกว่ากรวยบวกของG

โดย อาศัยคุณสมบัติการไม่เปลี่ยนแปลงภายใต้การเลื่อน เราจะได้ว่าabก็ต่อเมื่อ 0 ≤ - a + b เท่านั้น ดังนั้นเราจึงสามารถลดลำดับบางส่วนให้เหลือคุณสมบัติเอกภาคได้ คือabก็ต่อเมื่อ- a + bG +

สำหรับกลุ่มทั่วไปGการมีอยู่ของกรวยบวกบ่งชี้ถึงลำดับบนGกลุ่มGเป็นกลุ่มที่มีลำดับได้บางส่วนก็ต่อเมื่อมีเซตย่อยH (ซึ่งเป็นG + ) ของGอยู่จริง โดยที่:

  • 0 ∈ H
  • ถ้าaHและbHแล้วa + bH
  • ถ้าaHแล้ว - x + a + xHสำหรับแต่ละxของG
  • ถ้าaHและ -a H แล้ว a = 0

กลุ่มที่มีลำดับบางส่วนGที่มีกรวยบวกG +เรียกว่ากลุ่มที่ไม่มีรูพรุนถ้าn · gG +สำหรับจำนวนเต็มบวกn บางตัว หมายความว่าgG +การที่ไม่มีรูพรุนหมายความว่าไม่มี "ช่องว่าง" ในกรวยบวกG +

ถ้าลำดับบนกลุ่มเป็นลำดับเชิงเส้น กลุ่ม นั้นจะเรียกว่ากลุ่มที่มีลำดับเชิงเส้นถ้าลำดับบนกลุ่มเป็นลำดับแลตทิซ กล่าว คือ สมาชิกสองตัวใดๆ ก็ตามมีขอบเขตบนน้อยที่สุด กลุ่มนั้นจะเรียกว่ากลุ่มที่มีลำดับแลตทิซ (เรียกสั้นๆ ว่าl-groupแต่โดยปกติจะเขียนด้วยตัวพิมพ์ l: ℓ-group)

กลุ่มRiesz เป็น กลุ่มที่มีลำดับบางส่วนที่ไม่มีรูพรุน โดยมีคุณสมบัติที่อ่อนกว่ากลุ่มที่มีลำดับแบบแลตทิซเล็กน้อย กล่าวคือ กลุ่ม Riesz มีคุณสมบัติการสอดแทรกแบบ Riesz กล่าว คือ ถ้าx , x , y , y เป็น สมาชิกของGและx y แล้วจะมีzG อยู่จริง โดยที่x zy

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

กลุ่มที่มีลำดับบางส่วนถูก นำมาใช้ในการกำหนดค่าประเมินของฟิลด์

ตัวอย่าง

  • จำนวนเต็มเรียงลำดับตามปกติ
  • ปริภูมิเวกเตอร์เรียงลำดับคือกลุ่มที่มีการเรียงลำดับบางส่วน
  • ปริภูมิรีซ (Riesz space)คือกลุ่มที่มีการเรียงลำดับตามโครงตาข่าย (lattice-ordered group)
  • ตัวอย่างทั่วไปของกลุ่มที่มีลำดับบางส่วนคือZ nโดยที่การดำเนินการของกลุ่มคือการบวกแบบทีละส่วน และเราเขียน ( a ,..., a ) ≤ ( b ,..., b ) ก็ต่อเมื่อa b (ตามลำดับจำนวนเต็มปกติ) สำหรับทุกi = 1,..., n
  • โดยทั่วไปแล้ว ถ้าGเป็นกลุ่มที่มีลำดับบางส่วน และXเป็นเซตใดเซตหนึ่ง เซตของฟังก์ชันทั้งหมดจากXไปยังGก็จะเป็นกลุ่มที่มีลำดับบางส่วนเช่นกัน กล่าวคือ การดำเนินการทั้งหมดจะทำทีละส่วน นอกจากนี้ ทุกกลุ่มย่อยของGก็เป็นกลุ่มที่มีลำดับบางส่วนเช่นกัน กล่าวคือ มันได้รับลำดับมาจากG
  • ถ้าAเป็นพีชคณิต C* ที่มีมิติจำกัดโดยประมาณหรือโดยทั่วไปแล้ว ถ้าAเป็นพีชคณิต C* ที่มีเอกลักษณ์และจำกัดอย่างเสถียรแล้วK ( A ) จะเป็นกลุ่มอาเบเลียน ที่มีลำดับบางส่วน (Elliott, 1976)

คุณสมบัติ

อาร์คิมีเดียน

คุณสมบัติของอาร์คิมีดีสของจำนวนจริงสามารถขยายไปสู่กลุ่มที่มีลำดับบางส่วนได้

คุณสมบัติ: กลุ่มที่มีลำดับบางส่วนจี{\displaystyle G}เรียกว่าอาร์คิมีเดียนเมื่อใดเอ,จี{\displaystyle a,b\in G}, ถ้าอีเอ{\displaystyle e\leq a\leq b}และเอn{\displaystyle a^{n}\leq b} สำหรับทุกคนn1{\displaystyle n\geq 1}แล้วเอ=อี{\displaystyle a=e}ในทำนองเดียวกัน เมื่อเออี{\displaystyle a\neq e}จากนั้นสำหรับใดๆจี{\displaystyle b\in G}มีอยู่บ้างn{\displaystyle n\in \mathbb {Z} }โดยที่<เอn{\displaystyle b<a^{n}}.

ปิดสนิท

กลุ่มG ที่มีลำดับบางส่วน เรียกว่าปิดสมบูรณ์ถ้าสำหรับสมาชิกaและb ทั้งหมด ของGถ้าa nbสำหรับจำนวนธรรมชาติn ทั้งหมด แล้วa ≤ 1 [ 1 ]

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

ดูเพิ่มเติม

บันทึก

อ่านเพิ่มเติม

Everett, CJ; Ulam, S. (1945). "เกี่ยวกับกลุ่มเรียงลำดับ" . ธุรกรรมของสมาคมคณิตศาสตร์อเมริกัน . 57 (2): 208– 216. doi : 10.2307/1990202 . JSTOR 1990202 . 

สรุปเนื้อหา

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

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

ใน พีชคณิตนามธรรม กลุ่ม ที่มีลำดับบางส่วน คือ กลุ่ม ( G , +) ที่มี ลำดับบางส่วน "≤" ซึ่ง ไม่เปลี่ยนแปลงเมื่อมีการเลื่อนตำแหน่ง กล่าว อีกนัยหนึ่ง " ≤" มีคุณสมบัติว่า สำหรับทุก a ,..

ตัวอย่าง

จำนวนเต็ม เรียงลำดับ ตามปกติ ปริภูมิ เวกเตอร์เรียงลำดับ คือกลุ่มที่มีการเรียงลำดับบางส่วน ปริภูมิ รีซ (Riesz space) คือกลุ่มที่มีการเรียงลำดับตามโครงตาข่าย (lattice-ordered group) ตัวอย่างทั่วไปของกลุ่มที่มีลำดับบางส่วนคือ Z n...

อาร์คิมีเดียน

คุณสมบัติของอาร์คิมีดีสของจำนวนจริงสามารถขยายไปสู่กลุ่มที่มีลำดับบางส่วนได้

ปิดสนิท

กลุ่ม G ที่มีลำดับบางส่วน เรียกว่า ปิดสมบูรณ์ ถ้าสำหรับสมาชิก a และ b ทั้งหมด ของ G ถ้า a n ≤ b สำหรับจำนวนธรรมชาติ n ทั้งหมด แล้ว a ≤ 1 [ 1 ]