Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question

1 Answer 1

up vote 17 down vote accepted

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.

share|improve this answer
of course! how silly of me! –  Joel Dodge Oct 26 '09 at 5:19
You know,it's little facts born of simple questions like this that make algebra endlessly fascinating to me. –  The Mathemagician Aug 1 '10 at 4:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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