You are Here: Home >< Maths

A Summer of Maths Watch

• View Poll Results: Have you studied any Group Theory already?
Yes, I did some Group Theory during/at my A-level.
37.84%
No, but I plan to study some before Uni.
21.62%
No, I haven't.
40.54%

What I thought is, if I labelled subset as , and defined

then I think, I get a cyclic group. I assume the operation is associative, but it follows from the associativity of multiplication modulo.

Then, if I define , I get that

and this is clearly bijective, so it is an isomorphism to .

In this case I get a cyclic group, for all sets with a prime number of elements.
However, I need this to be true for every number of elements, and if it helps, they will be naturals.
I see what you're doing. You need to be quite careful here: is not (usually) constructed a subset of , or even of , and it's not a subgroup of either under any conventional operations. It is normally either defined abstractly or defined concretely a quotient of by the subgroup .

Now, is not a group under multiplication modulo , even when is prime (for instance, has no multiplicative inverse modulo ). And it is always a group under addition, even when isn't prime.

However, is a group under multiplication; its elements are with multiplication defined by . But , and the correspondence is not as simple as mapping, say, 1 to 1 and 2 to 2 and 3 to 3 and so on... the isomorphism will mess up the ordering of the integers.

And on this basis it doesn't make a difference that your indices are natural numbers, since if you want them to act multiplicatively then you'll need to screw up their ordering anyway in order to map them into . So you can choose between making them act additively, so for instance , in which case it makes no difference whether or not is prime; or you can choose another group and group operation and choose your isomorphism a different way.
2. (Original post by nuodai)
So you can choose between making them act additively, so for instance , in which case it makes no difference whether or not is prime; or you can choose another group and group operation and choose your isomorphism a different way.
I see. Well, it was the first one that I picked! So, if I choose them additively, then it seems plausible?
I'll have a look at it now, and check the details to see whether it works. Thanks!

EDIT: I know what you mean by the above though, you didn't waste time to write it all out. I did it quickly, and slightly mispresented it.
I see. Well, it was the first one that I picked! So, if I choose them additively, then it seems plausible?
I'll have a look at it now, and check the details to see whether it works. Thanks!
Yes. But you seem to be making it harder than you have to: by labelling the elements of your subset from 1 up to n you have already defined an isomorphism from your subset to , by the method I described two posts ago, since the group structure is inherited from the identification with the elements of .

A more critical issue is that not all subsets of are finite, but I'm sure you can work out a way round that...
4. (Original post by nuodai)
Yes. But you seem to be making it harder than you have to: by labelling the elements of your subset from 1 up to n you have already defined an isomorphism from your subset to , by the method I described two posts ago, since the group structure is inherited from the identification with the elements of .

A more critical issue is that not all subsets of are finite, but I'm sure you can work out a way round that...
Yes, that is true, but I want to play a bit more with it.

It was just an idea, so I have to think through the details, and see how exactly I'm going to apply it.
Well, more specifically, I'm looking at some periodic sequences, so that's not a problem for now.

EDIT:

(Original post by nuodai)
More specifically, if is any subset and is a group with then any bijection induces a group structure on by defining .
This is quite nice! I think I have seen it already used for the Isomorphism theorem, but obviously didn't process it well enough!
5. (Original post by nuodai)
A more critical issue is that not all subsets of are finite, but I'm sure you can work out a way round that...
It's often the case that statements of the form "every set has [such and such a structure]" are equivalent to the axiom of choice (or a weaker variant of it), a famous example being "every set has a well-ordering". Most people accept the axiom of choice and get on with their lives, but it is quite interesting to know when it's being used I thought that the assertion that every set has a group structure depended on the axiom of choice, but I didn't know they were equivalent!
7. (Original post by nuodai)
.. a famous example being "every set has a well-ordering".
So, that's the final ingredient of the argument! I have heard this axiom so many times that one may think I know what it means, but I find it interesting already!
8. Sorry to break up the Group Theory discussion - would like some thoughts on this...

If is continuous everywhere and can I conclude that

My thoughts were along the lines of:

Spoiler:
Show

Any irrational number can satisfy with , and where and can be made arbitrarily small. Since is continuous necessarily (assuming f is constant for all rational numbers). Does that work?
9. One of the books given for Numbers and Sets is Numbers, Sets and Axioms by A. Hamilton.
Nobody suggested books on Set Theory so far? Any comments?

Usually, two sets are defined to be equal if and , or equivalently, if .

Why is this called the Axiom of Extensionality", expressed as: ? It does not 'extend' anything.
10. (Original post by Lord of the Flies)
Does that work?
Yup, that's fine, but the wording is slightly awkward and I can't put my finger on why. When dealing directly with the definition of continuity it's good to be more specific with and s, so something like:

Spoiler:
Show
Let , let be irrational and let be such that whenever . Since there is some with , we have . But was arbitrary, so .

It sounds like more of a mouthful, but that way you're not skipping over details.
Why is this called the Axiom of Extensionality", expressed as: ? It does not 'extend' anything.
It doesn't mean 'extension' as in 'make something bigger', it means extension as in 'the ability to include more things'. The reasoning goes a bit deeper into relations.

Background:
A relation on a set can be thought of in a few ways (all are equivalent). One way is as a subset , which means it's a collection of ordered pairs where . (An example of a relation is the set itself, which can be thought of as the set of all 'coordinates'.) Relations generalise functions: a function is a relation for which for each there is exactly one such that , and we denote this by . In this sense, we can think of a relation as a 'multi-valued function'. (For instance, the set containing all where or is a relation, but not a function.) But the nitty-gritty aside, just think of a relation as being a set containing ordered pairs of elements of some set.

Now, if then we say is an '-predecessor' of . So for instance if is a function then you could say (although most people don't) that is an -predecessor of for each in the domain of .

The relevant bit:
A relation is called 'extensional' if each element is determined by its -predecessors. That is, if for all we have , then . The axiom of extensionality, therefore, is just the assertion that is an extensional relation.
12. (Original post by nuodai)
It doesn't mean 'extension' as in 'make something bigger', it means extension as in 'the ability to include more things'. The reasoning goes a bit deeper into relations.

Background:
A relation on a set can be thought of in a few ways (all are equivalent). One way is as a subset , which means it's a collection of ordered pairs where . (An example of a relation is the set itself, which can be thought of as the set of all 'coordinates'.) Relations generalise functions: a function is a relation for which for each there is exactly one such that , and we denote this by . In this sense, we can think of a relation as a 'multi-valued function'. (For instance, the set containing all where or is a relation, but not a function.) But the nitty-gritty aside, just think of a relation as being a set containing ordered pairs of elements of some set.

Now, if then we say is an '-predecessor' of . So for instance if is a function then you could say (although most people don't) that is an -predecessor of for each in the domain of .

The relevant bit:
A relation is called 'extensional' if each element is determined by its -predecessors. That is, if for all , then . The axiom of extensionality, therefore, is just the assertion that is an extensional relation.
where can I learn what all that notation means?
13. (Original post by kingkongjaffa)
where can I learn what all that notation means?
Most textbooks introduce it as you go along; the notation I used would all be in a typical first year textbook. I can't really think of any to suggest though. The table on Wikipedia isn't very useful but might help a little bit.
14. (Original post by nuodai)
...
Merci!
15. (Original post by nuodai)
The relevant bit:
A relation is called 'extensional' if each element is determined by its -predecessors. That is, if for all , then . The axiom of extensionality, therefore, is just the assertion that is an extensional relation.
I see. Just for clarity, this notion of a relation" is as general as it can be.
e.g. I don't attribute it any properties other than being a subset of a Cartesian product?

I am still trying to decipher the last bit though.

Is the same as

If for all , we have , then ?

In this case, I get that the axiom of extensionality would be: is and .

Following this logic, would and be extensional relations?
I see. Just for clarity, this notion of a relation" is as general as it can be.
e.g. I don't attribute it any properties other than being a subset of a Cartesian product?
Well it's nothing more than that - a subset of a Cartesian product (of a set with itself). Relations are extremely useful (equivalence relations, partial orders and preorders are all types of relation). They can be generalised further, say to -ary relations, which are subsets of or to subsets of , or even more general products.

Is the same as

If for all , we have , then ?
Yes. , and are three ways of writing the same thing. I prefer the former unless it's some kind of ordering or inclusion.

In this case, I get that the axiom of extensionality would be: is and .
Yes.

Following this logic, would and be extensional relations?
Yes. But, for instance, if we write to mean that is a subgroup of a group (where we consider the groups as being 'up to isomorphism'); then is not extensional (for instance, and have the same subgroups).
17. (Original post by nuodai)
Yes. But, for instance, if we write to mean that is a subgroup of a group (where we consider the groups as being 'up to isomorphism'); then is not extensional (for instance, and have the same subgroups).
Oh, yes. I wasn't very sure about the meaning of in that case (definition), but took it as being the same object.

Would you recommend Naive Set Theory? Or, perhaps, any other book that might be useful -- I notice most of these have no prerequisites.
Comments suggest it is a well structured introduction that covers all axioms of ZF? (It's funny how naive is this book with this axiomatic nature. )
Oh, yes. I wasn't very sure about the meaning of in that case, but took it as being the same object.

Would you recommend Naive Set Theory? Or, perhaps, any other book that might be useful -- I notice most of these have no prerequisites.
Comments suggest it is a well structured introduction that covers all axioms of ZF? (It's funny how naive is this book with this axiomatic nature. )
I didn't learn naive set theory from a book, and as far as I know there isn't a copy of the lecture notes online, so I can't really say. I've heard of that book, though, which probably means it's not too bad.

Promise me you won't just do maths this summer? I'm a bit worried.
19. (Original post by nuodai)
Promise me you won't just do maths this summer? I'm a bit worried.
I won't get the chance, otherwise.. no doubt! I will be a lot more busier next month.

Would you recommend Naive Set Theory? Or, perhaps, any other book that might be useful -- I notice most of these have no prerequisites.
Comments suggest it is a well structured introduction that covers all axioms of ZF? (It's funny how naive is this book with this axiomatic nature. )
Yep, great book

Updated: August 12, 2013
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

Stuck for things to do this summer?

Come and get some inspiration.

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

Chat with other maths applicants