{ "cells": [ { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "\n", "\n", "\n", "\n", "\n", "\n", "\n", "

\n", "Abstract Algebra: An Interactive Approach, 2e\n", "

\n", "\n", "

\n", "\n", "\n", "\n", "

\n", "Chapter 11
\n", "Integral Domains and Fields\n", "

\n", "\n", "\n", "

Initialization: This cell MUST be evaluated first:

" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "%display latex\n", "try:\n", " load('absalgtext.sage')\n", "except IOError:\n", " load('/media/sf_sage/absalgtext.sage')" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Polynomial Rings
\r\n", "The Field of Quotients
\r\n", "Complex Numbers
\r\n", "Ordered Communative Rings
\r\n", "Sage Interactive Problems
\r\n", "\r\n", "\r\n", "

Polynomial Rings

\r\n", "\r\n", "
\r\n", "In this chapter we will consider some useful ways of forming integral domains and fields from smaller rings. These provide us with useful examples for experimentation in hopes of finding properties of general integral domains and fields.

\r\n", "\r\n", "One major source of integral domains are the polynomial rings. We can construct a polynomial ring from any ring, but the polynomial rings with the familiar properties are formed either from fields or integral domains.

\r\n", "\r\n", "DEFINITION 11.1
\r\n", "\r\n", "Let K be a communitive ring. We define the set of polynomials in x over K, denoted K[x], to be the set of all expressions \r\n", "of the form\r\n", "

k₀ + k₁ x + k₂ x² + \r\n", "k₃ x³ + ⋯

\r\n", "where the coefficients k_n are elements of K, and only a finite number of the coefficients are nonzero. If k_d is \r\n", "the last nonzero coefficient, then d is called the degree of the polynomial.

\r\n", "\r\n", "Notice that if d = 0, we essentually obtain elements of K. Thus, the nonzero elements of K are the polynomials of degree 0, which are refered to \r\n", "as constant polynomials. The degree for the zero polynomial\r\n", "

0 + 0 x + 0 x² + 0 x³ + ⋯

\r\n", "is not defined.

\r\n", "\r\n", "By convention, the terms with zero coefficients are omited when writing polynomials. Thus, the second degree polynomial in ℤ[x]\r\n", "

1 + 0 x + 3 x² + 0 x³ + ⋯

\r\n", "would be writen 1 + 3 x². The one exception to this convention is the zero polynomial, which is simply writen as 0.

\r\n", "\r\n", "We can define the sum and product of two polynomial in the familar way. If\r\n", "

A = a₀ + a₁ x + a₂ x² + \r\n", "a₃ x³ + ⋯, and

\r\n", "

B = b₀ + b₁ x + b₂ x² + \r\n", "b₃ x³ + ⋯, then

\r\n", "

A + B = (a₀ + b₀) + (a₁ + b₁) x \r\n", "+ (a₂ + b₂) x² + (a₃ + b₃) x³ + ⋯, and

\r\n", "
\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

	∞	∞
A·B =	∑	∑	(a_i·b_j) x^i+j.
	i=0	j=0

\r\n", "
\r\n", "Although this looks like a double infinite sum, bear in mind that only a finite number of the terms will be nonzero. Thus, we do not need to be concerned about such issues \r\n", "as "convergence." If fact, this product could be written as\r\n", "

A·B = a₀·b₀ + \r\n", "(a₀·b₁ + a₁·b₀) x+ \r\n", "(a₀·b₂ + a₁·b₁ + a₂·b₀ ) \r\n", "x² +\r\n", "(a₀·b₃ + a₁·b₂ + a₂·b₁ + \r\n", "a₃·b₀) x³ + ⋯

\r\n", "so each coefficient is determined by a finite sum.

\r\n", "\r\n", "Before we prove that the set of polynomials forms a ring, we need the following lemma:\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 11.1
\r\n", "\r\n", "Let A and B be two nonzero polynomials in x over K of degree m and n respectively, where K has no zero divisors. Then A·B is a polynomial of degree m + n, and A + B is a polynomial of degree \r\n", "no greater than the larger of m or n.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "This lemma verifies that the both sum and product of two polynomials are polynomials. The remaining ring properties are not difficult to verify.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.1
\r\n", "Let K be an integral domain or a field. Then the set of polynomials in x over K forms an integral domain.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "Although this proposition holds for polynomials defined over a integral domain, there is no reason why we cannot have Sage work with polynomials defined over \r\n", "any commutative ring. However, we will discover that the familar properties of polynomials will radically change!

\r\n", "\r\n", "Let us consider the commutative ring of order 8 that we worked with in Chapter 9.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"a\",\"b\")\r\n", "DefineRing([4,2],[[a,0],[0,b]])\r\n", "R = ListRing(); R" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We form a polynomial ring over R by defining a new symbol x, which is an indeterminant over the ring R.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddRingVar(\"x\")" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can now enter in a typical polynomial.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Y = a*x + b; Y" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can experiment with powers of this first degree polynomial.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Y^2" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Y^3" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Y^4" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "It seems as though (a·x + b) satisfies the simplistic property:\r\n", "

(u + v)ⁿ = uⁿ + vⁿ.

\r\n", "Does this hold for all polynomials in this ring?

\r\n", "\r\n", "EXPERIMENT:
\r\n", "\r\n", "Try to find a first degree polynomial (u·x + v), where u and v are in R, which does not satisfy the \r\n", "above property for some value of n.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "In the process of doing this experiment, you may have noticed a property that is even more bizarre: Sometimes the square of a first degree polynomial is not a \r\n", "second degree polynomial! In fact, consider
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2*a*x + a + b)^2" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "which yields the identity element in R. Thus, (2 a·x + a + b) is its own multiplicative inverse! To further \r\n", "complicate matters, notice that polynomials may be "factored" in more than one way. Note that
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2*a*x + b)*(a*x + b)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2*a*x + b)*(a*x + 2*a + b)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "yield the same quadratic polynomial.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "\r\n", "See if you can find a third polynomial whose product with (b + 2 a·x) is the same as the two above.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Such properties of polynomials are enough to drive any begining algebra student crazy. Because of the bizarre properties of polynomials over general rings, we mainly \r\n", "focus out attention to polynomial rings K[x], where K is an integral domain or field. We will discover in Chapter 12 the exact conditions \r\n", "for which every polynomial in K[x] will have a unique factorization.

\r\n", "\r\n", "In order to find new integral domains and fields, we will use a simple property that will classify all rings.

\r\n", "\r\n", "DEFINITION 11.2
\r\n", "\r\n", "Let R be a ring. We define the characteristic of R to be the smallest positive number n such that n x = 0 \r\n", "for all elements x of R. If no such positive number exists, we say the ring has characteristic zero.

\r\n", "\r\n", "For integral domains or fields, the characteristic plays an extremely important role, as the next proposition illustrates.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.2
\r\n", "\r\n", "Let R be a nontrivial ring with no zero-divisors. If the characteristic is 0, then for n an integer and x a nonzero element \r\n", "of R, n x = 0 only if n = 0. If the characteristic is positive then it is a prime number p, and for \r\n", "nonzero x, n x = 0 if, and only if, n is a multiple of p.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "Characteristics are important because they give us a way of finding domains and fields in Sage. We begin by telling Sage the characteristic p \r\n", "of the ring we want to define with the command InitDomain(p). Because of Proposition 11.2, we see that p must either be 0 or a \r\n", "prime number. This command does three things. First, it tells Sage that the ring to be defined is commutative. Sage also defines the identity element \r\n", "to be 1. Finally, Sage assumes that the ring to be defined has no zero-divisors, and may latter report an error if zero divisors are found.

\r\n", "\r\n", "For example, let us find a new ring with characteristic 3. We begin with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(3)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This actually defines the field Z₃, as we can see with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Z3 = ListField(); Z3" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "We can create polynomials over this new domain by the AddFieldVar command.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddFieldVar(\"i\")" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Now we can do computations in the polynomial ring Z₃[i]:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "2*i + 5*i" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2*i + 1)^2" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Let us try imitating the complex numbers, and tell Sage that i² = −1.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Define(i^2, -1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This now defines a new ring! We will use the command ListField to see the new ring.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "K = ListField(); K" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This gives us a ring with nine elements. Let us look at the addition and multiplication tables.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddTable(K)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(K)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The multiplication table shows that there are no zero divisors. By Corollary 9.1, K is a field. (You might have guessed this, since we used \r\n", "the ListField command.) We could call K the field \r\n", "of "complex numbers modulo 3".

\r\n", "\r\n", "What if we tried to define complex numbers modulo 5?
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(5)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddFieldVar(\"i\")" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Define(i^2, -1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage complains about a modulus that is not irreducible. The problem is that the polynomial x² + 1 is not irreducible \r\n", "in Z₅[x]. If we tried to define this as a ring,
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"e\", \"i\")\r\n", "DefineRing([5,5],[[e,i],[i,-e]])\r\n", "K = ListRing(); K" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we find that there are zero divisors.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(K)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "EXPERIMENT:
\r\n", "\r\n", "Try defining a ring using InitDomain(5), but have i² be some integer other than −1. Does this new ring have zero \r\n", "divisors? Is this a field?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage can now work with polynomials over an integral domain or field. We can add an additional parameter for the InitDomain command that will \r\n", "tell Sage the name of the polynomial variable, usually \"x\". For example, with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(3, \"x\")" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we can now form polynomials in Z₃[x]:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(x + 2)^2" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "factor(x^2 + 2)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "factor(x^2 + 1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "If we continue to expand the field to \"complex numbers modulo 3\",
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddFieldVar(\"i\")\r\n", "Define(i^2, -1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "the variable x automatically promotes to a variable of the larger field. Thus, we can form polynomials like
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "y = (1 + i)*x + 2; y" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "z = (2 + i)*x^2 + 2*i*x + 1 + 2*i; z" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can form products as we would with standard polynomials.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "y^2" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "y*z" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage can factor polynomials defined over any finite field. In the next chapter we will prove that such factorizations are unique. (We will also see an example \r\n", "of an integral domain, not a field, for which factorizations are not unique.) If Sage tries to factor x² + 1 in the standard way \r\n", "(using the ring ℤ),
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"X\")\r\n", "factor(X^2 + 1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "it finds the polynomial is irreducable. But if we factor the polynomial over the field of \"complex numbers modulo 3\",
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "factor(x^2 + 1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we find that it does factor.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "\r\n", "Try looking at other quadratic polynomials which do not factor over the integers. Do they factor using the \"complex numbers modulo 3\"? What about cubic \r\n", "polynomials?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The polynomial rings defined over integral domains give us some good examples of integral domains. In the next chapter we will find other ways of forming integral \r\n", "domains, some of which have some unusual properties. But even these are based on polynomial rings. So polynomials are the basic building blocks that are used for \r\n", "forming new integral domains and fields.

\r\n", "\r\n", "\r\n", "

The Field of Quotients

\r\n", "\r\n", "
\r\n", "In the last section, we found a way to form integral domains by imitating the familar polynomials from high school algebra. In this section we will show how we can form \r\n", "a field from an integral domain. In fact we will imitate mathematics from grade school—the fractions.

\r\n", "\r\n", "We can view a fraction as one integer divided by another. Thus, the properties of the rational numbers stem entirely on the properties of the integers, ℤ. \r\n", "Although the integers have some special properties, some of which we will discover later in this chapter, perhaps the most important property of the integers is that it \r\n", "is a simple example of an integral domain. This raises the question: Can we form fractions out of any integral domain? The answer is "yes", but before we \r\n", "can proceed, let us review the basic definitions of addition, multiplication, and equality of the rational numbers ℚ.

\r\n", "\r\n", "First of all, there is a restriction that we put on the rational number ^p⁄_q: that q cannot be 0. \r\n", "It is reasonable to expect that we will have to make a similar restriction for general integal domains.

\r\n", "\r\n", "We can have Sage show us how two rational numbers are added:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var('x y u v')\r\n", "Together(x/y + u/v)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Since nether y nor v are 0, the denominator of the sum is not zero, so this is a rational number. Similarly, the product
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Together(x/y * u/v)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "is a rational number. However, there is a twist in how we view two rational numbers as being equal. Since fourth grade, we view\r\n", "

²⁄₄ = ³⁄₆,

\r\n", "even though these are two different fractions. Both the numerators and denominators are different. What we really mean is that these two fractions \r\n", "are equivalent, and in fact we define\r\n", "

^x⁄_y ≡ \r\n", "^u⁄_v if, and only if, x·v = u·y.

\r\n", "\r\n", "
\r\n", "This forms an equivalence relation on the set of fractions ^x⁄_y. We have already seen equivalence relations while working \r\n", "with cosets of a group. What we call a rational number is really a set of fractions of the form ^x⁄_y which are all \r\n", "equivalent. In other words, ¹⁄₂ really represents a set of fractions\r\n", "

{¹⁄₂, ^-1⁄_-2, ²⁄₄, ^-2⁄_-4,\r\n", "³⁄₆, ^-3⁄_-6, …}

\r\n", "with each element of this set equivalent to any other. Since ²⁄₄ and ³⁄₆ are both in this set, we consider them \r\n", "to be equal to ¹⁄₂.

\r\n", "\r\n", "We can define a similar equivalence relation for any integral domain K.

\r\n", "\r\n", "DEFINITION 11.3
\r\n", "Let K be an integral domain, and let P denote the set of all ordered pairs (x, y) of elements of K, with y \r\n", "nonzero:\r\n", "

P = { (x, y) | x, y ∈ K and y ≠ 0 }.

\r\n", "We define a relation on P by\r\n", "

(x, y) ≡ (u, v) if x·v = y·u.

\r\n", "The first step is to show that this relation is an equivalence relation.\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 11.2
The above relation is an equivalence relation on P.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "This equivalence relation becomes the key for defining our field of quotients, as the next definition shows.

\r\n", "\r\n", "DEFINITION 11.4
\r\n", "Let K be an integral domain, let P denote the set\r\n", "

P = { (x, y) | x, y ∈ K and y ≠ 0 },

\r\n", "and let the equivalence relation on P be\r\n", "

(x, y) ≡ (u, v) if x·v = y·u.

\r\n", "For each (x, y) in P, let (^x⁄_y) denote the equivalence class of P that contains (x, y). Let Q denote the set of all equivalence classes \r\n", "(^a⁄_b).\r\n", "The set Q is called the set of quotients for K.

\r\n", "\r\n", "This definition allows us to replace an equivalence of two expressions with an equality. We now have that\r\n", "

(^x⁄_y) = \r\n", "(^u⁄_v) if, and only \r\n", "if, x·v = u·y.

\r\n", "For example, \r\n", "(^x·z⁄_y·z) = \r\n", "(^x⁄_y) \r\n", "for any nonzero z, since x·z·y = y·z·x.

\r\n", "\r\n", "The next step is to define addition and multiplication on our set of quotients Q. Once again, we will use the rational numbers to guide us in the definition.\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 11.3
\r\n", "Let K be an integral domain, and let Q be the set of quotients for K. The addition and multiplication of two equivalence classed in \r\n", "Q, defined by\r\n", "

(^x⁄_y) + \r\n", "(^u⁄_v) = \r\n", "(^{x·v + u·y}⁄_y·v)

\r\n", "and\r\n", "

(^x⁄_y)·(^u⁄_v) = \r\n", "(^x·u⁄_y·v)

\r\n", "are both well defined operations on Q. That is, the sum and product do not depend on the choice of the representative elements (x, y) and \r\n", "(u, v) of the equivalence classes.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "Now that we have defined addition and multiplication on the sets of equivalent classes Q, we are ready to show that Q is in fact a field.\r\n", "\r\n", "

\r\n", "\r\n", "THEOREM 11.1:The Field of Quotients Theorem
\r\n", "\r\n", "Let K be an integral domain, and let Q be the set of quotients for K. Then Q forms a field using the above definitions of addition \r\n", "and multiplication. The field Q is called the field of quotients for K.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "Notice that in the construction of the field Q, we never used the identity element of K. Hence, if we started with a commutative ring without zero \r\n", "divisors instead of an integral domain, the construction would still produce a field. We can mention this as a corollary.\r\n", "\r\n", "

\r\n", "COROLLARY 11.1
\r\n", "Let K be any commutative ring with no zero divisors. Then the set of quotients Q defined above forms a field.\r\n", "\r\n", "

\r\n", "Although the field of quotients was designed from the way we formed rational numbers from the set of integers, we can apply the field of quotients to any other \r\n", "integral domain. The only other integral domains that we have worked with so far are the polynomial rings from the last section. What happens if we form a \r\n", "field of quotients for the polynomial ring K[x]?

\r\n", "\r\n", "Let us first consider the most familar polynomial ring ℤ[x]—the polynomials with integer coefficients. An element in the field of quotients would \r\n", "be of the form ^p(x)⁄_q(x), where p(x) and q(x) are polynomials with \r\n", "integer coefficients. But we consider two such fractions\r\n", "

\r\n", "^p(x)⁄_q(x) and ^r(x)⁄_s(x)

\r\n", "to be equivalent if p(x)·s(x) = r(x)·q(x). Thus, if there are any common factors \r\n", "between p(x) and q(x), we can cancel them out to produce a simpler, equivalent fraction.

\r\n", "\r\n", "For example, the fractions
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"x\")\r\n", "A = (3*x^2 + 5*x -2)/(2*x^2 + 7*x + 6); A" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "and
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "B = (3*x^2 - 4*x + 1)/(2*x^2 + x - 3); B" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "can be seen to be equivalent, since
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "expand((3*x^2 + 5*x - 2) * (2*x^2 + x - 3))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "and
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "expand((3*x^2 - 4*x + 1) * (2*x^2 + 7*x + 6))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "are the same.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "Can you find a simpler polynomial that is equivalent to A and B?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We call the field of quotients for the polynomials ℤ[x] the field of rational functions in x, denoted ℤ(x).

\r\n", "\r\n", "Here two other ways to verify that the two polynomials are equivalent:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Together(A - B)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Together(A/B)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The first command obviously shows that A and B are equal. The second command shows that the quotient of the two polynomials is the identity element, \r\n", "hence A and B must represent the same element in the field.

\r\n", "\r\n", "It should be mentioned that a rational function, in this context, is not a function! The rational functions A and B are merely elements \r\n", "of ℤ(x), which may in turn be arguments for some homomorphism. To say that "A is undefined when x = −2" or \r\n", ""B is undefined at x = 1" is meaningless, since x is not a variable for which numbers can be plugged in. Rather, x is merely \r\n", "a symbol that is used as a place holder. This is why we can say that A and B are truely equal, even though the "graphs" would disagree at \r\n", "two points.

\r\n", "\r\n", "We can form rational functions from any integral domain K. This produces the field K(x), \r\n", "the rational functions in x over K.

\r\n", "\r\n", "EXAMPLE:
\r\n", "Using the field of order 9 that was discovered in the last section,
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(3, \"x\")\r\n", "AddFieldVar(\"i\")\r\n", "Define(i^2, -1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "simplify the following rational function.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "A = (i*x^2 + x^2 + 2*x*i + 2*x + 2)/(x^2 + i*x + 1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Can Sage factor this over a finite field K? Let us see.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "A" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "We see that Sage automatically simplifies the rational function for us. However, if we consider the simplier looking rational function
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "B = (2*x - i)/(x - i*x + i); B" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we find that they are equal
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "B - A" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage shows us that these two expressions are the same rational function in K(x)!

\r\n", "\r\n", "As you can see from this experiment, the definition of the quotient field does not depend whether elements in the integral domain can be factored uniquely. \r\n", "However, unique factorization is an important property that we will study in depth in chapter 12. We will learn that the polynomial \r\n", "ring K[x] used in the above example really does have a type of unique factorization, after we have studied the true definition of what a \r\n", "unique factorization is. But before we go into this, let us look closely at some of the more familiar fields: the rational numbers, the real numbers, and the \r\n", "complex numbers. These fields will be the basis for defining many other fields, so it is natural to learn the properties of these fields before going on to study \r\n", "more complicated fields.

\r\n", "\r\n", "\r\n", "

Complex Numbers

\r\n", "\r\n", "
\r\n", "In this section we will explore the field of complex numbers. Although we will develop this field algebraically, the results of this section have applications in \r\n", "many different fields, including differential equations.

\r\n", "\r\n", "We are somewhat familar with complex numbers from algebra. These are numbers of the form a + b i where i represents the "square \r\n", "root of negative one." Sage can perform all algebraic opperations in complex numbers as easily as it can with real numbers.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2 + 3*I) + (4 - I)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2 + 3*I)*(4 - I)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2 + 3*I)/(4 - I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "However, in this definition it is not at all clear where the "i " came from. This gives the complex numbers a rather mysterious quality that is \r\n", "compounded by their common misnomer, "imaginary numbers."

\r\n", "\r\n", "We would like to define the complex numbers in a way that is more realistic. Instead of considering quantities of the form (a + b i), we will \r\n", "consider ordered pairs (a, b). This identifies the complex numbers with points in the plane, which makes them easier to visualize.

\r\n", "\r\n", "Let us declare the following properties for ordered pairs of real numbers:

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

(a, b) = (c, d) if, and only if, a = c and b = d.

\r\n", "
\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

(a, b) + (c, d) = (a + c, b + d).

\r\n", "
\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

(a, b)·(c, d) = (a·c − b·d, a·d + \r\n", "b·c).

\r\n", "
\r\n", "We define ℂ to be the set of all ordered pairs of real numbers. Using these three properties, it is not hard to prove the following:\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.3
\r\n", "\r\n", "The set ℂ forms a field, called the field of complex numbers. This field contains a subfield isomorphic to the real numbers.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "The purpose of constructing the complex numbers was to produce a field for which we can take the square root of negative one. We can now show that we have succeeded in \r\n", "doing this.\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 11.4
\r\n", "\r\n", "There are exactly two solutions to the equation x² = (−1, 0) in the field ℂ, given by (0, ±1).

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "By defining the complex numbers as ordered pairs, we have taken some of the mystery out of the complex numbers. Lemma 11.4 shows that the square root of negative one \r\n", "comes as a natural consequence of the way we defined the product.

\r\n", "\r\n", "We can now convert ordered pairs to the customary notation by defining i = (0,1), and identifying the identity element (1,0) with 1. Then any complex \r\n", "number (a, b) can be written\r\n", "

(a, b) = (a, 0) + (0, b) = a·(1, 0) + b· (0, 1) = \r\n", "a + b i.

\r\n", "We can rewrite the rules for addition and multiplication in ℂ as follows:\r\n", "

(a + b i) + (c + d i) = (a + c) + (b + d) i.

\r\n", "(a + b i)·(c + d i) = (a·c − b·d) + \r\n", "(b·c + a·d) i.

\r\n", "In working with groups, we found that the group automorphisms revealed many of the important properties of the group. This will also be true for rings. Let us extend \r\n", "the group automorphisms to apply to rings.

\r\n", "\r\n", "DEFINITION 11.5
\r\n", "A ring automorphism is a one-to-one and onto ring homomorphism that maps a ring to itself.\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 11.5
The set of all ring automorphisms forms a group.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "The natural question that arises is determining all of the group of ring automorphisms of ℂ.
\r\n", "This is in fact a difficult question to answer in general, but if we only consider the automorphisms that
\r\n", "send each real number to itself, the question becomes easy to answer.\r\n", "

\r\n", "\r\n", "PROPOSITION 11.4
\r\n", "Besides the identity automorphism, there is another automorphism on ℂ, given by\r\n", "

ϕ(a + b i) = a − b i.

\r\n", "In fact, these are the only automorphisms for which ϕ(x) = x for all real numbers x.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "The automorphism found in Proposition 11.4 is called the conjugate. The conjugate of z is generally denoted by \r\n", "z. That is, if z = a + b i, then\r\n", "

z = ϕ(z) = a − b i.

\r\n", "We call an element of ℂ to be real if z = z. \r\n", "Clearly the real elements of ℂ are \r\n", "

{ x + 0 i | x ∈ ℝ }.

\r\n", "These elements are, of course, the image of the mapping found in Proposition 11.3 of the reals into ℂ.

\r\n", "\r\n", "The conjugate automorphism is defined in Sage as
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var('z')\r\n", "conjugate(z)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "so the conjugate of 3 + 4i is given by:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "conjugate(3 + 4*I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "EXPERIMENT:
\r\n", "Try multiplying an element by its conjugate.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(3 + 4*I) * conjugate(3 + 4*I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Try this with several different elements of ℂ. What do you observe?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "It is an easy computation to prove that the observation found by this experiment holds for all complex numbers:\r\n", "

z·z = \r\n", "(a + b i)·(a − b i) =\r\n", "a² + a·b·i − a·b·i − \r\n", "b²·i² = a² + b².

\r\n", "Not only is z·z always a real number, but it is also non-negative. Moreover, there is a \r\n", "geometric significance to this formula a² + b². By the Pythagorian theorem, this is the square of the distance from the point \r\n", "(a, b) to the origin. Thus, it makes sense to give a special name to the square root \r\n", "of z·z.

\r\n", "\r\n", "DEFINITION 11.6
\r\n", "We say the absolute value of a complex number z = a + b i is\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "


\|z\| =	√ z · z	.

\r\n", "
\r\n", "Since z·z is non-negative real number for all elements of ℂ, |z| is well defined and \r\n", "is non-negative. The geometric interpretation of |z| is the distance from (a, b) to the origin. In Sage, the \r\n", "function abs(z) gives the absolute value for both real and complex numbers.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "abs(3 + 4*I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The familar property for the absolute value of real numbers holds for all complex numbers as well.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.5
\r\n", "\r\n", "For any two elements x and y in ℂ, |x·y| = |x|·|y|.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "Since there is a geometric interpretation of the absolute value, this proposition suggests that there is also a geometric interpretation to the product of two \r\n", "complex numbers.

\r\n", " \r\n", "From polar coordinates it is known that any point in the plane can be located by knowing its distance r from the origin, and its angle θ from \r\n", "the positive x-axis. Execute the following command to see a picture.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "PolarPlot()" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Since r is the absolute value of (x + y i), perhaps the angle θ also is significant to the complex number. By using trigonometry \r\n", "in the above figure, we have that\r\n", "

x = r cos θ, and y = r sin θ.

\r\n", "Thus, \r\n", "

x + y i = r(cos θ + i sin θ).

\r\n", "This form is called the polar form of the complex number x + y i. We have already seen that r is the absolute value \r\n", "of x + y i. The angle θ is called the argument of x + y i. We can find the argument of a complex number \r\n", "in Sage with the command arg(z).
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "arg(3 + 4*I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This angle is approximately
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "N(_)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage puts the answer in radians, and we will soon understand why radians should always be used in expressing the angle θ.

\r\n", "\r\n", "Although the absolute value of a complex number is unique, the argument is not uniquely determined. This is because for every angle θ, we consider the angles\r\n", "

…, θ − 6 π, θ − 4 π, θ − 2 π, \r\n", "θ, θ + 2 π, θ + 4 π, θ + 6 π, ….

\r\n", "All of these angles have the same sine and cosine, and hence are interchangable in the polar coordinate system. We call these angles coterminal. The set of \r\n", "angles coterminal to θ can be writen\r\n", "

{θ + 2 π n | n ∈ ℤ}.

\r\n", "Sage always picks θ to be between −π and π, but there are times when we need to consider the angles coterminal \r\n", "to θ as well.

\r\n", "\r\n", "For example, let us use Sage to help us find the polar form of −√3 − i.\r\n", "The absolute value is given by
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "abs(-sqrt(3) - I)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "simplify(_)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "while the argument is given by
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "arg(-sqrt(3) - I)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "simplify(_)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "So Sage has converted the point (−√3, −1) into polar coordinates, and found that\r\n", "

−√3 − i = \r\n", "2 (− ^√3⁄₂ − \r\n", "ⁱ⁄₂) = \r\n", "2 ( cos(−^5π⁄₆) + \r\n", "i sin(−^5π⁄₆) ).

\r\n", "However, we could have used any coterminal angle instead of the one Sage gave us. Thus, the following are also polar forms \r\n", "of −√3 − i:\r\n", "

2 \r\n", "( cos(^7π⁄₆) + \r\n", "i sin(^7π⁄₆) ), \r\n", "2 ( cos(^19π⁄₆) + \r\n", "i sin(^19π⁄₆) ), ….

\r\n", "There actually will be an infinite number of such expressions.

\r\n", "\r\n", "The usefulness of the polar form of a complex number is hinted at by the next lemma. This lemma makes use of the trigonometric identities\r\n", "

cos(A + B) = cos(A) cos(B) · sin(A) sin(B), and sin(A + \r\n", "B) = sin(A) cos(B) + cos(A) sin(B).

\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 11.6
\r\n", "If \r\n", "

z₁ = \r\n", "r₁( cos θ₁ + i sin θ₁) and z₂ = \r\n", "r₂( cos θ₂ + i sin θ₂),

\r\n", "then \r\n", "

z₁·z₂ = \r\n", "r₁·r₂( cos(θ₁ + θ₂) + i sin(θ₁ + \r\n", "θ₂) ).

\r\n", "So the argument of the product is the sum of the arguments.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "We can now use induction to prove the following important theorem:\r\n", "\r\n", "

\r\n", "\r\n", "THEOREM 11.2: De Moivre's Theorem
\r\n", "\r\n", "If n is an integer, and\r\n", "

z = r ( cos θ + i sin θ )

\r\n", "is a nonzero complex number in polar form, then \r\n", "

zⁿ = rⁿ ( cos(n θ) + i sin(n θ) ).

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "De Moivre's Theorem (11.2) allows us to quickly raise a complex number to an integer power.

\r\n", "\r\n", "EXAMPLE:
\r\n", "Compute (−√3 − i)⁵.

\r\n", "\r\n", "Since\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

r = √ (−√3)² + (−1)² = 2,
\r\n", "and θ = tan^-1((−1)/(−√3)) − π = −5π/6, then\r\n", "\r\n", "

(−√3 − i)⁵ = \r\n", "2⁵( \r\n", "cos(−^25π⁄₆) + \r\n", "i sin(−^25π⁄₆) ) = \r\n", "32(^√3⁄₂ − \r\n", "ⁱ⁄₂) = 16 √3 − 16 i.

\r\n", "We can check this result with Sage:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "expand( (-sqrt(3) - I)^5 )" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "

\r\n", "EXAMPLE:
\r\n", "Compute (^√2⁄₂ − \r\n", "^√2⁄₂ i)²⁷.

\r\n", "\r\n", "

(^√2⁄₂ − \r\n", "^√2⁄₂ i)²⁷ =\r\n", "( 1 ( \r\n", "cos(−^π⁄₄) + \r\n", "i sin(−^π⁄₄) ) )²⁷ =\r\n", "1²⁷( \r\n", "cos(−^27π⁄₄) + \r\n", "i sin(−^27π⁄₄) ) = \r\n", "− ^√2⁄₂ − \r\n", "^√2⁄₂ i.

\r\n", "This can also be verified using Sage:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "expand( (sqrt(2)/2 - I*sqrt(2)/2)^27 )" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can also use De Moivre's theorem to find the n^th root of 1. We first define\r\n", "

ω_n = \r\n", "cos(^2π⁄_n) + \r\n", "i sin(^2π⁄_n).

\r\n", "For example, ω₁ = 1, ω₂ = −1, ω₃ = \r\n", "(−1 + i√3)/2, and ω₄ = i.\r\n", "From DeMoivre's theorem (11.2), \r\n", "

(ω_n)ⁿ = cos(2π) + i sin(2π) = 1.

\r\n", "So ω_n is a n^th root of 1. In fact, all n^th roots of 1 are given by the numbers ω_n, \r\n", "ω_n², ω_n³, … up to ω_nⁿ = 1.

\r\n", "\r\n", "EXAMPLE:
\r\n", "The eighth root of unity, ω₈, is given by \r\n", "

ω₈ = (¹⁄₂ + \r\n", "ⁱ⁄₂)√2.

\r\n", "We can enter this into Sage with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "w8 = (1/2 + I/2)*sqrt(2); w8" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Then
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "w8*w8" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "simplifies to just i.

\r\n", "\r\n", "We can now consider the group generated by ω₈:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "G = Group(w8); G" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This gives the eight roots of unity, and shows that these elements form a group. In fact, the n^th roots of unity will form a cyclic group \r\n", "isomorphic to Z₈.

\r\n", "\r\n", "Let us rearrange the elements of G
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "G = [I, (1/2 + I/2)*sqrt(2), 1, (1/2 - I/2)*sqrt(2), -I, (-1/2 - I/2)*sqrt(2), -1, (-1/2 + I/2)*sqrt(2)]" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "so that the elements appear in the circle graph as they do in the complex plane. For example, the circle graph which multiplies every element \r\n", "by ω₈ is given by
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "CircleGraph(G, Mult(w8))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We are mainly interested in those elements of this subgroup that are generators.

\r\n", "\r\n", "DEFINITION 11.7:
\r\n", "A complex number z is called a primitive n^th root of unity if the powers of z produce all n solutions to the \r\n", "equation xⁿ = 1.

\r\n", "\r\n", "It is clear that ω_n is a primitive n^th root of unity, but also (ω_n)^k is \r\n", "an n^th root of unity if k and n are coprime.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "By trial and error, determine which elements of G are primitive eighth roots of unity. Note that ω₈² \r\n", "is not is primitive eighth root, since the circle graph
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "CircleGraph(G, Mult(w8^2))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "shows that ω₈² does not generate the group. Replace the 2 in the above example until all primitive eighth roots are found.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "EXAMPLE:
\r\n", "One twelvth root of unity is given by\r\n", "

ω₁₂ = ^√3⁄₂ + \r\n", "ⁱ⁄₂.

\r\n", "Form a circle graphs of the twelvth roots of unity.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "w12 = sqrt(3)/2 + I/2\r\n", "H = [I, 1/2 + I*sqrt(3)/2, I/2 + sqrt(3)/2, 1, -I/2 + sqrt(3)/2, 1/2 - I*sqrt(3)/2, -I, -1/2 - I*sqrt(3)/2, -I/2 - sqrt(3)/2, -1, I/2 - sqrt(3)/2, -1/2 + I*sqrt(3)/2]" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "CircleGraph(H, Mult(w12^3))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This graph shows that ω₁₂³ = i, and hence this is not a primitive twelve root of unity. But it is not hard to find \r\n", "primitive twelve roots from this circle graph.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "Try changing the power in the last command to find all primitive twelvth roots of unity.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Thus, De Moivre's Theorem (11.2) gives us a very fast means of raising complex numbers to integer powers. It is not difficult to imagine that this formula could be used \r\n", "to raise a complex number to any real number as well. But what if we want to consider raising a number to a complex power? Could we somehow use De Moivre's \r\n", "Theorem (11.2) to help us find, for example, 2ⁱ?

\r\n", "\r\n", "First, we need to clarify exactly what we mean by raising an element to the power of an element. Since this is not a standard field operation, it is not surprising to \r\n", "learn that in most fields, raising an element to the power of an element is absurd. However, since the complex numbers contain a copy of the real numbers, such a \r\n", "concept seems plausible. If we examine how we take powers in the real number system we will discover that we utilize the exponiential function e^x \r\n", "to compute quantities such as 2^√2. We use the fact that\r\n", "

2 = e^{ln 2}, so 2^√2 =\r\n", "(e^{ln 2})^√2 = \r\n", "e^{(ln 2)√2},

\r\n", "which is approximately
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "N(E^(sqrt(2)*log(2)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "It is clear that if we know how to take the exponential function of a complex number, we will be able to raise any positive number to a complex power.

\r\n", "\r\n", "The key algebraic property of the exponiential function is that\r\n", "

e^x+y = e^x·e^y for all x, \r\n", "y ∈ ℝ.

\r\n", "This indicates that the exponiential function is a group homomorphism mapping the additive group of real numbers to the multiplicative group of real numbers. \r\n", "The reason we can consider raising an element of the real numbers to the power of an element stems from the existance of a group homomorphism between the additive \r\n", "structure and the multiplicative structure.

\r\n", "\r\n", "Using this obversation about the real numbers, let us rephase the question. Can we use De Moivre's theorem (11.2) to extend the exponiential function into a \r\n", "group homomorphism from the additive structure of ℂ (denoted ℂ⁺) to the multiplicative structure ℂ^*, thereby allowing us to \r\n", "compute expressions such as 2ⁱ?

\r\n", "\r\n", "If such a group homomorphism exists, then\r\n", "

e^{a+b i} = e^a·(eⁱ)^b

\r\n", "so using De Moivre's theorem we can compute the exponential of any complex number (a + b i) where b is an integer, provided we know the value \r\n", "of eⁱ. Can Sage give us a hint as to what eⁱ should be? Let's try it.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "E^I" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "That didn't help much. Let us try looking at the approximation.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "N(E^I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This at least tells us that eⁱ is a complex number, but the decimals don't look familar. What we are really interested in is the absolute value \r\n", "and the argument.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "Using Sage, try to determine the exact value for the absolute value and the argument of the number eⁱ.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Although the absolute value and argument of eⁱ seem simple enough, there is no way to algebraically prove that these values are correct. \r\n", "The reason is simple enough: there are many ways to extend the exponiental function to become a group homomorphism \r\n", "from ℂ⁺ to ℂ^*. So typically an additional property of the homomorphism is imposed, such as the new function must have the derivative \r\n", "equal to itself. However, such additional properties are not algebraic: they all involve calculus in some way. In fact we cannot determine the value \r\n", "of eⁱ without calculus. Problems 11.21 through 11.23 show three ways of using calculus to determining the value of eⁱ.

\r\n", "\r\n", "For now, let us just use our observations from the experiment and assume that\r\n", "

eⁱ = cos( 1 radian ) + i sin( 1 radian ).

\r\n", "From this, we have by De Moivre's theorem (11.2) that\r\n", "

e^{a+b i} = e^a·(eⁱ)^b = \r\n", "e^a·1^b·( cos (b·1) + i sin(b·1) ) = \r\n", "e^a·( cos b + i sin b )

\r\n", "whenever b is an integer. It makes sence to define this as the exponiential function for all complex numbers. Notice that radian measure must be used in \r\n", "this formula!\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.6
\r\n", "For z = a + b i, the function\r\n", "

ƒ(z) = e^a·( cos b + i sin b )

\r\n", "defines a group homomorphism from ℂ⁺ to ℂ^*, which is an extension of the standard exponiential function. \r\n", "This function is called the complex exponiential function, and is also denoted e^z.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "This allows us another way of expressing ω_n. Notice that\r\n", "

e^2πi/n = \r\n", "cos(^2π⁄_n) + \r\n", "i sin(^2π⁄_n) = ω_n.

\r\n", "So we now have a more succinct way of defining the n^th root of 1.

\r\n", "\r\n", "The real exponential function is one-to-one, but is not onto since there is no number for which e^x = −1. However, the complex exponential \r\n", "function is onto, since for every nonzero complex number in polar form, \r\n", "

z = r( cos θ + i sin θ ),

\r\n", "there is a complex number whose exponential is z, namely ln(r) + i θ. This can be seen by observing that\r\n", "

e^{(ln r+i θ)} = \r\n", "e^{ln r}( cos θ + i sin θ ) = \r\n", "r( cos θ + i sin θ ) = z.

\r\n", "The drawback of the complex exponential function is that it is not one-to-one! Note that
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "E^(2*pi*I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "gives the same result as e⁰. This suggests that we should look at the kernal of the group homomorphism, that is, the set of \r\n", "all z = x + i y such that\r\n", "

e^z = e^{x+y i} = 1.

\r\n", "It is apparent that x must be 1, cos(y) = 1, and sin(y) = 0. Thus, the kernal of the complex exponiential function is the set\r\n", "

N = {2 k π i | k ∈ ℤ }.

\r\n", "
This is, of course, a normal subgroup of the additive group ℂ⁺. We can denote this set by N = ƒ⁻¹(1). We can \r\n", "similarly define the inverse exponiential for any nonzero number.

\r\n", " \r\n", "DEFINITION 11.8
\r\n", "For any nonzero complex number z, we define the complex logarithm of z, denoted log(z), to be the set of elements x such \r\n", "that e^x = z.

\r\n", " \r\n", "Notice that we use the function ln(x) to denote the real logarithm, while we use log(z) to denote the complex logarithm.

\r\n", " \r\n", "We have already observed that when z is written in polar form,\r\n", "

z = r( cos θ + i sin θ ),

\r\n", "that one value of x which satisfies the equation is x = ln(r) + θ i. We also know \r\n", "that ƒ⁻¹(z) will be a coset of the kernal of ƒ. Thus, we have\r\n", "

log(z) = ln(r) + θ i + N.

\r\n", "For example, log(−1) is the set\r\n", "

{ π i + 2 k π i | k ∈ ℤ } = \r\n", "{…, −5 π i, −3 π i, −π i, π i, 3 π i, 5 π i, …}.

\r\n", "The Sage log function works for complex numbers,
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "log(I)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "but only gives one element of the set. Thus, we must add the kernal N to this result to obtain the set given by log(z).

\r\n", "\r\n", "It is informative to see the graphs of the complex exponiential and complex logarithm. Even though these graphs are really surfaces in four dimensions, we can look at \r\n", "the real part and the complex part of the functions separately, giving us two three dimensional graphs. For example, the real part of the exponiential function is \r\n", "given by:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"x y\")" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "plot3d(E^x*cos(y), (x,-2,2), (y,-6,6))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The graph of the imaginary part is very similar.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "plot3d(E^x*sin(y), (x,-2,2), (y,-6,6))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The real part of the logarithm function does not depend on which number of the set we pick. Therefore we can draw a graph of the real part of the logarithm function.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"t r\")" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "parametric_plot3d([r*cos(t), r*sin(t), log(r)], (t, -pi, pi), (r, .01, 3))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This surface looks like a tornado funnel. Even though there are many values for the imaginary part of the logarithm function, we could consider graphing all possible \r\n", "values at once. The result looks like the following graph.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "parametric_plot3d([r*cos(t), r*sin(t), t], (t, -3*pi, 3*pi), (r, 0, 10), plot_points = [75,5])" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This graph looks like a multi-level parking garage. Notice that for any ordered pair (x, y), there will be an infinite number of points for \r\n", "z. Yet one can travel on this surface from any point to any other point. The different "levels" of the parking garage correspond to different \r\n", "values of the logarithm.

\r\n", "\r\n", "Once the logarithm is defined, we can actually define raising any complex number to any complex power! We simply use the laws of exponients and say that\r\n", "

x^z = (e^log(x))^z = \r\n", "e^z·log(x).

\r\n", "Notice that this gives a set of numbers, not just a single number. In other words, we are to take the set log(x), multiply each element by z, \r\n", "and take the exponiential of this collection to get a collection of answers. Although there will at times be an infinite number of elements in the \r\n", "set x^z, this will not always be so.

\r\n", "\r\n", "EXPERIMENT:

\r\n", "Use Sage to find some of the elements of the set (8 i)^1/3. Consider 5 different values for the logarithm. You may have to \r\n", "use N(_) to see an approximation of your answers. What do you observe about the solutions?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The duplications observed in this experiment are not a coincidence. Whenever z is a real, rational number, there will only be a finite number of possible \r\n", "values for x^z. This is seen by the next proposition.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.7
\r\n", "For each integer n > 0, and any nonzero complex number z, then there are exactly n values for z^1/n. Thus, \r\n", "there are exactly n solutions for x to the equation xⁿ = z.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "This last proposition is very useful for finding square roots and cube roots of complex numbers. This turns out to have some important applications in finding the \r\n", "roots of real polynomials! In fact, complex numbers and the functions we have defined in this section have many applications in the real world. The complex \r\n", "exponiential function was fundamental to the invention of the short wave radio. The complex logarithm can be used in solving real valued differential equations. \r\n", "So even though these numbers are labled "imaginary," they are by no means just a figment of someone's imagination.

\r\n", "\r\n", "\r\n", "

Ordered Commutative Rings

\r\n", "\r\n", "
\r\n", "The integers, the rational numbers, and the real numbers all have one property that most rings do not have—these three rings have an ordering. That is, \r\n", "given two different elements in the ring, we say that one of them is greater than the other. Most rings do not have such an ordering, but we will find that some rings \r\n", "can be ordered in more than one way! The ordering of a ring can give us new insight into the structure of the ring.

\r\n", "\r\n", "We begin by making a formal definition of an ordered ring R. If there is a way to tell whether one element is greater than another, we should be able to \r\n", "distinquish those elements that are greater than zero, called the positive elements P. The main properties of positive numbers that we want to mimic \r\n", "is that the sum and product of two positive numbers yields positive numbers. Thus we have the following definition.

\r\n", "\r\n", "DEFINITION 11.9
\r\n", "A commutative ring R is ordered if there exists a set P such that the three properties hold:

\r\n", "\r\n", "1) P is closed under addition.

\r\n", "\r\n", "2) P is closed under multiplication.

\r\n", "\r\n", "3) For each x in R, one and only one of the following statements is true:\r\n", "

x ∈ P, x = 0, or −x ∈ P.

\r\n", "The third property is sometimes called the law of trichotomy. With this law, we can define what it means for one element to be greater than another.

\r\n", "\r\n", "DEFINITION 11.10
\r\n", "We say that x is greater than y, denoted x > y, if x − y ∈ P.\r\n", "Likewise, we say that x is smaller than y, denoted x < y, if y − x ∈ P.

\r\n", "\r\n", "By the law of trichotomy, either\r\n", "

x > y, x < y, or x = y.

\r\n", "This notation keeps us from having to constantly refer to the set P. Instead of writing x ∈ P, we can merely \r\n", "write x > 0.

\r\n", "\r\n", "We begin by proving some simple properties of the "greater than" sign.\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 11.7
\r\n", "If x, y, and z are elements in an ordered ring, then we have the following three properties:

\r\n", "\r\n", "1) If x > y, then x + z > y + z.

\r\n", "\r\n", "2) If x > y and z > 0, then x·z > y·z.

\r\n", "\r\n", "3) If x > y and y > z, then x > z.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "Given a ring that has an ordering, one of the great challenges is determining the set of positive elements P. Are there any elements of an ordered ring that we \r\n", "know must be in P? Yes, there are at least some elements given by the next proposition.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.8
\r\n", "For any nonzero element x in an ordered ring, x² is in P.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "An immediate consequence of this is that if the ring has an identity e, then e > 0, since e = e². We can prove even \r\n", "more.\r\n", "\r\n", "

\r\n", "\r\n", "COROLLARY 11.2
\r\n", "If R is an ordered ring with multiplicative identity 1, and n is any positive integer, then n·1 is in P. In particular, \r\n", "the characteristic of R must be 0.

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "The standard examples of ordered rings are the integers, the rationals, and the real numbers. It should be noted that the complex numbers do not form an \r\n", "ordered ring, since i² = −1 < 0, and by Proposition 11.8, any square must be positive.

\r\n", "\r\n", "EXAMPLE
\r\n", "Consider the set\r\n", "

S = {x + y√2 | x, y ∈ ℤ}.

\r\n", "We saw in §10.1 that this is a subring of ℝ. We will call this ring ℤ[√2], the ring formed by ajoining the square root of 2 to ℤ. Find a non-standard ordering on this ring.

\r\n", "\r\n", "We can verify that the product of two elements of S,
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"x1 x2 y1 y2\")\r\n", "expand( (x1 + y1*sqrt(2))*(x2 + y2*sqrt(2)) )" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "yields a number of the same form. By propostion 0.5, this ring has no zero divisors, so this is an integral domain.

\r\n", "\r\n", "Since all elements of ℤ[√2] are real, we could use the standard ordering, letting P consist of all \r\n", "numbers that, when viewed as a real number, are positive. But we could order these numbers in a non-standard way! By Corollary 11.2, the positive integers must be \r\n", "in P, but there is no way of proving that the square root of 2 is in P. (There is no number \r\n", "in ℤ[√2] whose square is √2.) Thus, there is nothing \r\n", "preventing us from stating that √2 is negative, and \r\n", "therefore −√2 would be in P! The rest of the elements would be identified as either positive or \r\n", "negative accordingly.

\r\n", "\r\n", "For example, 1 + √2 would be negative, since\r\n", "

(1 + √2)·(1 − \r\n", "√2) = −1 < 0,

\r\n", "and 1 − √2 is the sum of two positive numbers, so this term is positive.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "If √2 < 0, is 3 + 2√2 positive or negative?
\r\n", "(Hint: multiply by the "conjugate" as we did in the last example.)
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "To see what is really going on in this example, it is helpful to look at the ring automorphisms, which were introduced in the last section.The automorphism of \r\n", "particular interest is as follows:\r\n", "

ƒ : ℤ[√2] → \r\n", "ℤ[√2],

\r\n", "

ƒ(x + y√2) = \r\n", "x − y√2.

\r\n", "This automorphism can be defined in Sage. Since Sage already knows that sqrt(2) · sqrt(2) = 2, we do not need to tell Sage anything to define the ring ℤ[√2]!

\r\n", "\r\n", "We now can define the homomorphism. Since this is a field homomorphism on an infinite set of objects, the format is slightly different.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(0)\r\n", "F = FieldHomo()\r\n", "HomoDef(F, sqrt(2), -sqrt(2))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We do not have to indicate the domain and \r\n", "target, since the domain will be the currently defined field, which in this case is a subset of the real numbers. \r\n", "The command InitDomain(0) merely clears out any previous fields that have been defined, such as \r\n", "the \"complex numbers modulo 3\".

\r\n", "\r\n", "Since F(1) must be 1, this is all we \r\n", "need to define the homomorphism. We can check that this is a homomophism with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "CheckHomo(F)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can try this homomorphism out on different numbers.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "F(2 + 3*sqrt(2))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "\r\n", "What is the relationship between this homomorphism and the unusual ordering that we gave the ring ℤ[√2]? If we \r\n", "let P denote the set of positive elements using the "standard" ordering, and let P′ be the set of \r\n", "positive elements under the unusual ordering we saw above, then\r\n", "

P′ = ƒ(P).

\r\n", "In fact, for any automorphism ϕ on an ordered ring, we can construct an alternative way to order the ring by \r\n", "using ϕ(P) instead of P for the set of positive elements.

While we are working with the integral \r\n", "domain ℤ[√2] we might mention what happens if we consider the field of quotients of this ring. Certainly this \r\n", "must include all numbers of the form\r\n", "

x + y√2, x, y ∈ ℚ

\r\n", "But are there other elements? We need to check that all non-zero elements of this form have a multiplicative \r\n", "inverse. For example, is
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "1/(1 + sqrt(2) )" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "of this form? The Together command will also rationalize the denominator, so we find that
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Together(1/(1 + sqrt(2)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "produces a number of the correct form. In fact, by defining two variables a and b, we can find how to take the inverse \r\n", "of a + b√2, by multiplying by a − \r\n", "b√2.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"a b\")\r\n", "expand((a + b*sqrt(2))*(a - b*sqrt(2)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Since this will be rational whenever a and b are rational, we see that\r\n", "\r\n", "

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

1	=	a − b√2	.
a + b√2	a² − 2b²

\r\n", "
\r\n", "By Proposition 0.5, the donominator will not be zero for rational a and b, so this is a field.\r\n", "We will call this field ℚ[√2].

\r\n", "\r\n", "Now that ℚ[√2] is defined in Sage, the automorphism ƒ extends to an automorphism on the \r\n", "field ℚ[√2]. Thus, the unusual ordering that we gave \r\n", "to ℤ[√2] should also extend to the field of quotients. In fact this generally happens, as seen in the \r\n", "next proposition.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 11.9
\r\n", "\r\n", "Let R be an ordered integral domain, with P the set of positive elements. Then if Q is the field of quotients on R, then the \r\n", "ordering on R can be extended in a unique way to an ordering on Q. That is, there is a unique set P ′ that forms an ordering on \r\n", "Q, with\r\n", "

p ∈ \r\n", "P ⟹ (^p⁄₁) ∈ \r\n", "P ′

\r\n", "\r\n", "Click here for the proof.\r\n", "\r\n", "

\r\n", "EXAMPLE:
\r\n", "What if we had considered ℤ[∛2] instead of ℤ[√2]? We \r\n", "can write ∛2 as 2^(1/3) in Sage, and try the Together command to see what \r\n", "happens.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Together(1/(1 + 2^(1/3)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage was able to rationalize the denominator, but the result involved 2^(2/3). No wonder, since\r\n", "

2^(1/3)·2^(1/3) = 2^(2/3),

\r\n", "which yields a term we didn't consider. Thus, we have to include all numbers of the form\r\n", "

x + y ∛2 + \r\n", "z ∛4 ∈ ℤ[∛2].

\r\n", "In Sage, we would enter this as:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"x y z\")\r\n", "x + y*2^(1/3) + z*2^(2/3)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can check if such expressions are now closed under multiplication:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"x1 x2 y1 y2 z1 z2\")\r\n", "expand( (x1 + y1*2^(1/3) + z1*2^(2/3))*(x2 + y2*2^(1/3) + z2*2^(2/3)) )" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This is a mess, but it is clear that the product is in ℤ[∛2]. Let us see if we can take inverses.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Together(1/(1 + 2^(1/3) - 3*2^(2/3)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "It seems like we can take inverses, but it is harder to prove that we can always rationalize the donominator. Notice that
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"a b c\")\r\n", "expand((a + b*2^(1/3) + c*2^(2/3))*(a^2 - 2*b*c + (2*c^2 - a*b)*2^(1/3) + (b^2 - a*c)*2^(2/3)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "will produce a rational number. Thus,\r\n", "

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

1	=	a² − 2 b c + (2 c² − a b)∛2 + \r\n", " (b² − a c)∛4	.
a + b∛2 + c∛4	a³ + 2 b³ + 4 c³ − \r\n", " 6 a b c

\r\n", "
\r\n", "It takes a bit more work to show that the denominator will never be zero when a, b, and c are rational (see Problem 15.) Once this has been proven, we see that ℚ[∛2] is a field.\r\n", "\r\n", "

\r\n", "Does this field have an unusual ordering, as the field ℚ[√2] did? Note that in this field, \r\n", "

2 ∛2 = (∛4)² > 0.

\r\n", "So by Proposition 11.8, the cube root of 2 must be positive. Likewise, 2^(2/3) must be positive, since it is a perfect square. It seems that there is \r\n", "little chance for finding an unusual ordering for this field. To eliminate this chance altogether, note that\r\n", "

(4 ∛2 − 5)(16 ∛4 + \r\n", "20 ∛2 + 25) = 128 − 125 = 3 > 0.

\r\n", "Hence, we have that 4 ∛2 − 5 must be positive, even though numerically it is very close to 0.

\r\n", "\r\n", "The reason there is only one way to order this field stems from the fact that there is only one automorphism on this field—the trivial one. For \r\n", "if ƒ is an automorphism of ℚ[∛2], then \r\n", "ƒ(∛2) must be a number whose cube is 2. But there is only one such real number, and all \r\n", "elements in this field are real. Thus,\r\n", "

ƒ(∛2) = ∛2,

\r\n", "and therefore ƒ(x) = x for all x in the field.

\r\n", "\r\n", "EXAMPLE:
\r\n", "Consider the set\r\n", "

S = {x + y cos(^π⁄₉) + z cos(^2π⁄₉) | \r\n", "x, y, z ∈ ℚ}.

\r\n", "Find several possible ways of defining an ordering on this field.

\r\n", "\r\n", "To multiply two such numbers together, we need to use some trigometric identities:\r\n", "

cos²(x) = ¹⁄₂( 1 + cos(2x) ),

\r\n", "

cos(x)·cos(y) = \r\n", "¹⁄₂( cos(x + y) + cos(x − y) ), and

\r\n", "

cos(^4π⁄₉) = \r\n", "cos(^π⁄₉) − \r\n", "cos(^2π⁄₉).

\r\n", "\r\n", "EXPERIMENT:
\r\n", "Can you derive the last trig identity from the other two?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage is already familiar with these trignometric identities. In fact, the command TrigReduce will utilize the above identities to simplify \r\n", "a trigonomic expression. Thus, we can see that the product of two elements of S as follows:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"x1 x2 y1 y2 z1 z2\")\r\n", "TrigReduce( (x1 + y1*cos(pi/9) + z1*cos(2*pi/9) )*(x2 + y2*cos(pi/9) + z2*cos(2*pi/9) ) )" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "As messy as this is, one can see that it is an element of S, so S is closed under multiplication. In fact, the set S is a field, but it is very \r\n", "difficult to show this.

\r\n", "\r\n", "Since the elements of this field are all real there is a natural ordering of the elements of S. Are there other ways to order this field? We want to look \r\n", "for automorphisms on the field S. But consider the following:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(0)\r\n", "F = FieldHomo()" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "HomoDef(F, cos(pi/9), - cos(2*pi/9) )\r\n", "HomoDef(F, cos(2*pi/9), cos(pi/9) - cos(2*pi/9) )" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Is this an automorphism? Let's check.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "CheckHomo(F)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Apparently it is! Furthermore, we could consider the homomorphism ƒ ²(x) = ƒ(ƒ(x)):
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "F(F(cos(pi/9)))" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "F(F(cos(2*pi/9)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This shows that ƒ ² is even another automorphism on S.

\r\n", "\r\n", "EXPERIMENT:
\r\n", "If we considered the automorphism ƒ ³(x) = ƒ(ƒ(ƒ(x))), would we get yet \r\n", "another automorphism?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Are there any automorphisms on the field S besides these? We can show that there are not. We will take advantage of the trig identity\r\n", "

cos(3 x) = 4 cos³x − 3 cos x

\r\n", "from which we get\r\n", "

¹⁄₂ = cos(^3π⁄₉) = 4 cos³(^π⁄₉) − 3 cos(^π⁄₉).

\r\n", "Thus, cos(^π⁄₉) satisfies the polynomial equation\r\n", "

4 x³ − 3 x = ¹⁄₂.

\r\n", "Because ƒ is an automorphism, we have to have ƒ(cos(^π⁄₉) ) satisfying the same polynomial equation. But there are \r\n", "only three roots to a cubic equation, and so there are only three possible values for ƒ(cos(^π⁄₉) ). Each of these three solutions produces a \r\n", "unique automorphism on S, since\r\n", "

ƒ(cos(^2π⁄₉) ) = ƒ(2 cos²(^π⁄₉) − 1) = \r\n", "2 ƒ(cos(^2π⁄₉) )² − 1.

\r\n", "By Lemma 11.5, we see that the group of automorphisms of this ring must be isomorphic to Z₃. \r\n", "In fact, we can compute
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "F(F(F(cos(pi/9))))" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "F(F(F(cos(2*pi/9))))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "and see that ƒ(ƒ(ƒ(x))) = x for all x.\r\n", "\r\n", "The three automorphisms give us three ways to define \r\n", "an ordering on the field S:

\r\n", "\r\n", "1) a >₁ b if a is larger than b as real numbers.

\r\n", "\r\n", "2) a >₂ b if ƒ(a) >₁ ƒ(b).

\r\n", "\r\n", "3) a >₃ b if ƒ(ƒ(a)) >₁ ƒ(ƒ(b)).

\r\n", "\r\n", "EXPERIMENT:
\r\n", "Comsider the numbers
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "A = 1 - 2*cos(pi/9); A" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "B = 1 + 3*cos(2*pi/9); B" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Are these numbers positive or negative in the three ordering systems? Can you find a irrational number in S which is positive regardless of which ordering \r\n", "is used?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can actually use the automorphisms to prove that S is a field. If we let\r\n", "
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var(\"a b c\")\r\n", "x = a + b*cos(pi/9) + c*cos(2*pi/9); x" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we can consider what happens if we multiply the three automorphisms together.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "TrigReduce(x*F(x)*F(F(x)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We discover that this product will be a rational number! See Problem 17 for an explanation. With this, we can see that

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

1	=	8 \r\n", "ƒ(x)·ƒ(ƒ(x))	.
x	8a³ − 6ab² + b³ − 6abc + \r\n", "6b²c − 6ac² + 3bc² − c³

\r\n", "
\r\n", "Since we can compute
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "TrigReduce(8*F(x)*F(F(x)))" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we find that

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

1	=	(8a² − 2b² − \r\n", "2bc − 2c²) + (8ab + 8bc + 4c²) cos(π/9) + \r\n", "(4b² − 8ac − 4 c²) cos(2π/9)	.
x	8a³ − 6ab² + b³ − 6abc + \r\n", "6b²c − 6ac² + 3bc² − c³

\r\n", "
\r\n", "\r\n", "We have seen that some fields may have many ways of assigning an order to the elements, while others have only 1. The key \r\n", "is the number of ring automorphisms. These ring automorphisms will play a major role in the following chapters.\r\n", "\r\n", "\r\n", "

\r\n", "\r\n", "

Proofs:

\r\n", "\r\n", "\r\n", "\r\n", "Proof of Lemma 11.1:

\r\n", "\r\n", "Let A be a polynomial of degree m,\r\n", "

A = a₀ + a₁ x + a₂ x² + \r\n", "a₃ x³ + ⋯ + a_m x^m

\r\n", "and B be a polynomial of degree n,\r\n", "

B = b₀ + b₁ x + b₂ x² + \r\n", "b₃ x³ + ⋯ + b_n xⁿ.

\r\n", "Here, a_m and b_n are nonzero elements of K. The product is determined by\r\n", "

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

	∞	∞
A·B =	∑	∑	a_i·b_j x^i+j.
	i=0	j=0

\r\n", "
\r\n", "Note that a_i and b_j are zero for i > m and j > n. \r\n", "If i + j > m + n, either i > m or j > n, and in either \r\n", "case a_i·b_j = 0. Thus, there are no nonzero terms in A·B with coefficients larger \r\n", "than m + n.

\r\n", "\r\n", "However, if i + j = m + n, the only nonzero term would be the one coming from i = m and j = n, \r\n", "giving\r\n", "

a_m·b_n x^m+n.

\r\n", "Since there are no zero divisors in K, a_m·b_n is nonzero, so A·B is a polynomial of \r\n", "degree m + n.

\r\n", "\r\n", "Next we turn our attention to A + B. We may assume without loss of generality that m is no more than n. Then the sum of A \r\n", "and B can be expressed as\r\n", "

(a₀ + b₀) + (a₁ + b₁) x + \r\n", "(a₂ + b₂) x² + ⋯ + (a_m + b_m) x^m + \r\n", "b_m+1 x^m+1 + ⋯ + b_n xⁿ.

\r\n", "If m < n, this clearly is a polynomial with degree n. Even if m = n, this still gives a polynomial whose degree cannot \r\n", "be more than n.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Proposition 11.1:

\r\n", " \r\n", "We have seen that K[x] is closed under addition and multiplication. By the commutativity of K, addition and multiplication are \r\n", "obviously commutative. It is also clear that the zero polynomial acts as the additive identity in K[x]. Also, the additive inverse of \r\n", "

A = a₀ + a₁ x + a₂ x² + \r\n", "a₃ x³ + ⋯

\r\n", "is given by\r\n", "

−A = (−a₀) + (−a₁) x + \r\n", "(−a₂) x² + (−a₃) x³ + ⋯

\r\n", "since the sum of these two polynomials is\r\n", "

A + (−A) = 0 + 0 x + 0 x² + 0 x³ + ⋯ = 0.

\r\n", "
\r\n", "The polynomial with b₀ = 1, and b_j = 0 for all positive j,\r\n", "

I = 1 + 0 x + 0 x² + 0 x³ + ⋯,

\r\n", "acts as the multiplicative identity, since\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

	∞	∞		∞
I·A = A·I =	∑	∑	a_i·b_j x^i+j =	∑	a_i· 1 xⁱ = A.
	i=0	j=0		i=0

\r\n", "
\r\n", "To check associativity of addition and multiplication, we need three polynomials\r\n", "

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

A = a₀ + a₁ x + a₂ x² + \r\n", "a₃ x³ + ⋯,

B = b₀ + b₁ x + b₂ x² + \r\n", "b₃ x³ + ⋯, and

C = c₀ + c₁ x + c₂ x² + \r\n", "c₃ x³ + ⋯.

\r\n", "\r\n", "Then\r\n", "

(A + B) + C = (a₀ + b₀) + c₀ + \r\n", "((a₁ + b₁) + c₁) x + \r\n", "((a₂ + b₂) + c₂) x² + ⋯
=\r\n", "a₀ + (b₀ + c₀) + \r\n", "(a₁ + (b₁ + c₁)) x + \r\n", "(a₂ + (b₂ + c₂)) x² + ⋯ = A + (B + C).

\r\n", "Also,\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

⎛

∞

⎞

∞

A·(B·C) = A·

⎜

∑

b_j·c_k x^j+k

⎟

∑

a_i·(b_j·c_k) x^i+j+k =

∑

(a_i·b_j)·c_k x^i+j+k = (A·B)·C.

⎜

⎟

⎜

⎟

⎝

j=0

k=0

⎠

i=0

j=0

k=0

i=0

j=0

k=0

\r\n", "\r\n", "
\r\n", "The two distributive laws are also easy to verify using the summation notation.\r\n", "

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

	⎛	∞		⎞		∞	∞		∞	∞
A·(B + C) = A·	⎜	∑	(b_j + c_j) x^j	⎟	=	∑	∑	a_i·(b_j + c_j) x^i+j = \r\n", "	∑	∑	(a_i·b_j + a_i·c_j) x^i+j
⎜	⎟
⎜	⎟
	⎝	j=0		⎠		i=0	j=0		i=0	j=0

\r\n", "\r\n", " \r\n", "\t\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "\t \r\n", "\t\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \t \r\n", " \r\n", "

	∞	∞		∞	∞
=	∑	∑	a_i·b_j x^i+j +	∑	∑	a_i·c_j x^i+j= A·B + A·C.
	i=0	j=0		i=0	j=0

\r\n", "\r\n", "
\r\n", "We can use the fact that multiplication is commutative to show that (A + B)·C = \r\n", "A·C + B·C. Thus, K[x] is a commutative ring with identity.

\r\n", "\r\n", "Next, let us show that K[x] has no zero divisors. Suppose that A·B = 0, with both A and B being nonzero \r\n", "polynomials. Say that A has degree m and B has degree n. Then by Lemma 11.1 A·B has \r\n", "degree m + n, which is impossible if either m or n were positive. But if A and B are constant polynomials, \r\n", "then a₀·b₀ = 0, which would indicate that either a₀ or b₀ is 0, since K \r\n", "has no zero divisors. Thus, either A or B would have to be 0, so we have that K[x] has no zero divisors.

\r\n", "\r\n", "Finally, let us show that K[x] is not a field by showing that the polynomial (1 + x) is not invertible. Suppose that there was a \r\n", "polynomial A such that A·(1 + x) = 1. Then A is not 0, so suppose A has degree m. Then by Lemma 11.1, we \r\n", "have m + 1 = 0, telling us m = −1, which is impossible. Thus, (1 + x) has no inverse in K[x], and therefore \r\n", "K[x] is an integral domain.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Proposition 11.2:

\r\n", " \r\n", "Suppose that n x = 0 for some nonzero x in R. Then for any other nonzero element y of R, \r\n", "

0 = (n x)·y = n (x·y) = \r\n", "x·(n y).

\r\n", "
But x is nonzero, and the ring has no zero-divisors, so we have n y = 0. This argument works in both ways, so\r\n", "

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

(*)

n x = 0 ⟺ n y = \r\n", "0 if x ≠ 0 and y ≠ 0.

\r\n", "
\r\n", "If n was not zero, then |n| would be a positive number such that n x = 0 for all x in the ring. Hence, if the ring \r\n", "has characteristic 0, then n x = 0 implies that either x = 0 or n = 0.

\r\n", " \r\n", "Now suppose that the ring has positive characteristic, and let x be any nonzero element of R. Let p be the smallest positive integer for \r\n", "which p x = 0. If p is not prime, then p a·b, with 0 < a < p and \r\n", "0 < b < p. But then\r\n", "

\r\n", "

(a x)·(b x) = (a b)·(x²) = \r\n", "(p x)·x = 0·x = 0.

\r\n", "Since the ring has no zero divisors, either a x = 0 or b x = 0. But this contradicts the fact that p was \r\n", "the smallest number such that p x = 0. Thus, p is prime. By (*) we have that p y = 0 \r\n", "for every element in R, and since this cannot be true for any smaller integer, we have that the characteristic of the ring is the \r\n", "prime number p.

\r\n", "\r\n", "It is easy to see that if n is a multiple of p, then n = c p for some integer c. Thus, for any element \r\n", "x in R,\r\n", "

n x = (c p)·x = c·(p x) = \r\n", "c·0 = 0.

\r\n", "Suppose that n x = 0 for some n that is not a multiple of p. Then gcd(n, p) must be 1, and so by the \r\n", "greatest common divisor theorem (0.4), there are integers u and v such that u n + v p = 1. But then\r\n", "

x = 1 x = (u n + v p) x = \r\n", "u (n x) + v (p x) = u·0 + v·0 = 0.

\r\n", "So for nonzero x, n x = 0 if, and only if, n is a multiple of p.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Lemma 11.2:

\r\n", "\r\n", "We need to show that the relation is reflexive, symmetric, and transitive. Let (x ,y), (u, v), and (s, t) be \r\n", "arbitrary elements of P.

\r\n", "\r\n", "Reflexive:\r\n", "

(x, y) ≡ (x, y)

\r\n", "is equivalent to saying x·y = x·y, which is, of course, true. So this relation is reflexive.

\r\n", "\r\n", "Symmetric:\r\n", "

(x, y) ≡ (u, v) ⟹ x·v = \r\n", "y·u ⟹ u·y = v·x ⟹ (u, v) ≡ \r\n", "(x, y),

\r\n", "so this relation is also symmetric.

\r\n", "\r\n", "Transitive:
\r\n", "If (x, y) ≡ (u, v) and (u, v) ≡ (s, t), then\r\n", "

(x, y) ≡ (u, v) ⟹ x·v = \r\n", "y·u ⟹ x·v·t = y·u·t,
\r\n", "(u, v) ≡ (s, t) ⟹ u·t = \r\n", "v·s ⟹ u·t·y = v·s·y.

\r\n", "These two statements imply that x·v·t = v·s·y. Notice that in the last step we had to \r\n", "use the commutativity of multiplication. Using commutativity again, we \r\n", "have x·t·v = y·s·v, and since K has no zero divisors and v is nonzero, \r\n", "we can use Lemma 9.4 to say that x·t = y·s. Then\r\n", "

x·t = y·s ⟹ (x, y) ≡ (s, t),

\r\n", "so we have the transitive law holding. Therefore, this relation is an equivalence relation.

\r\n", "\r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Lemma 11.3:

\r\n", " \r\n", "The first observation we need to make is that the formulas for the sum and product both form valid elements of Q, since y·v \r\n", "is nonzero as long as y and v are both nonzero.

\r\n", "\r\n", "Next let us work to show that addition does not depend on the choice of representative elements (x, y) and (u, v). That is, if \r\n", "(^x⁄_y) = \r\n", "(^a⁄_b), and\r\n", "(^u⁄_v) = \r\n", "(^c⁄_d),\r\n", "we need to show that \r\n", "

(^x⁄_y) + \r\n", "(^u⁄_v) = \r\n", "(^a⁄_b) +\r\n", "(^c⁄_d).

\r\n", "That is, we have to prove that \r\n", "

(^{x·v + \r\n",
"u·y}⁄_y·v) = \r\n", "(^{a·d + c·b}⁄_b·d).

\r\n", "Since \r\n", "(^x⁄_y) = \r\n", "(^a⁄_b), and\r\n", "(^u⁄_v) = \r\n", "(^c⁄_d),\r\n", "we have x·b = a·y and u·d = c·v. Multiplying the first equation \r\n", "by v·d and the second by y·b, we get\r\n", "

x·b·v·d = \r\n", "a·y·v·d and u·d·y·b = \r\n", "c·v·y·b.

\r\n", "Adding these two equations together and factoring, we get\r\n", "

(x·v + u·y)·b·d = \r\n", "(a·d + c·b)·y·v.

\r\n", "
This gives us\r\n", "

(^{x·v + \r\n",
"u·y}⁄_y·v) = \r\n", "(^{a·d + c·b}⁄_b·d),

\r\n", "which is what we wanted.

\r\n", "\r\n", "We also need to show that multiplication is well defined, that is\r\n", "

(^x⁄_y)·(^u⁄_v) = \r\n", "(^a⁄_b)·(^c⁄_d).

\r\n", "But since x·b = a·y and u·d = c·v, we can multiply these two \r\n", "equations together to get\r\n", "

x·b·u·d = a·y·c·v,

\r\n", "or\r\n", "

(x·u)·(b·d) = \r\n", "(a·c)·(y·v).

\r\n", "Therefore,\r\n", "

(^x·u⁄_y·v) = (^a·c⁄_b·d).

\r\n", "so multiplication also is well defined.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Theorem 11.1:

\r\n", " \r\n", "We have already noted that addition and multiplication are closed in Q. We next want to look at the properties of addition. From the definition,\r\n", "

(^x⁄_y) + \r\n", "(^u⁄_v) = (^{x·v + u·y}⁄_y·v) = \r\n", "(^u⁄_v) + \r\n", "(^x⁄_y),

\r\n", "we see that addition is commutative. Let z be any nonzero element of K. Then \r\n", "(⁰⁄_z)\r\n", "acts as the additive identity:\r\n", "

(^u⁄_v) + \r\n", "(⁰⁄_z) = \r\n", "(⁰⁄_z) + \r\n", "(^u⁄_v) = \r\n", "(^{0·v + u·z}⁄_z·v) = \r\n", "(^u·z⁄_v·z) =\r\n", "(^u⁄_v).

\r\n", "Likewise, (^−u⁄_v) is the additive inverse of \r\n", "(^u⁄_v):\r\n", "

(^u⁄_v) + \r\n", "(^−u⁄_v) = \r\n", "(^−u⁄_v) + \r\n", "(^u⁄_v) = (^{−u·v + \r\n",
"u·v}⁄_v·v) = \r\n", "(⁰⁄_v·v) =\r\n", "(⁰⁄_z).

\r\n", "The associativity of addition is straightforward:\r\n", "

((^x⁄_y) + (^u⁄_v)) + (^a⁄_b) = (^{x·v + \r\n",
"u·y}⁄_y·v) +\r\n", "(^a⁄_b) = \r\n", "(^{x·v·b + \r\n",
"u·y·b + \r\n",
"a·y·v}⁄_y·v·b),

\r\n", "while\r\n", "

(^x⁄_y) + ((^u⁄_v) + (^a⁄_b)) = (^x⁄_y) + (^{u·b + \r\n",
"a·v}⁄_v·b) = \r\n", "(^{x·v·b + \r\n",
"u·b·y + \r\n",
"a·v·y}⁄_y·v·b).

\r\n", "So Q forms a group with respect to addition.

\r\n", "\r\n", "Next we look at the properties of multiplication. Multiplication is obviously commutative, since\r\n", "

(^x⁄_y)·\r\n", "(^u⁄_v) = \r\n", "(^x·u⁄_y·v) = \r\n", "(^u·x⁄_v·y) = \r\n", "(^u⁄_v)·\r\n", "(^x⁄_y).

\r\n", "We also have associativity for multiplication:\r\n", "

((^x⁄_y)·(^u⁄_v))·(^a⁄_b) = (^x·u⁄_y·v)·(^a⁄_b) = \r\n", "(^x·u·a⁄_y·v·b) = (^x⁄_y)·(^u·a⁄_v·b) = (^x⁄_y)·((^u⁄_v)·(^a⁄_b)).

\r\n", "The element (^z⁄_z) acts as the multiplicative \r\n", "identity for any z ≠ 0.\r\n", "

(^z⁄_z)·\r\n", "(^x⁄_y) = (^x⁄_y)·\r\n", "(^z⁄_z) = (^x·z⁄_y·z) = \r\n", "(^x⁄_y).

\r\n", "If x = 0, then (^x⁄_y) = \r\n", "(⁰⁄_z). Otherwise, the multiplicative inverse \r\n", "of (^x⁄_y) \r\n", "is (^y⁄_x), since\r\n", "

(^x⁄_y)·\r\n", "(^y⁄_x) = \r\n", "(^x·y⁄_y·x) = (^z⁄_z).

\r\n", "Thus, every nonzero element of Q has a multiplicative inverse. Finally, we have to prove the two distribution laws. Because of the commutativity of \r\n", "multiplication, we only need to check one. Since\r\n", "

((^u⁄_v) + (^a⁄_b))·(^x⁄_y) = (^{u·b + \r\n",
"a·v}⁄_v·b)·(^x⁄_y) = (^{u·b·x + \r\n",
"a·v·x}⁄_v·b·y).

\r\n", "while\r\n", "

(^u⁄_v)·(^x⁄_y) + (^a⁄_b)·(^x⁄_y) = (^u·x⁄_v·y) + (^a·x⁄_b·y) = (^{u·x·b·y + \r\n",
"a·x·v·y}⁄_v·y·b·y) = (^{u·x·b + \r\n",
"a·x·v}⁄_v·b·y),

\r\n", "we have the distributive laws holding, and therefore Q is a field.

\r\n", "\r\n", "Return to text\r\n", "\r\n", "

\r\n", "\r\n", "\r\n", "\r\n", "Proof of Proposition 11.3:

\r\n", "\r\n", "Because the real numbers are closed with respect to both addition and multiplication, it is clear that both (a + c, b + d) and \r\n", "(a·c − b·d, a·d + b·c) would be defined for all real \r\n", "numbers a, b, c, and d. Thus, ℂ is closed with respect to both addition and multiplication. Furthermore, since\r\n", "

(c, d) + (a, b) = (c + a, d + b) = \r\n", "(a + c, b + d) = (a, b) + (c, d)

\r\n", "and\r\n", "

(c, d)·(a ,b) = (c·a − \r\n", "d·b, c·b + d·a) = (a·c − \r\n", "b·d, a·d + b·c) = (a, b)·(c, d),

\r\n", "we see that both addition and multiplication are commutative. The element (0, 0) acts as the zero element, since\r\n", "

(0, 0) + (a, b) = (a, b).

\r\n", "The addition inverse of (a, b) is (−a, −b), since\r\n", "

(a, b) + (−a, −b) = (0, 0).

\r\n", "Note that the order on the last two sums is irrelevant, since addition has already been shown to be commutative.

\r\n", "\r\n", "To show that addition is associative, we note that\r\n", "

(a, b) + [ (c, d) + (e, f) ] = (a, b) + \r\n", "(c + e, d + f) = (a + c + e, b + d + f) = \r\n", "(a + c, b + d) + (e, f) = [ (a, b) + (c, d) ] + (e, f).

\r\n", "To show that multiplication is associative is a little more complicated. We have\r\n", "

(a, b)·[ (c, d)·(e, f) ] = \r\n", "(a, b)·(c·e − d·f, c·f + d·e) = \r\n", "(a·c·e − a·d·f − b·c·f − \r\n", "b·d·e, a·c·f + a·d·e + \r\n", "b·c·e − b·d·f),

\r\n", "and \r\n", "

[ (a, b)·(c, d) ]·(e, f) = \r\n", "(a·c − b·d, a·d + b·c)·(e, f) =\r\n", "(a·c·e − b·d·e − a·d·f − \r\n", "b·c·f, a·c·f − b·d·f + \r\n", "a·d·e + b·c·e).

\r\n", "By comparing these two, we see that they are equal, so multiplication is associative.

\r\n", "\r\n", "We need to test the distributive laws next. The left distributive law we can get by expanding:\r\n", "

(a, b)·[ (c, d) + (e, f) ] = \r\n", "(a, b)·(c + e, d + f) = (a·c + a·e − \r\n", "b·d − b·f, a·d + a·f + b·c + \r\n", "b·e)
= (a·c − b·d, a·d + b·c) + \r\n", "(a·e − b·f, a·f + b·e) = \r\n", "(a, b)·(c, d) + (a, b)·(e, f).

\r\n", "Thus, the left distributive law is satisfied. However, the right distributive law follows from the left distributive law, and using the commutative multiplication:\r\n", "

[ (a, b) + (c, d) ]·(e, f) = \r\n", "(e, f)·[ (a, b) + (c, d) ] = \r\n", "(e, f)·(a, b) + (e, f)·(c, d) = \r\n", "(a, b)·(e, f) + (c, d)·(e, f).

\r\n", "We have now shown that the set ℂ forms a commutative ring. To show that this ring has a multiplicative identity, we consider the element (1, 0). Since the ring \r\n", "is commutative, we only need to check\r\n", "

(1, 0)·(a, b) = (1·a − 0·b, 1·b + 0·a) = \r\n", "(a, b).

\r\n", "Finally, we need to show that every nonzero element has an inverse. If (a, b) is nonzero, \r\n", "then a² + b² will be a positive number. Hence\r\n", "

\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

⎛	a	,	−b	⎞
⎝	a² + b²	a² + b²	⎠

\r\n", "is an element of ℂ. The product\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

(a, b)·

⎛

−b

⎞

⎛

a² + b²

−a·b + a·b

⎞

= (1, 0)

⎝

a² + b²

⎠

⎝

a² + b²

⎠

\r\n", "verifies that\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

(a, b)^-1 =	⎛	a	,	−b	⎞
⎝	a² + b²	a² + b²	⎠

\r\n", "
\r\n", "since multiplication is commutative. Therefore, the set ℂ forms a field.

\r\n", "\r\n", "The second part of this proposition is to show that ℂ contains a copy of the real numbers as a subfield. Consider the mapping ƒ, which maps real \r\n", "numbers to ℂ, given by\r\n", "

ƒ(x) = (x, 0).

\r\n", "To check that ƒ is a homomorphism, we check that\r\n", "

ƒ(x) + ƒ(y) = (x, 0) + (y, 0) = (x + y, 0) = \r\n", "ƒ(x + y)

\r\n", "and\r\n", "

ƒ(x)·ƒ(y) = (x, 0)·(y, 0) = \r\n", "(x·y + 0, 0 + 0) = (x·y, 0) = ƒ(x·y).

\r\n", "Thus, ƒ is a homomorphism from the reals to ℂ. It is clear that ƒ is one-to-one, since (x, 0) = (y, 0) if, and only \r\n", "if, x = y. Thus the image of ƒ:\r\n", "

{ (x, 0) | x ∈ ℝ }

\r\n", "is isomorphic to the real numbers. Hence we have found a subring of ℂ isomorphic to ℝ.

\r\n", "\r\n", "Return to text\r\n", "\r\n", "

\r\n", "\r\n", "\r\n", "\r\n", "Proof of Lemma 11.4:

\r\n", "\r\n", "If (a, b) solves the equation x² = (−1, 0), we have that \r\n", "

(a, b)² = (a² − b², 2 a b) = (−1, 0).

\r\n", "Thus, a and b must satisfy the two equations\r\n", "

a² − b² = −1, and 2 a b = 0.

\r\n", "The second equation implies that either a or b must be 0. But if b = 0, then the first equation becomes \r\n", "a² = −1, which has no real solutions. Thus, a = 0, and −b² = −1. There are exactly two real solutions \r\n", "for b, ±1. Thus,\r\n", "

(0, 1) and (0, −1)

\r\n", "both solve the equations for a and b, and so \r\n", "

(0, 1)² = (0, −1)² = (−1, 0).

\r\n", "\r\n", "Return to text\r\n", "\r\n", "

\r\n", "\r\n", "\r\n", "\r\n", "Proof of Lemma 11.5:

\r\n", "\r\n", "We first note that if ƒ(x) is an automorphism of a ring R, then ƒ⁻¹(x) is well defined, since \r\n", "ƒ(x) is both one-to-one and onto. We see that\r\n", "

ƒ(ƒ⁻¹(x) + ƒ⁻¹(y)) = \r\n", "ƒ(ƒ⁻¹(x)) + ƒ(ƒ⁻¹(y)) = x + y,

\r\n", "so ƒ⁻¹(x + y) = ƒ⁻¹(x) + ƒ⁻¹(y). Also, \r\n", "

ƒ(ƒ⁻¹(x)·ƒ⁻¹(y)) = \r\n", "ƒ(ƒ⁻¹(x))·ƒ(ƒ⁻¹(y)) = x·y,

\r\n", "so ƒ⁻¹(x·y) = \r\n", "ƒ⁻¹(x)·ƒ⁻¹(y). Thus, \r\n", "ƒ⁻¹ is a ring homomorphism. Since ƒ was both one-to-one and onto, ƒ⁻¹ is \r\n", "both one-to-one and onto. \r\n", "Therefore, ƒ⁻¹ is a ring automorphism.

\r\n", "\r\n", "If ƒ and ϕ are two ring automorphisms, then \r\n", "

ƒ(ϕ(x + y)) = \r\n", "ƒ(ϕ(x) + ϕ(y)) = ƒ(ϕ(x)) + ƒ(ϕ(y)),

\r\n", "and\r\n", "

ƒ(ϕ(x·y)) = \r\n", "ƒ(ϕ(x)·ϕ(y)) = \r\n", "ƒ(ϕ(x))·ƒ(ϕ(y)).

\r\n", "The combination ƒ(ϕ(x)) is also one-to-one and onto, so this product, which we can denote ƒ·ϕ, \r\n", "is a ring automorphism. Since the set of all ring automorphisms is closed with respect to multiplication and inverses, and the set of all ring automorphisms is a \r\n", "subgroup of the set of all group automorphisms with respect to addition, we see that this set is a group.

\r\n", "\r\n", "Return to text\r\n", "\r\n", "

\r\n", "\r\n", "\r\n", "\r\n", "Proof of Proposition 11.4:

\r\n", "\r\n", "We check that\r\n", "

ϕ(a + b i) + ϕ(c + d i) = \r\n", "(a − b i) + (c − d i) = (a + c) − (b + d)i = \r\n", "ϕ((a + c) + (b + d)i) = ϕ((a + b i) + (c + d i)).

\r\n", "\r\n", "

ϕ(a + b i)·ϕ(c + d i) = \r\n", "(a − b i)·(c − d i) = \r\n", "(a·c − b·d) − (a·d + b·c)i =\r\n", "ϕ((a·c − b·d) + (a·d + b·c)i) =\r\n", "ϕ((a + b i)·(c + d i)).

\r\n", "\r\n", "Thus, ϕ is a homomorphism. Since a − b i = 0 if, and only if, a and b are both 0, the kernel of ϕ \r\n", "is just {0}, and so ϕ is one-to-one. Also, ϕ is onto, \r\n", "since ϕ(a − b i) = a + b i. \r\n", "Therefore, ϕ is an automorphism.

\r\n", "\r\n", "To show that there are exactly two such automorphisms, suppose that ƒ(x) is an automorphism of ℂ for which \r\n", "ƒ(x) = x for all real numbers x. Then\r\n", "

ƒ(i)² = ƒ(i²) = ƒ(−1) = −1,

\r\n", "so by Lemma 11.4, ƒ(i) = ±i. If ƒ(i) = i, then ƒ(x) = x for all \r\n", "x ∈ ℂ, and if ƒ(i) = −i, then ƒ(x) = ϕ(x) for all x.

\r\n", "\r\n", "Return to text\r\n", "\r\n", "

\r\n", "\r\n", "\r\n", "\r\n", "Proof of Proposition 11.5:

\r\n", "\r\n", "We have\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "


\|x·y\| =	√ x·y · x·y	=	√ x·y · x · \r\n", " y	=	√ x · x · y ·\r\n", " y	=	√ x · x	·	√ y · y	= \|x\|·\|y\|.

\r\n", "
\r\n", "Thus, |x·y| = |x|·|y|.

\r\n", "Return to text\r\n", "\r\n", "

\r\n", "\r\n", "\r\n", "\r\n", "Proof of Lemma 11.6:

\r\n", "\r\n", "We note that \r\n", "

z₁·z₂ = r₁( cos θ₁ + \r\n", "i sin θ₁)·r₂( cos θ₂ + i sin θ₂) =\r\n", "r₁·r₂( (cos θ₁·cos θ₂ − \r\n", "sin θ₁·sin θ₂) + i (cos θ₁·sin θ₂ + \r\n", "sin θ₁·cos θ₂) ).

\r\n", "Using the trigonometric identities, this simplifies to\r\n", "

z₁·z₂ = \r\n", "r₁·r₂( cos(θ₁ + θ₂) + \r\n", "i sin(θ₁ + θ₂) ).

\r\n", "\r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Theorem 11.2:

\r\n", " \r\n", "Let us first prove the theorem for positive values of n. For n = 1, the statement is obvious. Let us assume that the statement is true for the \r\n", "previous case. That is,\r\n", "

zⁿ⁻¹ = rⁿ⁻¹( cos((n − 1)θ) + \r\n", "i sin((n − 1)θ) ).

\r\n", "We want to prove that the theorem holds for n as well. Using Lemma 11.6, we have\r\n", "

zⁿ = zⁿ⁻¹·z = \r\n", "rⁿ⁻¹( cos((n − 1)θ) + \r\n", "i sin((n − 1)θ) )·[r( cos θ + i sin θ )] = \r\n", "rⁿ( cos((n − 1)θ + θ) + \r\n", "i sin((n − 1)θ + θ) ) = rⁿ( cos(n θ) + \r\n", "i sin(n θ) ).

\r\n", "Thus, the theorem is true for n if we assume it is true for n − 1, and hence by induction it is true whenever n is positive.

\r\n", "\r\n", "If z is nonzero, then letting n = 0 gives \r\n", "

r⁰(cos(0 θ) + i sin(0 θ) ) = \r\n", "1(1 + i·0) = 1 = z⁰.

\r\n", "So the theorem holds for n = 0. If z is nonzero, then r > 0, and so\r\n", "

[r⁻ⁿ( cos(−n θ) + \r\n", "i sin( cos(−n θ) )]·[rⁿ( cos(n θ) + i sin( cos(n θ) )] = \r\n", "r⁽⁻ⁿ⁺ⁿ⁾( cos(−n θ + n θ) + i sin( cos(−n θ + n θ) ) =\r\n", "r⁰( cos 0 + i sin 0 ) = 1.

\r\n", "Now, if n < 0, then the theorem holds for −n, and so\r\n", "

z⁻ⁿ·[rⁿ( cos(n θ) + i sin( cos(n θ) )] = 1,

\r\n", "hence rⁿ( cos(n θ) + i sin( cos(n θ) ) = zⁿ even when n < 0.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Proposition 11.6:

\r\n", " \r\n", "If z₁ = a₁ + b₁ i and z₂ = \r\n", "a₂ + b₂ i we observe that\r\n", "

ƒ(z₁ + z₂) = \r\n", "e^(a¹^+a²⁾( cos(b₁ + b₂) + \r\n", "i sin(b₁ + b₂) ).

\r\n", "By Lemma 11.6, this equals \r\n", "

e^a¹( cos(b₁) + \r\n", "i sin(b₁) )·e^a²( cos(b₂) + i sin(b₂) ) =\r\n", "ƒ(z₁)·ƒ(z₂).

\r\n", "Thus, ƒ is a group homomorphism from ℂ⁺ to ℂ^*.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Proposition 11.7:

\r\n", " \r\n", "Let z have the polar form\r\n", "

z = r ( cos θ + i sin θ).

\r\n", "Then log(z) is the set\r\n", "

{ ln(r) + θ i + 2 k π i | k ∈ ℤ }.

\r\n", "Thus, log(z)/n is given by the set\r\n", "

{ ^ln(r)⁄_n + ^{(θ + \r\n",
"2kπ) i}⁄_n | k ∈ ℤ }.

\r\n", "Thus, the exponential function of the elements of this set is given by\r\n", "

{ e^ln(r)/n·( \r\n", "cos(^{θ + 2 kπ}⁄_n) + \r\n", "i sin(^{θ + 2kπ}⁄_n) ) \r\n", "| k ∈ ℤ } = { r^1/n·( \r\n", "cos(^{θ + 2kπ}⁄_n) + \r\n", "i sin(^{θ + 2kπ}⁄_n) ) \r\n", "| k ∈ ℤ }.

\r\n", "Notice that for two different values of k that differ by n, the arguments of the cosine and sine will differ by 2π. Hence, we only have \r\n", "to consider the values of k from 0 to (n − 1). This gives us the set \r\n", "

{ r^1/n·( \r\n", "cos(^{θ + 2kπ}⁄_n) + \r\n", "i sin(^{θ + 2kπ}⁄_n) ) \r\n", "| k = 0, 1, 2, … n − 1 }.

\r\n", "However, these n solutions will have arguments that differ by less than 2 π, so these n solutions are distinct.

\r\n", "\r\n", "Finally, we must show that x is an element of z^1/n if, and only if, x solves the \r\n", "equation xⁿ = z. But for any element in the above expression, we have that\r\n", "

xⁿ = r^n(1/n)·( \r\n", "cos(^{n(θ + 2kπ)}⁄_n) + \r\n", "i sin(^{n(θ + \r\n",
"2kπ)}⁄_n) ) = \r\n", "r( cos θ + i sin θ ) = z.

\r\n", "Likewise, if xⁿ = z, we can raise both sides to the (1/n)^th power to get that the two sets \r\n", "(xⁿ)^1/n and z^1/n are equal. Since the element x is certainly in the first set, it must also \r\n", "be in the set z^1/n that we have just computed.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Lemma 11.7:

\r\n", " \r\n", "To prove the first statement, note that since x > y, we have that x − y ∈ P. But then \r\n", "

(x + z) − (y + z) ∈ P,

\r\n", "and so x + z > y + z.

\r\n", "\r\n", "For the second statement, we have that x > y and z > 0, and so (x − y) ∈ P and\r\n", "z ∈ P. Since P is closed under multiplication, we have that\r\n", "

(x − y)·z = x·z − y·z ∈ P,

\r\n", "and so x·z > y·z.

\r\n", "\r\n", "Finally, if x > y and y > z, then both x − y ∈ P and \r\n", "y − z ∈ P. Since P is closed under addition, we have that \r\n", "

(x − y) + (y − z) = x − z ∈ P,

\r\n", "and so x > z.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Proposition 11.8:

\r\n", " \r\n", "Since x is nonzero, by the law of trichotomy either x > 0, or −x > 0. If x > 0 then \r\n", "

x² = x·x > 0.

\r\n", "On the other hand, if −x > 0, then \r\n", "

x² = (−x)·(−x) > 0.

\r\n", "Thus, in either case x² is in P.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Corollary 11.2:

\r\n", " \r\n", "Since 1² = 1, we have from Proposition 11.8 that 1 > 0. Proceeding by induction, let us assume that (n − 1)·1 > 0, and \r\n", "show that n·1 > 0. But this is easy, since\r\n", "

n·1 = (n − 1)·1 + 1·1 = (n − 1)·1 + 1 > 0.

\r\n", "Thus, we have that n·1 > 0 for every positive number n. This immediately implies that the characteristic is zero, for if R had \r\n", "a positive characteristic p, then p·1 = 0, and we would have 0 > 0, a contradiction.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "\r\n", "Proof of Proposition 11.9:

\r\n", " \r\n", "We will begin by showing that the ordering is uniquely determined. Since for any p in P, we have \r\n", "

(¹⁄_p)·(^p⁄₁) = (^p⁄_p) = (¹⁄₁) = 1 ∈ P,

\r\n", "(¹⁄_p) must be considered to be positive in the new ordering. \r\n", "But then (ⁿ⁄_p) must be positive whenever n \r\n", "and p are in P. Thus P ′ contains at least those elements of the \r\n", "form (ⁿ⁄_p), where n and p are \r\n", "in P. Note that every nonzero element in the field of quotients Q must be of one of the four forms\r\n", "

(ⁿ⁄_p), \r\n", "(⁻ⁿ⁄_p), \r\n", "(ⁿ⁄_−p),\r\n", "(⁻ⁿ⁄_−p),

\r\n", "where n and p are in P. But the first and the last expressions are equivalent, and the middle two are also equivalent. Thus, \r\n", "for every nonzero element of Q, either that element or its negative is of the \r\n", "form (ⁿ⁄_p), with n and p in \r\n", "P. Thus, P ′ cannot contain any more elements besides those of the \r\n", "form (ⁿ⁄_p), and hence P ′ is \r\n", "uniquely determined.

\r\n", "\r\n", "Now, suppose we consider the set of elements P ′ that can be expressed in the \r\n", "form (ⁿ⁄_p), where n and p are \r\n", "in P. Does this form an ordering on Q? We have already seen that the law of trichotomy has been demonstrated. All we need to show is \r\n", "that P ′ is closed under addition and multiplication. But this is clear by looking at the formulas\r\n", "

(^x⁄_y) +\r\n", "(^u⁄_v) =\r\n", "(^x·v+u·y⁄_y·v)

\r\n", "and\r\n", "

(^x⁄_y)·(^u⁄_v) =\r\n", "(^x·u⁄_y·v).

\r\n", "Thus, P ′ forms an ordering on Q, and is an extension of the ordering P.

\r\n", " \r\n", "Return to text\r\n", "\r\n", "

\r\n", " \r\n", "\r\n", "

Sage Interactive Problems

\r\n", "\r\n", "
\r\n", "§11.1 #24)
\r\n", "In the field of "complex numbers modulo 3":
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(3,\"x\")\r\n", "AddFieldVar(\"i\")\r\n", "Define(i^2, -1)\r\n", "K = ListField(); K" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Factor the polynomials x³ + 1, x³ + 2, x³ + i, x³ + 2*i. What do you notice about \r\n", "the factorizations? Knowing how real polynomials factor, explain what is happening.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.1 #25)
\r\n", "Expain why the ring "complex numbers modulo 5"
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(5)\r\n", "AddFieldVar(\"i\")\r\n", "Define(i^2,-1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "does not form a field. Can you determine a pattern as to which integers "complex numbers modulo n" form a field?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.2 #18)
\r\n", "Have Sage simplify the rational function over Z₂(x):

\r\n", "\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

x⁴ + x³ + x + 1	.
x³ + x² + x + 1

" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.2 #19)
\r\n", "Try squaring different elements of Z₂(x). What do you observe? Any explanations?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.2 #20)
\r\n", "Have Sage compute the following operation in the rational function field K(x).
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(3,\"x\")\r\n", "AddFieldVar(\"i\")\r\n", "Define(i^2, -1)\r\n", "K = ListField(); K" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

(1 + i)x + 2	+	2 x + 1 + i	.
x² + 2i x + 2 + i	x² + (2 + i)x + 2

\r\n", "
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.2 #21)
\r\n", "It was mentioned that the definition of the quotient field does not depend on whether elements in the integral domain have unique\r\n", "factorization. An example of such a domain is ℤ[√−5], which \r\n", "we can enter in Sage as follows:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitDomain(0,\"x\")\r\n", "AddFieldVar(\"a\")\r\n", "Define(a^2, -5)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Show that the two fractions
\r\n", "
\r\n", "\r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "

3 x + 3 a	and	(1 − a)x + 5 + a
(1 + a)x	2 x

\r\n", "
\r\n", "are in fact equal, even though neither can simplify.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.3 #19)
\r\n", "Find the twelfth roots of unity, and arrange them in such a way that the circle graph puts the elements in the correct \r\n", "place in the complex plane, as was done for the eighth roots of unity.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.3 #20)
\r\n", "Use Sage to plot the real part of log(x + i y), the companion of Figure 11.3. Would this \r\n", "surface be multi-valued, as was Figure 11.3?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "§11.4 #19)
\r\n", "Follow the example of ℤ[∛2] to define the integral \r\n", "domain ℤ[√5] in Sage. Then \r\n", "define F to be a nontrivial ring automorphism for this \r\n", "domain.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§11.4 #20)
\r\n", "Use Sage to show that numbers of the form \r\n", "

x + y cos(π/7) + z cos(2π/7)

\r\n", "is closed under multiplication, using TrigReduce. Assuming that this forms a field, find a nontrivial \r\n", "ring automorphism on this field.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "\r\n", "\r\n", "\r\n", "\r\n", "" ] } ], "metadata": { "kernelspec": { "display_name": "SageMath (stable)", "name": "sagemath" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 2 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython2", "version": "2.7.14" } }, "nbformat": 4, "nbformat_minor": 0 }