 Construct a group homomorphism defined by conjugation for all in and in .The expression is often written as for brevity.In this way we can construct a group formula_7 with group operation defined as formula_8 for in and in .