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?
An 'opposite' or 'dual' group?
-
0@t.b. the planet math link is dead. – 2017-01-13
2 Answers
I'm getting this as a first result by googling for opposite group
: PlanetMath: opposite group.
All you want to know seems to be answered there and $G^{\operatorname{op}}$ is the usual notation.
A detailed verification that $G^{\operatorname{op}}$ is a group can be found by following the second google hit: Opposite Group - ProofWiki
-
3Indeed, this is just a special case of taking the opposite of a category (http://ncatlab.org/nlab/show/opposite+category) in the case where the category (is small and) has one object and all morphisms invertible. Note that in the special case of groups every group is canonically isomorphic to its opposite group via the map $g \mapsto g^{-1}$. This is the map that allows you to freely pass between left and right actions. – 2011-04-02
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.
-
0+1: nonetheless :) This is also pointed out under the PlanetMath link I gave in my "answer". – 2011-04-02