grupo opuesto

Ésta es una transformación natural de la operación binaria de un grupo a su opuesto. ⟨ g ₁ , g ₂ ⟩ denota el par ordenado de los dos elementos del grupo. *' puede verse como la adición naturalmente inducida de +.

En la teoría de grupos , una rama de las matemáticas , un grupo opuesto es una forma de construir un grupo a partir de otro grupo que permite definir la acción derecha como un caso especial de acción izquierda .

Los monoides , grupos, anillos y álgebras se pueden ver como categorías con un solo objeto. La construcción de la categoría opuesta generaliza el grupo opuesto, anillo opuesto , etc.

Definición

Sea un grupo bajo la operación . El grupo opuesto de , denotado , tiene el mismo conjunto subyacente que y su operación de grupo está definida por . ${\displaystyle G}$ ${\displaystyle *}$ ${\displaystyle G}$ ${\displaystyle G^{\mathrm {op} }}$ ${\displaystyle G}$ ${\displaystyle {\mathbin {\ast '}}}$ ${\displaystyle g_{1}{\mathbin {\ast '}}g_{2}=g_{2}*g_{1}}$

Si es abeliano , entonces es igual a su grupo opuesto. Además, cada grupo (no necesariamente abeliano) es naturalmente isomorfo a su grupo opuesto: un isomorfismo viene dado por . De manera más general, cualquier antiautomorfismo da lugar a un isomorfismo correspondiente a través de , ya que ${\displaystyle G}$ ${\displaystyle G}$ ${\displaystyle \varphi :G\to G^{\mathrm {op} }}$ ${\displaystyle \varphi (x)=x^{-1}}$ ${\displaystyle \psi :G\to G}$ ${\displaystyle \psi ':G\to G^{\mathrm {op} }}$ ${\displaystyle \psi '(g)=\psi (g)}$

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

Acción grupal

Sea un objeto en alguna categoría y sea una acción correcta . Entonces es una acción izquierda definida por , o . ${\displaystyle X}$ ${\displaystyle \rho :G\to \mathrm {Aut} (X)}$ ${\displaystyle \rho ^{\mathrm {op} }:G^{\mathrm {op} }\to \mathrm {Aut} (X)}$ ${\displaystyle \rho ^{\mathrm {op} }(g)x=x\rho (g)}$ ${\displaystyle g^{\mathrm {op} }x=xg}$

Ver también

• Anillo opuesto
• Categoría opuesta

enlaces externos

• http://planetmath.org/oppositegroup