อะไรคือความแตกต่างระหว่างความสัมพันธ์ที่สอดคล้องกันและความสัมพันธ์ที่เท่าเทียมกัน?


ตอบ 1:

คำตอบของ David Joyce นั้นดี แต่มีคำจำกัดความอื่นสำหรับความสัมพันธ์ที่สอดคล้องกันที่ฉันได้เห็น (พีชคณิตของ Hungerford):

ให้ G เป็น monoid ที่มีความสัมพันธ์เท่าเทียมกัน ~

~ เป็นความสัมพันธ์ที่สอดคล้องกันถ้า

fora,b,c,din[math]G[/math],if[math]a[/math] [math]b[/math]and[math]c[/math] [math]d[/math]then[math]ac[/math] [math]bd.[/math]for a, b, c, d in [math]G[/math], if [math]a [/math]~[math] b[/math] and [math] c [/math]~[math] d[/math] then [math]ac [/math]~[math] bd.[/math]

Thisisusefultodefinenormalsubgroups,andquotientgroupsbecauseG/ isagroupwithabinaryoperationthatrespectsthecongruencerelation.This is useful to define normal subgroups, and quotient groups because G/~ is a group with a binary operation that respects the congruence relation.


ตอบ 2:

Therearetworelationsknownascongruencerelations.Oneisingeometryandreferstocongruentfigures.Twofiguresarecongruentifthereisarigidmotionthatmovesonetotheother.Theotherisinnumbertheoryandreferstointegerscongruentmodulonwhere[math]n[/math]issomefixedinteger.Twointegersarecongruentmodulo[math]n[/math]iftheirdifferenceisdivisibleby[math]n.[/math]Thissecondcongruencerelationhasbeenextendedtoelementsofaringmoduloanideal.There are two relations known as congruence relations. One is in geometry and refers to congruent figures. Two figures are congruent if there is a rigid motion that moves one to the other. The other is in number theory and refers to integers congruent modulo n where [math]n[/math] is some fixed integer. Two integers are congruent modulo [math]n[/math] if their difference is divisible by [math]n.[/math] This second congruence relation has been extended to elements of a ring modulo an ideal.

ทั้งสองสิ่งนี้มีความสัมพันธ์แบบเท่าเทียมกัน อาจมีความสัมพันธ์ที่เท่าเทียมกันอื่น ๆ ที่เรียกว่าความสัมพันธ์สอดคล้องกัน

สำหรับคำตอบสำหรับคำถามของคุณความสัมพันธ์ที่สอดคล้องกันนั้นเป็นความสัมพันธ์ที่เท่าเทียมกันโดยเฉพาะซึ่งเรียกว่าความสัมพันธ์ที่สอดคล้องกัน