Question #271035

If N is normal in G and a belongs to G is of order O(a), prove that the order, m of Na in G/N is a divisor of O(a)


1
Expert's answer
2021-11-25T09:56:03-0500

We denote the identity element of GG  by ee.

Since NN is normal in G,G/NG, G/N  inherits a group structure from GG whence

Nas=(Na)s=N,Na^s=(Na)^s =N,

So

asN;a^s∈N;

We note we cannot have

0n<s,0≤n<s,

for if (3) binds, since

Nan=(Na)n=Ne=NanN,Na^n=(Na)^n=Ne=N⟹a^n∈N,

the order of NaNa in G/NG/N  is then less than s, contrary to our hypothesis. So

nsn≥s

We now exploit the euclidean algorithm to write

n=qs+r,n=qs+r,

where 0r<s;0≤r<s; then

r=nqsr=n−qs

and

ar=anqs=anaqs=eaqs=aqs;a^r=a^{n−qs}=a^na^{−qs}=ea^{−qs}=a^{−qs;}

now since asN,a^s∈N , and NN is a subgroup of GG

as=(as)1N,a^{−s}=(a^s)^{−1}∈N,

whence

aqs=(as)qN;a^{−qs}=(a^{−s})^q∈N;

but by (8), (10) forces

arN;a^r∈N;

but now 0<r<s0<r<s contadicts the fact that ss is the order of NaNa in G/NG/N is ss , since (11) yields

(Na)r=Nar=N.(Na)^r=Na^r=N.

Thus r=0r=0 and hence sn.s∣n.


Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!
LATEST TUTORIALS
APPROVED BY CLIENTS