Identity element for group theory

Click For Summary
SUMMARY

The discussion focuses on proving that the set of all real numbers except for -1, denoted as (S, *), forms a group under the operation defined by a*b = a + b + ab. The key steps involve demonstrating associativity, identifying the identity element, and finding inverses. The identity element is confirmed to be 0, as it satisfies the equation a*e = e*a for all a in S. Participants emphasize the importance of applying the definitions and properties of group theory to solve for the identity and inverses effectively.

PREREQUISITES
  • Understanding of group theory axioms, including associativity, identity, and inverses.
  • Familiarity with the operation defined by a*b = a + b + ab.
  • Basic algebra skills for solving equations involving addition and multiplication.
  • Knowledge of commutative properties in group theory.
NEXT STEPS
  • Study the properties of identity elements in group theory.
  • Learn how to prove associativity for binary operations in groups.
  • Explore the concept of inverses in group theory and how to find them.
  • Investigate abelian groups and the implications of commutativity on identity and inverse elements.
USEFUL FOR

Students studying abstract algebra, particularly those focusing on group theory, as well as educators seeking to clarify concepts related to identity elements and group operations.

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.
 

Similar threads

Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 16 ·
Replies
16
Views
5K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K