Real Analysis/Rational Numbers

Before we can build up the notion of an ordered field, we first need some basic concepts from algebra.

Groups
Groups play an important role in mathematics. They describe the most basic structures in algebra. The subject of group theory studies the nature and structure of general groups. In this book we will mostly be concerned with groups you are already familiar with, so this section is just to set some standard terminology. We begin by defining a binary operation, which is often thought of as either multiplication or addition, depending on the context. To avoid confusion we will denote this operation by * while discussing general groups, but in specific cases we will generally use + or &middot;

Definition: A binary operation on a set S is a function from S×S→S

Definition: A group is a set G together with a binary operation on G that satisfies the following axioms.
 * G is closed under the binary operation. That is, for all x, y in G, x*y is in G.
 * The binary operation is associative. That is, for all x, y, and z in G,  x*(y*z)=(x*y)*z.
 * There exists an identity element, which we denote by e, that satisfies e*x=x*e=x for all x in G.
 * For all x in G there exists an inverse element, which we denote by x-1, so that x*x-1=x-1*x=e.

Examples
 * The integers $$\mathbb Z$$ together with the binary operation of addition are a group.
 * The rational numbers $$\mathbb Q$$ with the binary operation of addition are a group.
 * The non-zero rational numbers $$\mathbb{Q}\setminus\{0\}$$ with the binary operation of multiplication are a group.
 * The set $$\mathbb{Z}$$ together with the binary operation of multiplication is not a group.
 * The set $$\{-1,1\}$$ with the binary operation given by multiplication is a group.
 * The set $$\{e,o\}$$ with a binary relation given by $$e+e=e$$, $$e+o=o$$, $$o+e=o$$, and $$o+o=e$$ is a group. If one thinks of $$e$$ as a shorthand for even, and $$o$$ as a short hand for odd, these are the familiar rules from childhood "An even number plus an even number is again an even number", etc.

It is often useful to talk about when two groups are basically the same. It may happen that two groups have a different underlying set, and have a different binary operation, but behave exactly the same algebraically. When this happens the two groups are called isomorphic.

Definition The groups (G,*) and (H,⊗) are said to be isomorphic if there is a bijective function φ:G→H that satisfies the following two properties:
 * φ(eG)=eH, where eG is the identity element in G and eH is the identity element in H;
 * φ(x*y)=φ(x)⊗φ(y) for all x and y in G.

A Field
The set of integers $$\mathbb{Z}$$ and the operation of addition $$+\ $$ form a group, multiplication $$\times$$ lacks inverses. If we allow multiplication and addition to operate on $$\mathbb{Z}$$ we can define a set where every element except zero has a multiplicative inverse. This is the set of rational numbers.

Rational Numbers
The next standard extension adds the possibility of quotients or division, and gives us the rational numbers (or just rationals) $$\mathbb Q$$, which includes the multiplicative inverses of $$\mathbb{Z}\setminus\{0\}$$ of the form $$\frac{1}{z}$$ fractions such as $$\frac{1}{2}$$, as well as products of the two sets of the form $$\frac{z_1}{z_2}$$ such as $$\frac{64}{7}, \frac{17}{16\times 10^5}$$. The rationals allow us to use arbitrary precision, and they suffice for measurement.

The rational numbers can be constructed from the integers as equivalence classes of order pairs (a,b) of integers such that (a,b) and (c,d) are equivalent when ad=bc using the definition of multiplication of integers. These ordered pairs are, of course, commonly written $$\tfrac{a}{b}$$. One can define addition as (a,b)+(c,d)=(ad+bc,bd) and multiplication as (ac,bd) all using the definition of addition and multiplication of integers.