Identity element for group theory

kala
Messages
21
Reaction score
0

Homework Statement



Show that (S, *) is a group where S is the set of all real numbers except for -1. Define * on S by a*b=a+b+ab




The Attempt at a Solution


Well I know that i have to follow the axioms to prove this. So I started with G1 which is associativity. This one I got to work. Then G2 says i need to find an identity element. But this is where i got confused. I think that the identity element is 0. but i don't know if that is write. I don't really know how to find it. Then finally G3 is the inverse and I also got stuck here. I don't really know what the inverse would be. Can anyone help.
 
Physics news on Phys.org
you just need to work from the definition

so you want to find an element, call it "e", s.t

a*e=e*a. (need to check this holds both ways)

plug that into the definition for *. what i mean is replace the b with e and solve for e. try that. if it works one way you need to show that it works the other way.

Just a note, if this group commutes or is abelian you only need to show one direction, but you would need to show commutativity.
 
kala said:
I think that the identity element is 0. but i don't know if that is write.
There's an easy way to tell -- plug it into see if it satisfies the identity.

I don't really know how to find it.
Yes you do; you're just being timid. You know the equations that the identity is supposed to satisfy... and you know how to turn it into an ordinary equation involving ordinary addition and ordinary multiplication of real numbers... and you know how to solve equations involving ordinary addition and ordinary multiplication of real numbers... You know all the steps involved, and the path is direct, you just have to start moving.

I don't really know what the inverse would be. Can anyone help.
Again, same situation as the last question.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top