Professional Documents
Culture Documents
W1 Lec 2 Ring, Polynomial Rings, Homomorphism
W1 Lec 2 Ring, Polynomial Rings, Homomorphism
Continuing on rings
Proof:
Forward. If ab=ac , a ≠0 then a ( b−c )=0. Since R has no zero-divisors, b−c=0. Similarly,
ba=ca ⇒b=c
Backward. Suppose ∃ a≠ 0 , b ≠ 0 s.t. ab=0=a 0 ⇒b=0 which is a contradiction.
Definition: An integral domain is a nonzero commutative ring in which there are no zero-
divisors.
Example: Z , R , R [ x ]
Proof: Let R be an integral domain with finitely many elements. Let a ∈ R be nonzero. Consider
the map φ a : R → R ,b ↦ ab. Then φ a is injective because a b 1=a b2 ⇒ b1 =b2 (integral domain).
Since R has finitely many elements, φ a is thus bijective. Therefore, it is also surjective. Thus,
∃b ∈ R s.t. ab=1, that is, b=a−1. Thus, a is a unit and since a was arbitrarily nonzero, it follows
that R is a field.
Examples:
p is prime ⇔ then F p is an integral domain. Since it has finitely many elements, it is also
a finite field. Now if p is prime then we write F p in place of Z / p Z .
Familiar fields: Q , R ,C
F2 = 0 0 , 1 0 , 1 1 , 0 1 ⊆ M 2 (Z / 2 Z )
2
{( ) ( ) ( ) ( )}
0 0 0 1 1 0 1 1
The notation F p means the set of n × n matrices with entries taking values in Z / p Z .
n
Polynomial rings
Notations:
Definitions
f ( x )=g ( x ) ⇔ ai =bi
n
f ( x ) + g ( x )=∑ ( a i+ bi ) xi
i=0
2n
f ( x ) g ( x )=∑ c i x where c k = ∑ ai b j
i
i + j=k
i =0
Definition: Degree of a nonzero polynomial is the largest integer n such that the coefficient of x n
is nonzero.
We write deg ( f ).
We don’t define degree for the zero polynomial. Constant polynomials have degree zero.
For a polynomial of degree n , the coefficient of x n is called the leading coefficient.
A monic polynomial is one whose leading coefficient is 1. That is, f ( x )=x n +¿ lower
degree terms.
R is a subring of R [ x ] if we identify elements of R with constant polynomials.
1) g ( x )=f ( x ) q ( x )+ r ( x )
2) If r ≠ 0 then deg ( r )< deg ( f ) .
(Exercise)
Note that deg ( f ) don’t necessarily have to be less than or equal to deg ( g ) . If deg ( f ) >deg ( g ) then
q ( x )=0 ,r ( x )=g ( x ).
Corollary: The above proposition holds whenever the leading coefficient of f ( x ) is a unit in R .
1 n
From now on, all rings are assumed to be commutative, unless otherwise stated.
Definition: A ring homomorphism φ : R → R ' from a ring R to a ring R' is a map s.t. ∀ a , b ∈ R
Definition: If there exists an isomorphism from R to R' then we say that R and R' are
isomorphic. That is, R ≅ R' .