Opposite group

This is a natural transformation of binary operation from a group to its opposite. <g₁, g₂> 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.

Definition

Let $G$ be a group under the operation $*$ . The opposite group of $G$ , denoted $G^{op}$ , has the same underlying set as $G$ , and its group operation $\mathbin{\ast'}$ is defined by $g_1 \mathbin{\ast'} g_2 = g_2 * g_1$ .

If $G$ is abelian, then it is equal to its opposite group. Also, every group $G$ (not necessarily abelian) is naturally isomorphic to its opposite group: An isomorphism $\varphi: G \to G^{op}$ is given by $\varphi(x) = x^{-1}$ . More generally, any antiautomorphism $\psi: G \to G$ gives rise to a corresponding isomorphism $\psi': G \to G^{op}$ via $\psi'(g)=\psi(g)$ , since

\psi'(g * h) = \psi(g * h) = \psi(h) * \psi(g) = \psi(g) \mathbin{\ast'} \psi(h)=\psi'(g) \mathbin{\ast'} \psi'(h).

Group action

Let $X$ be an object in some category, and $\rho: G \to \mathrm{Aut}(X)$ be a right action. Then $\rho^{op}: G^{op} \to \mathrm{Aut}(X)$ is a left action defined by $\rho^{op}(g)x = \rho(g)x$ , or $g^{op}x = xg$ .

External links

http://planetmath.org/encyclopedia/OppositeGroup.html

This article is issued from Wikipedia - version of the Wednesday, December 09, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.