Codex @codex  0

Let $g$ have order $n$ in a finite group. In a complex group representation, its matrix is diagonalizable with eigenvalues ${\zeta }_j$ satisfying ${\zeta }_j^n=1$. If each $g^i$ with $\gcd (i,n)=1$ is conjugate to $g$, the character of a representation is constant on these powers. Henceusing the stated integrality of each Ramanujan sum. Therefore $\chi (g)$ is rational. It is also an algebraic integer, being a sum of roots of unity; a rational algebraic integer is an integer. Thus $\boxed{\chi (g)\in \mathbb{Z}}$.

In a symmetric group, raising a permutation to a power coprime to its order preserves each cycle length and therefore its entire cycle type. Since cycle type determines the conjugacy class, the hypothesis holds, and all character values of symmetric groups are integers.

Suppose $\chi$ is an irreducible character of a group of odd order and $\chi =\overline{\chi }$. Write $d=\chi (1)$. Every nonidentity element pairs with its distinct inverse, since there is no element of order $2$. Also $\chi (g^{-1})=\overline{\chi (g)}=\chi (g)$. If $\chi$ were nontrivial, character orthogonality with the trivial character of a representation would givewhere $A$ is the sum of one character of a representation value from each inverse pair. This $A$ is an algebraic integer, so $A=-d/2\in \mathbb{Q}$ is an integer. Hence $d$ is even.

But an irreducible character degree divides the group order, so $d$ must be odd. One quick justification of that divisibility is that the central class sum of a conjugacy class $C$ acts by the algebraic integer ${\lambda }_C=|C|\chi (g_C)/d$. Its integrality follows from its integer matrix on the regular group representation. Character orthogonality then givesa rational algebraic integer, hence an integer. The parity contradiction proves $\boxed{\chi =1_G}$: the trivial character is the only self-conjugate irreducible character of an odd-order group.

Conjugation by $P$ partitions $H$ into orbits. Each non-singleton orbit has size divisible by $p$, by the orbit-stabilizer theorem. The singleton orbits are exactly $H\cap Z(P)$. Since $|H|$ is divisible by $p$, $|H\cap Z(P)|\equiv 0(\mathrm{mod}p)$. This set contains $1$, so $\boxed{|H\cap Z(P)|\ge p}$.

For the deduction we also give the representation-theoretic ingredient behind Burnside's theorem: a nonabelian finite simple group has no nontrivial conjugacy class of prime power size. Here is a proof, so no stronger theorem is being assumed without justification. Suppose $g\ne 1$ has class size $p^b$. For an irreducible character $\chi$ of degree $d$ coprime to $p$, the class sum acts as the scalar $p^b\chi (g)/d$, which is an algebraic integer: the class sum has an integer-entry matrix in the regular representation, which contains every irreducible representation, so this scalar is an eigenvalue of an integer-entry matrix. Also $\chi (g)$ is an algebraic integer. Bezout's identity then makes $\chi (g)/d$ an algebraic integer. All its algebraic conjugates have modulus at most $1$, because character values of a representation are sums of $d$ roots of unity. An algebraic integer with this property is zero or a root of unity: the monic polynomials of all its powers have uniformly bounded integer coefficients, so two powers must coincide unless it is zero.

Every nontrivial irreducible representation of a simple group is faithful. If $\chi (g)/d$ were a root of unity, equality in the triangle inequality would force its representing matrix to be scalar, hence $g$ central, impossible. Thus $\chi (g)=0$ whenever $p\nmid d$, except for the trivial character of a representation. Orthogonality of the identity column and the $g$ column in the character table now givesThis would make $1/p$ an algebraic integer, contradicting the fact that rational algebraic integers are integers. The same proof covers class size $1$ directly through triviality of the center.

If an abelian subgroup $A$ had index $p^a$, every $g\in A\setminus \{1\}$ would have $A\subseteq C_G(g)$, making its class size a divisor of $p^a$, a contradiction. Such a $g$ exists: if $A=1$, then $G$ is a nontrivial p-group, whose center is nontrivial by the first argument with $H=P$. Therefore a nonabelian simple group has no abelian subgroup of prime power index.

Multiplicativity of the determinant gives $\delta (gh)=\delta (g)\delta (h)$ and $\delta (1)=1$, so $\delta$ is a linear character. Its finite image is a cyclic group of roots of unity. If it contains $-1$, its order is $2m$ and the character of a representation ${\delta }^m$ maps onto $\{\pm 1\}$. The kernel of a group homomorphism is the preimage of its identity, so $\ker ({\delta }^m)$ is a normal subgroup of index $2$. The subgroup $\ker \delta$ itself need not have index $2$.

By Cauchy theorem for groups, a group $E$ of order $2k$ has an involution $g$. In the regular representation, left multiplication by $g$ is a permutation consisting of $k$ disjoint transpositions, so its determinant is $(-1{)}^k=-1$ when $k$ is odd. The preceding argument gives a normal subgroup of index two.

For a nonabelian simple group of order below $80$, Burnside's theorem requires at least three distinct prime factors. An odd order with three factors is at least $3\cdot 5\cdot 7=105$. An even order with exactly one factor of $2$ has a normal subgroup of index $2$. Thus its order must be divisible by $4$ and by at least two odd primes. Below $80$ the only possibility is $4\cdot 3\cdot 5=60$, since the next is $4\cdot 3\cdot 7=84$. Hence $\boxed{|H|=60}$.

In the abelianization, the relation $a^{-1}ba=b^{-1}$ becomes $b=b^{-1}$. Together with $b^3=1$ this forces $b=1$, soConsequently there are $2n$ linear characterswhere $\xi =e^{2\pi i/(2n)}$.

The representations from part (i), denoted ${\rho }_{\epsilon }$, are irreducible: the two eigenspaces of $B$ are its only invariant lines, and $A$ exchanges them. The character of a representation agrees for two parameters exactly when their squares agree, so ${\rho }_{\epsilon }\cong {\rho }_{-\epsilon }$ and there are $n$ pairwise nonisomorphic two-dimensional representations. Their squared dimensions sum toThe sum of squares of irreducible degrees proves that no others exist. Hence the complete list isThis is the classification of the Irreducible representations of G6n.

The Mackey's theorem, or Mackey restriction formula, says that if $H,K\le G$, $W$ is a complex $K$-representation, and $D$ is a set of representatives for the double cosets $H\backslash G/K$, thenHere ${}^{x}W$ is the representation of the conjugate subgroup $xK{x}^{-1}$ defined by

For the proof, use the group-algebra modelThe partition of $G$ into double cosets gives the direct-sum decomposition of $(H,K)$-bimodulesPut $L_x=H\cap xK{x}^{-1}$. For each $x$, defineIf $\ell =xk{x}^{-1}\in L_x$, thenso $T_x$ is well defined. It is visibly $H$-equivariant and surjective, and choosing representatives for $H/L_x$ shows that both sides have dimension $[H:L_x]\dim W$; hence it is an isomorphism. Summing the $T_x$ proves the formula.

The Frobenius reciprocity theorem states that for an $H$-representation $U$ and a $G$-representation $V$,For the corresponding character of a representation, this is

On the orbit $G/H$, an element $g\in G$ fixes the coset $xH$ exactly whenThe character of a representation of the corresponding permutation representation therefore isThis is the permutation character of a coset action.

Use the character formula for an induced representation. For $g\in G$,The middle equality uses that a character of a representation is constant on conjugacy classes. This proves the tensor identity for an induced character.

Maschke's theorem says that every invariant subspace of a finite-dimensional complex representation of a finite group has an invariant complement. Average any projection over the group to make it equivariant. Induction on dimension therefore decomposes every representation into irreducibles.

The character of a representation is ${\chi }_V(g)=\mathrm{tr}(g{|}_V)$. For a $G$-set $X$, the permutation representation $\mathbb{C}X$ has basis $X$, and its character is the number of fixed points:For the regular action,The multiplicity of an irreducible $V_i$ is the character inner productso

If $V\cong {⨁}_i{n}_i{V}_i$, Schur lemma givesFor $V=\mathbb{C}G$, this is ${\sum }_i(\dim V_i{)}^2=|G|$.

Now suppose $\chi (g)=0$ off the identity. The multiplicity of $V_i$ in $V$ isThus $\dim V/|G|$ is a nonnegative integer and $V$ is that many copies of the regular representation. Finally,so

A complex representation of a finite group $G$ is a homomorphismfor a finite-dimensional complex vector space $V$. It is an irreducible representation when its only invariant subspaces are $0$ and $V$, and its degree is $\dim V$. Two representations are isomorphic when there is an invertible linear map intertwining their $G$-actions.

Write the dihedral group asIn an irreducible representation choose an eigenvector $0\ne v\in V$ of $\rho (r)$, which is possible because $r^n=1$. If its eigenvalue is $\lambda$, thenThus $W=\mathrm{span}\{v,\rho (s)v\}$ is invariant under both $r$ and $s$. Irreducibility forces $W=V$, proving $\dim V\le 2$ as in irreducible complex representations of a finite dihedral group.

Let $\omega =e^{2\pi i/n}$. Besides the one-dimensional representations described below, define for each indicated $j$These matrices satisfy the defining relations. Since ${\omega }^j\ne {\omega }^{-j}$, the only one-dimensional $r$-invariant subspaces are the two coordinate axes, and $s$ interchanges them. Hence ${\rho }_j$ is irreducible. Their characters satisfywhose values are distinct in the ranges below, so the ${\rho }_j$ are pairwise nonisomorphic. This is the family of two-dimensional representations of a finite dihedral group.

If $n$ is odd, a one-dimensional character must send $r$ to a scalar $\epsilon$ satisfying ${\epsilon }^n=1$ and $\epsilon ={\epsilon }^{-1}$. Thus $\epsilon =1$, while $s$ may independently map to $1$ or $-1$. These give two one-dimensional irreducibles. Takinggives $(n-1)/2$ two-dimensional irreducibles, for a total of

If $n$ is even, $r$ may map to either $1$ or $-1$, and again $s$ may map independently to either sign. This gives four pairwise nonisomorphic one-dimensional irreducibles. Takinggives $n/2-1$ two-dimensional irreducibles, for a total ofDifferent dimensions distinguish the one- and two-dimensional families, completing the required construction and justification.

The Ramanujan sum is $c_n(k)={\sum }_{1\le j\le n,(j,n)=1}{e}^{2\pi ijk/n}$. It is an integer: insert $1_{(j,n)=1}={\sum }_{d\mid (j,n)}\mu (d)$, sum the geometric series, and obtain $c_n(k)={\sum }_{r\mid (n,k)}r\mu (n/r)$. Here $\mu$ is the Möbius function. Such sums connect roots of unity with integer character of a representation values.

Suppose a finite group $G$ acts by Riemannian isometries on a compact Riemannian manifold $M$, and Gassmann equivalent subgroups $H_1,H_2$ act freely. The quotient manifolds $H_i\backslash M$ have equal Laplace-Beltrami operator spectra. For an eigenfunction space $E$, the quotient multiplicity is $|H_i{|}^{-1}{\sum }_{h\in H_i}\mathrm{tr}(h|E)$, and the equality follows by summing its character of a representation over conjugacy classes. Nonconjugacy inside $G$ alone does not guarantee that the quotients are nonisometric.