This article does not cite any sources. Please help by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: – ···scholar·JSTOR(December 2017) (Learn how and when to remove this template message)
This is a natural transformation of binary operation from a group to its opposite. ⟨g1, g2⟩ denotes the ordered pair of the two group elements. *' can be viewed as the naturally induced addition of +.
In group theory, a branch of mathematics, an opposite group is a way to construct a group from another group that allows one to define right action as a special case of left action.
Let be a group under the operation . The opposite group of , denoted , has the same underlying set as , and its group operation is defined by .
If is abelian, then it is equal to its opposite group. Also, every group (not necessarily abelian) is naturally isomorphic to its opposite group: An isomorphism is given by . More generally, any antiautomorphism gives rise to a corresponding isomorphism via , since
Group action[]
Let be an object in some category, and be a right action. Then is a left action defined by , or .