You are Here: Home >< Maths

# A Summer of Maths (ASoM) 2016

Announcements Posted on
Four hours left to win £100 of Amazon vouchers!! Don't miss out! Take our short survey to enter 24-10-2016
1. (Original post by Zacken)
\bigcup:
Thanks
2. (Original post by EnglishMuon)
Ok. whats wrong with the first sentence? We know that any two right cosets in a group are either equal or disjoint. So if we are looking at the intersection of 1 right coset and another and this set is not empty, they must both equal some for some . There was a typo actually in the 2nd line as I meant to say but I don't see why the rest of argument doesn't work.
With the (Z, +) example, subgroups {3n} and {4n}, the intersection of the cosets {3n+1} and {4n+1} are certainly non empty, but this does not imply that Hx = Ky as you've written.

Posted from TSR Mobile
3. (Original post by Ecasx)
With the (Z, +) example, subgroups {3n} and {4n}, the intersection of the cosets {3n+1} and {4n+1} are certainly non empty, but this does not imply that Hx = Ky as you've written.

Posted from TSR Mobile
lol yea that seems true (e.g. 13 occurs in both 3n+1, 4n+1) but I swear
"any two left cosets of H in G are either identical or disjoint. In other words every element of G belongs to one and only one left coset and so the left cosets form a partition of G.[3] Corresponding statements are true for right cosets." must hold?? what on earth am i doing wrong here XD
Actually yeah its cus they are different subgroups
4. (Original post by EnglishMuon)
lol yea that seems true (e.g. 13 occurs in both 3n+1, 4n+1) but I swear
"any two left cosets of H in G are either identical or disjoint. In other words every element of G belongs to one and only one left coset and so the left cosets form a partition of G.[3] Corresponding statements are true for right cosets." must hold?? what on earth am i doing wrong here XD
Actually yeah its cus they are different subgroups
Yeah they have to be cosets of the same subgroup.

Posted from TSR Mobile
5. (Original post by Ecasx)
Yeah they have to be cosets of the same subgroup.

Posted from TSR Mobile
Aggh I was getting confused with typos:

So let . Then and for some .

So and
Therefore . My original typo here was that I said also instead of Kg.
6. (Original post by EnglishMuon)
Aggh I was getting confused with typos:

So let . Then and for some .

So and
Therefore . My original typo here was that I said also instead of Kg.
What are you trying to do here? I think you're saying that there exists x, y in G such that Hx and Ky both contain G, but this is an obvious statement, since x=y=g works (both H and K contain the identity). Therefore it is true that g belongs to Hg ^ Kg = (H ^ K)g, a coset of (H ^ K), as you have said. But this was already known to us, since we know that H ^ K is a subgroup, and that the cosets of a subgroup will partition the group.

Posted from TSR Mobile
7. (Original post by Ecasx)
What are you trying to do here? I think you're saying that there exists x, y in G such that Hx and Ky both contain G, but this is an obvious statement, since x=y=g works (both H and K contain the identity). Therefore it is true that g belongs to Hg ^ Kg = (H ^ K)g, a coset of (H ^ K), as you have said. But this was already known to us, since we know that H ^ K is a subgroup, and that the cosets of a subgroup will partition the group.

Posted from TSR Mobile
Im showing that is true for all g in Hx and Ky, hence why I did that proof rather than just noting each contains the identity (there would no use in just saying each contains just 1 element the same). So this shows for any of our xi yj. So we can then say G is just . i.e. H intersection K is of finite index.
8. Any one got any ideas on this?

Question: A ball bearing rests on a ramp fixed to the top of a car which isaccelerating horizontally. The position of the ball bearing relative to theramp is used as a measure of the acceleration of the car. Show that ifthe acceleration is to be proportional to the horizontal distance moved bythe ball (measured relative to the ramp), then the ramp must be curvedupwards in the shape of a parabola. ++
9. (Original post by AsifHossain)
Any one got any ideas on this?

Question: A ball bearing rests on a ramp fixed to the top of a car which isaccelerating horizontally. The position of the ball bearing relative to theramp is used as a measure of the acceleration of the car. Show that ifthe acceleration is to be proportional to the horizontal distance moved bythe ball (measured relative to the ramp), then the ramp must be curvedupwards in the shape of a parabola. ++
This is my solution (give or take a couple of small constants from scribbling it down quickly)

Posted from TSR Mobile
10. (Original post by AsifHossain)
Any one got any ideas on this?

Question: A ball bearing rests on a ramp fixed to the top of a car which isaccelerating horizontally. The position of the ball bearing relative to theramp is used as a measure of the acceleration of the car. Show that ifthe acceleration is to be proportional to the horizontal distance moved bythe ball (measured relative to the ramp), then the ramp must be curvedupwards in the shape of a parabola. ++
Is this from Upgrade Your Physics? In which case excellent book, I recommend it wholeheartedly.

Your approach will want to be along the lines of showing that the gradient - or, equivalently, cot(theta) with theta to the horizontal if my mental diagram is vorrect - is proportional to x, and so a parabola must result. Any ideas on how to establish something about this angle?

Posted from TSR Mobile
11. (Original post by Krollo)
Is this from Upgrade Your Physics? In which case excellent book, I recommend it wholeheartedly.

Your approach will want to be along the lines of showing that the gradient - or, equivalently, cot(theta) with theta to the horizontal if my mental diagram is vorrect - is proportional to x, and so a parabola must result. Any ideas on how to establish something about this angle?

Posted from TSR Mobile
Yep it's off that book, glad to know it's useful haha.

I'm unsure if we can say that the ball is in equilibrium and maximum displacement (i.e. Rcos(theta) = ma and Rsin(theta) = mg from which the result would follow) since surely the ball would some have velocity at equilibrium so would continue rising up the ramp and therefore the value of x would increase?
12. (Original post by AsifHossain)
Yep it's off that book, glad to know it's useful haha.

I'm unsure if we can say that the ball is in equilibrium and maximum displacement (i.e. Rcos(theta) = ma and Rsin(theta) = mg from which the result would follow) since surely the ball would some have velocity at equilibrium so would continue rising up the ramp and therefore the value of x would increase?
Are you familiar with the idea of a fictitious force?

Posted from TSR Mobile
13. (Original post by Krollo)
Are you familiar with the idea of a fictitious force?

Posted from TSR Mobile
Yes, we have an inertial force acting in the positive x direction equal to ma right?
14. (Original post by AsifHossain)
Yes, we have an inertial force acting in the positive x direction equal to ma right?
Yep. By equilibrium, it is in equilibrium relative to the ramp if that makes sense.
15. Zacken Are there any resources for GT on MIT OCW? I must be blind since I can only find "Introduction to Lie Groups".
16. (Original post by EnglishMuon)
Zacken Are there any resources for GT on MIT OCW? I must be blind since I can only find "Introduction to Lie Groups".
Nope, them americanos are weird.
17. (Original post by EnglishMuon)
Zacken Are there any resources for GT on MIT OCW? I must be blind since I can only find "Introduction to Lie Groups".
They'll be listed under 'algebra' or 'abstract algebra'.

Groups:
http://ocw.mit.edu/courses/mathemati...a-i-fall-2010/
Rings:
http://ocw.mit.edu/courses/mathemati...2011/index.htm
Bit of both:
http://ocw.mit.edu/courses/mathemati...2013/Syllabus/

Lie groups is pretty hard stuff, you'll need a lot of prerequisites for that.
18. (Original post by Alex:)
They'll be listed under 'algebra' or 'abstract algebra'.

Groups:
http://ocw.mit.edu/courses/mathemati...a-i-fall-2010/
Rings:
http://ocw.mit.edu/courses/mathemati...2011/index.htm
Bit of both:
http://ocw.mit.edu/courses/mathemati...2013/Syllabus/

Lie groups is pretty hard stuff, you'll need a lot of prerequisites for that.
Thanks. and yea haha I wasn't planning on starting the lie groups stuff. a couple of years away hopefully
19. (Original post by EnglishMuon)
Thanks. and yea haha I wasn't planning on starting the lie groups stuff. a couple of years away hopefully
You planning years early.
Cmon mate.

Posted from TSR Mobile
20. (Original post by EnglishMuon)
Thanks. and yea haha I wasn't planning on starting the lie groups stuff. a couple of years away hopefully
It's good that you're interested in group theory though. I found groups to not be interesting early on, since I'm more of an analysis person. Groups pop up everywhere, which is why we learn about them.. For instance, Lie groups I quite like, as they are groups and differentiable manifolds, so it has all group properties and you can do analysis on them.

## Register

Thanks for posting! You just need to create an account in order to submit the post
1. this can't be left blank
2. this can't be left blank
3. this can't be left blank

6 characters or longer with both numbers and letters is safer

4. this can't be left empty
1. Oops, you need to agree to our Ts&Cs to register

Updated: September 28, 2016
TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Today on TSR

### Who is getting a uni offer this half term?

Find out which unis are hot off the mark here

Poll
Useful resources