Determining groups not sure how to prove it.

  • Thread starter lostNfound
  • Start date
  • #1
lostNfound
12
0
I'm going through a abstract algebra book I found and am trying to learn more about group theory by going through some of the proofs and practice sets, but am having trouble with the following:

Prove that G={a+b*sqrt(2) | a,b E R; a,b not both 0} is a group under ordinary multiplication.

Any help would be awesome!
 

Answers and Replies

  • #2
SteveL27
799
7
I'm going through a abstract algebra book I found and am trying to learn more about group theory by going through some of the proofs and practice sets, but am having trouble with the following:

Prove that G={a+b*sqrt(2) | a,b E R; a,b not both 0} is a group under ordinary multiplication.

Any help would be awesome!

Where are you stuck? You know that you need to verify each of the group axioms. Is your set closed under the given binary operation? Is there an identity? etc.
 
  • #3
willem2
2,099
360
So I know that in order to prove it is a group, there are several things that have to be confirmed, including associativity, closure, inverses, and identity. Associativity seems like it can be assumed, but the others till have to be proved. I'm having most of my trouble with the closure and inverse proofs, especially that for closure.

Closure is easy, you just take two arbirtrary elements a+b sqrt(2) and c + d sqrt(2), compute the product and show that it also is a member of G.

Inverses are a little harder, altough a very common trick that you should definitely know can be used to get

[tex] \frac { 1 } { a + b \sqrt(2) } [/tex] in the form: c + d sqrt(2)
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
43,021
970
So I know that in order to prove it is a group, there are several things that have to be confirmed, including associativity, closure, inverses, and identity. Associativity seems like it can be assumed, but the others till have to be proved. I'm having most of my trouble with the closure and inverse proofs, especially that for closure.
Why did you delete this? I wouldn't say you should assume associativity but certainly you can just note that multiplication of real numbers is associative and this is just a subset of the real numbers. To show closure write the product of two such numbers as [itex](a+ b\sqrt{2})(c+ d\sqrt{2})[/itex] and actually do the multiplication. What do you get? Show that it can be written as [itex]u+ v\sqrt{2}[/itex] by showing what u and v must be. The identity is [itex]1= 1+ 0\sqrt{2}[/itex], of course.

And the multiplicative inverse of [itex]a+ b\sqrt{2}[/itex] is [itex]1/(a+ b\sqrt{2})[/itex]. Rationalize the denominator to show how that can be written in the form [itex]u+ v\sqrt{2}[/itex].
 
  • #5
lostNfound
12
0
Sorry I deleted that. I was trying to delete the post so people didn't feel like they needed to keep answering it. I was able to work out the answer on my own earlier. Thanks for the help though. I think we are on the same page.
 

Suggested for: Determining groups not sure how to prove it.

Replies
10
Views
536
Replies
3
Views
278
  • Last Post
Replies
1
Views
92
Replies
1
Views
537
Replies
4
Views
882
  • Last Post
Replies
11
Views
610
Replies
6
Views
609
  • Last Post
Replies
2
Views
486
Replies
6
Views
1K
  • Last Post
Replies
0
Views
353
Top