# *-rings and involution

## Main Question or Discussion Point

First if R is a ring and * is an involution, then U(R, *):= {x \in R|x* · x = 1}

(an involution * is an antihomomorphism such that a** = a for any a)

Now the problem. Find two rings (R, S) with involutions (*, ^) such that U(R, *) is homomorphic to (S, ^). and R and S are not homomorphic.

My first problem is that i do not know of any involutions except for conjugation and transposition for matrixes.

Related Linear and Abstract Algebra News on Phys.org
morphism
Homework Helper
I'm assuming you want to find an example where U(R,*) and U(S,^) are isomorphic (as groups), while R and S aren't isomorphic (as rings). Correct?

Maybe this example of a *-ring will help you: The ring of polynomials with complex coefficients $\mathbb{C}[z]$ (viewed as functions on $\mathbb{C}$), with $p(z)^* = \overline{p(\bar{z})}$, where the bar denotes complex conjugation. What's the unitary group of ($\mathbb{C}[z]$,*)?

Last edited:
Thank you for another example. The unitary group would be all the complex numbers a: |a|= 1.
I have also thought of Examples with the unitary groups isomprphis to Z\2 and Z\4, but didn't help to solve he problem...

You are correct on the remark, the first isomorphism is an isomorphism of miltiplicative groups.

Actually, now that I think about it: an example would be complex numbers (with conjugation = *) and polynomials. Their unitary groups are the same while they are not homomorphic as rings!! I hope I'm right!! Thanks again for the example!

By the way the unitary group is +1 and -1 (not what i have said before, because it is true iff there was only one conjugation over the argument)and it is also isomorphic to Z2.. I guess that is another example along with matrices 2*2 (with elements = 0, 1) with * = transposition.

morphism