Let me say it this way. Forget our bad notation for binary operations and let be a group with binary operation g_1,g_2)\mapsto *(g_1,g_2)" alt="*:G\times G\to Gg_1,g_2)\mapsto *(g_1,g_2)" /> then if we define the binary operation . See if that answeres your question.