ΘρϵηΠατπ

Quotient Ring
If I is an ideal in a ring (R,⊕︎,), then (R/I,,) is called the quotient ring of R modulo I
Natural Map
Suppose that R is a crone and that I is an ideal in R, then we say that π:RR/I is the map π(r):=r+I
The Natural Map is a Surjective Group Homomorphism
As per title.
Quotient Ring Mod a Polynomial
Let f(x)F[x] have degree n then F[x]/(f(x))={p(x):deg(p(x))<n,p(x)F[x]}
Quotient Ring of Polynomial is Same as Its Remainder
Suppose p(x)F[x] has degree n and let I:=(p(x)). Suppose that f(x):=q(x)p(x)+r(x)F[X], where deg(r(x))<n, then f(x)+I=r(x)+I
Integers Modulo N Equals the Quotient Ring of Z modulo n
We claim that (n%,⊕︎,)=(/(n),,) (stronger than isomorphic)

Let n1, recall that (n)=n and by definition we know that n={kn:k}, which we can think of as all multiples of n. Now then /(n)={s+(a):s}, for some fixed s we can see that s+(n)={s+kn:k}

We'll start by showing that the two sets are equal, so let X/(n) then X={s+kn:k} for some s, now consider the equivalence class s, it is defined as all elements in who all share the same remainder as s upon division by n, as previously seen it turns out that this set is equal to {s+kn:k} but this is exactly X, as needed.

Now suppose that we have some kn%, as just discussed we know that k={k+jn:n} which is the coset s+(n)/(n). Thus at this point we concluded that as sets, we have n%=//(n)

Suppose that a,bn% then a⊕︎b=a+b, but at the same time a=a+(n) and b=b+(n) and we have (a+(n))(b+(n))=((a+b)+(n)) which shows us that their addition operations are the same because a+b=(a+b)+(n), it's similarly noted that their multiplications are the same by replacing respective plusses with the times symbol.

Therefore given these two rings, both of their sets are equal and their operations are equal, so they are actually the same ring.

Modulo Integer Polynomial
Let x416[x]
  • Find a polynomial with degree 3 that is congruent to 9x137x9+4x52x3+3 modulo x416
  • Prove that x2+(x416) and x+2+(x416) are zero divisors in [x]/(x416)

To find a polynomial with the same remainder we first do things via long division:

Therefore the polynomial 2x335136x+3 is congruent modulo x416, because they both have the same remainder upon division by x416 .

Recall the definition of a zero divisor, note that 0 in this quotient ring is simply the polynomial with all coefficients set to 0, therefore we can clearly see that x2,x+2 have at least one non-zero coefficient therefore they cannot be zero elements. Now at the same time we can factor x416=(x24)(x2+4)=(x2)(x+2)(x2+4). We get two equations from this : (x2)(x3+2x2+4x+8) and (x+2)(x32x2+4x8), since we can verify that x32x2+4x8,x3+2x2+4x+8 are both non-zero polynomials, then so far we can conclude that x2,x+2

Now notice that x416+(x416)=0+(x416). For convience set I=(x416) So then we have that [x2+I][x3+2x2+4x+8+I]=x416+I=0+I and also that [x+2+I][x32x2+4x8+I]=0+I

Let f(x)=x53x4+2x2+1 and g(x)=x2x3
  • Find the gcd of f(x) and g(x) as elements of [x] and express it as a linear combination of f(x) and g(x)
  • Do the same in 5%[x]

We start by finding the gcd in [x] by using the euclidean algorithm:

Therefore we conclude that x53x4+2x2+1=(x2x3)(x3x2+x3)8, therefore we know that their gcd is one, we can express the linear combination as (1)f(x)+g(x)(x3x2+x3)=8

Now we do the same in 5%[x], but since in the above long division we never used any inverses, or elements that cannot be represented in 5% (we can see 6 as 1 here), then we get the same answer, but we can re-write 8 as 2, so we (1)f(x)+g(x)(x3x2+x3)=2

Crone Homomorphism induces an Isomorphism to its Image
If ϕ:RS is a crone homomorphism with ker(ϕ)=I, then there is an isomorphism χ:R/Iim(ϕ) defined as χ(r+I)=ϕ(r)
Isomorphic Rings
Show that the rings 3%(i) and 3%[x]/(x2+1) are isomorphic

Consider the map ϕ:3%[x]3%(i) defined by ϕ(p(x))=p(i), note that the domain is correct because for any n0, in{1,1,i,i} so therefore p(i)=c+di for some c,d3%. Moreover see that it is a homomorphism quite easily by verifying multiplication, addition and that clearly it maps 1 to 1.

Additionally this map is surjective because given any a+bi3%(i) we see that the polynomial a+bx will map to it under ϕ, this means that im(ϕ):=ϕ(3%[x])=3%(i), with that knowledge therefore we have that 3%[x]/ker(ϕ)3%(i)

We'll now prove that ker(ϕ)=(x2+1). Starting with recall that (x2+1) are all the multiples of x2+1, moreover ϕ(x2+1)=1+(i)2=0 therefore x2+1ker(ϕ), since any element of (x2+1) is a multiple of x2+1 then by taking an arbitrary element from it, it must be of the form m(x)(x2+1) where m(x)3%[x] but since ϕ is a homomorphism, then we know that ϕ(m(x)(x2+1))=ϕ(m(x))ϕ(x2+1)=0, thus (x2+1)ker(ϕ).

Now approaching the other inclusion we suppose we have some p(x)ker(ϕ), clearly if p(x)=0 tne ϕ(phi(x))=0 on the other hand if p(x) is a constant other than zero, then also ϕ(p(x))0 therefore we may assume that p(x) is non-constant, in such a case we know that either gcd(p(x),x2+1)=1 or that (x2+1)|p(x).

Suppose that gcd(p(x),x2+1)=1 therefore we get polynomials a(x),b(x) such that 1=a(x)g(x)+b(x)(x2+1) but then 1=ϕ(1)=ϕ(a(x))0+ϕ(b(x))0=0 which is a contradiction, and therefore we must have that (x2+1)|p(x) so that p(x) is a multiple of x2+1, in other-words p(x)(x2+1)

Polynomials and Prime Ideals
In 5% consider the ideal I=(x2+x+1)
  • Show that I is a maximal ideal
  • What is the gcd of 3x+2 and x2+x+1 in 5%[x]
To show that I is a maximal ideal, reacall that we've proven that the ideal generated by a polynomial is maximal iff the polynomial is irreducible

Note that p(x)=x2+x+1 doesn't have any roots because of the following facts

  • 0+0+10
  • 1+1+10
  • 4+2+1=20
  • 9+3+1=30
  • 16+4+1=10

Therefore since it's degree is 2, then we can conclude that p(x) is irreducible, which implies that I is maximal.

As we look to find the gcd, we just observe the following simple calculation (3x+2)2x=x2+4x and (3x+2)(1)=3x2 Therefore we have that x2+x+1=(3x+2)(2x1)+3 So that the gcd is also one. This allows us to conclude that 2x1+I is the multiplicative inverse of 3x+2+I in 5%[x]/I

Polynomials Mod a Polynomial is a Field iff it's irreducible
F[x]/(p(x)) is a field iff p(x) is irreducible in F
Integers Modulo 2 Form a Field When Divided by a Certin Polynomial
Let I:=(x3+x+1)2%[x], show that 2%[x]/I is a field.

We'll note that since p(x) is of degree 3 and has no root in 2% because 0+0+10, 1+1+1=10, therefore p(x) is irreducible. Therefore 2%[x]/I is a field.

Crone Homomorphism Between Integers mod N
Show that the map ψ:/4/2 defined as ψ(a+4)=a+2 is a crone homomorphism

Note that is possible that the equation we wrote down doesn't specific that ψ is a function, so let's determine that first. That is, we must verify that our function doesn't every map one thing to two different things. So suppose that we have a+4=b+4 where a,b, and note that this is only true when a % 4=b % 4, since 2|4, then also we conclude that a % 2=b % 2, meaning that a+2=b+2, therefore ψ(a+4)=ψ(b+4), so we know that indeed ψ is well defined.

Now we continue by showing that it's a crone homomorphism, so we see the following ψ((a+4)+(b+4))=ψ((a+b)+4)=(a+b)+2=a+2+b+2=ψ(a+4)+ψ(b+4) So that ψ respects addition, and also that ψ((a+4)(b+4))=ψ(ab+4)=ab+2=ψ(a+4)ψ(b+4) so that ψ respects multiplication, and then we note ψ(1)=ψ(1+4)=1+2=1 Thus we conclude that ψ is a crone homomorphism.

Linear Polynomials
Let p(x)=xaF(x) be a linear polynomial, and E:=F[x]/(p(x)) , show that EF.
since p(x) by definition irreducible over F we have that E is a field containing F and a root of p(x), at the same time we know that E is the collection of polynomials of degree less than one, in F[x] which is in a clear isomorphism to F by the identity map
Irreducible in C
Let p(x)C[x] which is irreducible over C. Let E:=[x]/(p(x)), show that E=

Let's first look at what it means to be an irreducible polynomial in [x], for any polynomial with degree greater or equal to 2 we know that by the fundamental theorem of algebra it has exactly two roots, and that can be used to re-write that polynomial as a product of two polynomials in C[x] which means by definition none of these polynomials are irreducible. This only leaves polynomials of degree one in [x] each of which are irreducible over .

Therefore we can now conclude that p(x) is a polynomial of degree 1, so that it is a linear polynomial, therefore by the prvious exercise we conclude that E

Polynomials Mod x+1
Find all the ideals of [x] containing the ideal I=(x2+1)
Recall the correspondance theorem for rings which states that if I is a proper ideal in a ring R, then there is a bijection from all ideals J such that IJR t the family of ideals in R/I given by π(J)=J/I

In our given question [x] plays the role of R and (x2+1) that of I. If we consider the family of ideals in R[x]/(x2+1) since x2+1 is irreducible in [x], then we know that this quotient is a field, and thus only has two trivial ideals, (everything and just zero) which correspond to R[x] and (x2+1), thus those are the only ideals which contain I.

Does it Contain All Roots?
Given an irreducible polynomial p(x)F[x] we know that the field E:=F[x]/(p(x)) contains F and a root θ:=x+I of p(x) . A natural question to ask is: does the field E contain all the roots of p(x) ? Here we will see that sometimes the answer is “yes” and sometimes “no”.
  • Let p(x)=x2+x+12%[x] and consider the field with 4 elements E:=F[x]/(p(x))={a+bθ:a,b2%}. We know θ is a root of p(x) . Show that E contains the other root of p(x) as well.
  • Let p(x)=x32[x] and consider the field E:=[x]/(p(x))={a+bθ+cθ2:a,b,c,}. Note that the map ϕ:E(213) defined by ϕ(a+bθ+cθ2)=a+b213+c(213)2 is an isomorphism of the two fields. Recall that (213) does not contain the other two roots of p(x) since they are non-real complex numbers while (213). Prove that E does not contain any other root of p(x) other than θ . Hint: use the isomorphism

For the first part, we'll notice that if θ is a root then we know that θ2+θ+1=0, but on that same thought we also note (θ+1)2+(θ+1)+1=θ2+2θ+1+θ+1+1=θ2+θ+1=0 So that E also contains the other root of x2+x+1

For the second part we set s=213 for convience. Now note the following factorization p(x)=x32=(xs)(x3+sx+s2) Therefore if (s) has some root of p(x) other than s, then it must be a root of x3+sx+s2, but we can compute the roots of this polynomial via the quadratic equation, which yields s2±s24s2 and therefore we see these roots are in , therefore there are no other real roots other than s in (s).

Now recall that a quadratic polynomial over any field F has no roots in F iff it is irreducible in F[x], and that is preserved over isomorphisms of F with another field. Now observe that through ϕ we can verify that this bijection forms a homomorphism, and thus is an isomorphism, so that (s) and E are isomorphic, and therefore E doesn't contain any other root of p(x)

Quintic Formula Examples
Find the complex roots of
  • x3+x21[x]
  • x3+9x1[x]
Number of Irreducible Polynomials
Let p be a prime.
  • Determine the number of irreducible polynomials over p% of the form x2+ax+b . Hint: start by finding the number of reducible polynomials over p% of the form x2+ax+b .
  • Determine the number of irreducible quadratic polynomials over p% . Hint: how is this question different from part (a)?
Not Isomorphic Fields
Show that (2) and (3) are not isomorphic as fields.
Let's first observe that there is no element in (2) that is a root of x23, to see why suppose we have some a+b2(2), if it's a root, then we know (a+b2)2=3 and the left hand side is (a+b2)2=a2+2b2+2ab2, since the product and sum of a non-zero rational with an irrational is irrational, then since 3 is not irrational, we conclude that ab=0,

If a=0, then we know that b2=32 which is not solvable in , however given b=0 then we have that 3=a2 which is also not solvable in , so that there is no element in (2) that is a root of (x23)

We show that they are not isomorphic by contradiction, so we suppose that they are isomorphic and see what happens, if they are isomorphic, then we have

ϕ(3)2=ϕ(3)=ϕ(1)+ϕ(1)+ϕ(1)=3 but then ϕ(3) is an element of (2) which is a root of x23 which is clearly impossible, so no such isomorphism exists.
π(π3)
As per title.

We a-priori know that π is trancedental. We also know that (π3)={f(π3)g(π3):f(x),g(x)[x],g(π3)0}.

Assume for the sake of contradiction that πF(π3) with numerator and denominator of degree n,m respectively , therefore π=a0+a1π3+anπ3nb0+b1π3+bmπ3m with an,bm0, so that by re-arranging we can obtain this form bmπ3m+1++b1π4+b0πanπ3n++a1π3+a0=0 this is a polynomial of degree either 3n or 3m+1, but in either case, it is a non-zero polynomial, because the coefficient on this term is non-zero as stated earlier.

But this would imply that π is a root of the polynomial obtained by syntactically replacing every π with x in the above expression and interpreting it as that as a polynomial, which would imply that π is algebraic, which it is not. Therefore π(π3)

Adjoin Pi
  • Describe the elements of (π) . Hint: recall that (π) is the smallest subfield of containing and π .
  • Let F=(π3) . Show that F(π) is a finite dimensional vector space over F by showing that {1,π,π2} is a basis for F(π) over F . Is F(π) an algebraic extension of F ?

A transcendental number is a real or complex number that is not algebraic, that is to say it is not a root of a non-zero polynomial of finite degree with rational coefficients. Suppose that α is transcendental over .

Consider the map f:[x](α) so that for any p[x] we have f(p)=p(α)

Let p,q[x], then f(p+q)=(p+q)(α)=p(α)+q(α)=f(p)+f(q) which follows from basic facts about finite summations. Additionally we have that f(pq)=(pq)(α)=p(α)q(α)=f(p)f(q) which follows from the definition of polynomial multiplication (which holds when x holds a real number). Finally f(1)=1 since there is no varaible to evaluate, so that f is a homomorphism.

Note that the kernel of f is empty, for if an element were to be in the kernel then α would be a root of that polynomial, which is impossible because α is transcendental. Therefore by the first isomorphism theorem we have an isomorphism between [x]/ker(f)=[x] and im(f)=(α). That is to say that (α)'s elements are fully described by [x] elements, which are polynomials with rational coefficients. We also know (α)={f(α)g(α):f,g(x),g(α)0}, which is another way of describing the elements of (α).


Moving onto the next question, let's observe that F(π)/F is a field extension, and that πF(π), note that x3π3 is a monic polynomial in F[x] such that π is a root, therefore π is algebraic over F.

We can also observe that x3π3 is irreducible in (π3) this follows from what we showed earlier and then we have that (π3)[x]/(x3π3)(π3)(π) As seen earlier (π3)[x]/(x3π3) can be viewed as a vector space over (π3) with a basis given by (1,x+I,(x+I)2). Now the isomorphism between these two structures is actually defined pointwise as Φ(x+(x3π3))=π, in other words we obtain that a basis for F(π) is (1,π,π2) through this isomorphism.

A Polynomial Splits Over a Field
We say that a polynomial f(x)F[x] splits over F if it is a product of linear factors in F[x]
A Linear Factors Root Is an Element of the Field
Suppose that F is a field and we have the linear factor (xa)k for some aF and k1 then aF
Recall that multiplication of polynomials in a field is closed, therefore by induction (xa)k is a polynomial with coefficients in F, by observing the coefficient on the term xk1 we deduce that aF
Splits Iff has all Roots
f(x) splits of F[x] if and only if F contains all the roots of f(x)
Offset Splitting Fields
Let f(x)F[x] and aF. Show that f(x) and f(x+a) have the same splitting field over F .

Let E be the splitting field of f over E, note that E is a field extension of F. Since f splits here, then also E contains all the roots r1,,rn of f.

Observe that r1a,,rna are roots of f(x+a), and that they reside within E as well, this is seen because since E is a field extension of F then aE and therefore riaE as it's a field.

At this point we want to claim that E is a splitting field for f(x+a), but to do that we need to show that there is no proper subfield in which f(x+a) splits. For the sake of contradiction, if there was, then we'd have a problem because we could use this proper subfield as a splitting field for f(x) by a similar argument, which contradicts the fact that E was a splitting field.

For the reverse direction, a symmetric proof may be obtained.

Splitting Field in 3%
Find the splitting field of f(x)=x4x22 over 3%.

We start by observing the following factorization:

x4x22=(x22)(x2+1)=(x2+1)2

By brute force, we can observe that there are no roots to the polynomial in 3%, therefore it is irreducible, so that we obtain the field extension E:=3%[x]/(x2+1) that contains a root a, we can see that a0 and also that since it's a root we have that a2+1=0, but then also that (2a)2+1=4a2+1=a2+1=0 so then 2a is a different root, therefore E contains all roots of x2+1 so that it must split here, specifically we know (x+a)(xa) is the split.

Now we have to prove that there is no proper subfield of E such that x2+1 splits, this follows from the fact that it's a degree 2 extension and that 2 is prime in conjunction with the degree division formula. Thus we've shown that E is indeed the splitting field of f as needed.

Irreducible and Monic with a Root has a Unique Smallest Degree
Let E/F be a field extension, let αE and p(x)F[x] be a monic irreducible having the root α :
  • deg(p)deg(f) for every f(x)F[x] having α as a root
  • p(x) is the only monic polynomial in F[x] of degree deg(p) that has α as a root
Irreducible Polynomial Creates a Basis
Let p(x)F[x] be an irreudcible polynomial of degree d, and let α be a root of p(x) in E:=F[x]/(p(x)), then a basis of E as a vector space over F can be given by 𝒜:=(1,α,α2,αd1)

Let I:=(p(x)), then we know that α=x+I We first show that the collection is linearly independent. For contradiction, suppose we had some index set I[1d1] such that iIciαi=0 but this equivalently states that α is a root of the polynomial we just constructed, that is f(x)=iIcixi, but then we've found a polynomial with degree at most d1 that also has α as a root which is a contradiction based on this fact , so that we cannot have such a sum being equal to 0, therefore 𝒜 is linearly independent.

On the other hand, we can show that indeed 𝒜 spans E, to see this note that any given element in E is of the form f(x)+I, and that by the division algorithm we may obtain q(x),r(x) such that f(x)=q(x)p(x)+r(x) where deg(r)<deg(p)=d, which means that every element in E is a polynomial of degree at most d1, and can be obtained by taking a linear combination from the collection {1,α1,α2,αd1} and recalling that α=x+I.

Thus we conclude that 𝒜 is a basis for E as needed.

Irreducible Polynomial of Degree d Creates a Field Extension of Degree d
Let p(x)F[x] be an irreudcible polynomial of degree d, then [E:F]=d
Counting Irreducible Polynomials
Let p be a prime, determine the number of irreducible quadratic polynomials over p%. Hint: Compute it first for monic polynomials

We first start by looking at monic polynomials, so they are of the form x2+ax+b that of which there are p2 by iterating through all possible values for a,bp%.

Now given such a polynomial, we know that it is reducible if it can be factored into linear terms of the form (x+c)(x+d) where c,dp% each of which gives rise to x2+(c+d)x+cd which is uniquely associated with this factorization. With that said, there are p(p1)2 such factorizations, each of which yields a unique reducible polynomial. Thus we conclude that the number of irreducible monic polynomials is given by p2p(p1)2=p(p1)2

Now if we want to know the number of irreducible quadratic polynomials over p% which aren't necessarily monic, we can realize that that such a polynomial is of the following form k(x2+ax+b) where kp%{0} and x2+ax+b is irreducible in p%, that of which there are p(p1)2, thus for each such choice of k, which there are p1 choices of we obtain a unique irreducible polynomial, and therefore there are p(p1)22 many irreducible polynomials.

Reduced Polynomial
A polynomial f(x) of degree n is called reduced if it has no xn1 term, that is f(x)=rnx2+rn2xn2+rn3xn3++r0
Constructing a Reduced Polynomial
Suppose that f(x)=anXn+an1Xn1+an2Xn2++a0, then replacing X by xan1n yields a reduced polynomial. f(x):=f(xan1n) Additionally if u is a root of f(x) then uan1n is a root of f(X)
Cubic Formula
Find the complex roots of
  • x3+x21[x]
  • x3+9x1[x]

We'll use the cubic formula to determine the roots, let's start with x3+9x1 because it's in the correct form.

Let's recall that the roots of a polynomial of the form x3+qx+r are given by the following y+zωy+ω2zω2y+ωz

Such that:
  • y=(12(r+R))13
  • z=q3y
  • R=r2+4q327
  • ω=e2πi3

In our question q=9 and r=1 so let's start by computing R=(1)2+4(9)327=1+4(93)3=1+427=109, let α=(12(1+109))13 therefore y=α and thus z=93α=3α, thus our roots are given by α+3αωα+ω23αω2α+ω3α

We now move our attention to f(x)=x3+x21 which is not in the correct form to apply the cubic formula, although we do have a method to deal with this, so we employ it.

In our case n=3 and an1=1 so therefore we turn our attention to the polynomial f(x13) f(x13)=(x13)3+(x13)21

Let's break down (x13)2 first: (x13)(x13)=x223x+19 Now we can try (x13)3 (x13)3=(x13)(x13)2=(x13)(x223x+19)=(x323x2+x9)(x2329x+127)=x3(23+13)x2+39x127=x3x2+x3127

Now back to computing f(x13) we have f(x13)=(x13)3+(x13)21=(x3x2+x3127)+(x223x+19)1=x3x3+2271=x3x32527 Now our equation has the correct form to be able to apply the cubic formula and so we can do that, suppose we obtain roots r1,r2,r3, then the roots of f(x) are given by r113,r213,r213

Irreducible Polynomial of Degree Five
Consider the polynomial f(x)=x5+2x2+5[x], let I=(f(x))
  • Show that f(x) is irreucible over
  • Show that every element of the field E:=[x]/I is of the form z0+a1x+a2x2+a3x3+a4x4+I with ai. We know that θ:=x+I is a root, so that we can write E={a0+a1θ+a2θ2+a3θ3+a4θ4:ai}. Show that (1,θ,θ2,θ3,θ4) is a basis for E as a vector space over
  • Since θE is a root of f(x), we know f(x)=(xθ)q(x) for some q(x)E[x], find q(x)

We can show that f(x) is irreudcible in a few ways, the first way is by using the the rational roots theorem to find the possible candidates for roots are ±1,±5 none of which work, so we know that the only possible factorization is by a degree 2 polynomial and a degree 3 polynomial, we can use the gauss theorem to show that f(x) is irred in Q iff f(x) is irred in because the gcd of all of it's coefficients are 1, which means that f(x) is primitive. We proceed by then writing out a degree 3 polynomial times a degree 2 polynomial with variable coefficents and find that no such coeffients exists.

The above method works out, but I found an interesting irreducibility test that I found was interesting. It's called the Cohn's irreducibility criterion which states that:

Assume b2 is a natural number and p(x)=akxk+ak1xk1++a1x+a0 is a polynomial such that 0<ai<b1. If p(b) is a prime number then p(x) is irreducible in [x]

Applying that to our polynomial, x5+x2+5 we observe that 5b1 must be true so that b6, by plugging in we see that p(6)=7853 which is a prime number, and therefore f(x) is irreducible in [x] then by gauss it is irreducible in [x].


Looking at the next question we recall that we've proven this fact after observing this proof we note that clearly by the division algorithm we have that every element in E must be a coset of a polynomial of degree at most four, as a direct consequence we also note that (1,θ1,θ2,θ3,θ4) is a basis for E over


We divide x5+2x2+5 by xθ to obtain q(x)=x4+θx3+θ2x2+(θ3+2)x+(θ4+2θ)