Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:interpretation_quotient_under_congruence [2008/04/02 22:36] vkuncak |
sav08:interpretation_quotient_under_congruence [2008/04/16 09:22] maysam |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Quotient of an Interpretation under a Congruence ====== | ====== Quotient of an Interpretation under a Congruence ====== | ||
+ | |||
===== Example: quotient on pairs of natural numbers ===== | ===== Example: quotient on pairs of natural numbers ===== | ||
Line 35: | Line 36: | ||
This construction is an algebraic approach to construct from natural numbers one well-known structure. Which one? ++| $({\cal Z}, + , -)$ where ${\cal Z}$ is the set of integers. ++ | This construction is an algebraic approach to construct from natural numbers one well-known structure. Which one? ++| $({\cal Z}, + , -)$ where ${\cal Z}$ is the set of integers. ++ | ||
- | Note: this construction can be applied whenever we have an associative and commutative operation $*$ satisfying the cancelation law $x * z = y * z \rightarrow x=y$. It allows us to contruct a structure where operation $*$ has an inverse. What do we obtain if we apply this construction to multiplication of strictly positive integers? | + | Note: this construction can be applied whenever we have an associative and commutative operation $*$ satisfying the cancelation law $x * z = y * z \rightarrow x=y$. It allows us to construct a structure where operation $*$ has an inverse. What do we obtain if we apply this construction to multiplication of strictly positive integers? |
===== Definition of Quotient of an Interpretation ===== | ===== Definition of Quotient of an Interpretation ===== |