Abelian Group; what to do if the set is G=R-{1/3}?

Click For Summary

Homework Help Overview

The discussion revolves around the set G=R-{1/3} with a defined operation *: GxG → G, where (x,y) maps to x*y = x+y-3xy. Participants are tasked with demonstrating that (G,*) forms an abelian group.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • The original poster expresses uncertainty about how to approach the problem, particularly regarding the implications of the set definition. Some participants suggest starting with the property of commutativity and solving for the identity element. Others note the significance of the set in determining group properties, particularly concerning the existence of inverses.

Discussion Status

Participants are exploring various properties necessary to establish the group structure. There is acknowledgment that the identity element has been found, and discussions are ongoing about the implications of including the element 1/3 in the set.

Contextual Notes

There is a focus on the importance of the specific set G=R-{1/3} in relation to the group properties, particularly regarding the existence of inverses for all elements.

lostinmath08
Messages
12
Reaction score
0

Homework Statement



On the set G=R-{1/3} the following operation is defined:
*G: GxG arrow G

(x,y) arrow x*y=x+y-3xy

Show that (G,*) is an abelian group.

Homework Equations



To proove something is an abelian group:

The Associative Law need to hold true x*(y*x)=(x*y)*x
Neutral Element needs to be true e*x=x*e=x for all or any x E G
Inverse Elements x*x'=x'*x=e where x' is called the inverse element of x
Commutativity x*y=y*x

The Attempt at a Solution



I don't know how to solve this, especially with a set like this. Any Hints or Advice would be greatly appreciated
 
Physics news on Phys.org
You posted a problem like this before. Commutativity should be obvious. Try solving for e. Just get started with any property you want to start out with.
 
I have already solved for the properties, but I thought the set matters.
 
The set does matter. Because once you have figured out that e=0, then 1/3 is the only element of R that doesn't have an inverse under the operation '*'. So if you include 1/3, it's not a group. Just like R-{0} is a multiplicative group and R isn't.
 
Last edited:

Similar threads

Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
12
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K