ผลต่างระหว่างรุ่นของ "ภาวะคู่หรือคี่ของ 0"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ไม่มีความย่อการแก้ไข |
|||
บรรทัด 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 /> การสังเกตก่อนหน้า
เนื่องจากจำนวนเต็มคู่เป็นกรุปย่อยของจำนวนเต็ม จึงแบ่งกั้นจำนวนเต็มออกเป็น[[เซตร่วมเกี่ยว]] อาจอธิบายเซตร่วมเกี่ยวได้เป็น[[ชั้นสมมูล]]ของ[[ความสัมพันธ์สมมูล]]ดังนี้ {{nowrap|''x'' ~ ''y''}} ถ้า {{nowrap|(''x'' − ''y'')}} เป็นคู่ ในที่นี้ ภาวะคู่ของ 0 สำแดงออกโดยตรงเป็น[[ความสัมพันธ์สะท้อน]]ของ[[ความสัมพันธ์ทวิภาค]] ~<ref>{{harvnb|Andrews|1990|p=100}}</ref> มีเซตร่วมเกี่ยวเพียง 2 เซตในกรุปย่อยนี้ คือ จำนวนคู่และคี่ ฉะนั้นจึงมีดัชนี 2
|