Skip to Content
Math4302Modern Algebra (Lecture 29)

Math4302 Modern Algebra (Lecture 29)

Rings

Polynomial Rings

R[x]={a0+a1x+⋯+anxn:a0,a1,⋯ ,an∈R,n>1}R[x]=\{a_0+a_1x+\cdots+a_nx^n:a_0,a_1,\cdots,a_n\in R,n>1\}

Then (R[x],+,⋅)(R[x],+,\cdot ) is a ring.

If RR has a unity 11, then R[x]R[x] has a unity 11.

If RR is commutative, then (R[x],+,⋅)(R[x],+,\cdot ) is commutative.

Definition of evaluation map

Let FF be a field, and F[x]F[x]. Fix α∈F\alpha\in F. ϕα:F[x]→F\phi_\alpha:F[x]\to F defined by f(x)↦f(α)f(x)\mapsto f(\alpha) (the evaluation map).

Then ϕα\phi_\alpha is a ring homomorphism. ∀f,g∈F[x]\forall f,g\in F[x],

  • (f+g)(α)=f(α)+g(α)(f+g)(\alpha)=f(\alpha)+g(\alpha)
  • (fg)(α)=f(α)g(α)(fg)(\alpha)=f(\alpha)g(\alpha) (use commutativity of ⋅\cdot of FF, f(α)g(α)=∑k=0n+mckxkf(\alpha)g(\alpha)=\sum_{k=0}^{n+m}c_k x^k, where ck=∑i=0kaibk−ic_k=\sum_{i=0}^k a_ib_{k-i})

Definition of roots

Let α∈F\alpha\in F is zero (or root) of f∈F[x]f\in F[x], if f(α)=0f(\alpha)=0.

Example

f(x)=x3−x,F=Z3f(x)=x^3-x, F=\mathbb{Z}_3

f(0)=f(1)=0f(0)=f(1)=0, f(2)=8−2=2−2=0f(2)=8-2=2-2=0

but note that f(x)f(x) is not zero polynomial f(x)=0f(x)=0, but all the evaluations are zero.

Factorization of polynomials

Division algorithm. Let FF be a field, f(x),g(x)∈F[x]f(x),g(x)\in F[x] with g(x)g(x) non-zero. Then there are unique polynomials q(x),r(x)∈F[x]q(x),r(x)\in F[x] such that

f(x)=q(x)g(x)+r(x)f(x)=q(x)g(x)+r(x)

where f(x)=a0+a1x+⋯+anxnf(x)=a_0+a_1x+\cdots+a_nx^n and g(x)=b0+b1x+⋯+bmxmg(x)=b_0+b_1x+\cdots+b_mx^m, r(x)=c0+c1x+⋯+ctxtr(x)=c_0+c_1x+\cdots+c_tx^t, and an,bm,ct≠0a^n,b^m,c^t\neq 0.

r(x)r(x) is the zero polynomial or deg⁡r(x)<deg⁡g(x)\deg r(x)<\deg g(x).

Proof

Uniqueness: exercise


Existence:

Let S={f(x)−h(x)g(x):h(x)∈F[x]}S=\{f(x)-h(x)g(x):h(x)\in F[x]\}.

If 0∈S0\in S, then we are done. Suppose 0∉S0\notin S.

Let r(x)r(x) be the polynomial with smallest degree in SS.

f(x)−h(x)g(x)=r(x)f(x)-h(x)g(x)=r(x) implies that f(x)=h(x)g(x)+r(x)f(x)=h(x)g(x)+r(x).

If deg⁡r(x)<deg⁡g(x)\deg r(x)<\deg g(x), then we are done; we set q(x)=h(x)q(x)=h(x).

If deg⁡r(x)≥deg⁡g(x)\deg r(x)\geq\deg g(x), we get a contradiction, let t=deg⁡r(x)t=\deg r(x).

m=deg⁡g(x)m=\deg g(x). (so m≤tm\leq t) Look at f(x)−(h(x)+ctbmxt−m)g(x)f(x)-(h(x)+\frac{c_t}{b_m}x^{t-m})g(x).

then f(x)−(h(x)+ctbmxt−m)g(x)=f(x)−h(x)g(x)−ctbmxt−mg(x)f(x)-(h(x)+\frac{c_t}{b_m}x^{t-m})g(x)=f(x)-h(x)g(x)-\frac{c_t}{b_m}x^{t-m}g(x).

And f(x)−h(x)g(x)=r(x)=c0+c1x+⋯+ctxtf(x)-h(x)g(x)=r(x)=c_0+c_1x+\cdots+c_tx^t, ct≠0c_t\neq 0.

ctbmxt−mg(x)=c0ctbmxt−m+⋯+ctxt\frac{c_t}{b_m}x^{t-m}g(x)=\frac{c_0c_t}{b_m}x^{t-m}+\cdots+c_t x^t

That the largest terms cancel, so this gives a polynomial of degree <t<t, which violates that r(x)r(x) has smallest degree.

Example

F=Z5={0,1,2,3,4}F=\mathbb{Z}_5=\{0,1,2,3,4\}

Divide 3x4+2x3+x+23x^4+2x^3+x+2 by x2+4x^2+4 in Z5[x]\mathbb{Z}_5[x].

3x4+2x3+x+2=(3x3+2x−2)(x2+4)+3x3x^4+2x^3+x+2=(3x^3+2x-2)(x^2+4)+3x

So q(x)=3x3+2x−2q(x)=3x^3+2x-2, r(x)=3xr(x)=3x.

Some corollaries

a∈Fa\in F is a zero of f(x)f(x) if and only if (x−a)∣f(x)(x-a)|f(x).

That is, the remainder of f(x)f(x) when divided by (x−a)(x-a) is zero.

Proof

If (x−a)∣f(x)(x-a)|f(x), then f(a)=0f(a)=0.

If f(x)=(x−a)q(x)f(x)=(x-a)q(x), then f(a)=(a−a)q(a)=0f(a)=(a-a)q(a)=0.


If aa is a zero of f(x)f(x), then f(x)f(x) is divisible by (x−a)(x-a).

We divide f(x)f(x) by (x−a)(x-a).

f(x)=q(x)(x−a)+r(x)f(x)=q(x)(x-a)+r(x), where r(x)r(x) is a constant polynomial (by degree of division).

Evaluate at f(a)=0=0+rf(a)=0=0+r, therefore r=0r=0.

Another corollary

If f(x)∈F[x]f(x)\in F[x] and deg⁡f(x)=0\deg f(x)=0, then f(x)f(x) has at most nn zeros.

Proof

We proceed by induction on nn, if n=1n=1, this is clear. ax+bax+b have only root x=−bax=-\frac{b}{a}.

Suppose n≥2n\geq 2.

If f(x)f(x) has no zero, done.

If f(x)f(x) has at least 11 zero, then f(x)=(x−a)q(x)f(x)=(x-a)q(x) (by our first corollary), where degree of q(x)q(x) is n−1n-1.

So zeros of f(x)={a}∪f(x)=\{a\}\cup zeros of q(x)q(x), and such set has at most nn elements.

Done.

Preview: How to know if a polynomial is irreducible? (On Friday)

Last updated on