Q.‘Have you come back?’ said the woman. ‘I thought that no one had come back.’ Does this statement give some clue about the story? If yes, what is it?

Character Identification — First Encounter

You have a set. Maybe it's the integers, maybe it's the points on a circle, maybe it's the symmetries of a square. You also have a rule for combining two elements to get a third — call it multiplication, addition, or composition. That structure is a group.

Now here is the question that leads to character identification: If I know how the group behaves, what are all the ways I can map it into the complex numbers (the number line with $\sqrt{-1}$) while respecting the group operation?

Why complex numbers? Because they rotate. Multiplying by $e^{i\theta}$ is a rotation. And rotations are the simplest non-trivial symmetries. So a character is a homomorphism from a group $G$ to the multiplicative group of non-zero complex numbers, $\mathbb{C}^\times$.

Intuition: What does a character "see"?

Imagine you have a finite group $G$ — say the cyclic group of order $n$, written $\mathbb{Z}_n$. You can think of its elements as rotations of a regular $n$-gon by multiples of $360^\circ/n$. A character assigns to each rotation a complex number of magnitude 1 (a point on the unit circle) such that composing two rotations corresponds to multiplying their assigned numbers.

For $\mathbb{Z}_n$, the characters are exactly the maps

Why? Because if you rotate by $m$ steps and then by $m'$ steps, you've rotated by $m+m'$ steps. The character must satisfy

The only way to do that with complex numbers of magnitude 1 is with an exponential. The parameter $k$ tells you how many times the character "winds around" the circle as you go through the group.

Precise statement

Let $G$ be a finite group. A character of $G$ is a group homomorphism

The set of all characters of $G$ is denoted $\widehat{G}$ and is itself a group under pointwise multiplication:

This group $\widehat{G}$ is called the dual group of $G$.

For a finite abelian group, $\widehat{G}$ is isomorphic to $G$ itself — but not in a canonical way. For a non-abelian group, characters are more subtle: you need to consider traces of matrix representations, not just numbers. But the core idea remains: characters are the simplest ways to "hear" the group structure through complex numbers.

Why "identification"?

The word "character" was chosen by Gauss and later formalized by Dedekind and Frobenius. It comes from the idea that a character identifies the group elements by their complex "signature" — each element gets a unique fingerprint of numbers (its character values) that reveals how it interacts with the group structure.

In practice, character tables are used to:

• Determine whether two groups are isomorphic
• Find normal subgroups
• Decompose representations into irreducibles
• Solve problems in number theory (Dirichlet characters)

A concrete example

Take $G = \mathbb{Z}_2 \times \mathbb{Z}_2$, the Klein four-group. Its elements are $\{e, a, b, ab\}$ with $a^2 = b^2 = e$ and $ab = ba$. The characters are:

Each row is a character. Notice: $\chi_0$ is trivial; the others assign $\pm 1$ to each non-identity element, and they multiply pointwise like the group itself. The dual group $\widehat{G}$ is again $\mathbb{Z}_2 \times \mathbb{Z}_2$.

The one-sentence takeaway

A character is a homomorphism from a group into the complex numbers — it lets you translate group structure into arithmetic, and the collection of all characters forms a mirror image of the original group.