Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-6/6/ii/solution

Let . The exponential is defined by its norm-convergent power series. Continuity and conjugate linearity of the involution give , and multiplication of the commuting exponential series gives . Thus is a Unitary element of a C-star algebra and, by the C-star identity, .
A character of an algebra is automatically continuous with , as proved in Question 5. Passing it through the exponential series gives
The left side is . Considering both signs of forces . So characters take real values on self-adjoint C-star elements.
Now write with
both self-adjoint C-star elements. Then
This proves that characters of a C-star algebra respect the involution. The argument itself does not require commutativity, although a noncommutative algebra need not have any characters.

New to topics? Read the docs here!