Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
132<br />
ADVANCED ABSTRACT ALGEBRA<br />
precisely the roots of f(x), and it has exactly<br />
Now we prove the beautiful result given below:<br />
Theorem 7.<br />
elements.<br />
The multiplicative group of non-zero elements of a finite field is cyclic.<br />
Proof:<br />
Let k be a finite field of p n *<br />
n<br />
elements. k = k − ( 0).<br />
So k * = p − 1 = m say. Let a ∈ k<br />
* be of maximal<br />
order, say m 1<br />
i.e. o(a) = m 1<br />
. Now we use the following result: (Let G be a finite abelian group. Let a ∈G<br />
be an element of maximal order. Then order of every element of G is a divisor of this order of a).<br />
By above result, each element of<br />
satisfies f ( x) x m 1<br />
= − 1 . Since k is a field, so there are at most m 1<br />
roots of f(x), hence m ≤ m 1 . But m1 ≤ m, so m = m 1 , and = m. Therefore k * = < a > implies the<br />
result.<br />
<strong>Algebra</strong>ically Closed field:<br />
A field k is said to be algebraically closed, if every polynomial<br />
in K.<br />
Example (Fundamental Theorem of <strong>Algebra</strong>):<br />
of +ve degree has a root<br />
Every nonconstant polynomial with complex coefficients has a complex root i.e. splits into linear<br />
factors.<br />
Automorphism of extension:<br />
Let K be an extension of the field k.<br />
Define ψ : K → K<br />
aC<br />
Gk<br />
pf<br />
Ψ<br />
K<br />
such that<br />
V<br />
bg bg bg<br />
Ψ ab = Ψ a • Ψ b<br />
Ψ is 1–1 and onto<br />
and (C) = C V<br />
Then is k–automorphism of an extension field K.<br />
The group of all k–automorphisms of K is called the Galois group of the field extension K. This<br />
group is denoted by<br />
.<br />
Galois extension:<br />
An extension K of the field k is called Galois extension if<br />
1. K is algebraic extension of k.<br />
2. The fixed field of<br />
is k i.e.<br />
= k