I am having great difficulty conceptualizing binary structures and mapping from one to the other.

Here's my problem:

The map defined by for is one-to-one and onto . Give the definition of a binary operation on such that is an isomorphism mapping.

.

So I have . This means that for members a and b, this structure is and , right? And I'm trying to map this to an unknown structure? I don't understand what exactly I'm doing.

What is that function? I assume it takes a number in and maps it to a number in , specifically one more than the input number. But what does that have to do with my structures? What am I trying to find?

In utter confusion, I took and figured that for the inputs of a=2 and b=3, the answer would be 6 since 2*3=6. So I take that 6... add one to it from , and that gives me 7... is that 7 the value that is supposed to correspond with the second structure, ? So is my task to find a function that takes two variables and to make 7, or more abstractly, ab+1??

Any help = appreciated.