An 'opposite' or 'dual' group? Let $(G, \cdot)$ be a group. Define $(G, *)$ as a group with the same underlying set and an operation $$a * b := b \cdot a.$$ What do you call such a group? What is the usual notation for it? I tried searching for 'dual group' and 'opposite group' with no results. It seems that this group is all you need to dispose of having to explicitly define right action, but there is no mention of such a group in wiki's 'Group action'. Am I mistaken and it's not actually a group?

A group is a groupoid (meaning a category all of whose arrows are invertible) with one object. If $\star$ denotes the object, group elements correspond to arrows $\star\to \star$, and multiplication $gh$ corresponds to composition $\star\xrightarrow{h} \star\xrightarrow{g} \star$. The opposite category of this category is the opposite group of this group: domain and codomain are reversed, so the old $gh$ is the new $hg$.
\Edit: Qiaochu Yuan was faster than me.
