Real-valued character

ID: real-valued-character

A character is real-valued when all its values are real numbers, equivalently . By the character inversion identity, this is equivalent to for every . This condition alone does not assert that the underlying complex representation can be realized by real matrices.

New to topics? Read the docs here!