ผลต่างระหว่างรุ่นของ "ภาวะคู่หรือคี่ของ 0"

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
Portalian (คุย | ส่วนร่วม)
ไม่มีความย่อการแก้ไข
BotKung (คุย | ส่วนร่วม)
เก็บกวาดบทความด้วยบอต
บรรทัด 74:
=== แบบรูปพีชคณิต ===
[[ไฟล์:EvenIntegersSubgroup.svg|left|thumb|alt=Integers −4 through +4 arranged in a corkscrew, with a straight line running through the evens |2'''Z''' (สีน้ำเงิน) เป็นกรุปย่อยของ '''Z''']]
ใน[[พีชคณิตนามธรรม]] จำนวนเต็มคู่ก่อโครงสร้างเชิงพีชคณิตต่าง ๆ ซึ่งต้องอาศัยการมีเลข 0 ข้อเท็จจริงที่ว่า[[เอกลักษณ์การบวก]] (0) เป็นคู่ ร่วมกับผลรวมและ[[ตัวผกผันการบวก]]ของจำนวนคู่เป็นคู่และ[[สมบัติการเปลี่ยนหมู่]]ของการบวก หมายความว่า จำนวนเต็มบวกจัดเป็น[[กรุป (คณิตศาสตร์)|กรุป]]หนึ่ง ยิ่งไปกว่านั้น กรุปจำนวนเต็มคู่ภายใต้การบวกเป็น[[กรุปย่อย]]ของกรุปจำนวนเต็มทั้งหมด นี่เป็นตัวอย่างพื้นฐานของมโนทัศน์กรุปย่อย<ref name=Berlinghoff /> การสังเกตก่อนหน้านี้่ว่านี้ว่า "คู่ − คู่ = คู่" บังคับให้ 0 เป็นคู่เป็นส่วนหนึ่งของแบบรูปทั่วไป คือ สับเซตที่ไม่ว่างใด ๆ ของกรุปการบวกซึ่ง[[สมบัติการปิด|มีสมบัติปิด]]ภายใต้การลบจะต้องเป็นสับกรุป และโดยเฉพาะอย่างยิ่งต้องมี[[สมาชิกเอกลักษณ์]]<ref>{{harvnb|Dummit|Foote|1999|p=48}}</ref>
 
เนื่องจากจำนวนเต็มคู่เป็นกรุปย่อยของจำนวนเต็ม จึงแบ่งกั้นจำนวนเต็มออกเป็น[[เซตร่วมเกี่ยว]] อาจอธิบายเซตร่วมเกี่ยวได้เป็น[[ชั้นสมมูล]]ของ[[ความสัมพันธ์สมมูล]]ดังนี้ {{nowrap|''x'' ~ ''y''}} ถ้า {{nowrap|(''x'' − ''y'')}} เป็นคู่ ในที่นี้ ภาวะคู่ของ 0 สำแดงออกโดยตรงเป็น[[ความสัมพันธ์สะท้อน]]ของ[[ความสัมพันธ์ทวิภาค]] ~<ref>{{harvnb|Andrews|1990|p=100}}</ref> มีเซตร่วมเกี่ยวเพียง 2 เซตในกรุปย่อยนี้ คือ จำนวนคู่และคี่ ฉะนั้นจึงมีดัชนี 2