Hello,(adsbygoogle = window.adsbygoogle || []).push({});

I have twocommutative groups[tex](G,\circ, I_\circ)[/tex] and [tex](G,\bullet,I_\bullet)[/tex], and I defined anisomorphism[tex]f[/tex] between them: so we have [tex]f(u \circ v)=f(u) \bullet f(v)[/tex]

How can I formalize the fact that I want also anunary operation[tex]\ast : G \rightarrow G[/tex] which is preserved by the isomorphism? namely, an unary operation such that [tex]f(u^{\ast}) = f(u)^{\ast}[/tex] ?

Is it possible somehow to embed the unary operation into the group in order to form an already-known algebraic structure? or it is just not possible to formalize it better than I already did?

Thanks in advance!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# How to formalize this unary operation?

Loading...

Similar Threads - formalize unary operation | Date |
---|---|

I Can we construct a Lie algebra from the squares of SU(1,1) | Feb 24, 2018 |

On formal concept analysis (fca) | Jul 23, 2015 |

Kronecker Matrix formalism | Mar 21, 2014 |

How to state fundamental theorem of arithmetic in a formal way? | Nov 16, 2011 |

The square of a formal laurent series | Oct 16, 2011 |

**Physics Forums - The Fusion of Science and Community**