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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

56<br />

ADVANCED ABSTRACT ALGEBRA<br />

Let x ∈<br />

G k<br />

and g ∈ G<br />

b<br />

Since G G < Z G G<br />

k k+ 1 k+<br />

1<br />

g, we get<br />

Hence Gk , G < Gk+1 and so G k, H < H<br />

bġ<br />

We now get that Gk < N g<br />

H But G k < H<br />

Hence we must have H ≤ N H<br />

G<br />

bg<br />

Corollary : Every maximal subgroup of nil potent G is normal in G.<br />

Proof : Let H be a maximal subgroup of G. Since<br />

hence H∆ G<br />

Theorem 9 :<br />

, by hypothesis we must have<br />

If any finite group G is direct product of its. Sylow subgroups, then G is nilpotent,<br />

Proof : From above theorem 7, it suffices to show that the direct product of two nilpotent groups is nilpotent.<br />

It can be verified easily.<br />

Example 1:<br />

Normal series of Z under addition:<br />

1. l0q∆ 8Z ∆ 4Z ∆Z<br />

and<br />

2. l0q∆<br />

9Z ∆ Z<br />

Examples 2:<br />

l0q∆ 72Z ∆ 8Z ∆Z<br />

can be refined to a series<br />

l0q∆ 72 ∆ 24Z ∆ 8Z ∆4Z∆<br />

Note that two new terms, 24Z and 4Z have been insertd.<br />

Example 3 :<br />

We consider two series of Z 15<br />

:<br />

l0 HN<br />

x<br />

l0q∆<br />

5 ∆ Z15<br />

and l0q∆<br />

3 ∆ Z15<br />

These series are isomorphic<br />

We see that Z<br />

Z<br />

5 Z 3 0<br />

15 5<br />

3 Z 5 0<br />

15 3<br />

≅ ≅ l q<br />

≅ ≅ l q and<br />

Example 4 :<br />

We now find isomorphic refinements of the series given in Example 1<br />

i.e.<br />

(1)<br />

l0q∆<br />

9Z ∆ Z (2)

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

Saved successfully!

Ooh no, something went wrong!