what do you mean by verify?
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.
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).