1 mathematical structures: groups, rings, and fields roger house scientific buzz café coffee catz...
TRANSCRIPT
![Page 1: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/1.jpg)
1
Mathematical Structures: Groups, Rings, and Fields
Roger HouseScientific Buzz Café
Coffee CatzSebastopol, CA
2008 September 18Copyright © 2008 Roger House
![Page 2: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/2.jpg)
2
Why haven't I ever heard of this?
“Nothing which is taught at a secondary school was discovered later than the year 1800. ... Even among physicists, apart from those who work in quantum theory or relativity, I believe that those who do experimental work use hardly any more mathematics than was known to Maxwell in 1860.”
Jean Dieudonné (1906-1992)
Mathematics – The Music of Reason
![Page 3: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/3.jpg)
3
6 – Our first group
• We begin with a set of six numbers
6 = { 0, 1, 2, 3, 4, 5 }
• We define an operation on the set which we call addition and denote by +
• This is similar to, but not really the same as, the usual operation of addition
• To see this, let's add 1 to each element of 6
![Page 4: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/4.jpg)
4
Add 1 to each element of 6
0 + 1 = 1
1 + 1 = 2
2 + 1 = 3
3 + 1 = 4
4 + 1 = 5
5 + 1 = ?
• What is 5 + 1?
• Usually it's 6, but there is no 6 in our set
• What to do?
![Page 5: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/5.jpg)
5
Getting nothing from something
• Let's be bold and define
5 + 1 = 0
• This might seem unreasonable, but consider what time it is 3 hours after 11am:
11 + 3 = 2
• Out of context this seems unreasonable too, but when doing "clock arithmetic" it makes sense
• Remember we said + is not exactly addition
![Page 6: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/6.jpg)
6
Add 2 to each element of 6
0 + 2 = 2
1 + 2 = 3
2 + 2 = 4
3 + 2 = 5
4 + 2 = 0
5 + 2 = 1
• Now we seem to have two strange results, but keep thinking about clock arithmetic
![Page 7: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/7.jpg)
7
Addition table for 6
0 1 2 3 4 5
1 2 3 4 5 0
2 3 4 5 0 1
3 4 5 0 1 2
4 5 0 1 2 3
5 0 1 2 3 4 Pick an element x in the left column and an
element y in the top row Where the row and column meet is x + y
![Page 8: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/8.jpg)
8
Addition made easy
• Given any two elements x and y of 6 the
addition table shows us how to add them together to get the sum x + y
• There's another way to do it: Just add x plus y in the usual way as if they were ordinary whole numbers to get a sum z
If z < 6, then z is the sum
If z ≥ 6, then z – 6 is the sum
![Page 9: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/9.jpg)
9
Examples of addition
3 + 2 = 5
3 + 3 = 6, so 6 - 6 = 0 is the sum
3 + 4 = 7, so 7 - 6 = 1 is the sum
4 + 1 = 5
4 + 4 = 8, so 8 - 6 = 2 is the sum
5 + 5 = 10, so 10 - 6 = 4 is the sum
Note how similar this is to clock arithmetic
![Page 10: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/10.jpg)
10
0 is an identity
0 + 0 = 0
1 + 0 = 1
2 + 0 = 2
3 + 0 = 3
4 + 0 = 4
5 + 0 = 5 So x + 0 = x for every x We say 0 is an identity element for +
![Page 11: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/11.jpg)
11
Every element has an inverse
0 + 0 = 0
1 + 5 = 0
2 + 4 = 0
3 + 3 = 0
4 + 2 = 0
5 + 1 = 0 Every element x has an inverse element x'
such that
x + x' = 0
![Page 12: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/12.jpg)
12
Be associative
• How to compute 5 + 4 + 2 ?
(5 + 4) + 2 = (3) + 2 = 5
5 + (4 + 2) = 5 + (0) = 5
• For any three elements x, y, z of 6 we have
(x + y) + z = x + (y + z)
• Another way to say this: Addition is associative
![Page 13: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/13.jpg)
13
Can we prove + is associative?
• There are 6∙6∙6 = 216 different triples of numbers from
6 and + appears 4 times in
(x + y) + z = x + (y + z) So by using the addition table 4∙216 = 864
times, we can prove that + is associative This is a proof by “main strength and
awkwardness” There are better ways
![Page 14: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/14.jpg)
14
Where are we?
We have a set of six elements
6 = { 0, 1, 2, 3, 4, 5 }
We have an operation + defined on the set which takes any two elements of the set and combines them to produce another element of the set
The operation is associative, so for any three elements x, y, and z we have
(x + y) + z = x + (y + z)
![Page 15: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/15.jpg)
15
Still in Kansas?
• An identity element 0 exists so that for any element x we have
x + 0 = x
• Every element x has an inverse element x' so that
x + x' = 0
• In short, we have a group
![Page 16: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/16.jpg)
16
Groups
• Note that the word “group” is being used here in a highly technical sense
• A group is a non-empty set with a binary operation defined on it such that the operation is associative, an identity element exists, and every element has an inverse
• The group is one of the most fundamental structures in mathematics
• Groups sprout like weeds in modern math
![Page 17: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/17.jpg)
17
Examples of groups
• Let n = { 0, 1, 2, ..., n-1 } for any integer n >
0, and define + in analogy with + for 6
• nis a group
• nis called the cyclic group of n elements
• Note that for every positive integer n there exists at least one group with n elements
• So we don't have to worry about running out of groups
![Page 18: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/18.jpg)
18
Some groups go on forever ...
• Now consider = { ..., -2, -1, 0, 1, 2, ... }, the set of all integers, and let + be the usual addition of integers
• Is <,+> a group?
• Is + a binary operation on ?• Is + associative?
• Which element is the identity?
• For x an integer, what is its inverse?
![Page 19: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/19.jpg)
19
is indeed a group
• + on integers is a binary operation
• It is associative
• 0 is the identity element
• For any integer x, its inverse is -x
• is an infinite group, the first such we have seen
![Page 20: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/20.jpg)
20
Is <,*> a group?
• Now consider and the operation *, the usual multiplication of integers
• Is <,*> a group?
• Is * a binary operation on ?• Is * associative?
• Which element is the identity?
• For x an integer, what is its inverse?
![Page 21: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/21.jpg)
21
<,*> is NOT a group
• * on integers is a binary operation
• It is associative
• 1 is the identity element
• For any integer x, its inverse is 1/x
• Whoops! 1/x is not an integer (except when x = -1 or x = +1), so the vast majority of integers have no multiplicative inverses
![Page 22: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/22.jpg)
22
Is <+,*> a group?
• Let + denote the set of all positive real numbers, and let * be the usual multiplication of real numbers
• Is <+,*> a group?
• Is * a binary operation on +?
• Is * associative?
• Which element is the identity?
• For x a positive real, what is its inverse?
![Page 23: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/23.jpg)
23
<+,*> is a group
• * on real numbers is a binary operation
• It is associative
• 1 is the identity element
• For any real x, its inverse is 1/x
• <+,*> is an infinite group, the second such we have seen
• [It's way more infinite than <,+>, but that's the subject of another talk.]
![Page 24: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/24.jpg)
24
Time for some geometry
• All the groups we have seen so far are arithmetic in nature
• It's time to consider a geometrical example
• We start with a regular hexagon
• hexa- means six (Greek)
• -gon means angled (Greek)
• regular means all sides are equal and all angles are equal
![Page 25: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/25.jpg)
25
A regular hexagon
0
12
3
4 5
![Page 26: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/26.jpg)
26
Transformations of the hexagon
• We are going to consider transformations of the hexagon which map vertices to vertices
• We will restrict our transformations to counterclockwise rotations by multiples of 60º
• Any two rotations which map vertex 0 to the same vertex v are considered identical
![Page 27: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/27.jpg)
27
CCW rotations of the hexagon
• There are six possible rotations:
R0 – rotate the hexagon CCW by 0º
R1 – rotate the hexagon CCW by 60º
R2 – rotate the hexagon CCW by 120º
R3 – rotate the hexagon CCW by 180º
R4 – rotate the hexagon CCW by 240º
R5 – rotate the hexagon CCW by 300º
![Page 28: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/28.jpg)
28
H - A set of rotations
• Let's define a set whose members are the six rotations of the hexagon:
H = { R0, R
1, R
2, R
3, R
4, R
5 }
• We define an operation on the set called composition and denote it by *
• The composition Ri * R
j of two rotations is
simply the rotation obtained by first doing rotation R
i and then doing rotation R
j
![Page 29: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/29.jpg)
29
Examples of composition
R1 * R
2 = R
3
R2 * R
2 = R
4
R3 * R
4 = R
1
R5 * R
4 = R
3
R3 * R
3 = R
0
R2 * R
5 = R
1
![Page 30: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/30.jpg)
30
R0 is an identity rotation
R0 * R
0 = R
0
R1 * R
0 = R
1
R2 * R
0 = R
2
R3 * R
0 = R
3
R4 * R
0 = R
4
R5 * R
0 = R
5
So x * R0 = x for every x
R0 is an identity element for *
![Page 31: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/31.jpg)
31
Every rotation has an inverse
R0 * R
0 = R
0
R1 * R
5 = R
0
R2 * R
4 = R
0
R3 * R
3 = R
0
R4 * R
2 = R
0
R5 * R
1 = R
0
Every element x has an inverse element x' x * x' = R
0
![Page 32: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/32.jpg)
32
Composition is associative
• How to determine R5 * R
4 * R
2 ?
(R5 * R
4) * R
2 = (R
3) * R
2 = R
5
R5 * (R
4 * R
2) = R
5 * (R
0) = R
5
• For any three elements x, y, z of H we have
(x * y) * z = x * (y * z)
• So composition is associative (but we haven't proved this)
![Page 33: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/33.jpg)
33
So, what have we got?
We have a set of six elements
H = { R0, R
1, R
2, R
3, R
4, R
5 }
We have an operation * defined on the set which takes any two elements of the set and combines them to produce another element of the set
The operation is associative, so for any three elements x, y, and z we have
(x * y) * z = x * (y * z)
![Page 34: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/34.jpg)
34
H is a group!
• An identity element R0 exists so that for
any element x we have
x * R0 = x
• Every element x has an inverse element x' so that
x * x' = R0
• In short, H is a group!
![Page 35: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/35.jpg)
35
Composition table for H
R0 R
1 R
2 R
3 R
4 R
5
R1 R
2 R
3 R
4 R
5 R
0
R2 R
3 R
4 R
5 R
0 R
1
R3 R
4 R
5 R
0 R
1 R
2
R4 R
5 R
0 R
1 R
2 R
3
R5 R
0 R
1 R
2 R
3 R
4
![Page 36: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/36.jpg)
36
Is H starting to look familiar?
• Consider this mapping:
0 ↔ R0
1 ↔ R1
2 ↔ R2
3 ↔ R3
4 ↔ R4
5 ↔ R5
![Page 37: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/37.jpg)
37
Some correspondences
1 + 2 = 3 ↔ R1 * R
2 = R
3
2 + 2 = 4 ↔ R2 * R
2 = R
4
3 + 4 = 1 ↔ R3 * R
4 = R
1
5 + 4 = 3 ↔ R5 * R
4 = R
3
3 + 3 = 0 ↔ R3 * R
3 = R
0
2 + 5 = 1 ↔ R2 * R
5 = R
1
![Page 38: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/38.jpg)
38
It's déjà vu all over again
• Given a true statement about 6 replace
each digit i by Ri and replace + by * and we
have a true statement about H
• And vice versa
• We say that 6 and H are isomorphic
<6,+> <H,*>
iso- means same (Greek) -morph means shape or form (Greek)
![Page 39: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/39.jpg)
39
<6,+> is isomorphic to <H,*>
• When two mathematical objects are isomorphic, they have the same structure
• When a statement is proved true about one structure, the equivalent statement is true about the other structure
• Sometimes one structure is easier to work with than another
• Addition in 6 may be easier than rotating
cardboard hexagons
![Page 40: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/40.jpg)
40
More geometry
• Let's consider another geometrical example
• This time we'll work with a regular triangle, also called an equilateral triangle
• tri- means three (Latin)
• regular means all sides are equal and all angles are equal, so each angle is 60º
![Page 41: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/41.jpg)
41
An equilateral triangle
A
B
C
![Page 42: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/42.jpg)
42
Transformations of the triangle
• We're going to consider transformations of the triangle which map vertices to vertices
• One kind of transformation is a counterclockwise rotation by a multiple of 120º
• Another kind of transformation is a flip around an axis through a vertex, perpendicular to the side opposite
![Page 43: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/43.jpg)
43
Rotations and flips
There are six such transformations:
R0 – rotate CCW by 0º
R1 – rotate CCW by 120º
R2 – rotate CCW by 240º
F0 – flip around the axis defined by A
F1 – flip around the axis defined by B
F2 – flip around the axis defined by C
![Page 44: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/44.jpg)
44
Permutations, anyone?
Another view of the transformations:
R0 ≡ ABC
R1 ≡ CAB
R2 ≡ BCA
F0 ≡ ACB
F1 ≡ CBA
F2 ≡ BAC
![Page 45: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/45.jpg)
45
S3 – Triangle transformations
• Let's define a set whose members are the six transformations of the triangle:
S3 = { R
0, R
1, R
2, F
0, F
1, F
2 }
• We define an operation on the set called composition and denote it by *
• The composition t*s of two transformations is simply the transformation obtained by first doing transformation t followed by transformation s
![Page 46: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/46.jpg)
46
Examples of composition
R1 * R
2 = R
0
R2 * R
2 = R
1
F0 * R
1 = F
2
F2 * F
1 = R
1
R1 * F
2 = F
0
F2 * R
1 = F
1
![Page 47: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/47.jpg)
47
R0 is an identity
R0 * R
0 = R
0
R1 * R
0 = R
1
R2 * R
0 = R
2
F0 * R
0 = F
0
F1 * R
0 = F
1
F2 * R
0 = F
2
So x * R0 = x for every x
R0 is an identity element for *
![Page 48: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/48.jpg)
48
Every element has an inverse
R0 * R
0 = R
0
R1 * R
2 = R
0
R2 * R
1 = R
0
F0 * F
0 = R
0
F1 * F
1 = R
0
F2 * F
2 = R
0
Every element x has an inverse element x' x * x' = R
0
![Page 49: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/49.jpg)
49
Composition is associative
• How to determine F2 * R
2 * F
0 ?
(F2 * R
2) * F
0 = (F
0) * F
0 = R
0
F2 * (R
2 * F
0) = F
2 * (F
2) = R
0
• For any three elements x, y, z of H we have
(x * y) * z = x * (y * z)
• So composition is associative (but we haven't proved this)
![Page 50: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/50.jpg)
50
We've been here before
We have a set of six elements
S3 = { R
0, R
1, R
2, F
0, F
1, F
2 }
We have an operation * defined on the set which takes any two elements of the set and combines them to produce another element of the set
The operation is associative, so for any three elements x, y, and z we have
(x * y) * z = x * (y * z)
![Page 51: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/51.jpg)
51
S3 is a group
• An identity element R0 exists so that for
any element x we have
x * R0 = x
• Every element x has an inverse element x' so that
x * x' = R0
• In short, S3 is a group!
![Page 52: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/52.jpg)
52
Composition table for S3
R0 R
1 R
2 F
0 F
1 F
2
R1 R
2 R
0 F
1 F
2 F
0
R2 R
0 R
1 F
2 F
0 F
1
F0 F
2 F
1 R
0 R
2 R
1
F1 F
0 F
2 R
1 R
0 R
2
F2 F
1 F
0 R
2 R
1 R
0
![Page 53: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/53.jpg)
53
Something a bit odd
You may have noticed something of interest in earlier examples of composition:
R1 * F
2 = F
0
F2 * R
1 = F
1
What is a bit strange about this?
What is going on here?
![Page 54: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/54.jpg)
54
S3 is noncommutative
• Many operations in mathematics are commutative, i.e., the order of the operands does not matter:
15 + 6 = 6 + 15 = 21
15 * 6 = 6 * 15 = 90
• But composition on S3 is noncommutative:
R1 * F
2 ≠
F
2 * R
1
Be careful not to assume commutativity
![Page 55: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/55.jpg)
55
S3 is nonabelian
• When a group is commutative, it is said to be abelian
• When a group is noncommutative, it is said to be nonabelian
• The term abelian is derived from the name of the Norwegian mathematician, Niels Henrik Abel (1802-1829), who did significant mathematics before dying at a young age of tuberculosis
![Page 56: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/56.jpg)
56
Is S3 really a new group?
• We have now seen three groups of order six:
6, H, and S
3
• We saw that 6 and H are isomorphic, so
they are essentially the same
• What about S3?
• Is S3 isomorphic to
6 or H?
• If S3 is isomorphic to one of
6 or H, it's
isomorphic to the other also
![Page 57: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/57.jpg)
57
Let's try a correspondence
If S3 is isomorphic to
6 then there is a
correspondence like this one
0 ↔ R0
1 ↔ R1
2 ↔ R2
3 ↔ F0
4 ↔ F1
5 ↔ F2
![Page 58: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/58.jpg)
58
It doesn't work out like we want
• All true statements in one group map to true statements in the other group
• We know 1 + 2 = 3 in 6
• The corresponding statement in S3 is
R1 + R
2 = F
0
• But this is false because
R1 + R
2 = R
0
And R0 corresponds to 0 in
6, not to 3
![Page 59: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/59.jpg)
59
Are we done yet?
• Does this mean S3 is not isomorphic to
6?
• No, not at all; we tried one correspondence between elements of S
3 and
6 and it didn't
work out, but there are a bunch more possible correspondences to try
• How many?
• There are 6! = 6∙5∙4∙3∙2∙1 = 720 ways to order six things, so we only have 719 to go
![Page 60: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/60.jpg)
60
Flips are their own inverses
Let's not use main strength and awkwardness Elements of S
3 which are their own inverses:
R0 * R
0 = R
0
F0 * F
0 = R
0
F1 * F
1 = R
0
F2 * F
2 = R
0
Elements of 6 which are their own inverses:
0 + 0 = 0
![Page 61: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/61.jpg)
61
S3
6
• So S3 has four elements which are their
own inverses, and 6 has only one such
element
• Thus there is no possible correspondence between elements of the two groups which will preserve true statements
• S3 and
6 are NOT isomorphic
![Page 62: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/62.jpg)
62
How many groups are there?
• So, now we have two essentially different groups of order six: S
3 and
6
• Are there other groups of order six?
• No, there are only these two
• This raises an interesting question: How many groups are there of
order 1?
order 2?
...
![Page 63: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/63.jpg)
63
No. of groups of a given order
Ord # Ord # Ord #
1 1 8 5 15 1
2 1 9 2 16 14
3 1 10 2 17 1
4 2 11 1 18 5
5 1 12 5 19 1
6 2 13 1 20 5
7 1 14 2 21 2
![Page 64: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/64.jpg)
64
How many groups did you say?
• For every positive integer n there is at least one group, namely the cyclic group
n
• If p is prime there is only one group of order p, namely,
p
• The general case is very complex:
n = 510 = 2∙3∙5∙17: 8 groups
n = 511 = 7∙73: 1 group
n = 512 = ?: 10,494,213 groups
n = 513 = 3∙3∙3∙19: 15 groups
![Page 65: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/65.jpg)
65
What about multiplication?
• A group has only one operation, usually called addition (but, as we have seen, it is not necessarily the usual addition we are used to)
• In many cases of interest there are two operations: addition and multiplication
• Let's return to our favorite structure, 6, and
see if we can define multiplication for it
![Page 66: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/66.jpg)
66
Multiplication made easy
• Denote multiplication by *
• For x and y in , we define x * y like this:
• Multiply x times y in the usual way as if they were ordinary whole numbers to get a product z
If z < 6, then z is the product If z ≥ 6, then subtract 6 from z repeatedly until a number < 6 results; it is the product
![Page 67: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/67.jpg)
67
Examples of multiplication
2 * 2 = 4
2 * 3 = 6, so 6 - 6 = 0 is the product
3 * 3 = 9, so 9 - 6 = 3 is the product
3 * 4 = 12, so 12 - 6 - 6 = 0 is the product
1 * 5 = 5
4 * 4 = 16, so 16 - 6 - 6 = 4 is the product
5 * 5 = 25, so 25 - 6 - 6 - 6 - 6 = 1 is the product
![Page 68: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/68.jpg)
68
Multiplication table for 6
* | 0 1 2 3 4 5
0 | 0 0 0 0 0 0
1 | 0 1 2 3 4 5
2 | 0 2 4 0 2 4
3 | 0 3 0 3 0 3
4 | 0 4 2 0 4 2
5 | 0 5 4 3 2 1
![Page 69: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/69.jpg)
69
1 is a unity
0 * 1 = 0
1 * 1 = 1
2 * 1 = 2
3 * 1 = 3
4 * 1 = 4
5 * 1 = 5 So x * 1 = x for every x We say 1 is a unity for *
![Page 70: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/70.jpg)
70
Keep on associating
• How to compute 5 * 4 * 2 ?
(5 * 4) * 2 = (2) * 2 = 4
5 * (4 * 2) = 5 * (2) = 4
• For any three elements x, y, z of 6 we have
(x * y) * z = x * (y * z)
• Another way to say this: Multiplication is associative (we have not proved this)
![Page 71: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/71.jpg)
71
Better commute too
• How do 5 * 4 and 4 * 5 relate?
5 * 4 = 2
4 * 5 = 2
• For any two elements x, y of 6 we have
x * y = y * x
• Another way to say this: Multiplication is commutative (we have not proved this)
![Page 72: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/72.jpg)
72
The distributive law
• How to compute 5 * (4 + 3) ?
5 * (4 + 3) = (5 * 4) + (5 * 3)
= 2 + 3 = 5
• For any three elements x, y, z of 6 we have
x * (y + z) = (x * y) + (x * z)
• Another way to say this: Multiplication distributes over addition (we have not proved this)
![Page 73: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/73.jpg)
73
Definition of a ring
• A ring <R,+,*> is a non-empty set R together with two operations + and *, called addition and multiplication, such that
• <R,+> is an abelian group
• Multiplication is associative
• Multiplication distributes over addition
• A commutative ring with unity is a ring in which multiplication is commutative and there exists a unity element
![Page 74: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/74.jpg)
74
<6,+,*> is a commutative ring with unity
• We have seen that <6,+> is an abelian
group (remember abelian means + is commutative)
• * is associative
• * distributes over +
• * is commutative
• 1 is a unity
• <6,+,*> is a commutative ring with unity
![Page 75: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/75.jpg)
75
Examples of Rings
• Let n = { 0, 1, 2, ..., n-1 } for any integer n >
0, and define + and * in analogy with + and * for
6
• <n,+,*>
is a commutative ring with unity
• So there are an infinite number of such rings
• There are also infinite rings, e.g., with the usual addition and multiplication
![Page 76: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/76.jpg)
76
Matrices
• Let Mn be the set of all nn matrices of real
numbers
• Here are some typical elements of M2:
1 4 3 2 0 2 2 1
We can define addition and multiplication of these elements in such a way that M
2 is a
ring with unity
![Page 77: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/77.jpg)
77
More about matrices
• The identity element for addition is
0 0 0 0
The unity element for multiplication is
1 0 0 1
Matrix multiplication is NOT commutative
![Page 78: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/78.jpg)
78
What about division?
• In a group we can add (not necessarily the kind of addition we use in daily life)
• We can also subtract, because every element has an inverse, and adding the inverse of x is the same as subtracting x
• In a ring, we can multiply
• But can we divide?
![Page 79: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/79.jpg)
79
Be careful!
• Looking back at the multiplication table for
6, we see that
2 * 3 = 0
• Let's divide both sides by 3 to get
2 = 0
• NO! NO! NO! NO! NO! NO! NO! NO!
• What's the problem?
![Page 80: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/80.jpg)
80
A ring divided ...
• In order to divide by an element x, we must have an element x' such that x * x' = 1, i.e., we need a multiplicative inverse for x
• Then, to divide by x, we simply multiply by the multiplicative inverse x'
• Looking back at the multiplication table for
6, we see that only 1 and 5 have
multiplicative inverses
• So division in 6 is just not going to work
![Page 81: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/81.jpg)
81
If 6 doesn't work, try
5
• Let's look at <5,+,*>, a commutative ring
with unity consisting of 5 elements 0, 1, 2, 3, and 4
• We can add and multiply in this ring much like we did in
6: When a value is greater
than or equal to 5, we subtract 5 repeatedly until we get 0, 1, 2, 3, or 4
• Let's look at the multiplication table for 5
![Page 82: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/82.jpg)
82
Multiplication table for 5
* | 0 1 2 3 4
0 | 0 0 0 0 0
1 | 0 1 2 3 4
2 | 0 2 4 1 3
3 | 0 3 1 4 2
4 | 0 4 3 2 1
How is this different from the multiplication table for
6?
![Page 83: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/83.jpg)
83
Unity at last
• In every row of the table except the first, we see that the multiplicative unity 1 appears
• This means that every element except 0 has a multiplicative inverse:
1 * 1 = 1
2 * 3 = 1
3 * 2 = 1
4 * 4 = 1
![Page 84: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/84.jpg)
84
We can divide in 5
To divide by 1: Multiply by 1
To divide by 2: Multiply by 3
To divide by 3: Multiply by 2
To divide by 4: Multiply by 4
To divide by 0: Multiply by ???
![Page 85: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/85.jpg)
85
Don't divide by nada
• Don't ever, ever, ever divide by zero
• Division is only defined when the divisor is non-zero
• So dividing by zero is meaningless
• [But can't we define x/0 = ?]
• [Yes, but that opens up another can of worms which we are not dealing with today]
![Page 86: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/86.jpg)
86
What's your field?
• Given a non-zero element x of a ring, if there exists an element x-1 such that x * x-1 = 1, then x-1 is the multiplicative inverse of x
• A field is a commutative ring with unity in which every non-zero element has a multiplicative inverse
• In a field we can not only add, subtract, and multiply, we can also divide
![Page 87: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/87.jpg)
87
Examples of fields
• 5 is a field
• p is a field for every prime p, so there are
an infinite number of finite fields
• Is , the set of all integers, a field?
• Is , the set of all rational numbers, a field?
• Is , the set of all real numbers, a field?
• Is , the set of all complex numbers, a field?
![Page 88: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/88.jpg)
88
A subset of the real numbers
• Consider the set S = { a+b√2 | a,b ∈ }• Some elements of S: 2+√2, ½ +3√2, 5
• Note that S is bigger than and smaller than : ⊂S⊂
• Define addition and multiplication on S as the usual operations on the real numbers
• Is S a field?
• What are the requirements on a set in order for it to be a field?
![Page 89: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/89.jpg)
89
We'll just do the fun ones
• Because is a field and S is a subset of , most of the requirements for S to be a field are easily shown
• There are three things, however, which we must carefully check:
1. S is closed under + 2. S is closed under * 3. Every non-zero element of S has a multiplicative inverse
![Page 90: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/90.jpg)
90
You do the third one
• 1. (a+b√2) + (c+d√2) = (a+c)+(b+d)√2
• 2. (a+b√2) * (c+d√2) = ac + ad√2 + bc√2 + bd√2√2 = (ac+2bd) + (ad+bc)√2
• 3. The multiplicative inverse of a+b√2 is
a/d - (b/d)√2, where d = a2 - 2b2
![Page 91: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/91.jpg)
91
Fields, fields, everywhere
• So S is a subfield of • Are there other subfields of ?• Yes, bijillions of them
• Are there other fields besides the ones we've talked about?
• Yes, bijillions of them
![Page 92: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/92.jpg)
92
What have we seen?
• Groups – structures in which we can add and subtract
• Rings – structures in which we can add, subtract, and multiply
• Fields – structures in which we can add, subtract, multiply, and divide
• Some are finite, some are infinite
• They are abstractions of concrete number systems like , , , and
![Page 93: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/93.jpg)
93
Who cares?
“… Monsieur Fourier was of the opinion that the principal aim of Mathematics is to serve mankind and to explain natural phenomna; but a philosopher such as he ought to have known that the sole aim of science is the fulfillment of the human spirit, and that, accordingly, a question about numbers has as much significance as a question about the workings of the world.”
C.G.J.Jacobi (1804-1882)
![Page 94: 1 Mathematical Structures: Groups, Rings, and Fields Roger House Scientific Buzz Café Coffee Catz Sebastopol, CA 2008 September 18 Copyright © 2008 Roger](https://reader035.vdocuments.site/reader035/viewer/2022081519/56649dea5503460f94ae5d4e/html5/thumbnails/94.jpg)
94
In closing …
“In mathematics you don't understand things. You just get used to them.”
John von Neumann (1903-1957)
“It's so complicated …”
Mick Jagger (1943-)