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.

22<br />

ADVANCED ABSTRACT ALGEBRA<br />

a mu = a<br />

a mu−1 = e<br />

O(a) | (mu − 1)<br />

n | (mu−1)<br />

Hence, there exists an integer v such that<br />

nv = mu−1<br />

mu − nv = 1<br />

gcd(m, n) = 1 .<br />

This completes the proof of the theorem.<br />

Theorem 11. Every subgroup H of a cyclic group G is cyclic.<br />

Proof. If H = {e}, then H is obviously cyclic. So, let us suppose that H ≠ {e}. If a λ ∈ H , then a −λ ∈ H.<br />

So, we can find a smallest positive integer m such that a m ∈ H. Therefore<br />

< a m > ⊆ H (i)<br />

Moreover,<br />

Therefore<br />

a λ ∈ H λ = qm, q ∈ Z<br />

a λ = a qm<br />

= (q m ) q ∈ < a m ><br />

< a λ > ⊆ < a m ><br />

It follows from (i) and (ii) that<br />

H = < a m ><br />

And hence H is cyclic.<br />

H ⊆ < a m > (ii)<br />

Theorem 12. Let G = < a > be a cyclic group of order n and H be a subgroup of G generated by a m , m<br />

≤ n. Then<br />

n<br />

O(H) =<br />

gcd(m,n)<br />

Proof. We are given that<br />

H = < a m ><br />

Let gcd(m,n) = d, then we can find an integer q such that<br />

m = qd<br />

a m = a qd<br />

But a qd ∈ < a d >, where < a d > is a subgroup generated by a d . Therefore<br />

a m ∈ < a d ><br />

H = < a m > ⊆ < a d > ….<br />

Since gcd (m, n) = d, we can find u, v ∈ Z such that<br />

d = un + vm<br />

a d = a un+vm<br />

(i)<br />

= a un . a vm<br />

= a vm (Θ a un = e)<br />

But a vm ∈ < a m > = H . Therefore<br />

a d ∈ H<br />

< a d > ⊆ H …..<br />

(ii)

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

Saved successfully!

Ooh no, something went wrong!