if a set is closed and associative with respect to an operation *...and both cancellation laws hold...proove that the set is a group with respect to *.thnx in advance
So for a set S to be a group it must:
- be closed with respect to (check)
- associative (check)
- identity
- inverses
So you are given that both cancellation laws hold. I assume that you mean that left and right cancellations hold. First we need to show that there exists an identity because we need it for the inverses.
If the set is finite, we must have that for some
From associativity you have
and . So now is our identity.
So now that , we must have that
and , so we get that exists and is equal to . Thus the set is a group.
Now, we cannot use the same argument if the set is infinite. We need something else there. In the above argument we have only used the definitions of the identity and the inverses and we haven't used the cancellation laws yet.
thank you very much..
but then the next ques in my textbook says that if only one of the cancellatinon law holds then this will not be the case...so that means cancellations laws are an imp part of this ques...
a^k=a
a^(k-1)=e
we can call this cancellation
so i assume cacncellation is being used..correct me if u think i am wrong...thnx...
Oh, sorry, I missed a step. The definition of the identity is that there exists and element e in the set S such that FOR ALL . My proof above shows this is true only for a CERTAIN element .
Now, since , let b be an arbitrary element in .
We have that but also, , so
. Then cancel a on the left to get . To show it on the right hand side, just use .
Thus, works for all elements in S. Only now we have the conclusion that the identity exists. So yes, the cancellation is necessary.