8
$\begingroup$

Given a group G, we can define Gop to be a new group whose underlying set is the same as that of G but with the new multiplication g.h = hg, i.e. multiply as if you were in G but reverse the order.

Is there anything interesting to say about this construction?

When is a group isomorphic to its opposite group?

One sees the "opposite ring" of a non-commutative ring showing up in a crucial way in number theory in the study of Brauer groups, so this is not necessarily an artificial question. This is just a question that has been poking around my brain for a little while. . . it seems like a potentially neat little problem.

$\endgroup$
0

1 Answer 1

23
$\begingroup$

Every group is isomorphic to its opposite group, the map $g \mapsto g^{-1}$ being an isomorphism.

In ring theory this is not the case, and the opposite ring is an important construction. For instance, if $A$ is a central simple algebra over a field (or an Azumaya algebra over a ring), then the classes of $A$ and $A^{\operatorname{op}}$ are inverse in the Brauer group.

I don't know of anything similarly interesting to say about opposite groups.

$\endgroup$
2
  • 1
    $\begingroup$ of course! how silly of me! $\endgroup$
    – Joel Dodge
    Oct 26, 2009 at 5:19
  • 3
    $\begingroup$ You know,it's little facts born of simple questions like this that make algebra endlessly fascinating to me. $\endgroup$ Aug 1, 2010 at 4:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.