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!