Group 12

From LeicesterIPSC
Jump to: navigation, search

Please give your answer on the page below.

Initial observations of [math]f(x)[/math]

We have the polynomial [math]f(x)=x^{4}-14x^{2}+9[/math] with root [math]\alpha=\sqrt{2}+\sqrt{5}[/math]. Also observe [math]-\alpha=-\sqrt{2}-\sqrt{5}[/math] is such that :[math]f(-\alpha)=(-\alpha)^{4}-14(-\alpha)^{2}+9=\alpha^{4}-14\alpha^{2}+9=f(\alpha)=0[/math] Thus [math]-\alpha=-\sqrt{2}-\sqrt{5}[/math] is also a root of [math]f(x)[/math]

Factorization in Standard Fields

Factorization over [math]{\mathbb Q}[/math]

[math]f(x)[/math] is irreducible over [math]{\mathbb Q}[x][/math]. Indeed, suppose, towards a contradiction, that [math]f(x)[/math] is reducible, that is, that [math]f(x)=g(x)h(x)[/math] where [math]g(x),h(x)\in{\mathbb Q}[x][/math]. As [math]f(x)[/math] is a monic quartic, it follows that :[math]f(x)=(x^{2}+ax+b)(x^{2}+cx+d)=x^{4}+(a+c)x^{3}+(ac+b+d)x^{2}+(ad+bc)x+bd[/math] where [math]a,b,c,d\in {\mathbb Q}[/math]. By equating coefficients we obtain the following system of simultaneous equations:

[math] a+c=0 [/math]

From this we can immediately conclude that [math]a=-c[/math] and [math]d=9/b[/math] , which can be substituted into equation (3) to obtain: [math]\frac{9a}{b}-ab=0 \implies \frac{9a}{b}=ab \stackrel{if \ a\neq0}{\implies} b^{2}=9 \implies b=\pm\sqrt{9}=\pm3[/math] We will consider these two cases separately.

Case #1 [math]b=+3[/math]

As [math]b=3 \implies d=\frac{9}{b} \implies d=3[/math], and [math]-c=a[/math], we have that [math]ac+b+d=-a^{2}+6=-14 \implies -a^{2}=-20 \implies a=\pm\sqrt{20} \notin {\mathbb Q} [/math]

This contradicts the fact that [math]a,b,c,d\in{\mathbb Q}[/math]

Case #2 [math]b=-3[/math]

As [math]b=-3 \implies d=\frac{9}{b} \implies d=-3[/math], and [math]-c=a[/math], it follows that [math]ac+b+d=-a^{2}-6=-14 \implies -a^{2}=-12 \implies a=\pm\sqrt{12} \notin {\mathbb Q} [/math]

Again, this contradicts the fact that [math]a,b,c,d\in{\mathbb Q}[/math]

Note that in the above argument we have assumed that [math] a \neq 0[/math]. Therefore we need to consider the additional case where [math]a=0[/math].

Suppose that [math]a=0[/math]. Then [math]ac+b+d=-14 \implies b+d=-14 \implies b=-d-14 \implies bd=(-14-d)d=9 \implies d^2+14d+9=0[/math]. We can use the quadratic formula to obtain solutions for [math]d[/math] of the form: [math]d=\frac{14\pm \sqrt{164}}{2}= -7\pm \sqrt{42} \notin {\mathbb Q}[/math]

As we arrive at a contradiction by assuming that [math]f(x)[/math] is reducible in [math]{\mathbb Q}[x][/math], we can conclude that [math]f(x)[/math] cannot be factorized further, that is, [math]f(x)[/math] is an irreducible polynomial in [math]{\mathbb Q}[x][/math].

Factorization over [math]{\mathbb R}[/math]

Note that our root [math]\alpha=\sqrt{2}+\sqrt{5} \in {\mathbb R}[/math] thus by the factor theorem we have that [math]x-\alpha[/math] is a factor of [math]f(x)[/math], that is, [math]f(x)=(x-\alpha)g(x)[/math], i.e. [math](x-\alpha)[/math] divides [math]f(x)[/math] with zero remainder. We can calculate the polynomial [math]g(x)[/math] by performing polynomial long division as follows:

[math]\begin{array}{r} x^3+(\sqrt{2}+\sqrt{5})x^2+(-7+2\sqrt{10})x-(3\sqrt{5}-3\sqrt{2})\\ x-(\sqrt{2}+\sqrt{5})\overline{\Big) x^4+0x^3-14x^2+0x+9}\\ \underline{x^4+(-\sqrt{2}-\sqrt{5})x^3}\\ (\sqrt{2}+\sqrt{5})x^3-14x^2+0x+9\\ \underline{(\sqrt{2}+\sqrt{5})x^3-(7+2\sqrt{10})x^2}\\ (-7+2\sqrt{10})x^2 +0x+9\\ \underline{(-7+2\sqrt{10})x^2+(3\sqrt{5}-3\sqrt{2})x}\\ -(3\sqrt{5}-3\sqrt{2})x +9\\ \underline{-(3\sqrt{5}-3\sqrt{2})x+9}\\ 0\\ \end{array}[/math]

Thus we see that [math]g(x)=x^{3}+(\sqrt{2}+\sqrt{5})x^{2}+(2\sqrt{10}-7)x+(3\sqrt{2}-3\sqrt{5})[/math]

Observe that [math]g(-\alpha)=g(-\sqrt{2}-\sqrt{5})=0\implies-\alpha[/math] is a root of [math]g(x)[/math]. Thus we can reapply the factor theorem to [math]g(x)[/math] to obtain [math]g(x)=(x+\alpha)h(x)[/math], that is, [math](x+\alpha)[/math] divides [math]g(x)[/math] exactly. Hence we can perform polynomial long division once more to obtain [math]h(x)[/math] as follows:

[math]\begin{array}{r} x^2+(-7+2\sqrt{10})\\ x+(\sqrt{2}+\sqrt{5})\overline{\Big) x^3 + (\sqrt{2}+\sqrt{5})x^2 + (-7+2\sqrt{10})x +(3\sqrt{2}-3\sqrt{5})}\\ \underline{x^3+(\sqrt{2}+\sqrt{5})x^2}\\ 0 + (-7+2\sqrt{10})x +(3\sqrt{2}-3\sqrt{5}) \\ \underline{(-7+2\sqrt{10})x +(3\sqrt{2}-3\sqrt{5})}\\ 0\\ \end{array}[/math]

Thus we see that [math]h(x)=x^2+(2\sqrt{10}-7)[/math]. As [math]2\sqrt{10}-7\lt 0[/math], we see that [math]h(x)[/math] has roots in [math]{\mathbb R}[/math]. We can find these exclusively by observing that [math]deg( h(x))=2\implies h(x)=(x+a)(x+b)=x^2+(a+b)x+ab[/math] where [math]a,b\in {\mathbb R}[/math].

By equating coefficients we obtain the following simultaneous equations :[math]ab=-7+2\sqrt{10}[/math]


Which has solution:: [math]a=-b\implies -a^2=-7+2\sqrt{10}\implies a^2=7-2\sqrt{10}\implies a=\pm\sqrt{7-2\sqrt{10}}\implies b=\mp\sqrt{7-2\sqrt{10}}[/math] As [math]\sqrt{7-2\sqrt{10}}=(-\sqrt{2}+\sqrt{5})\in{\mathbb R} [/math] it follows that [math]h(x)=(x+(-\sqrt{2}+\sqrt{5}))(x+(-\sqrt{2}+\sqrt{5}))[/math]

As [math]f(x)=(x-\alpha)g(x)=(x-\alpha)(x+\alpha)h(x)[/math], it follows that the factorization of [math]f(x)\in {\mathbb R}[x][/math] is: :[math]f(x)=(x-\sqrt{2}-\sqrt{5})(x+\sqrt{2}+\sqrt{5})(x-\sqrt{2}+\sqrt{5})(x+\sqrt{2}-\sqrt{5})[/math]

Note that as [math]f(x)[/math] decomposes into linear factors, which are necessarily irreducible, this factorization is a product of irreducible polynomials.

Factorization over [math]{\mathbb C}[/math]

As our root [math]\alpha = \sqrt{2}+\sqrt{5} \in {\mathbb R} \subset {\mathbb C} [/math], it follows that the above factorization of [math] f(x) [/math] over [math]{\mathbb R}[/math] is also the factorization of [math]f(x)[/math] over [math]{\mathbb C}[/math].

Reducibility over [math]{\mathbb Z}_{p}[/math] for prime p

The aim of this section is to find two prime numbers [math]p,q[/math] such that [math]f(x)[/math] is reducible in [math]p[/math] and irreducible in [math]q[/math]. We will consider [math]f(x)=x^4-14x+9[/math] over [math]{\mathbb Z}_{p}[/math] for [math]p=2,3,5,7,11,13,...[/math] until we achieve the desired result. To consider [math]f(x)[/math] over a given [math]{\mathbb Z}_{p}[/math], we will need to evaluate its reduction modulo p, which is given by the following definition.

Definition 3.0.1: Consider [math]f(x)=a_{0} + a_{1}x +...+a_{n}x^{n} \in {\mathbb Z}[x] [/math]. Then the reduction of [math]f(x)[/math] modulo [math]p[/math] is given by: [math]\overline{f(x)} = b_{0}+b_{1}x+...+b_{n}x^{n}[/math] where [math]a_{i}\equiv b_{i}mod(p)[/math] for each [math]i=0,2,...,n[/math]. [1]

Reducibility of [math]f(x)[/math] in [math]{\mathbb Z}_{p}[x][/math] for [math]p=2,3,5,7,11,13,17[/math]

This section displays the factorizations of [math]f(x)=x^4-14x^2+9[/math] in [math]{\mathbb Z}_{2}[x], {\mathbb Z}_{3}[x], {\mathbb Z}_{5}[x],{\mathbb Z}_{7}[x], {\mathbb Z}_{11}[x], {\mathbb Z}_{13}[x][/math] and [math]{\mathbb Z}_{17}[x][/math]. The following table displays the relevant information.

p [math]{\mathbb Z}_p[/math] [math]\overline{f(x)}[/math] Factorization of [math]f(x)[/math] Verification of factorization
[math]2[/math] [math]\{0,1\}[/math] [math]x^4+1[/math] [math](x+1)^4[/math] [math](x+1)^4=(x^2+2x+1)(x^2+2x+1)=(x^2+1)(x^2+1)=x^4+2x^2+1=x^4+1=\overline{f(x)}[/math]
[math]3[/math] [math]\{0,1,2\}[/math] [math]x^4+x^2[/math] [math]x^2(x^2+1)[/math] [math]x^2(x^2+1)=x^4+x^2=\overline{f(x)}[/math]
[math]5[/math] [math]\{0,1,2,3,4\}[/math] [math]x^4+x^2+4[/math] [math](x^2+3)^2[/math] [math](x^2+3)^2=x^4+6x^2+9=x^4+x^2+4=\overline{f(x)}[/math]
[math]7[/math] [math]\{0,1,2,3,4,5,6\}[/math] [math]x^4+2[/math] [math](x^2+x+4)(x^2+x+6)[/math] [math](x^2+x+4)(x^2+x+6)=x^4+7x^3+14x^2+28x+16=x^4+2=\overline{f(x)}[/math]
[math]11[/math] [math]\{0,1,...10\}[/math] [math]x^4+8x^2+9[/math] [math](x^2+3x+3)(x^2+8x+3)[/math] [math](x^2+3x+3)(x^2+8x+3)=x^4+11x^3+30x^2+33x+9=x^4+8x^2+9=\overline{f(x)}[/math]
[math]13[/math] [math]\{0,1,...,12\}[/math] [math]x^4+12x^2+9[/math] [math](x^2+5)(x^2+7)[/math] [math](x^2+5)(x^2+7)=x^4+12x^2+35=x^4+12x^2+9=\overline{f(x)}[/math]
[math]17[/math] [math]\{0,1,...,16\}[/math] [math]x^4+3x^2+9[/math] [math](x^2+5x+14)(x^2+12x+14)[/math] [math](x^2+5x+14)(x^2+12x+14)=x^4+17x^3+88x^2+238x+196=x^4+3x^2+9=\overline{f(x)}[/math]

As you can see, [math]f(x)[/math] appears to be reducible in [math]{\mathbb Z}_{p}[x][/math] for any prime [math]p[/math] that we try. We could keep checking this for larger and larger primes, but the larger the value of [math]p[/math], the more difficult it is to obtain a factorization of [math]f(x)[/math] in [math]{\mathbb Z}_{p}[x][/math]. At this point a more prudent suggestion would be the following: does there even exist a prime [math]p[/math] such that [math]{f(x)}[/math] is irreducible in [math]{\mathbb Z}_{p}[x][/math]? This leads us to the next section.

[math]f(x)[/math] is reducible in [math]{\mathbb Z}_{p}[x][/math] for all primes [math]p[/math]

In this section we will prove the following result:

Lemma 3.2.1 For all primes [math] p[/math] the polynomial [math]f(x)=x^4-14x^2+9[/math] is reducible in [math]{\mathbb Z}_{p}[x][/math].

To prove this lemma we will use results obtained by Driver, Leonard and Williams (DLW) in their paper "Irreducible quartic polynomials with factorization modulo p"[2]. This paper explores the reducibility criteria of certain polynomials of the form [math]f(x)=x^4+rx^2+s[/math] with [math]r,s\in{\mathbb Z}[/math] (which are referred to as biquadratic), by considering the discriminant of [math]f(x^{1/2})[/math], which is [math]r^2-4s[/math]. The crux of the paper's argument revolves around the case where [math]r^2-4s[/math] is a perfect square, that is, where [math]r^2-4s=t^2[/math] for some [math]t \in {\mathbb Z}[/math]. Multiple results are proved throughout the paper, but for our purposes we only need to consider the following, which is listed at theorem 4, and found on page 880:

Theorem 3.2.2: (DLW) Let [math]r,s[/math] be integers such that [math]r^2 - 4s[/math] is not a perfect square. Then the polynomial [math]f(x) = x^4 + rx^2 + s[/math] is reducible modulo [math]p[/math] for every prime [math]p[/math] if and only if [math]s = t^2[/math] for some integer [math]t[/math].

The proof of this theorem involves use of previous arguments in DLW, coupled with some results in number theory, namely Legendre notation, the law of quadratic reciprocity and Dirichlet's theorem on arithmetic progressions.

The above theorem means that Lemma 3.2.1 follows as a corollary, by observing that in the polynomial [math]f(x)=x^4-14x^2+9[/math], which has [math]s=9=(\pm3)^2[/math].

Construction of field [math]{\mathbb E}={\mathbb Q}[x]/I[/math]

Constructing [math]{\mathbb E}[/math]

We consider constructing a larger field [math]{\mathbb E}[/math], such that [math] f(x) [/math] has a root in [math]{\mathbb E}[/math]. We do this by letting [math] I = (f(x)) [/math]. We have seen that [math] f(x) [/math] is irreducible, therefore [math] I [/math] is a maximal ideal. This implies the factor ring generated by the cosets of [math] I [/math] is in fact a field. Elements of [math]{\mathbb E}[/math] are of the form [math] g(x) + I [/math], where [math] g(x)\in {\mathbb Q} [/math]. By letting [math] \theta = x + I [/math] we can show that :[math] f(\theta) = (x + I)^4 – 14(x + I)^2 + 9 [/math] :[math] f(\theta) = x^4 -14x^2 +9 + I [/math] :[math] f(\theta) = 0 + I = 0_{E} [/math] Consequently we can state that [math] \theta [/math] is a root of [math] f(x) [/math] in [math]{\mathbb E}[/math] and thus by the factor theorem we have that [math]x-\theta[/math] is a factor of [math]f(x)[/math]. We can then go on to factorise[math] f(x) [/math] in [math]{\mathbb E}[/math] by performing polynomial long division as follows:

[math]\begin{array}{r} x^3+\theta x^2+ (\theta^2-14)x+(\theta^3-14\theta)\\ x- \theta \overline{\Big) x^4+0x^3-14x^2+0x+9}\\ \underline{x^4- \theta x^3)}\\ \theta x^3-14x^2+0x+9\\ \underline{\theta x^3-\theta^2x^2}\\ (-14+ \theta^2)x^2 +0x+9\\ \underline{(-14 + \theta^2)x^2+(14 \theta- \theta^3)x}\\ (\theta^3-14 \theta)x +9\\ \underline{(\theta^3-14 \theta)x+(- \theta^4+14 \theta^2)}\\ \theta^4-14 \theta^2+9 = 0_{E}\\ \end{array}[/math]

Therefore we have constructed a field in which [math] f(x) [/math] is reducible

[math] f(x) = (x-\theta)(x^3+\theta x^2+(\theta^2-14)x+(\theta^3-14 \theta))[/math] .

Finding a basis for [math] {\mathbb E} [/math]

Elements of [math] {\mathbb E}[/math] are of the form [math] g(x) + I [/math]

Proposition 4.2.1 All elements of [math] {\mathbb E } [/math] can be written as [math] h(\theta) [/math] where [math] deg (h(x)) \lt deg (m(x))[/math] where [math] m(x) [/math] is the minimal polynomial, which in our case is [math] f(x)[/math].

Proof By the Euclidean Division Algorithm

[math] g(x) = m(x) q(x) + h(x)[/math]

for some [math] q(x)[/math],[math] h(x)\in {\mathbb Q}[/math] and [math]deg (h(x)) \lt deg (m(x)) [/math].

[math]g(\theta) = m(\theta) q(\theta)+h(\theta) [/math]

We know [math] m(\theta) = f(\theta) = 0[/math] as [math] \theta [/math] is a root.

[math] g(\theta) = h(\theta)[/math]

Therefore we have shown that each element in [math] {\mathbb E} [/math] is of the form [math] h(\theta) = a + a_{1}\theta + a_{2} \theta^2 + a_{3} \theta^3 [/math] , where [math] h(\theta) [/math] is of degree 3 or less. [math]\square[/math]

Proposition 4.2.2 This expression of an element in [math] {\mathbb E} [/math] is unique.

Proof Assume [math] g(\theta) = h(\theta)[/math] and [math] g(\theta) = h'(\theta)[/math] . Let [math] h(x)-h'(x) = e(x) [/math], then

[math] e(\theta) = h(\theta) - h'(\theta) = g(\theta) - g(\theta) [/math]
[math] e(\theta) = 0 [/math]

However the degree of [math] e(x) [/math] is less than the degree of [math]f(x)[/math], contradicting [math]f(x)[/math] being the minimal polynomial. Therefore [math] e(x) = 0 [/math]. So [math] e(x)=h(x)-h'(x)=0 \; \Rightarrow \; h(x)=h'(x) [/math]. [math]\square[/math]

We have shown that [math] h(x) [/math] is unique for each element of [math] {\mathbb E} [/math], which is a necessary and sufficient condition to form a basis. Consequently, [math]\{1,\theta,\theta^2,\theta^3\}[/math] forms a basis for [math] {\mathbb E} [/math] as a vector space over [math] {\mathbb Q} [/math] .

Construction of finite field [math]{\mathbb E}={\mathbb F}[x]/I[/math]

In Allenby's "Rings, Fields and Groups"[3] the following result is listed as theorem 4.5.8 part (i).

Theorem 5.0.1 Every finite field is of the form [math]\frac{{\mathbb Z}_{p}[x]}{[f]}[/math], where [math] f[/math] is a polynomial irreducible in [math]{\mathbb Z}_{p}[x][/math].

Note that here [math][f(x)][/math] denotes the principal ideal generated by the polynomial [math]f(x)[/math].

For our polynomial [math]f(x)=x^4-14x^2+9[/math], we concluded in section 3.2 that [math]f(x)[/math] is reducible in [math]{\mathbb Z}_{p}[x][/math] for all primes [math]p[/math], that is, there does not exist a prime [math]p[/math] such that [math]f(x)[/math] is irreducible in [math]{\mathbb Z}_{p}[x][/math].

Using this result, we can apply theorem 5.0.1 to conclude that we cannot construct a finite field using [math]f(x)[/math].

Algebraic elements and their connection to [math]f(x)[/math]

We will now focus on constructing a field [math]{\mathbb F} [/math] containing [math] \alpha = \sqrt2+\sqrt5 [/math], and so that [math]f(x)[/math] is the minimal polynomial of [math] \alpha [/math] over [math]{\mathbb F} [/math]

The Evaluation Homomorphism

Define the evaluation homomorphism [math] \phi_\alpha: {\mathbb Q}[x] \to {\mathbb Q}( \alpha ) [/math] such that [math]f(x) \mapsto f(\alpha) [/math].

Then [math] \phi_\alpha [/math] maps functions over [math] {\mathbb Q} [x] [/math] to their evaluation at [math] \alpha [/math].

Now by considering the image and kernel of [math] \phi_\alpha [/math], we will attempt to employ the First Isomorphism Theorem in search for a field in which [math]\alpha [/math] has minimal polynomial [math] f(x) [/math]

Kernel of the Evaluation Homomorphism

[math] ker(\phi_\alpha)= \left \{f(x) : f(\alpha)=0 \right \} [/math]

Proposition 6.2.1 [math] ker(\phi_\alpha)=(f(x)) [/math]

Proof We will start by showing the inclusion of the ideal generated by [math] f(x) [/math] inside the kernel.

Assume that [math] g(x) \in (f(x)) [/math].

By the definition of the ideal [math] g(x) = f(x)q(x) [/math], for some [math] q(x) \in {\mathbb Q}[x] [/math]. Then [math] g(\alpha) = f(\alpha) q(\alpha) = 0 [/math] as [math] f(\alpha) = 0 [/math] because [math] \alpha [/math] is a root of [math] f(x)[/math].

[math] g(\alpha) = 0, [/math] so [math] \phi_\alpha(g(x)) = 0 [/math]

[math] g(x) \in ker(\phi_\alpha) [/math]

So we have shown that the arbitrary polynomial in the ideal [math] f(x) [/math] is also in the kernel of [math] \phi_\alpha[/math].

Now we seek to show the inclusion of the kernel inside the ideal generated by [math] f(x) [/math].

Assume [math] g(x) \in ker(\phi_\alpha) [/math], by the Euclidean algorithm we can find [math] q(x)[/math] and [math]r(x) [/math], where [math] degree(r(x))\lt degree(f(x)) [/math] such that

[math] g(x) = f(x)q(x) + r(x) [/math].

As [math]g(x)[/math] is in the kernel of [math] \phi_\alpha [/math],

[math] g(\alpha) = f(\alpha) q(\alpha) + r(\alpha) = 0 [/math].

Remembering that [math] f(\alpha) = 0 [/math], we deduce that [math] r(\alpha)=0 [/math].

Hence [math]\alpha[/math] appears to be a root of [math]r(x)[/math], which has a lower degree than [math]f(x)[/math], a contradiction.

Therefore [math] r(x)=0 [/math] and [math] g(x) = f(x)q(x) [/math].

Consequently [math] g(x) \in (f(x)) [/math], so we have shown that the arbitrary element of the kernel is also an element of the ideal generated by [math] f(x) [/math] and thus our claim is proved. [math]\square[/math]

Image of the Evaluation Homomorphism

We will now take on the simpler task of examining the image of [math] \phi_\alpha [/math].

[math] Im(\phi_\alpha) = \left \{\phi_\alpha (f(x)) | f(x) \in {\mathbb Q} [x] \right \} \\ [/math]

[math] Im(\phi_\alpha) = \left \{f(\alpha) | f(x) \in {\mathbb Q} [x] \right \} = {\mathbb Q}(\alpha) [/math]

Constructing [math] {\mathbb Q}[\alpha] [/math]

We can now employ the first isomorphism theorem.

[math] \frac{{\mathbb Q}[x]}{ker(\phi_\alpha)} \cong im(\phi_\alpha) [/math]

so :[math] \frac{{\mathbb Q}[x]}{(f(x))} \cong {\mathbb Q}[\alpha] [/math]

As [math] (f(x)) [/math] is a maximal ideal, [math] {\mathbb Q}[\alpha] [/math] is a field.

Therefore we have constructed a field [math]{\mathbb Q}[\alpha] [/math] so that [math] f(x) [/math] is the minimal polynomial of [math] \alpha [/math] over [math] {\mathbb Q}[\alpha] [/math].

We can also find a basis for [math] {\mathbb Q}[\alpha] [/math] over [math] {\mathbb Q} [/math] in the same manner we found the basis for [math] {\mathbb E} [/math].

Using the same argument we used in section 4.2 we find that [math] \left \{ 1, \alpha, \alpha^2, \alpha^3 \right \} [/math] forms the desired basis, however a more interesting observation is that the two fields we have constructed, [math]{\mathbb Q}[\alpha] [/math] and [math]{\mathbb E} [/math] are in fact isomorphic. Furthermore they are related by the isomorphism constructed by the composition of the canonical homomorphism and the evaluation homomorphism.

If we define the canonical map as [math] \varphi:{\mathbb E} \rightarrow{\mathbb Q}[x], \: \varphi(f(x)+I)=f(x) [/math] Then :[math] {\mathbb E}\overset{\varphi }{\rightarrow}{\mathbb Q}[x]\overset{\phi_\alpha}{\rightarrow} {\mathbb Q}[\alpha] [/math].

It should not come as a surprise that this result is by no means a coincidence. If we look at the theorem cited in I Stewart's book "Galois Theory" [4], we see that we have stumbled on a particular example of of the more general case.

Theorem 6.4.1 Suppose [math] K(a):K [/math] and [math] K(b):K [/math] are simple algebraic extensions, such that [math]a[/math] and [math]b[/math] have the same minimum polynomial m over [math]K[/math]. Then the two extensions are isomorphic, and the isomorphism of the large fields can be taken to map [math] a \mapsto b [/math].

Indeed [math]{\mathbb E}={\mathbb Q}(\theta) [/math], so both our larger fields are simple algebraic extensions with [math] f(x) [/math] the minimal polynomial of [math] \alpha [/math] and [math] \theta [/math]. And lastly for completeness:

[math]\phi_\alpha \circ \varphi (\theta)= \phi_\alpha \circ \varphi (x+I) [/math]

[math]\phi_\alpha \circ \varphi (\theta)= \phi_\alpha (x)[/math]
[math]\phi_\alpha \circ \varphi (\theta)= \alpha [/math]

Galois Group over the field [math] {\mathbb Q} [/math]

Galois Theory provides a connection between field theory and group theory. Below we have investigated the Galois Group for our polynomial over [math] {\mathbb Q} [/math].

[math] f(x) = x^4 -14x^2+9 = (x^2-7)^2-40 [/math]

The polynomial has four roots

[math] A = \sqrt2 +\sqrt5 [/math]

[math]B = \sqrt2 -\sqrt5 [/math]

[math]C = -\sqrt2 +\sqrt5[/math]

[math]D = -\sqrt2 -\sqrt5 [/math]

The roots are connected by algebraic equations which have rational coefficients.

[math] AB = -3[/math]

[math]AC = 3[/math]

[math]A+D = 0 [/math]

We then consider the permutations of the roots so that these equations are satisfied before and after.

[math] (A B C D) \to (A B C D)[/math]

[math](A B C D) \overset{f}{\rightarrow}(C D A B)[/math]

[math](A B C D) \overset{g}{\rightarrow} (B A D C)[/math]

[math](A B C D) \overset{fg}{\rightarrow} (D C B A) [/math]

The permutations form a permutation group which contains four elements, this is the Galois Group over [math] {\mathbb Q} [/math].

This group for our polynomial is isomorphic to the Klein-4 Group.

According to the Fundamental Theorem of Galois Theory the Galois Group for our polynomial has 5 subgroups. Each of the 5 subgroups is related by the Galois correspondance to a subfield of [math] {\mathbb Q}(\sqrt2,\sqrt5)[/math].

  • The trivial subgroup (containing only the identity element) corresponds to all of [math] {\mathbb Q}(\sqrt2,\sqrt5)[/math], as the identity element is the only permutation which leaves [math] {\mathbb Q}(\sqrt2,\sqrt5)[/math] unchanged.
  • The entire group corresponds to the base field [math] {\mathbb Q} [/math] as the elements of the galois group permute expressions that reside outside of the rationals, and so [math] {\mathbb Q} [/math] is fixed by the whole group.
  • The two-element subgroup {[math] 1, f [/math]} corresponds to the subfield [math] {\mathbb Q}(\sqrt5)[/math], since [math] f [/math] fixes [math] \sqrt5 [/math].
  • The two-element subgroup {[math] 1, g [/math]} corresponds to the subfield [math] {\mathbb Q}(\sqrt2)[/math], again since [math] g [/math] fixes [math] \sqrt2 [/math].
  • The two-element subgroup {[math] 1, fg [/math]} corresponds to the subfield [math] {\mathbb Q} (\sqrt10) [/math], since [math] fg [/math] fixes [math] \sqrt10[/math].


[1] Introduction to Abstract Algebra, Keith Nicholson, Wiley & Sons Publishing, page 213

[2] Irreducible quartic polynomials with factorization modulo p Eric Driver, Philip A. Leonard and Kenneth S. Williams, The American Mathematical Monthly Vol. 112, No. 10 (Dec., 2005), pp. 876-890

[3] Rings, Fields and Groups 2nd edition, R.B.J.T Allenby, Arnold Publishing, page 168

[4] Galois Theory 2nd edition, I Stewart, Chapman & Hall/CRC, page 39, Theorem 3.8