Zero-or-scalar lemma

Statement

Over the complex numbers

Let $G$ be a finite group and $\varphi$ an Irreducible linear representation (?) of $G$ over $\mathbb {C}$. Let $g\in G$, such that the size of the conjugacy class of $G$ is relatively prime to the degree of $\varphi$. Then, either $\varphi (g)$ is a scalar or $\chi (g)=0$.

Over a splitting field of characteristic zero

The proof as presented here works only over the complex numbers, but it can be generalized to any splitting field for $G$ that has characteristic zero.

Applications

• Conjugacy class of prime power order implies not simple
• Order has only two prime factors implies solvable, also called Burnside's $p^{a}q^{b}$-theorem (proved via conjugacy class of prime power order implies not simple)

Facts used

The table below lists key facts used directly and explicitly in the proof. Fact numbers as used in the table may be referenced in the proof. This table need not list facts used indirectly, i.e., facts that are used to prove these facts, and it need not list facts used implicitly through assumptions embedded in the choice of terminology and language.

Fact no.	Statement	Steps in the proof where it is used	Qualitative description of how it is used	What does it rely on?	Difficulty level	Other applications
1	Size-degree-weighted characters are algebraic integers: For an irreducible linear representation over $\mathbb {C}$, multiplying any character value by the size of the conjugacy class and then dividing by the degree of the representation gives an algebraic integer.	Step (1) (in turn used in Step (4), leading to Step (5))	Helps in showing that $\chi (g)/\chi (1)$ is an algebraic integer.	Algebraic number theory + linear representation theory	<ul><li>The symbol "[[" was used in a place where it is not useful.</li> <!--br--><li>The part "]]" of the query was not understood.Results might not be as expected.</li></ul>	"[[:Special:Ask/-5B-5BUses" contains a listed "[" character as part of the property label and has therefore been classified as invalid.
2	Characters are algebraic integers: The character of a linear representation is an algebraic integer.	Step (4), leading to Step (5)	Helps in showing that $\chi (g)/\chi (1)$ is an algebraic integer.	Basic linear representation theory	<ul><li>The symbol "[[" was used in a place where it is not useful.</li> <!--br--><li>The part "]]" of the query was not understood.Results might not be as expected.</li></ul>	click here
3	Element of finite order is semisimple and eigenvalues are roots of unity	Step (6), which in turn is critical to later steps	Critical to understanding $\varphi (g)$ and $\chi (g)$, when combined with the triangle inequality and other facts.	Basic linear representation theory	<ul><li>The symbol "[[" was used in a place where it is not useful.</li> <!--br--><li>The part "]]" of the query was not understood.Results might not be as expected.</li></ul>	click here

Proof

This proof uses a tabular format for presentation. Provide feedback on tabular proof formats in a survey (opens in new window/tab) | Learn more about tabular proof formats|View all pages on facts with proofs in tabular format

Given: A finite group $G$, a nontrivial irreducible linear representation $\varphi$ of $G$ over $\mathbb {C}$ with character $\chi$. An element $g\in G$ with conjugacy class $C$. The degree of $\varphi$ and the size of $C$ are relatively prime.

To prove: Either $\chi (g)=0$ or $\varphi (g)$ is a scalar.

Proof:

Step no.	Assertion/construction	Facts used	Given data used	Previous steps used	Explanation
1	The number ${\frac {|C|\chi (g)}{\chi (1)}}$ is an algebraic integer.	Fact (1)	$G$ is finite, $\varphi$ is an irreducible representation of $G$ over $\mathbb {C}$ with character $\chi$		Given+Fact direct
2	There exist integers $a$ and $b$ such that $\!a|C|+b\chi (1)=1$		$|C|$ and $\chi (1)$ (the degree of $\varphi$) are relatively prime.		By definition of relatively prime.
3	We get ${\frac {a|C|\chi (g)}{\chi (1)}}+b\chi (g)={\frac {\chi (g)}{\chi (1)}}$			Step (2)	Multiply both sides of Step (2) by $\chi (g)/\chi (1)$.
4	The expression ${\frac {a|C|\chi (g)}{\chi (1)}}+b\chi (g)$ gives an algebraic integer.	Fact (2)		Step (1)	[SHOW MORE] By Step (1), $|C|\chi (g)/\chi (1)$ is an algebraic integer. By fact (2), $\chi (g)$ is also an algebraic integer. Since $a,b$ are (rational) integers, the sum is thus also an algebraic integer.
5	$\chi (g)/\chi (1)$ is an algebraic integer.			Steps (3), (4)	[SHOW MORE] By Step (4), the left side of the expression of Step (3) is an algebraic integer. Hence, so is the right side.
6	$\chi (g)$ is the sum of $\chi (1)$ many roots of unity (not necessarily all distinct), namely, the eigenvalues of the corresponding element $\varphi (g)$..	Fact (3)	$G$ is finite.		[SHOW MORE] Since $G$ is finite, $g$ has finite order, hence so does $\varphi (g)$. Thus, by fact (3), it is semisimple and all its eigenvalues ($\chi (1)$ many of them, since that is the dimension of the vector space on which it is acting) are roots of unity. $\chi (g)$ is the sum of these.
7	Every algebraic conjugate of $\chi (g)$ is also a sum of $\chi (1)$ roots of unity.			Step (6)	[SHOW MORE] Any Galois automorphism on $\chi (g)$ must send each of the roots of unity that add up to it to other roots of unity, which now add up to its image under the automorphism.
8	Every algebraic conjugate of $\chi (g)/\chi (1)$ has modulus less than or equal to $1$.			Step (7)	[SHOW MORE] By Step (7) and the triangle inequality, the modulus of any algebraic conjugate of $\chi (g)$ is less than or equal to $\chi (1)$. Dividing by $\chi (1)$, we get the desired conclusion.
9	The modulus of the algebraic norm of $\chi (g)/\chi (1)$ in a Galois extension containing it is either 0 or 1.			Steps (5), (8)	[SHOW MORE] By definition, the algebraic norm is the product, under all automorphisms of the Galois extension, of the images under those automorphisms. Taking modulus and using Step (8), we see that that its modulus is the product of numbers between 0 and 1, hence is between 0 and 1. By Step (5), $\chi (g)/\chi (1)$ is an algebraic integer, so its norm is a rational integer, hence the modulus of the norm is a nonnegative integer. The only possibilities are thus 0 and 1.
10	If the modulus of the algebraic norm of $\chi (g)/\chi (1)$ is $0$, then $\chi (g)=0$				[SHOW MORE] If the algebraic norm has modulus zero, then the algebraic norm is zero, which can happen only if one of the algebraic conjugates of $\chi (g)/\chi (1)$ is zero. But by the definition of algebraic conjugates, any conjugate being zero forces all of them to be zero, so $\chi (g)/\chi (1)$ is zero, so $\chi (g)$ is zero.
11	If the modulus of the algebraic norm of $\chi (g)/\chi (1)$ is $1$, then $\varphi (g)$ is a scalar matrix.			Steps (6), (8)	[SHOW MORE] By Step (8), every algebraic conjugate has modulus less than or equal to 1. If the product of all of these has modulus 1, then every one of them must have modulus 1. In particular, $\chi (g)/\chi (1)$ has modulus 1, so $|\chi (g)|=\chi (1)$. By Step (6), $\chi (g)$ is the sum of $\chi (1)$ roots of unity obtained as eigenvalues of $\varphi (g)$. By the triangle inequality, we see that $|\chi (g)|\leq \chi (1)$ and equality holds if and only if all the roots of unity are equal. Thus, all eigenvalues of $\varphi (g)$ are equal, forcing $\varphi (g)$ to be scalar.
12	Either $\chi (g)=0$ or $\varphi (g)$ is scalar.			Steps (9), (10), (11)	Step-combination direct.