next up previous contents
Next: Rounding things up Up: What are numbers? Previous: Construction of R

Construction of C

. We will refer to the elements of C by giving them a subscript . The elements of R can be embedded as follows: such that . Furthermore we can define:

There exists an elegant alternative definition using ideals. To be a bit sloppy: , i.e. C is the resulting quotient ring of factoring ideal out of the ring R[x] of polynomials over R. The sloppy part is that we need to define concepts like quotient ring, ideal, and ring of polynomials. Note that this definition is close to working with : can be rewritten as .

Alex Lopez-Ortiz
Mon Feb 23 16:26:48 EST 1998