Abel's theorem in problems and solutions - School of Mathematics
Abel's theorem in problems and solutions - School of Mathematics
Abel's theorem in problems and solutions - School of Mathematics
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Solutions 125<br />
i.e., there exists an element <strong>in</strong> N such that Hence the<br />
element belongs to N <strong>and</strong> therefore N is a normal subgroup <strong>of</strong> the<br />
group G.<br />
Let now N be a normal subgroup <strong>of</strong> the group G. We will prove that<br />
for every element <strong>of</strong> the group G. Let be an arbitrary<br />
element <strong>of</strong> Thus where is an element <strong>of</strong> N. Thus<br />
<strong>and</strong> it follows that (<strong>and</strong> therefore the entire belongs to<br />
Now let be an arbitrary element <strong>of</strong> Thus<br />
where is an element <strong>of</strong> N. Hence <strong>and</strong> (<strong>and</strong> therefore the<br />
entire belongs to So <strong>and</strong> co<strong>in</strong>cide.<br />
102. H<strong>in</strong>t. In this case both the left <strong>and</strong> the right partitions conta<strong>in</strong><br />
two classes: one is the given subgroup, the other conta<strong>in</strong>s all the rema<strong>in</strong><strong>in</strong>g<br />
elements. See also Theorem 2 (§1.10).<br />
103. Let be the given normal subgroups <strong>of</strong> the group<br />
G <strong>and</strong> N their <strong>in</strong>tersection. If is an arbitrary element <strong>of</strong> N then<br />
belongs to all the Hence if is an arbitrary element <strong>of</strong> the group G<br />
then belongs to all the <strong>and</strong> therefore to N. This means that<br />
N is a normal subgroup <strong>of</strong> G.<br />
104. Let be an arbitrary element <strong>of</strong> the group G. S<strong>in</strong>ce<br />
belongs to the centre. If belongs to the centre then Multiply<strong>in</strong>g<br />
both members <strong>of</strong> this equality by on the left one obta<strong>in</strong>s<br />
Thus also belongs to the centre. If <strong>and</strong> belong to the centre then<br />
<strong>and</strong> Therefore <strong>and</strong> thus<br />
also belongs to the centre. By virtue <strong>of</strong> the result <strong>of</strong> Problem 57 the<br />
centre is a subgroup.<br />
Let be any element <strong>of</strong> the centre <strong>and</strong> an arbitrary element <strong>of</strong> the<br />
group G. Thus the element too, belongs to the<br />
centre. The centre is therefore a normal subgroup.<br />
105. Let be two arbitrary elements <strong>of</strong> <strong>and</strong> <strong>and</strong><br />
be two arbitrary elements <strong>of</strong> <strong>and</strong> respectively. Thus the element<br />
belongs to whereas the element belongs to Consequently<br />
the element<br />
belongs to It follows that is a normal<br />
subgroup <strong>of</strong><br />
106. S<strong>in</strong>ce belongs to the class also (by hypothesis) belongs<br />
to the class This means that there exists <strong>in</strong> N an element such<br />
that Similarly we obta<strong>in</strong> that there exists <strong>in</strong> N an element