Rationals mod n.

Let a and b be integers, b non-zero. Note that it need not be (a, b) = 1. Define (a, b) + (c, d) as:

(ad + cb (mod n), bd (mod n) ) which would be the equivalent of:

And multiplication similarly. See if you can find any properties such as abelian, commutative, identity, heck, even well defined.

]]>Let *R* be a binary relation from *X* to *Y*. The inverse of *R*, denoted *R*[sup]−1[/sup], is the binary relation from *Y* to *X* such that for any *x* ∈ *X* and *y* ∈ *Y*, *y*R[sup]−1[/sup]*x* if and only if *x*R*y*.

It is obvious that

(a) *R* satisfies condition (i) above if and only if *R*[sup]−1[/sup] satisfies (ii)

(b) *R* satisfies (ii) if and only if *R*[sup]−1[/sup] satisfies (i)

(c) *R* satisfies (iii) if and only if *R*[sup]−1[/sup] satisfies (iv)

(d) *R* satisfies (iv) if and only if *R*[sup]−1[/sup] satisfies (iii)

(e) (*R*[sup]−1[/sup])[sup]−1[/sup] = *R*

In general, if is a function, the inverse [sup]−1[/sup] is not a function, only a binary relation. [sup]−1[/sup] is a function if and only if is bijective (in which case [sup]−1[/sup] itself is also bijective).

]]>A binary relation from *X* to *Y* is an ordered triple (*X*,*Y*,*R*), where *R* is a subset of *X*×*Y*. *X*, *Y* and *R* are called the domain, codomain and graph of the binary relation respectively although if it is clear what *X* and *Y* are, it is much more usual to refer to the relation as just *R* rather than (*X*,*Y*,*R*). Also, for any *x* ∈ *X*, *y* ∈ *Y*, if (*x*,*y*) ∈ *R*, it is much more usual to write *x*R*y* instead of (*x*,*y*) ∈ *R*.

Now consider the following four conditions which the binary relation *R* may satisfy:

(i) for any *x* ∈ *X*, there exists *y* ∈ *Y* such that *x*R*y*

(ii) for any *y* ∈ *Y*, there exists *x* ∈ *X* such that *x*R*y*

(iii) if *x*R*y* and *x*′R*y*′, *x* = *x*′ ⇒ *y* = *y*′

(iv) if *x*R*y* and *x*′R*y*′, *y* = *y*′ ⇒ *x* = *x*′

It can be seen that a function is a binary relation that satisfies (i) and (iii). If a binary relation satisfies (i), (ii) and (iii), it is a surjective function, while a binary relation that satisfies (i), (iii) and (iv) is an injective function. A bijection is a binary relation that satisfies all four conditions above.

]]>