Determining a group, by checking the group axioms

Click For Summary
SUMMARY

This discussion analyzes whether the sets (R,◦) and (R*,◦) form groups under the specified binary operations. For (R,◦) defined by x◦y=2xy+1, it fails to meet the group identity axiom, as the identity element varies with x, thus confirming it is not a group. Conversely, (R*,◦) defined by x◦y=πxy satisfies all group axioms, including closure, identity, and associativity, establishing it as a valid group.

PREREQUISITES
  • Understanding of group theory and its axioms
  • Familiarity with binary operations
  • Knowledge of identity elements in algebraic structures
  • Basic calculus concepts for manipulating equations
NEXT STEPS
  • Study the properties of group identities in detail
  • Explore examples of binary operations that form groups
  • Learn about the implications of associativity in group theory
  • Investigate non-group structures and their characteristics
USEFUL FOR

Students of abstract algebra, mathematicians interested in group theory, and educators teaching algebraic structures.

umzung
Messages
21
Reaction score
0

Homework Statement


  1. For the following sets, with the given binary operation, determine whether or not it forms a group, by checking the group axioms.

Homework Equations


  1. (R,◦), where x◦y=2xy+1
  2. (R*,◦), where x◦y=πxy and R* = R - {0}

The Attempt at a Solution



For question 1, I found a G2 identity to be 1/2 - 1/(2x), meaning x cannot be zero and therefore (R,◦) is therefore not a group. Is this in the right ballpark?

For question 2, I found a G2 identity to be 1/π, and a G3 inverse to be 1/(π²x), (since x does not equal zero). G1 is closed and G4 is associative, so (R*,◦) is a group.[/B]
 
Physics news on Phys.org
umzung said:
For question 1, I found a G2 identity to be 1/2 - 1/(2x), meaning x cannot be zero and therefore (R,◦) is therefore not a group. Is this in the right ballpark?
It's not so much that x cannot be zero as that the identity varies between elements - i.e. it depends on x. To satisfy the identity axiom (what you are calling G2), the identity must be the same for all elements. That is, it must be a single element e such that, for all ##x##, ##e\circ x=x\circ e = x##.
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

  • · Replies 26 ·
Replies
26
Views
892
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
569