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 .

Yes?