I don't know whether or not I am right about and , where being an operation on . Please tell me.
Suppose that I am correct, then I may say: Since it is a Group, it is a binary operation as well.
Suppose that the group is under multiplication.
Then on . I constructed the group table below. Please verify whether it's correct.
Since , it follows that is the identity of .