You are Here: Home >< Maths

# A Summer of Maths (ASoM) 2016 Watch

Announcements
1. (Original post by Gregorius)
Yup.
hmm im not sure what example to be looking for, cus is the definition of an isomorphism the same for all algebraic structures? Cus I've heard of ring isomorphisms but not much about them. Does this counterexample need to hold for all the isomorphisms different to the usual one? (assuming they are different).
2. EnglishMuon Here's another question that you might like... (it's quite straightforward but part (b) draws on knowledge of other groups)

Consider the group
(a) Construct the composition table for the external product .
(b) Can you think of a group that you may have already studied that is isomorphic to ?
3. (Original post by A Slice of Pi)
EnglishMuon Here's another question that you might like... (it's quite straightforward but part (b) draws on knowledge of other groups)

Consider the group
(a) Construct the composition table for the external product .
(b) Can you think of a group that you may have already studied that is isomorphic to ?
so .

This is isomorphic to the symmetries of the rectangle,

by the isomorphism defined by . e.g. as as abelian (hopefully)
4. (Original post by EnglishMuon)
so .

This is isomorphic to the symmetries of the square,

by the isomorphism defined by . e.g. as as abelian (hopefully)
This is what I did...
Attached Images

5. (Original post by A Slice of Pi)
This is what I did...
oops yea, I forgot which notations I was using again ( instead of ) so yea if it were then it'd be for the square
6. (Original post by EnglishMuon)
oops yea, I forgot which notations I was using again ( instead of ) so yea if it were then it'd be for the square
is the dihedral group, which has 2n elements. You are correct in that can represent the symmetries of a square, but this will have 8 elements in total. Four of these are rotations and the other four are reflections in various axes. As an exercise, you may wish to sketch a composition table for the symmetry group of a square and verify that it is, in fact, non-abelian.

Proposition: An abelian group and a non-abelian group cannot be isomorphic.

Proof: By definition, a group isomorphism is a bijective group homomorphism. A group homomorphism is a map between groups, such that for any , .
Now suppose that is the abelian group. Then for any , . Thus

Since is bijective, we have that if is abelian and then is also abelian. Thus, an abelian group is always isomorphic to an abelian group, which gives another reason why the symmetry group of a square cannot be isomorphic to the original group.
7. (Original post by A Slice of Pi)
.
yeah yeah well thats sort of my point, there are different ways of representing the dihedral group depending on what your source is. Some represent the dihedral group of the regular n-gon by Dn, some by D{2n}. But D4 is abelian though (using the 2nd definition).
8. (Original post by EnglishMuon)
yeah yeah well thats sort of my point, there are different ways of representing the dihedral group depending on what your source is. Some represent the dihedral group of the regular n-gon by Dn, some by D{2n}. But D4 is abelian though (using the 2nd definition).
That is true but I have defined Dn in the way I have because that is the one you are more likely to come across on a maths course at university.
9. (Original post by A Slice of Pi)
That is true but I have defined Dn in the way I have because that is the one you are more likely to come across on a maths course at university.
maybe, but I've been used to the other as the books I used on gt happened to use it
10. (Original post by EnglishMuon)
maybe, but I've been used to the other as the books I used on gt happened to use it
Yeah I've seen it a couple of times as well. It's no big deal, and I really don't know why there is two versions, but if your professors next year use a different definition to you just put a little note next to the working out to let them know what you mean and I'm sure it'll be fine. I don't know what year this will be studied in though.
11. (Original post by A Slice of Pi)
Yeah I've seen it a couple of times as well. It's no big deal, and I really don't know why there is two versions, but if your professors next year use a different definition to you just put a little note next to the working out to let them know what you mean and I'm sure it'll be fine. I don't know what year this will be studied in though.
ah ok, will do Im pretty sure this is just 1st year gt, on the beginning of the 1st year lecture notes i read anyway.
12. (Original post by EnglishMuon)
ah ok, will do Im pretty sure this is just 1st year gt, on the beginning of the 1st year lecture notes i read anyway.
Have you looked at any other of the 1st year topics? I did a lot of reading on new topics last year and was surprised to learn some of the stuff is 2nd and 3rd year, because there wasn't an obvious increase in difficulty.
13. (Original post by A Slice of Pi)
Have you looked at any other of the 1st year topics? I did a lot of reading on new topics last year and was surprised to learn some of the stuff is 2nd and 3rd year, because there wasn't an obvious increase in difficulty.
yeah Ive done some vector spaces and nt (+some other few things but not in much detail). pretty engrossed in gt currently tbh!
14. (Original post by EnglishMuon)
yeah Ive done some vector spaces and nt (+some other few things but not in much detail). pretty engrossed in gt currently tbh!
Have you looked at rings, fields and quotient rings?
15. (Original post by A Slice of Pi)
Have you looked at rings, fields and quotient rings?
not yet, I've been recommended to cover vector spaces and carry on gt first. I've looked some basic principles with fields but not enough to say I've studied them properly.
16. Could someone please explain the small o and big O notation?
17. (Original post by l1lvink)
Could someone please explain the small o and big O notation?
is there a context?
18. (Original post by l1lvink)
Could someone please explain the small o and big O notation?
If there exists a constant , for which there exists , such that
,
then we write .

If for every , there exists , such that
,
then we write .

The analogue to big-O and little-o is very similar to less than and strictly less than. Big-O gives an upper bound to the growth, but the function can still approach its Big-O function asymptotically. Little-o is much more strict.

There's other things like Omega, omega and Theta notation. A kinda rough intuition of them could be:

19. (Original post by Alex:)
If there exists a constant , for which there exists , such that
,
then we write .

If for every , there exists , such that
,
then we write .
I think O(g(x)) and o(g(x)) are sets, so shouldn't the notation instead be etc ?
20. (Original post by A Slice of Pi)
I think O(g(x)) and o(g(x)) are sets, so shouldn't the notation instead be etc ?
You're correct, the relation is not symmetric at all and you can blame the computer scientists for this notation.

The worst notation I've found was the Fourier transform by engineers:
.
Or should I say the Sourier transform on a gunction using jmaginary numbers.

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:
Updated: September 28, 2016
Today on TSR

### What does it take to get into Oxbridge?

These personal statements nailed it!

### Have I wasted my time at uni?

Discussions on TSR

• Latest
• ## See more of what you like on The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

• Poll
Useful resources

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams

## Groups associated with this forum:

View associated groups
Discussions on TSR

• Latest
• ## See more of what you like on The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

• The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.