LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:interpretation_quotient_under_congruence [2009/05/14 14:06]
vkuncak
sav08:interpretation_quotient_under_congruence [2012/05/01 16:03]
vkuncak
Line 4: Line 4:
 ===== Example: quotient on pairs of natural numbers ===== ===== Example: quotient on pairs of natural numbers =====
  
-Let ${\cal N} = \{0,​1,​2,​\ldots,​ \}$.  Consider a structure with domain $N^2$, with functions+Let ${\cal N} = \{0,​1,​2,​\ldots,​ \}$.  Consider a structure with domain $N^2$, with functions ​(plus and minus):
 \[ \[
     p((x_1,​y_1),​(x_2,​y_2)) = (x_1 + x_2, y_1 + y_2)     p((x_1,​y_1),​(x_2,​y_2)) = (x_1 + x_2, y_1 + y_2)
Line 15: Line 15:
    r = \{((x_1,​y_1),​(x_2,​y_2)) \mid x_1 + y_2 = x_2 + y_1  \}    r = \{((x_1,​y_1),​(x_2,​y_2)) \mid x_1 + y_2 = x_2 + y_1  \}
 \] \]
-is a congruence with respect to operations $p$ and $m$.  ​+is a congruence with respect to operations $p$ and $m$.  ​Indded, we can check that, for example, if $r((x_1,​y_1),​(x'​_1,​y'​_1))$ and 
 +$r((x_2,​y_2),​(x'​_2,​y'​_2))$ then 
 +\[ 
 +     ​r(p((x_1,​y_1),​(x_2,​y_2)),​ p((x'​_1,​y'​_1),​(x'​_2,​y'​_2))) 
 +\]
  
 Congruence is an equivalence relation. ​ What are equivalence classes for elements: Congruence is an equivalence relation. ​ What are equivalence classes for elements: