01.02.2015 Views

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

Advanced Abstract Algebra - Maharshi Dayanand University, Rohtak

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!