# Character table-equivalent groups

This article defines an equivalence relation over the collection of groups. View a complete list of equivalence relations on groups.

## Definition

Suppose $G_1$ and $G_2$ are finite groups and $K$ is a splitting field in characteristic zero for both (we can take $K = \mathbb{C}$ or $\overline{\mathbb{Q}}$. We say that $G_1$ and $G_2$ are character table-equivalent groups if there exists a bijection $\alpha$ between the set of conjugacy classes in $G_1$ and that of $G_2$, and a bijection $\beta$ between the set of irreducible characters (up to equivalence) of $G_1$ and that of $G_2$, such that under this pair of bijections, the character table of $G_1$ is identified with that of $G_2$. In other words, for any character $\chi$ of $G_1$ and any conjugacy class $c$ of $G_1$, we have $\beta(\chi)(\alpha(c)) = \chi(c)$.

## Invariants

Character table-equivalent groups share a number of properties and arithmetic function values.

Invariant Why it's the same for character table-equivalent groups
degrees of irreducible representations These can be read off from the character table as the set of values that the character table takes at the identity element's conjugacy class. Note that the identity element's conjugacy class is the unique conjugacy class at which all character values are positive (this can be deduced from the column orthogonality theorem).
order of the whole group Follows from knowledge of degrees of irreducible representations, because sum of squares of degrees of irreducible representations equals order of group
conjugacy class sizes The size of each conjugacy class can be computed using the order and by computing its norm and using the column orthogonality theorem.
order of derived subgroup (or equivalently, its index, which is the order of the abelianization) use number of one-dimensional representations equals order of abelianization
order of center number of conjugacy classes of size 1.
field generated by character values The character table entries are the same, so the field they generate is the same.

On the other hand, the following are not determined: