Thread: Normal Subgroups

If G, The set of all mappings T_a,b defined by T_a,b(r)= ar+b
and H = {T_a,b element of G,a is rational}..How do you verify that H is a normal subgroup of G?

Thanks

Originally Posted by Godisgood

If G, The set of all mappings T_a,b defined by T_a,b(r)= ar+b
and H = {T_a,b element of G,a is rational}..How do you verify that H is a normal subgroup of G?

Thanks

What is the operation G?

under * G = T_a,b(r)= ar+b so if a =3 and b = 2 , T_3,2(r) = 3r + 2
hope this makes sense

Originally Posted by Godisgood

under * G = T_a,b(r)= ar+b so if a =3 and b = 2 , T_3,2(r) = 3r + 2
hope this makes sense

Sorry, I don't get what you're trying to say. Let me see if I understand it:

is this correct? If it is my question is: Let what is ? (where is the operation of the group )

= a(cr + d)+ b...does it make sense now

Originally Posted by Godisgood

= a(cr + d)+ b...does it make sense now

What you want to show is that where is a rational number for all a rational number.

There are three actually quite simple steps to doing this:

(1) Firstly, you must work out what the identity element is: .

(2) Secondly, you must work out the inverse of , an arbitrary element from your group.

(3) Lastly, you need to verify the result.

Which bit are you struggling with?

Thanks Swlabr for outlining the steps
so for the last step if e and f for T_e,f are rational then that means H is a normal subgroup in G. I had thought that if a subgroup is normal then every right coset is equal to every left coset i.e Ha = aH. is this also true.??

Originally Posted by Godisgood

Thanks Swlabr for outline the steps
so for the last step if e and f for T_e,f are rational then that means H is a normal subgroup in G. I had thought that if a subgroup is normal then every right coset is equal to every left coset i.e Ha = aH. is this also true.??

. So what is easiest to show is that if we take an element from , , and an arbitrary element from , , then . This is what we want to show here.

The elements of are the elements of the group of the form where is a rational number. So basically you have to show that if then . To do this you need to show that where . It does not matter what happens to .