{ "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 9
\n", "Introduction to Rings\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", "The Definition of a Ring
\r\n", "Entering Finite Rings into Sage
\r\n", "Some Properties of Rings
\r\n", "Sage Interactive Problems
\r\n", "\r\n", "\r\n", "

The Definition of a Ring

\r\n", "\r\n", "
\r\n", "While studying the previous chapters on groups, we discovered different patterns in the group's structure by which we could project and prove many useful \r\n", "properties. However, many of the examples of groups we studied possess some additional structure which we have yet to take advantage of.

\r\n", " \r\n", "In the remaining chapters we will look at groups which have not just one, but two operations defined on the set of elements. Not only will we be able to multiply \r\n", "elements together as we did for groups, but we also will be able to add elements together.

\r\n", " \r\n", "The simpliest example to consider is the group of integers, ℤ. This is a group under the operation of addition, in fact an Abelian group with the identity element \r\n", "being 0. However, we can also multiply two integers together, always forming another integer. Is ℤ a group using multiplication instead of addition? No, because \r\n", "most elements do not have an inverse. However, this extra operation gives ℤ a much richer structure than standard groups. Can you find some of the \r\n", "additional properties?

\r\n", " \r\n", "EXPERIMENT:
Even though ℤ is not a group using multiplication, what "grouplike" properties does multiplication have over the integers? Are there \r\n", "any properties which show a relationship between multiplication and addition?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can also consider subgroups of the group of integers, ℤ. The simpliest subgroup is the set of even integers. This still is closed under \r\n", "multiplication, since the product of two even numbers is even. But what about the other properties of multiplication?

\r\n", " \r\n", "EXPERIMENT:
Are there any of the properties discovered in the last experiment which do not hold for the even integers?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Likewise, the group of rationals ℚ and real numbers ℝ have two operations. \r\n", "Although these are both abelian groups under addition, they are almost groups under multiplication as well. The multiplicative inverse exists for all elements except 0.\r\n", "If we considered the remaining elements ℚ-{0} or ℝ-{0}, we have the multiplicative \r\n", "groups denoted ℚ^* and ℝ^*.

\r\n", "\r\n", "Not only do ℤ, ℚ, and ℝ allow for an additional operation to be defined on them, but also some groups that we studied in Chapter 1.\r\n", "Take for example the groups formed by modular \r\n", "arithmatic, Z_n. To define Z₆, we used the command:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "G = ZGroup(6); G" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Here is the multiplication table for the group Z₆, with 0 being the identity element:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(G)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Can we define another operation on this group? The natural operation would be to try multiplication modulo 6. This is defined by the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "G = MultMod(6); G" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Let us look at the new multiplication table.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(G)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Notice that this is not a group, since we don't get a Latin square. In particular, the element 0 does not have an inverse. But that shouldn't matter since 0 didn't have \r\n", "an inverse in any of the other examples we looked at. What if we considered the set without the zero element? Would this be a group?

\r\n", " \r\n", "EXPERIMENT:
\r\n", "In all of the previous groups we looked at, (ℤ, Even numbers, ℚ, Reals,) the product of two nonzero numbers was always nonzero. This allowed us to \r\n", "consider throwing out the zero element, and consider multiplication on the remaining elements. But what about multiplication modulo 6? Is the product of two nonzero \r\n", "elements always nonzero? Or is there an example where\r\n", "

x · y = 0

\r\n", "where x and y are both nonzero? If so, how many examples can you find?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Here is one last example of appending an additional operation on a group.

\r\n", "\r\n", "EXAMPLE:
\r\n", "The following command produces the quaternion group of order 8 which we studied in chapter 4:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Q = InitQuaternions(); Q" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This group has the following multiplication table:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(Q)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Notice that the multiplication of the elements of the group acts a little like the cross product of two vectors in ℝ³ expressed in terms \r\n", "of i, j, and k. That is,\r\n", "

i·j = k, j·k = i, and k·i = j.

\r\n", "This suggests that we can also add multiples of these elements together like vectors, forming such elements as
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "i - 2*j - k" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "which represents the vector ⟨ 1, 2,-1⟩. Two vectors can be added together in the standard way.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(i - 2*j - k) + (3*i + j - 2*k)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "Can we define multiplication on all three-dimensional vectors by extending the group of quaternions?

\r\n", " \r\n", "EXPERIMENT:
\r\n", "Is it true that whenever we multiply two three-dimension vectors using the rules in the above table, we get another three-dimension vector? For example, try the \r\n", "product:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(i - 2*j - k)*(4*i + j + 2*k)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Here we get the vector which one might recognize as the cross product. Try changing the numbers in the example to see if the answer is always a three-dimensional \r\n", "vector.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "In doing the experiment, you may have seen results that look as though a number was added to a vector. This we never allowed in Calculus class!
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(i - 2*j - k)*(3*i + j - 2*k)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "What could such an expression represent? We could consider the number added to the vector as a fourth dimension. This extra dimension would represent \r\n", "time. Thus, we would say the expression
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "2 + i + 2*j - k" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "would represent the four-dimensional vector ⟨ 2, 1, 2, -1 ⟩.

\r\n", " \r\n", "(Notice that the time dimension is listed before the three spacial dimensions.)

\r\n", " \r\n", "EXPERIMENT:
\r\n", "Try multiplying different four dimensional vectors together. Will the answer always be able to be represented by a four dimentional vector?
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2 + i + 2*j - k)*(5 + 3*i + j - 2*k)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "EXPERIMENT:
\r\n", "What happens if we try to take an inverse of a vector?
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2 + i + 2*j - k)^(-1)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Verify that the product of the element with its inverse is 1.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage can help us prove the following proposition.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 9.1
\r\n", "The set of nonzero four-dimensional vectors forms a non-abelian group using the multiplication table for the quaternion group Q.

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

\r\n", "We call the group of four-dimensional vectors of the form a + bi + cj + dk the quaternions, denoted \r\n", "by ℍ after their descoverer, William Rowan Hamilton (1805-1865).

\r\n", " \r\n", "We have seen many examples of groups that exhibit not one but two operations defined on them. One of these operations is represented with the \r\n", "plus sign, and the other is usually denoted with a dot. Our goal will be to come up with a definition that unites these examples. Let us consider which properties these examples have in common. However, some of the different groups we looked at possessed additional properties. To help us organize our \r\n", "findings, let us construct the following table to tell us which property holds for which groups.\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", " \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", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", " \r\n", "
\r\n", " Property checklist for several groups\r\n", "
Property ℤ Even integers ℚ Reals Z₆ Quaternions
Closed under addition x x x x x x
Closed under multiplication
(a + b) + c =
a + (b + c)
(a·b)·c = a·(b·c)
Additive identity (0)
Multiplicative identity (1)
Additive inverses exist
Multiplicative inverses exist except for 0
a + b = b + a
a·b = b·a
a·b = 0 only if a or b = 0
(a + b)·c = a·c + b·c
a·(b + c) = a·b + a·c
\r\n", "\r\n", "\r\n", "
\r\n", "EXPERIMENT:
\r\n", "Complete the above table by marking an "x" whenever a group possesses a given property for all elements in the group, and marking \r\n", "an "o" otherwise. The first row already been done. You may have to redefine some of the groups to test some of this properties. For which groups do all \r\n", "of the properties hold? Which properties hold for all of these groups?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We want to pay special attention to the properties that hold for all of the groups studied so far. In fact, let us define a ring as a group possessing all of \r\n", "these properties. In this way, we force all six of the above examples to be rings.

\r\n", " \r\n", "EXPERIMENT:
\r\n", "If the above table was completed correctly, one ought to be able to come up with a definition of a ring. Try to find a definition that uses only one sentence.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "DEFINITION 9.1
\r\n", "\r\n", "A ring is an abelian group with the operation (+) on which a second associative operation (·) is defined such that the two distributive laws\r\n", "

(a + b)·c = (a·c) + (b·c)

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

a·(b + c) = (a·b) + (a·c)

\r\n", "hold for all a, b, and c in the ring.

\r\n", "\r\n", "For any ring we will use the symbol 0 to denote the additive identity of a ring, and the notation −x for the additive inverse of x.

\r\n", " \r\n", "Notice that for a group to be a ring, only 9 of the above 13 properties must hold. However, the other four properties mentioned in the table will sometimes play \r\n", "an important role as we study rings. Thus, if a ring has one of these additional four properties, we will give the ring a special name.

\r\n", " \r\n", "DEFINITION 9.2
\r\n", "A ring for which x·y = y·x for all elements x and y is called a \r\n", "commutative ring.

\r\n", "\r\n", "Obviously, commutative rings play a similar role in ring theory that abelian groups play in group theory.

\r\n", "\r\n", "DEFINITION 9.3
\r\n", "A ring for which there is an element e such that\r\n", "

x·e = e·x = x

\r\n", "for all elements x in the ring is called a unity ring or ring with identity. The element e is called the unity or \r\n", "multiplicative identity of the ring, to distinguish it from that additive identity 0.

\r\n", "\r\n", "It should be noted before we go on that if a ring has a multiplicative identity, it has only one. If there were two, say e and e′, then\r\n", "

e = e · e′ = e′.

\r\n", "\r\n", "
\r\n", "The next definition will deal with rings for which x·y = 0 implies that either x or y must be 0. However, it is reasonable to \r\n", "first prove the following lemma:
\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 9.1
\r\n", "If x is any element in a ring, then 0·x = x·0 = 0, where 0 is the additive identity.

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

\r\n", "This proof shows that we can get the equivalent of subtraction by adding the additive inverse. But although we can add, subtract, and multiply elements in a ring, we \r\n", "cannot, in general, divide elements. In fact, we can find some rings for which the product of two nonzero elements produces 0, such as 3·2=0 in the ring \r\n", "Z₆.

\r\n", "\r\n", "DEFINITION 9.4
\r\n", "If x is a nonzero element of a ring such that either x·y = 0 or y·x = 0 for a nonzero element y, \r\n", "then x is called a zero divisor of the ring. If a ring has no zero divisors, it is called a ring without zero divisors.
\r\n", "\r\n", "
\r\n", "We see from this definition that 2 and 3 are zero divisors of the ring Z₆, since 3·2 = 0 in this ring. \r\n", "A related definition stems from the product of two elements equaling the multiplicative identity.

\r\n", "\r\n", "DEFINITION 9.5
\r\n", "If, for the element x in a ring with identity, there is an element y such that\r\n", "

x·y = y·x = e,

\r\n", "we say that x has a multiplicative inverse, or is invertible.

\r\n", "\r\n", "Just because an element is not a zero divisor does not mean that it is invertiable. For example, 2 is not a zero divisor of the ring ℤ, yet 2 is not invertible in \r\n", "this ring.

\r\n", " \r\n", "There is one special ring to introduce, the smallest possible ring. It is called the trivial ring, and is defined by the command:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "G = ZRing(1); G" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "The only element of this ring is the zero element, so here are its addition and multiplication tables:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddTable(G)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(G)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Although this may seem like a boring example, this ring is rather interesting because the multiplicative identity \r\n", "is 0! (Zero times any element is that element, since that element would be 0.) In fact, 0 has itself for its multiplicative inverse. These two facts are true for no other \r\n", "ring, since there would be a nonzero element x, and hence\r\n", "

0·x = 0, not x.

\r\n", "Likewise, for a non-trival ring, 0 cannot have a multiplicative inverse, for otherwise\r\n", "

0·(0^-1) = 0,

\r\n", "which we just proved was not the multiplicative identity.

\r\n", "\r\n", "Even though 0 is never invertible except for the trivial ring, we have seen several cases where all other elements have inverses.

\r\n", "\r\n", "DEFINITION 9.6
\r\n", "A ring for which every nonzero element has a multiplicative inverse is called a division ring.

\r\n", "\r\n", "Note that division rings automatically have some of the other properties we have discussed.
\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 9.2
\r\n", "A division ring always has a unity and has no zero divisors.

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

\r\n", "We see from this proposition that a division ring must have all but one of the 13 properties we listed, the remaining property being the commutivity of multiplication. \r\n", "We will give a division ring different names depending on whether or not this last property holds.

\r\n", " \r\n", "DEFINITION 9.7
\r\n", "A nontrivial division ring for which x·y = y·x for all x and y is called a field. A division \r\n", "ring for which multiplication is not commutative is called a skew field.

\r\n", " \r\n", "We can now classify each possible type of ring. For example, the ring ℤ is a commutative unity ring without zero divisors. The ring of even \r\n", "integers, however, has no identity element, so we would call this a commutative ring without zero divisors. Both ℚ and the reals satisfied all 13 properties, \r\n", "so these two rings are fields. The ring Z₆ has zero divisors, so we would call this a commutative unity ring. The quaternions have all \r\n", "the properties of a field except that multiplication is not commutative, so this would be an example of a skew field.
\r\n", "\r\n", "
\r\n", "EXPERIMENT:
\r\n", "How many different classifications of rings are possible? Note that the trivial ring is technically not a field, so this ring would be in a catagory all by itself. By \r\n", "the end of this chapter we will see examples of each different type of ring.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "

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

Entering Finite Rings into Sage

\r\n", "\r\n", "
\r\n", "Now that we have started working with rings, it is time to learn how to program Sage to work with any finite ring.

In the first eight chapters, \r\n", "we entered finite groups into Sage by using the generators of the group. We will use a very similar process for finite rings. If we consider a finite ring simply \r\n", "as an abelian group under addition, we can find a set of generators B for this group. That is, we temporally ignore the multiplication structure, and proceed as \r\n", "we did for groups. For each element in B we determine the additive order of the element. That is, for each generator x we want to find the smallest \r\n", "number n such that\r\n", "$$\\underbrace{x+x+\\dots+x+x}_{n\\rm\\;times} = 0.$$

\r\n", "\r\n", "
\r\n", "We introduce a simple notation for the above equation.

\r\n", "\r\n", "DEFINITION 9.8
\r\n", "If n is a positive integer, and x is any element in a ring, we define n x inductively by letting 1 x = x, and\r\n", "

n x = (n − 1) x + x.

\r\n", "We also define (−n) x to be −(n x) for n a positive integer. Finally, we define 0 x = 0.
\r\n", "\r\n", "
\r\n", "Because this "multiplication by an integer" is merely a shorthand for repeated addition, we immediately see that

\r\n", "

(m + n) x = m x + n x and (m n) x = m (n x)

\r\n", "for any element x and any integers n and m.

\r\n", "\r\n", "However, there are other properties which are true for this notation.\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 9.2
Let x and y be any two elements in a ring, and let n be an integer. Then\r\n", "

(n x)·y = n (x·y) = x·(n y).

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

\r\n", "We can now use this notation within Sage to generate a finite ring. For example, suppose that we wish to define a ring whose additive group is isomorphic to \r\n", "

Z₁₅^* = {1, 2, 4, 7, 8, 11, 13, 14}.

\r\n", "Two elements which generate this group are a = 2 and b = 14. Since \r\n", "

2⁴ ≡ 1 (mod 15) and 14² ≡ 1 (mod 15),

\r\n", "a is of order 4 and b is of order 2. But in the new notation, we would write\r\n", "

4 a = 0 and 2 b = 0.

\r\n", "since 0 is the additive identity for the ring.

\r\n", "\r\n", "To define this group in Sage, we begin by declaring that a and b will be the variables. We do this as we initialize the ring, putting \r\n", "the variables in quotations, just as we did with AddGroupVar for groups.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"a\",\"b\")" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Next, we need to tell Sage what the additive order of this elements would be, expressed as a list. Since a is of order 4, and b is of \r\n", "order 2, this could be writen as the list [4, 2]. The following command gives us the additive group that we want.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "DefineRing([4,2], [[0,0],[0,0]])" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We will explain the meaning of the second parameter [[0,0],[0,0]] later. For now, \r\n", "this is sufficient to define the group structure of the ring to Sage. The eight elements of the group are denoted as follows:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "R = ListRing(); R" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We notice several things from this list. First of all, the zero element is listed as 0*a, not just 0. Sage interprets 0 to mean only the \r\n", "integer 0, so the zero element of a ring needs a different notation. Of course 0·a would give us the zero element for any generator a, so \r\n", "Sage picks the first generator mentioned. \r\n", "\r\n", "Also, we see that 3*a is simplified to -a. Sage tries to find the simplest way to express the elements of the ring. We combine \r\n", "two elements of this group with a plus sign rather than the dot that we used for groups. For example, here is the sum of two elements:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(-a+b) + (2*a)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can then produce an addition table for this group as follows:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Notice that there are several differences between defining a group and defining the group structure of a ring. The obvious difference is that we use the plus sign \r\n", "instead of the dot for our operation. Also, when we defined a group, we began by telling Sage the identity element. But for a ring, the additive identity is \r\n", "always denoted 0*a, and the multiplicative identity may not exist. So the first statement tells Sage the generators for the ring. Finally, all of \r\n", "the Define commands are combined into a single DefineRing command, which gives all of the necessary information about the ring.
\r\n", "
\r\n", "\r\n", "There is one drawback to this approach―we must choose our generators carefully! Suppose we had chosen the generators a = 2 and b = 7. These \r\n", "two elements generate the group Z₁₅^*, but both are of order 4. So the Sage commands for entering these two generators would be
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"a\",\"b\");\r\n", "DefineRing([4,4],[[0,0],[0,0]]);\r\n", "R = ListRing(); R" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This gives 16 elements instead of 8. The problem is that Sage is not using the identity 2 a = 2 b, which is true since \r\n", "2² ≡ 7² (mod 15). Trying to add an additional Sage command defining 2 a = 2 b would produce some potiential \r\n", "problems later on. A better solution is simply to make the following restriction on the set of generators.
\r\n", "\r\n", "
\r\n", "DEFINITION 9.9
\r\n", "Let G be an abelian group. A basis is a set \r\n", "B = {x₁, x₂, x₃, …x_k} which generates the group such that the only \r\n", "way in which\r\n", "

n₁ x₁ + n₂ x₂ + n₃ x₃\r\n", "+ ··· + n_k x_k = 0

\r\n", "for integers n₁, n₂, n₃, … n_k\r\n", "is if \r\n", "

n₁ x₁ = n₂ x₂ = n₃ x₃\r\n", "= ··· = n_k x_k = 0.

\r\n", "
\r\n", "\r\n", "
\r\n", "For a finite group, it is clear that if we have a basis, then every combination of the form\r\n", "

n₁ x₁ + n₂ x₂ + \r\n", "n₃ x₃ + ··· + n_k x_k

\r\n", "where each n_i is non-negative and less then the order of x_i, forms a distinct element. Also, every element of G could be \r\n", "put in that form. Thus, the product of the orders of all the elements of B equals the order of the group.

\r\n", "\r\n", "It should be noted that any finite abelian group has a basis, as guaranteed by the fundemental theorem of finite abelian groups (6.2). See Problem 17. For example, we found \r\n", "two elements of orders 4 and 2 which generate Z₁₅^* , and since 4·2 = 8, the order of the group, so these two generators form a \r\n", "basis.

\r\n", "\r\n", "If we begin with a basis, it is clear that entering the order of the generators as a list like [4,2] is sufficient to define the additive group. \r\n", "All we need to consider now is the multiplicative definitions.

\r\n", "\r\n", "Since we have two generators a and b we will need to define 2² = 4 multiplications:\r\n", "a·a, a·b, b·a, and b·b.

\r\n", "\r\n", "\r\n", "These four products could be defined to be any of the 8 elements of the ring. This means that there are up to 8⁴ = 4096 ways to finish defining \r\n", "this ring! However, \r\n", "very few of these ways of defining the products will satisfy both the distributive laws and the associative laws. For example, b·b \r\n", "cannot be defined to be a, otherwise we have the contradiction\r\n", "

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

\r\n", "\r\n", "An example of a ring definition that does not produce such a contradiction comes from defining a² = a, b² = b, and \r\n", "a·b = b·a = 0. All other products in the ring can be determined from these using the distributive law. For example,\r\n", "

(2 a + b)·(a + b) = 2 a² + b·a + \r\n", "2 a·b + b² = 2 a + 0 + 0 + b = 2 a + b.

\r\n", "\r\n", "
\r\n", "The second argument of the DefineRing command allows us to tell Sage all of the possible products of two generators. These are entered as a \r\n", "array, using the same ordering as the original basis elements were ordered. For example, if a and b are the two generators, then the array would consist \r\n", "of \r\n", "

[[a·a, a·b], [b·a, b·b]].

\r\n", "To define the ring described in the above paragraph, we can use
" ] }, { "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", "Here is a table of both the addition and multiplication operation:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddTable(R)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Of course we still have not proven that this is a ring, since we have not verified the distributive laws and the associativity law for multiplication. This \r\n", "tedious task can be handled my Sage by the command
\r\n", "

" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "CheckRing()" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Here Sage knows to check the ring that we have just defined, so we don't need an argument for the CheckRing command. Sage found that \r\n", "this was indeed a ring. \r\n", " \r\n", "Since R is obviously commutative from the multiplication table, the next question is whether R has a unity. Sage can search the \r\n", "ring for a unity element with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "FindUnity(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Even though we did not use the unity to construct the ring, Sage found one!

\r\n", "By looking at the multiplication table
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we see that there are many zero-divisors. (How many?) Hence, this is not a division ring. Nonetheless, Sage can try to \r\n", "take the inverses of some of the elements.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(-a+b)^-1" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "(2*a+b)^-1" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "In many respects, this ring has similar properties as the ring Z₆ \r\n", "that was studied in the last section.
\r\n", "
\r\n", "\r\n", "Can we try defining a non-commutative ring? It is apparent that we need at least two additive generators, since the multiplication is completely determined by the \r\n", "products of the generators.

\r\n", "\r\n", "EXAMPLE:
\r\n", "Try to define a non-commutative ring using Z₁₅^* as the additive group.

\r\n", "\r\n", "\r\n", "If we make a·b = b, and b·a = 2a, then the ring will not be commutative.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"a\",\"b\");\r\n", "DefineRing([4, 2],[[0,b],[2*a,0]]);\r\n", "CheckRing()" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Does this form a ring? No, Sage complained that sometimes the associative law doesn't hold. Can we change the definition of a² and \r\n", "b² to make this a ring?

\r\n", " \r\n", "EXPERIMENT:
\r\n", "By changing only the ??? in the Sage command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"a\",\"b\");\r\n", "DefineRing([4,2],[[???, b],[2*a, ???]]);\r\n", "CheckRing()" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "see if you can form a ring.

\r\n", " \r\n", "Hint: Although this seems like a trial and error process with 8·8 = 64 combinations, all but a handful can be eliminated using algebra! (There are actually \r\n", "two different solutions.) For example, since (a·b)·a = a·(b·a), we see \r\n", "that 2 a = 2 a².
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Assuming that you have found the right definition for a² and b², you can list the elements of the ring with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "R = ListRing(); R" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Does this ring have a unity? We can find out:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "FindUnity(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "So there is no unity element. In fact, if we look at the multiplication table:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "we find that there is one element which, when multiplied by any element, gives 0! Hence every element is a zero-divisor. This example shows that rings can have \r\n", "rather bizarre multiplication properties.

\r\n", " \r\n", "Since we have seen an example of a non-communitive ring without a unity, can we find a non-communitive unity ring? The \r\n", "following proposition shows that we will not be able to use Z₁₅^* for the additive group.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 9.3
\r\n", "If a ring with identity has an additive structure that can be generated with less than three elements, then the ring is commutative.

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

\r\n", "The smallest group which requires more than two generators is the group Z₂₄^*. So naturally we should begin with this group in looking \r\n", "for a non-communative unity ring. We may suppose that the ring is additively generated by the unity e, along with two other \r\n", "elements a and b. Since e is the unity, we know that e² = e, \r\n", "e·a = a·e = a, and e·b = b·e = b. We can enter \r\n", "this information into Sage with the following commands:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"e\",\"a\",\"b\");\r\n", "DefineRing([2,2,2],[[e,a,b],[a,0,0],[b,0,0]]);" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Finally, we have to define a·a, a·b, b·a, and b·b. These entries were\r\n", "entered as 0 in the previous command. Suppose we instead have a·b = a and b·a = b. \r\n", "This would make the ring non-commutative. Let's try it out:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"e\",\"a\",\"b\");\r\n", "DefineRing([2,2,2],[[e,a,b],[a,0,a],[b,b,0]]);\r\n", "CheckRing()" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Sage complains that this is not a ring. Can we try changing the definitions for a² and b² \r\n", "so that the result will be a ring?

\r\n", " \r\n", "EXPERIMENT:
\r\n", "Can you form a ring by changing the two ???'s in the following command?
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"e\",\"a\",\"b\");\r\n", "DefineRing([2,2,2],[[e,a,b],[a,???,a],[b,b,???]]);\r\n", "CheckRing()" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "There is a unique answer, and it can be found without resorting to trial and error methods.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Once we have completed the definition of the ring, we can look at the addition and multiplication tables.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "T8 = ListRing()\r\n", "AddTable(T8)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(T8)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can verify by looking at the tables that this ring indeed has a unity, or we can use Sage to find it.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "FindUnity(T8)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Because we will refer to this ring often, we will call this ring T₈.

\r\n", "\r\n", "\r\n", "It is easy to see that any finite ring can be quickly entered into Sage. In fact many infinite rings such as the quaternions, \r\n", "can also be explored with Sage. This will allow us to experiment with many different rings, and find properties which are common to all rings. In the next\r\n", "section we will look at some of the basic relationships between rings.

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

Some Properties of Rings

\r\n", "\r\n", "
\r\n", "Now that we can enter finite rings into Sage, let us turn our attention to using Sage to help us discover some truths about rings. In particular, we want \r\n", "to study in what circumstances multiplicative inverses exist.

\r\n", " \r\n", "One of the simpliest rings to study are the rings Z_n for n > 1.

\r\n", "We have learned how to define the addition structure with a ZGroup command, and the multiplication can be defined using a ZStar \r\n", "command. We actually can define both of these at once with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Z15 = ZRing(15)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This defines both the addition and multiplication operations at the same time. The ring is generated by the identity element, 1. Thus, the elements of the ring \r\n", "Z₁₅ are:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Z15" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can see both the addition and multiplication table for Z₁₅:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "AddTable(Z15)" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "MultTable(Z15)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "We can perform simple operations in Z₁₅
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Z15[9] + Z15[7]" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Z15[9] * Z15[7]" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Z15[9] / Z15[7]" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This last operation shows that we can take multiplicative inverses of some of the elements.

\r\n", " \r\n", "EXPERIMENT:
\r\n", "Change the 15 in the following command to other positive integers. This produces both a multiplication table for Z_n along with a circle graph of \r\n", "the inverse function.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "R = ZRing(15);\r\n", "MultTable(R)\r\n", "CircleGraph(R, Inv)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "In each case, observe from the circle graph which elements have multiplicative inverses. Which elements are zero divisors? Is there a relationship between the \r\n", "invertible elements and the zero divisors? Can you replace the 15 with some integer so that the ring has no zero divisors?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Before going on, we should double check that it is imposible for an element to have two inverses. The proof is similar to the corrisponding result for \r\n", "groups.\r\n", "\r\n", "

\r\n", "\r\n", "LEMMA 9.3
\r\n", "Let x be an element in a ring with identity. Then if x has a multiplicative inverse, the inverse is unique. We denote the multiplicative \r\n", "inverse of x by x^-1.

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

\r\n", "\r\n", "PROPOSITION 9.4
\r\n", "If R is a unity ring, then the invertible elements of R form a group under multiplication. This group is \r\n", "denoted R^*.

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

\r\n", "Now we can return our attention to the ring Z_n. In trying to find values for n in which Z_n has no zero divisors, you \r\n", "may have noticed the following:\r\n", " \r\n", "

\r\n", "\r\n", "PROPOSITION 9.5
\r\n", "For n > 1, the ring Z_n has no zero divisors if, and only if, n is prime.

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

\r\n", "Even if n is not prime, one of the observations that can be made while studying Z_n is that the zero divisors were precisely the nonzero \r\n", "elements that did not have an inverse. Is this true in the other rings that we have studied? For example, here is the \r\n", "multiplication table of the non-commutative unity ring T₈\r\n", "that we found before:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"e\",\"a\",\"b\")\r\n", "DefineRing([2,2,2],[[e,a,b],[a,a,a],[b,b,b]])\r\n", "T8 = ListRing()\r\n", "MultTable(T8)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Notice that there are two invertible elements, determined by the 2 e's inside the table. The other 5 nonzero elements \r\n", "can be seen to be zero divisors. \r\n", "This suggests a pattern, but before we can prove that this pattern continues to other rings, we will need the following lemma.\r\n", " \r\n", "

\r\n", "\r\n", "LEMMA 9.4
\r\n", "Let a, b, and c be elements of a ring. If a is nonzero, and is not a zero divisor, and \r\n", "

a·b = a·c,

\r\n", "then b = c. Likewise, if\r\n", "

b·a = c·a

\r\n", "for a nonzero and not a zero divisor, then b = c. This is called the cancellation law for multiplication.

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

\r\n", "We are now ready to show a relationship between zero divisors and invertible elements. Notice that in the ring ℤ, the element 2 is not invertible, but neither \r\n", "is it a zero divisor. This example seems to break the pattern that we have been observing, but also notice that ℤ is an infinite ring. Perhaps if we \r\n", "consider only finite rings, that is, rings with only a finite number of elements, we will be able to prove that a relationship between zero divisors and \r\n", "invertible elements.\r\n", "\r\n", "

\r\n", "\r\n", "PROPOSITION 9.6
\r\n", "Let R be a finite ring. If b is a nonzero element of R which is not a zero divisor, then R has a unity element and b has \r\n", "a multiplicative inverse in R. Hence, every nonzero element in R is either a zero divisor or is invertible.

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

\r\n", "There are some immediate consequences to Proposition 9.6.\r\n", " \r\n", "

\r\n", "\r\n", "COROLLARY 9.1
Every finite ring with no zero divisors is a division ring.

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

\r\n", "This corollary allows us to find many examples of fields.
\r\n", "\r\n", "

\r\n", "\r\n", "COROLLARY 9.2
\r\n", "The ring Z_n is a field if, and only if, n is prime.

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

\r\n", "To conclude this chapter, let us find an example of each of the 11 different types of rings that could exist. Every ring will fall into one of the following catagories.
\r\n", "
\r\n", "\r\n", "

\r\n", "Type I: The Trivial Ring\r\n", "

\r\n", "\r\n", "
\r\n", "Of course, there is only the one ring in this catagory, whose addition and multiplication tables are both given by the following command:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "R = ZRing(1)\r\n", "AddTable(R)\r\n", "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "

\r\n", "Type II: Fields\r\n", "

\r\n", "\r\n", "
\r\n", "We have already seen several examples of fields in the first section, such as the rational numbers and the real numbers. But Corollary 9.2 has given us many more \r\n", "examples. Here is the addition and multiplication table for one of the finite fields, Z₇:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "R = ZRing(7)\r\n", "AddTable(R)\r\n", "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "

\r\n", "Type III: Skew Fields\r\n", "

\r\n", "\r\n", "
\r\n", "The only example of a skew field that we have seen so far is the quaternions, the first known example. Unlike fields, skew fields are quite rare―in fact there are \r\n", "no finite skew fields. \r\n", "\r\n", "

\r\n", "Type IV: Commutative unity rings without zero divisors, but which are not fields\r\n", "

\r\n", "\r\n", "
\r\n", "We have seen one important example of a ring of this type, namely the ring of integers ℤ. All rings of this type possess many of the properties of integers, \r\n", "such as having "prime elements.". Thus, we give this important class of rings a special name―integral domains. We will study integral domains \r\n", "in depth in Chapters 10 and 13.\r\n", "\r\n", "

\r\n", "Type V: Non-commutative unity rings without zero divisors, but which are not skew fields\r\n", "

\r\n", "\r\n", "
\r\n", "By Proposition 9.6, any ring of this type must be an infinite ring. So the natural place to look for such a ring would be some restriction of the quaternions. \r\n", "We consider the integer quaternions, that is, quaternions of the form\r\n", "

a + b i + c j + d k

\r\n", "where a, b, c, and d are all integers. Certainly the product and sum of two integer quaternions would yield integer quaternions, \r\n", "and so these would form a ring. However, 2 has no inverse in the integer quaternions, so this is not a skew field.\r\n", "\r\n", "

\r\n", "Type VI: Commutative rings without unity and without zero divisors\r\n", "

\r\n", "\r\n", "
\r\n", "We saw one example of a ring of this type in the first section, the even integers. In fact, if n > 1, then all multiples of n will form a ring of \r\n", "this type. We will see more examples of rings of this type when we study ideals in Chapter 10.\r\n", "\r\n", "

\r\n", "Type VII: Non-commutative rings without unity and without zero divisors\r\n", "

\r\n", "\r\n", "
\r\n", "Again, by Proposition 9.6, all rings of this form must be infinite rings. We can apply the same trick used for the type VI ring to the integer quaternions, and obtain the\r\n", "even quaternions, that is, quaternions of the form\r\n", "

a + b i + c j + d k

\r\n", "where a, b, c, and d are all even integers. It is easy to check that the sum and product of two even quaternions yield even \r\n", "quaternions. However, this ring does not have a unity element.\r\n", "\r\n", "

\r\n", "Type VIII: Commutative unity rings with zero divisors\r\n", "

\r\n", "\r\n", "
\r\n", "Proposition 9.5 gives us many examples of such rings―Z_n for any n > 1 which is not prime. Here is one example:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "R = ZRing(8)\r\n", "AddTable(R)\r\n", "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "

\r\n", "Type IX: Non-commutative unity rings with zero divisors.\r\n", "

\r\n", "\r\n", "
\r\n", "We constructed one example of this type of ring in the last section. We called this ring T₈, the smallest non-commutative ring with an identity. \r\n", "Here is the addition and multiplication table of T₈:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"e\",\"a\",\"b\")\r\n", "DefineRing([2,2,2], [[e,a,b],[a,a,a],[b,b,b]])\r\n", "R = ListRing()\r\n", "AddTable(R)\r\n", "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Proposition 9.3 shows that there is no smaller ring of this type.
\r\n", "\r\n", "\r\n", "\r\n", "

\r\n", "Type X: Commutative rings without unity and with zero divisors\r\n", "

\r\n", "\r\n", "
\r\n", "One of the simpliest example of ring of this type would be the ring of even elements of Z₈: {0,2,4,6}. By setting a = 2, we can \r\n", "list the elements of this ring as {0, a, 2a, 3a}, and hence enter this ring into Sage with the commands
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"a\")\r\n", "DefineRing([4], [[2*a]])\r\n", "R = ListRing()\r\n", "AddTable(R)\r\n", "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Are there any smaller rings which fit into this catagory?
\r\n", "\r\n", "

\r\n", "Type XI: Non-commutative rings without unity and with zero divisors\r\n", "

\r\n", "\r\n", "
\r\n", "We constructed one example of a ring of this type in the previous section:
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "InitRing(\"a\",\"b\")\r\n", "DefineRing([4,2], [[a, b], [2*a, 0]])\r\n", "R = ListRing()\r\n", "AddTable(R)\r\n", "MultTable(R)" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This is not the smallest ring of this type. In fact, there is a non-commutative ring of order 4, with the following addition and multiplication tables:\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", "

+	0	a	b	c
0	0	a	b	c
a	a	0	c	b
b	b	c	0	a
c	c	b	a	0

\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
0	0	0
a	a	a
b	b	b
c	c	c

\r\n", "\r\n", "
\r\n", "We will refer to this ring as T₄.
\r\n", "\r\n", "
\r\n", "EXPERIMENT:
\r\n", "See if you can change the definition of the last ring to produce this non-commutative ring of order 4.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "After the trivial ring, these rings are basically ordered from the most important to the least. As you might guess from this list, \r\n", "the study of rings can go deeper than group theory. However, by making observations on the rings mentioned in this list we can get a feel for how rings of different \r\n", "types behave.

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

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

Proofs:

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

\r\n", "If x = a + b i + c j + d k is non-zero, then

\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^-1 =	a	+	− b	i +	− c	j +	− d	k
a² + b² + c² + d²	a² + b² + c² + d²	a² + b² + c² + d²	a² + b² + c² + d²

\r\n", "
\r\n", "forms a multiplicative inverse, since it is a simple exerise to show that x·x^-1 = x^-1·x = 1, the multiplicative \r\n", "identity. (See Problem 10.)
\r\n", "
\r\n", "Note that since x ≠0, the denominator a² + b² + c² + d² > 0. It is easy to \r\n", "see that multiplication is closed. The only hard part is to show that the associative law holds, which is best \r\n", "done in Sage.

" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Q = InitQuaternions(); Q" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "First we define lots of variables.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "var('a1 b1 c1 d1 a2 b2 c2 d2 a3 b3 c3 d3')" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Next, we define three general quaternions.
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "x = a1 + b1*i + c1*j + d1*k; x" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "y = a2 + b2*i + c2*j + d2*k; y" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "z = a3 + b3*i + c3*j + d3*k; z" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Let us find (x·y)·z in two steps, and call this w
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "x*y" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "w = _*z; w" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This looks like a total mess. Now let us find x·(y·z).
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "y*z" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "x*_" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This gives another big mess. Are the two messes equal?
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "_ - w" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "This produces 0, showing that (x·y)·z = x·(y·z). Thus, Sage has proven that multiplication is associative.

\r\n", "\r\n", "Given that the associative law holds, it is easy to see that the product of two nonzero vectors must be nonzero. If x·y =0, and say \r\n", "x ≠ 0, then \r\n", "

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

\r\n", "Thus, if both x≠0 and y≠0, then x·y≠0.

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

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

\r\n", "This proof is just a little tricky because there are no other propositions to rely on. Thus, every step must directly use one of the nine properties of \r\n", "rings. (The temptation is to rely on some property we suspect is true, but haven't yet proven.)

\r\n", " \r\n", "Note that\r\n", "

(0·x + 0·x) =(0 + 0)·x = 0·x,

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

(0·x + 0·x) + (−(0·x)) = 0·x + (−(0·x)) = 0.

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

0·x + (0·x + (−(0·x))) = 0,

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

0·x + 0 = 0·x = 0.

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

(x·0 + x·0) = x·(0 + 0) = x·0,

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

(x·0 + x·0) + (−(x·0)) = x·0 + (−(x·0)) = 0.

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

x·0 + (x·0 + (−(x·0))) = 0,

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

x·0 + 0 = x·0= 0.

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

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

\r\n", " \r\n", "We just saw that the trivial ring has a unity and has no zero divisors, so we may assume that the ring has a nonzero element y. Then y has \r\n", "a multiplicative inverse z, so we have y·z = e, the unity. Thus, every division ring must have a unity.

\r\n", "\r\n", "Now suppose that x·y = 0 in a division ring, with both x and y nonzero. Then y has a multiplicative inverse z, \r\n", "so that y·z = e. But then \r\n", "

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

\r\n", "which contradicts the fact that x is nonzero. Thus, a division ring has no zero divisors.

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

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

\r\n", "\r\n", "We will proceed by induction. The statement is certainly true for n = 0 or n = 1. Suppose that the statement is true for the previous case \r\n", "n − 1. But then\r\n", "

((n − 1) x)·y + x·y = (n − 1) (x·y) \r\n", "+ x·y = x·((n − 1) y) + x·y.

\r\n", "Hence, by the distributive law,\r\n", "

((n − 1) x + x)·y = ((n − 1) + 1) (x·y) = \r\n", "x·((n − 1) y + y),

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

(n x)·y = n (x·y) = x·(n y).

\r\n", "Hence, the statement is true for all positive integers.

\r\n", "\r\n", "For negative integers, we can merely show that\r\n", "

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

\r\n", "

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

\r\n", "

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

\r\n", "Thus, ((−n) x)·y, (−n) (x·y), and x·((−n) y) \r\n", "are the additive inverses of (n x)·y, n (x·y) and x·(n y), respectively. \r\n", "But since these latter three are equal for positive n, we have\r\n", "

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

\r\n", "\r\n", "Hence the lemma is proven for all integers n.

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

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

\r\n", "\r\n", "Suppose that x and y are two elements of the ring that generate the group under addition. That is, every element can be expressed as \r\n", "m x + n y for integers m and n. In particular, the unity\r\n", "

e = m x + n y

\r\n", "for some integers m and n. Since e commutes with both x and y, we have\r\n", "

m x·x + n y·x = (m x + n y)·x = \r\n", "e·x = x·e = m x·x + n x·y,

\r\n", "so n y·x = n x·y.

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

m x·y + n y·y = (m x + n y)·y = \r\n", "e·y = y·e = m y·x + n y·y,

\r\n", "so m x·y = m y·x.

\r\n", "\r\n", "By the greatest common divisor theorem (0.4), there are integers u and v such that \r\n", "

u m + v n = gcd(m, n).

\r\n", "If we let c denote the greatest common divisor of m and n, then\r\n", "

c(x·y − y·x) = \r\n", "(u m + v n)(x·y − y·x) = \r\n", "u (m x·y − m y·x) + v (n x·y − n y·x) = 0.

\r\n", "
\r\n", "What we need to show is that x·y − y·x = 0. The tempting thing to do is divide by c, but this operation is \r\n", "not allowed in rings. Instead, we will again utilize the unity. Since c = gcd(m, n), there are integers a and b \r\n", "such that m = a c and n = b c.

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

x·y − y·x = \r\n", "e·(x·y − y·x) = \r\n", "(a·c·x + b·c·y)·(x·y − \r\n", "y·x) = (a·x + b·y)·(c·(x·y − \r\n", "y·x)) = (a·x + b·y)·0 = 0.

\r\n", "So x·y = y·x, and the ring is commutative.

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

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

\r\n", "\r\n", "Suppose that y and z are two inverses of x. Then\r\n", "

y = y·e = y·(x·z) = \r\n", "(y·x)·z = e·z = z,

\r\n", "which is a contradiction.

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

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

\r\n", "\r\n", "Since the unity element is invertible, R^* is non-empty. Also, if x is invertible, then (x^-1)^-1 = \r\n", "x, so x^-1 is also in R^*. Finally, if x and y are both invertible, then since\r\n", "

(x·y)·(y^-1·x^-1) = \r\n", "x·x^-1 = e,

\r\n", "we see that x·y is invertible. The associative law comes from the associative multiplication of the \r\n", "ring. So the set of invertible elements forms a group.

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

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

\r\n", "\r\n", "First suppose that n is not prime. Then we can express n = a b, where a and b are less then n. \r\n", "If e represents the identity element of Z_n, we would then have\r\n", "

(a e)·(b e) = (a b) (e·e) = (a b) e = n e = 0.

\r\n", "\r\n", "But since a and b are both less than n, (a e) and (b e) are both nonzero. \r\n", "Hence, these would both be zero divisors in Z_n.

\r\n", "\r\n", "Now suppose that n is prime, and that there are two nonzero elements (a e) and (b e) such that (a e)·(b e) = 0. Then\r\n", "

(a e)·(b e) = (a b) (e·e) = (a b) e = 0.

\r\n", "This would imply that (a b) is a multiple of n. But since n is prime, we would have to conclude that either \r\n", "a or b is a multiple of n. But this contradicts the fact that both (a e) and (b e) are nonzero. Thus, if n is prime, \r\n", "there are no zero divisors in Z_n.

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

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

\r\n", "The tempting thing to do is to multiply both sides of the equation by a^-1. But the inverse of a may not exist, so we have to use the \r\n", "properties of rings instead.

\r\n", "\r\n", "If a·b = a·c, then we have\r\n", "

0 = a·b − a·c = a·(b − c).

\r\n", "But since a is not a zero-divisor and is nonzero, we must have that b − c = 0. Hence b = c.

\r\n", "\r\n", "Likewise, if b·a = c·a, then\r\n", "

0 = b·a − c·a = (b − c)·a,

\r\n", "and since a is nonzero and not a zero divisor, b − c = 0, and so b = c.

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

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

\r\n", "\r\n", "To utilize the fact that R is finite, let us construct a sequence of powers of b:\r\n", "

{b¹, b², b³, b⁴, …}

\r\n", "Since R is finite, two elements of this sequence must be equal, say b^m = bⁿ for m < n.\r\n", "Using the law of cancellation, we have b^m−1 = bⁿ⁻¹. Continuing this way, we eventually get\r\n", "

b = b^n−m+1

\r\n", "(It is tempting to use Lemma 9.4 one more time to get e = b^n−m, but unfortunately we have yet to prove that R \r\n", "has a unity.)

\r\n", "\r\n", "If we now let a = n − m + 1, we have that a > 1 and b^a = b.

\r\n", "\r\n", "Next, let us show that b^a−1 is a unity element in R. For any element x in R, we have\r\n", "

x·b^a = x·b,

\r\n", "and since b is nonzero and not a zero divisor, we can use the law of cancellation to get \r\n", "

x·b^a−1 = x.

\r\n", "Likewise, since b^a·x = b·x, we have that b^a−1·x = x. \r\n", "Hence, there is a unity element in R, namely b^a−1.

\r\n", "\r\n", "Finally, we need to construct an inverse for the element b. If a = 2, then we have just shown that b = e, and hence b is its \r\n", "own inverse. If a > 2, consider the element b^a−2. We have that\r\n", "

b·b^a−2 = b^a−1 = e, and \r\n", "b^a−2·b = b^a−1 = e.

\r\n", "So b^a−2 is the multiplicative inverse of b.

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

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

\r\n", "\r\n", "The trivial ring is already considered to be a division ring, so we may assume that the ring is nontrivial. Then there exists a nonzero element that is not a zero divisor, \r\n", "so by Proposition 9.6, the ring has a unity. Also by Proposition 9.6, every nonzero element will have a multiplicative inverse, so the ring is a division ring.

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

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

\r\n", " \r\n", "If n = 1, then the ring Z_n = Z₁ is the trivial ring, which we did not consider to be a field. \r\n", "We may suppose that n > 1. If n is prime, then by Proposition 9.5, Z_n has no zero divisors, and so by \r\n", "Corollary 9.1 Z_n is a division ring. Since Z_n is obviously commutative, this tells us that Z_n is a \r\n", "field.

\r\n", "\r\n", "Now suppose that n > 1 and n is not prime. By Proposition 9.5, Z_n has zero divisors, which cannot exist is a field according \r\n", "to Proposition 9.2. Therefore Z_n is a field if, and only if, n is prime.

\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", "§9.1 #20)
\r\n", "We saw that the ring Z₆ had zero divisors. We can enter this ring in Sage with the command
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "R = ZRing(6); R" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "Try this with Z₅, Z₇, Z₈, Z₉, Z₁₀, Z₁₁, and \r\n", "Z₁₂, and form the multiplication tables of these rings. Which ones have zero divisors? Which ones are fields?
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§9.1 #21)
\r\n", "Use Sage to show that quaternion multiplication is associative. That is, if we define
" ] }, { "cell_type": "code", "execution_count": 0, "metadata": { "collapsed": false }, "outputs": [ ], "source": [ "Q = InitQuaternions()\r\n", "var(\"a1 a2 a3 b1 b2 b3 c1 c2 c3 d1 d2 d3\")\r\n", "x = a1 + b1*i + c1*j + d1*k\r\n", "y = a2 + b2*i + c2*j + d2*k\r\n", "z = a3 + b3*i + c3*j + d3*k" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "then show that (x·y)·z = x·(y·z).
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§9.2 #18)
\r\n", "Use Sage or define a ring of order 2 that has no identity element. Show both the addition table and the multiplication table.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§9.2 #19)
\r\n", "Use Sage to find a non-commutative ring of order 8, for which the additive group is isomorphic to Z₂₄^*, formed \r\n", "from the basis {a, b, c}, and for which \r\n", "

a·b = a, b·a = b, \r\n", "a·c = c, and c·a = a.

\r\n", " \r\n", "(Hint: Using the associtivity law, determine what a², b², and c² must be. Then show that \r\n", "c·b must commute with a. Use trial and error to determine b·c.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§9.2 #20)
\r\n", "Use Sage to find a non-commutative ring of order 8, for which the additive group is isomorphic to Z₂₄^*, formed \r\n", "from the basis {a, b, c}, and for which\r\n", "

a² = a + c, a·b = b + c, \r\n", "b·a = b, and c·b = c.

" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§9.2 #21)
\r\n", "Define in Sage a non-commutative ring of order 4.

\r\n", "(Hint: By Problem 12, the additive group must be isomorphic to Z₈^*.)
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§9.3 #19)
\r\n", "9.4 ) Define in Sage the smallest non-commutative ring T₄ described in the text. Use a and c for the generators.
" ] }, { "cell_type": "markdown", "metadata": { "collapsed": false }, "source": [ "
\r\n", "§9.3 #20)
\r\n", "Define in Sage the smallest non-commutative unity ring T₈ described in the text.

\r\n", "(Hint: The basis can be chosen to be e, a, and b.)
" ] }, { "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 }

Property	ℤ	Even integers	ℚ	Reals	Z₆	Quaternions
Closed under addition	x	x	x	x	x	x
Closed under multiplication
(a + b) + c = a + (b + c)
(a·b)·c = a·(b·c)
Additive identity (0)
Multiplicative identity (1)
Additive inverses exist
Multiplicative inverses exist except for 0
a + b = b + a
a·b = b·a
a·b = 0 only if a or b = 0
(a + b)·c = a·c + b·c
a·(b + c) = a·b + a·c