• Support PF! Buy your school textbooks, materials and every day products Here!

Prove that if the cancellation law holds from both sides in a set, it forms a group.

  • Thread starter AdrianZ
  • Start date
  • #1
319
0

Homework Statement



Let G be a finite nonempty set with an operation * such that:
1. G is closed under *.
2. * is associative.
3. Given a,b,c in G with a*b=a*c, then b=c.
4. Given a,b,c in G with b*a=c*a, then b=c.

Prove that G must be a group under *.

The Attempt at a Solution



It's obvious that identity element satisfies the conditions 3 and 4, but I don't know whether that proves that the identity element is contained in G or not? moreover, How can I show that the inverse of any element in G is contained in G?
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,258
618


You have to prove there IS an identity first. Start by picking any element g and defining f(x)=gx. Show using cancellation that f is an injective map from G->G. Since G is finite that makes it a bijection. So there exists an element e such that ge=g. Can you show eg=g? Can you show eh=he=h for ANY element of G, not just g?
 
  • #3
319
0


Start by picking any element g and defining f(x)=gx. Show using cancellation that f is an injective map from G->G.
let's take [itex]f(x_1)=f(x_2)[/itex], hence, [itex]g*x_1=g*x_2[/itex] and the third axiom implies [itex]x_1=x_2[/itex]. that proves f is injective.
Since G is finite that makes it a bijection.
if I've understood you correctly then I disagree with this part, f can be injective and finite, and yet it fails to be surjective. It's obvious from the definition of f that it's bijective though, so let's continue.

So there exists an element e such that ge=g.
sounds fine.

Can you show eg=g?
sure, I just need to define [itex]f':G \to G , f(x)=xg[/itex] and prove that f' is bijective. true?

Can you show eh=he=h for ANY element of G, not just g?
well, g was no sacred element and we had stated 'pick any element g in G'. Doesn't that already suffice to conclude that? all we need to do is that we should define a new f. so if we denote the dependence of f on g by [itex]f_g: G \to G[/itex] that would be fine. right?

OK. so now it's also easy to verify that the inverse of any element exists, It deploys the same logic about bijectivity but I'm failing at formalizing it. Could you help please?
 
  • #4
Dick
Science Advisor
Homework Helper
26,258
618


let's take [itex]f(x_1)=f(x_2)[/itex], hence, [itex]g*x_1=g*x_2[/itex] and the third axiom implies [itex]x_1=x_2[/itex]. that proves f is injective.

if I've understood you correctly then I disagree with this part, f can be injective and finite, and yet it fails to be surjective. It's obvious from the definition of f that it's bijective though, so let's continue.


sounds fine.


sure, I just need to define [itex]f':G \to G , f(x)=xg[/itex] and prove that f' is bijective. true?


well, g was no sacred element and we had stated 'pick any element g in G'. Doesn't that already suffice to conclude that? all we need to do is that we should define a new f. so if we denote the dependence of f on g by [itex]f_g: G \to G[/itex] that would be fine. right?

OK. so now it's also easy to verify that the inverse of any element exists, It deploys the same logic about bijectivity but I'm failing at formalizing it. Could you help please?
f is bijective because G is finite. Since f is injective the image f(G) contains the same number of elements as G and is contained in G. And sure, for any two elements of the group g and h you can find elements such that g*e_g=g and h*e_h=h. But now you have to show e_g=e_h.
 
  • #5
319
0


f is bijective because G is finite. Since f is injective the image f(G) contains the same number of elements as G and is contained in G.
Alright. I forgot that f was from G to G. that's right.
And sure, for any two elements of the group g and h you can find elements such that g*e_g=g and h*e_h=h. But now you have to show e_g=e_h.
Now I see what you mean. makes sense. I'll think about it.
How about proving the existence of inverses?
 
  • #6
Dick
Science Advisor
Homework Helper
26,258
618


Alright. I forgot that f was from G to G. that's right.

Now I see what you mean. makes sense. I'll think about it.
How about proving the existence of inverses?
Get inverses the same way you got an identity.
 

Related Threads on Prove that if the cancellation law holds from both sides in a set, it forms a group.

  • Last Post
Replies
2
Views
2K
Replies
4
Views
840
  • Last Post
Replies
2
Views
2K
Replies
11
Views
663
Replies
4
Views
440
  • Last Post
Replies
9
Views
4K
Top