Ok so I understand how to prove a group, it must satisfy these criteria:
1) Closure - Any two elements in that group, under the binary operation listed, should produce another element in the same group
2) Associativity - Order doesn't matter, e.g : a*(b*c) = (a*b)*c
3) Identity - Any element combined with the identity under the binary operation should give you the same element. Identity is 0 for addition and 1 for multiplication. The identity must also be in the group
4) Inverse - Any element combined with its inverse, under the binary operation listed, should give you the Identity. The Inverse must also be in the group.
So the text book I have gives me simple examples, groups with like only 4 elements.
Let's suppose I get the question
Prove (Z,+) is a group.
Z = Set of real numbers
I know any integer added with another integer gives you an integer (It's common sense), but how do I prove it? I obviously can't try out every integer in existence.
-
Doctor1234
- Follow
- 0 followers
- 9 badges
- Send a private message to Doctor1234
- Thread Starter
Offline9ReputationRep:- Follow
- 1
- 28-02-2018 20:34
-
ghostwalker
- Follow
- 86 followers
- 15 badges
- Send a private message to ghostwalker
- Study Helper
Offline15Study Helper- Follow
- 2
- 28-02-2018 21:05
(Original post by Doctor1234)
So the text book I have gives me simple examples, groups with like only 4 elements.
Let's suppose I get the question
Prove (Z,+) is a group.
Z = Set of real numbers
I know any integer added with another integer gives you an integer (It's common sense), but how do I prove it? I obviously can't try out every integer in existence.
If you do mathematics at uni., then you may do a course on the foundations of mathematics, with first the natural numbers, and then the integers being constructed from a set theoretic base, along with the operations of addition and subtraction, and so on. -
RDKGames
- Follow
- 124 followers
- 20 badges
- Send a private message to RDKGames
- Community Assistant
Offline20ReputationRep:Community Assistant- Follow
- 3
- 28-02-2018 21:10
(Original post by Doctor1234)
Ok so I understand how to prove a group, it must satisfy these criteria:
1) Closure - Any two elements in that group, under the binary operation listed, should produce another element in the same group
2) Associativity - Order doesn't matter, e.g : a*(b*c) = (a*b)*c
3) Identity - Any element combined with the identity under the binary operation should give you the same element. Identity is 0 for addition and 1 for multiplication. The identity must also be in the group
4) Inverse - Any element combined with its inverse, under the binary operation listed, should give you the Identity. The Inverse must also be in the group.
So the text book I have gives me simple examples, groups with like only 4 elements.
Let's suppose I get the question
Prove (Z,+) is a group.
Z = Set of real numbers
I know any integer added with another integer gives you an integer (It's common sense), but how do I prove it? I obviously can't try out every integer in existence.
A proof for it may follow from Peano axioms but it’s just unecessary work. I don’t see a neat way to prove it explicitly. -
Doctor1234
- Follow
- 0 followers
- 9 badges
- Send a private message to Doctor1234
- Thread Starter
Offline9ReputationRep:- Follow
- 4
- 28-02-2018 21:28
(Original post by ghostwalker)
As part of group theory, there is no requirement to prove that the sum of two integers is an integer.
If you do mathematics at uni., then you may do a course on the foundations of mathematics, with first the natural numbers, and then the integers being constructed from a set theoretic base, along with the operations of addition and subtraction, and so on.
a,b,c E Z (a, b and c are in the set of integers)
: a+b=c?
Also, you said I don't need to prove 2 integers add to make another integer. What sets and what operations do I need to prove then? -
ghostwalker
- Follow
- 86 followers
- 15 badges
- Send a private message to ghostwalker
- Study Helper
Offline15Study Helper- Follow
- 5
- 28-02-2018 21:38
(Original post by Doctor1234)
So I can literally say
a,b,c E Z (a, b and c are in the set of integers)
: a+b=c?
I would simply state, "the sum of any two integers is an integer, and so Z is closed under addition."
Also, you said I don't need to prove 2 integers add to make another integer. What sets and what operations do I need to prove then? -
TheMoreILearn...
- Follow
- 0 followers
- 11 badges
- Send a private message to TheMoreILearn...
Offline11ReputationRep:- Follow
- 6
- 28-02-2018 21:55
I would suggest googling ‘axioms of real numbers’. That will sort you out
Posted on the TSR App. Download from Apple or Google Play
- AQA psych Retreival Failure Theory ( 16marks)
- Taking your theory test? Read this!
- A-level Religious Studies & A-level Philosophy Study Group
- The Russell Group hurt/heal game (Part 3)
- Fake news and people too immature to understand it
- Best and worst russell group unis for law?
- The pizzagate theory really isn't as absurd as most people ...
- Feel uncomfortable and nervous around friends
- Best universities for Music BMus/BA?
- Psychology
-
Mathematics with a Year in Europe
Imperial College
-
Durham University
-
Mathematics and Computer Science
University of Oxford
-
University of Glasgow
-
Durham University
-
Mathematics/Economics (Joint Honours)
University of Hertfordshire
-
Applied Mathematics/Statistics
Aberystwyth University
-
University of Southampton
-
Royal Holloway University of London
-
University of Bolton
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.
- SherlockHolmes
- Notnek
- charco
- Mr M
- Changing Skies
- F1's Finest
- rayquaza17
- RDKGames
- davros
- Gingerbread101
- Kvothe the Arcane
- TeeEff
- The Empire Odyssey
- Protostar
- TheConfusedMedic
- nisha.sri
- claireestelle
- Doonesbury
- furryface12
- Amefish
- harryleavey
- Lemur14
- brainzistheword
- Rexar
- Sonechka
- TheAnxiousSloth
- EstelOfTheEyrie
- CoffeeAndPolitics
- an_atheist
- Labrador99
- EmilySarah00