Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
138<br />
ADVANCED ABSTRACT ALGEBRA<br />
4. If K is a finite extension of F, every element of K is algebraic over F.<br />
Example 2.<br />
e j e j e j e j<br />
Q 2, 3 : Q = Q 2,<br />
3 : Q 2 Q 2 : Q = 4<br />
e j e j e j<br />
Put Q 2 = L , Q 2 , 3 = L 3 .<br />
e j e j e j<br />
bg<br />
Then Q 2 , 3 : Q 2 = L 3 : L = 2,<br />
the degree of independent polynomial p x<br />
e j rre j<br />
i.e. L 3 : L = deg I L, 3 = 2 .<br />
e j rre j<br />
e j<br />
2<br />
= x − 3 over L = Q 2 .<br />
Q 2 : Q = deg I Q, 2 = 2 (from example 1)<br />
Hence the result.<br />
5. If p(x) is an irreducible polynomial of degree n in F[x], then F x F c<br />
p x ≅<br />
p(x). By (2), F(c) is of degree n over F.<br />
If<br />
Example 3.<br />
are roots of the same inducible polynomial p(x) over F, then F α ≅ F β .<br />
bg= + +<br />
2<br />
We construct a field of four elements. p x x x<br />
bg bg , where e is a root of<br />
bg bg<br />
di<br />
di<br />
1 is ireducible in Z2 x , as p 0 ≠ 0, p 1 ≠ 0 .<br />
α<br />
c 2<br />
Hence Z x 2<br />
Z2<br />
c<br />
pbg x ≅ , where e is a root of p(x).<br />
i.e.<br />
Now elements of Z 2<br />
(e) are {0, 1, c, c+1} which is illustrated from the following tables:<br />
+<br />
2<br />
0 1 c c + 1<br />
0 0 1 c c + 1<br />
1 1 0 1+<br />
c c<br />
c c 1+<br />
c 0 1<br />
c + 1 c + 1 c 1 0<br />
•<br />
2<br />
1 c c + 1<br />
1 1 c c + 1<br />
c c c + 1 1<br />
c + 1 c + 1 1 c