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.
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)