Proving Group Abelianity Using Inverse Property

  • Thread starter Thread starter nataliemarie
  • Start date Start date
  • Tags Tags
    Group
Click For Summary
SUMMARY

The group G is proven to be abelian based on the property that if ab = ca for any elements a, b, and c in G, then b must equal c. The solution begins by manipulating the equation to express b and c in terms of inverses, leading to the conclusion that b = a-1ca. By substituting b = c, it follows that b = a-1ba, confirming that G is abelian.

PREREQUISITES
  • Understanding of group theory concepts, specifically the definition of abelian groups.
  • Familiarity with the inverse property in group operations.
  • Knowledge of manipulating algebraic equations involving group elements.
  • Basic experience with mathematical proofs and logical reasoning.
NEXT STEPS
  • Study the properties of abelian groups in more detail.
  • Learn about the implications of the inverse property in group theory.
  • Explore examples of groups that are not abelian to understand the contrast.
  • Investigate other proof techniques in group theory, such as direct proof and contradiction.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, and educators looking for examples of group properties and proof techniques.

nataliemarie
Messages
3
Reaction score
0

Homework Statement


Let G be a group with the following property: Whenever a,b and c belong to G and ab = ca, then b=c. Prove that G is abelian.


Homework Equations





The Attempt at a Solution


I started with the hypothesis ab=ca and solved for b and c using inverses. I found b=(a-1)ca and c=ab(a-1). Because the hypothesis says b=c I set them equal. (a-1)ca=ab(a-1). But I'm having trouble getting anywhere useful after that. Hints or suggestions if I'm on the right track?
 
Physics news on Phys.org
nataliemarie said:
I started with the hypothesis ab=ca and solved for b and c using inverses. I found b=(a-1)ca and c=ab(a-1).
You got two equations from one, so one is redundant. Just stick with b=a^{-1}ca. Now invoke b=c, so b=a^{-1}ba. The conclusion follows.
 

Similar threads

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