- #1

lostNfound

- 12

- 0

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!

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter lostNfound
- Start date

- #1

lostNfound

- 12

- 0

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!

- #2

SteveL27

- 799

- 7

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

[tex] \frac { 1 } { a + b \sqrt(2) } [/tex] in the form: c + d sqrt(2)

- #4

HallsofIvy

Science Advisor

Homework Helper

- 43,021

- 970

Why did you delete this? I wouldn't say you shouldSo 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.

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

Share:

- Replies
- 10

- Views
- 536

- Last Post

- Replies
- 3

- Views
- 278

- Last Post

- Replies
- 1

- Views
- 92

- Last Post

- Replies
- 1

- Views
- 537

- Replies
- 4

- Views
- 882

- Last Post

- Replies
- 11

- Views
- 610

- Replies
- 6

- Views
- 609

- Last Post

- Replies
- 2

- Views
- 486

- Last Post

- Replies
- 6

- Views
- 1K

- Last Post

- Replies
- 0

- Views
- 353