Se llama conjugación por (un elemento) g de G, a la función del grupo en sí mismo tal que x ↦ gxg (el conjugado por g de x).