Can I show that y is in Ha\capKa?

[Punkyc7]

Let H and K be Subgroups
show Ha\capKa = (H\capK)a for all a \inG

pf

Let x\inHa\capKa

Then x\inHa and x\inKa

Can I just say that x \in(H\capK)a ? Or am I missing something.

 

[tiny-tim]

hi Punkyc7!

Let x\inHa\capKa

Then …

nooo …

your next word should be "∃" ​

 

[Punkyc7]

huh?

 

[tiny-tim]

sorry, that character doesn't show up on some computers

your next words should be "there exists a y such that …" ​

 

[Punkyc7]

Ok so there exist a y such that y is in Ha and Ka. Then is it right?

 

[tiny-tim]

Ok so there exist a y such that y is in Ha and Ka. Then is it right?

no!

x is in Ha and Ka, so there exists a y in … such that … ?

 

[Punkyc7]

bear with me..

There exist a y in (H\capK)a such that x=ya?

 

[tiny-tim]

not quite

read it and try again ​

 

[Punkyc7]

is it a y in G? such that x=ya? Then I am not sure if I need the a anymore.

 

[tiny-tim]

is it a y in G? such that x=ya?

no!

once again ​

 

[Punkyc7]

ok I am sure where the y is floating around but if its not in G or (H\capk)a. The only place left would have to be just H\capK right

 

[tiny-tim]

yes!

now, can you see why?​

 

[Deveno]

suppose y is in both Ha and Ka.

what does this mean?

it means y = ha, for some h in H, and y = ka, for some k in K.

for this h, and this k:

ha = ka.

can you think of something to do with this? (perhaps multiply both sides by something?)

*****

that is only HALF the problem, though. the other half means you suppose:

y is in (H∩K)a.

what can you do with this?