14-240/Classnotes for Wednesday September 10

Knowledge about Fields :

During this lecture, at the beginning, we talked about the properties of the real numbers. Then we applied these properties to the "Field". At the end of the lecture, we learned how to prove basic properties of field.

The real numbers: A set R with

     + : R + R -> R;
     * : R * R -> R;

s.t.

     R1 : for every a , b belong to R , a + b = b + a  &  a * b = b * a;
     R2 : for every a , b , c belong to R , (a + b) + c = a + (b + c)  &  (a * b) * c = a * (b * c);
     R3 : "existence of units" : for every a belongs to R , a + 0 = a ("additive unit")  &  a * 1 = a ("multiplicative unit");
     R4 : "the existence of inverses" : for every a belongs to R , there exists b belongs to R , s.t. a + b = 0;
                                  for every a belongs to R , a is not equal to 0 , there exists b , s.t a * b = 1;
     R5 : "the distributive law" : for every a , b , c belong to R , (a + b) * c = a * c + b * c;

True for R , yet does not follow from R1 to R5. For every a belongs to R , there exists x belongs to R , s.t. a = x square or -a = x square;

                                                                          PS: This "or" here means "inclusive or" !!!

in Q which means rational numbers , let us take a = 2 , there not exists x belongs to Q , s.t. 2 = x square;

---

Field :

Definition: A "field" is a set F along with a pair of binary operations :

           + : F + F -> F;
           * : F * F -> F;
           and along with a pair 0 , 1 belong to F , 0 is not equal to 1  &  s.t. F1 to F5 hold.

Examples: 1. R is a field;

         2. Q which means rational numbers is a field;
         3. C which means complex numbers is a field;
         4. F = {0 , 1} is a field:
                   + 0 1        * 0 1
                   0 0 1        0 0 0
                   1 1 0        1 0 1
                  F = {0 , 1} = F2 = Z/2
         5. For every prime number P : Fp = {0 , 1 , 2 , 3 , ... , p-1} is a field;
            along with + & * defined as above;
            (a , b) -> a + b mod p
                       foe example : F7 = {1 , 2 , 3 , 4 , 5 , 6};
                                     + like remainder when you divided by 7;
                                       like remainders mod 7.

Thm (basic properties of fields) : Let F be a field, and let a , b , c denote elements of F' , then

      1. a + b = c + b => a = c       "concellation law"
      2. b is not equal to 0 & a * b = c * b => a = c;