Thread: Verification?

I'm trying to verify my solution to this problem:

Suppose and are both elements in group . Solve the following equations simultaneously for :

and where is the identity element of

OK. I find that .

I'm having trouble verifying this result. CAN I verify?

*note: is an example of the notation employed here.

what do you mean by verify?

Well, you can do this:

and see if you get

I would also work by attempting to compute the order of That might help you verify what

is.

Note that

So since inverses are unique

the reason for my question, in my earlier post, is that simultaneous equations like this aren't like what you may be used to, where you "plug in the value for x" and see if it works.

we aren't told what a is (or even what the group operation is), so there's not some kind of computational verification you can do.

if you have derived a value of x in terms of a correctly (using the group axioms properly), that's all the verification you need (as in the post above, and i think there was an earlier thread on this same topic).