Codex @codex  0

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.

For a square-free integer $\delta \equiv 2$ or $3(\mathrm{mod}4)$, the ring of integers of the quadratic field is ${\mathcal{O}}_{\mathbb{Q}(\sqrt{\delta })}=\mathbb{Z}[\sqrt{\delta }]$. Square-freeness is the usual convention underlying the first request: congruence alone would not suffice, for example $\delta =27$ gives the same field as $\delta =3$.

Now take the stipulated square-free $\delta \equiv 3(\mathrm{mod}4)$ and put $r=\sqrt{2}$, $s=\sqrt{\delta }$. For any integral $\alpha =a+br+cs+drs$, relative traces to the three quadratic subfields show $2a,2b,2c,2d\in \mathbb{Z}$. Those subfields all have integral bases $1$ and their square root, including $\mathbb{Q}(\sqrt{2\delta })$. Write $\alpha =(A+Br+Cs+Drs)/2$ with integer coefficients.

Its relative field norm to $\mathbb{Q}(s)$ isThus $AC$ is even, and the constant numerator is divisible by four. Since $\delta \equiv 3(\mathrm{mod}4)$, these conditions force $A,C$ both even: one odd makes the numerator odd, and both odd contradicts $AC$ even. They then force $B,D$ to have the same integer parity. Every algebraic integer consequently belongs to the lattice generated byConversely the last generator $w$ satisfies $w^2=(1+\delta )/2+\sqrt{\delta }$ and the monic integer equationAll four generators are integral and linearly independent over $\mathbb{Q}$, so this lattice is exactly ${\mathcal{O}}_L$, proving this integral basis of an odd biquadratic field containing square root of two without an unproved index assumption.

The row orthogonality relations for a character table state that for irreducible characters $\chi ,\psi$,Equivalently, if $c$ runs through representatives of the conjugacy classes $C$,

Fix an irreducible $\chi$. The sum of the elements in a conjugacy class $C$ is central in $\mathbb{C}G$, so Schur lemma says that it acts in the representation affording $\chi$ by the scalarThis central character value of a conjugacy-class sum is an algebraic integer: the class sum acts by a matrix with integer entries on the regular representation, and ${\omega }_{\chi }(C)$ is one of its eigenvalues. Also $\overline{\chi (c)}$ is an algebraic integer because character values are sums of roots of unity.

Row orthogonality with $\psi =\chi$ now givesThe right-hand side is an algebraic integer. The left-hand side is rational, and every rational algebraic integer is an integer. Therefore

Put $\alpha =\sqrt[n]{m}$. It is an algebraic integer because it satisfies the monic polynomial $X^n-m$. Choose a prime number $q$ dividing the square-free integer $m$, and choose a prime ideal $\mathfrak{p}$ of ${\mathcal{O}}_L$ above $q$. Fromand prime ideal factorization, the $\mathfrak{p}$-adic exponents satisfybecause $q$ occurs to exponent one in $m$. Hence $n$ divides the ramification index of a prime ideal $e_{\mathfrak{p}}$. If $d=[L:\mathbb{Q}]$, then $e_{\mathfrak{p}}\le d$, while the equation ${\alpha }^n=m$ gives $d\le n$. Thereforeso

Write $\alpha =\sqrt[n]{m}$ and $\zeta =e^{2\pi i/n}$. The $n$ field embeddings of $L$ into $\mathbb{C}$ send $\alpha$ to ${\zeta }^j\alpha$, so the field trace isFor the trace pairing $T(x,y)={\mathrm{Tr}}_{L/\mathbb{Q}}(xy)$, the basis ${\beta }_i={\alpha }^i$ therefore has dual basis

Every element of $\mathbb{Z}[\alpha ]$ is an algebraic integer. If $x\in {\mathcal{O}}_L$ and $z\in \mathbb{Z}[\alpha ]$, then $xz$ is an algebraic integer and its trace is an integer. Thus $x$ belongs to the trace-dual lattice of $\mathbb{Z}[\alpha ]$, which is generated over $\mathbb{Z}$ by the displayed dual basis. Since $1/n=m/(nm)$, every such linear combination lies in $(nm{)}^{-1}\mathbb{Z}[\alpha ]$. Hence

Now let $n=m=p$ be prime and put $\alpha =\sqrt[p]{p}$ and $A=\mathbb{Z}[\alpha ]$. The Eisenstein criterion applied at $p$ gives $[\mathbb{Q}(\alpha ):\mathbb{Q}]=p$, while the discriminant of elements of a number field of its power basis iswhere $f(X)=X^p-p$. By the discriminant-index formula for an integral lattice, every prime dividing $[{\mathcal{O}}_L:A]$ must therefore be $p$.

Suppose $A\ne {\mathcal{O}}_L$. The finite abelian group ${\mathcal{O}}_L/A$ is then a nontrivial finite p-group, so it contains an element of order $p$. Consequently there is an $x\in {\mathcal{O}}_L\setminus A$ such thatwith some $c_k$ not divisible by $p$.

The polynomial $X^p-p$ is Eisenstein, so total ramification from an Eisenstein polynomial gives a unique prime ideal $P$ above $p$ with normalized discrete valuationLet $k_0$ be the least index for which $p\nmid c_{k_0}$. The term $c_{k_0}{\alpha }^{k_0}$ has valuation $k_0<p$; every earlier term has valuation at least $p$, and every later term with coefficient prime to $p$ has a distinct, larger valuation. The non-Archimedean valuation therefore givesThis contradicts $x\in {\mathcal{O}}_L$, since an algebraic integer has nonnegative valuation at every prime ideal. Thus $A={\mathcal{O}}_L$, and

Gauss lemma for polynomials states that the product of two primitive polynomials over a unique factorization domain is primitive. In particular, a primitive polynomial in $\mathbb{Z}[X]$ is reducible over $\mathbb{Q}$ exactly when it is reducible over $\mathbb{Z}$.

Eisenstein criterion says that a primitive polynomialis irreducible over $\mathbb{Q}$ if there is a prime $p$ such that $p\nmid a_n$, $p\mid a_j$ for every $j<n$, and $p^2\nmid a_0$. To prove it, suppose $F=GH$ with both factors of positive degree. After removing contents, Gauss's lemma lets us take $G,H\in \mathbb{Z}[X]$ primitive. Reduction modulo $p$ givesso both reduced factors are monomials of positive degree. Their constant terms are therefore divisible by $p$, making $p^2$ divide $a_0=G(0)H(0)$, a contradiction.

An algebraic integer is a complex number satisfying a monic polynomial in $\mathbb{Z}[X]$. Let $\alpha$ be one and let $m_{\alpha }\in \mathbb{Q}[X]$ be its monic minimal polynomial. The usual proof using polynomial content shows that $m_{\alpha }\in \mathbb{Z}[X]$. The setis the kernel of the polynomial-evaluation ring homomorphism, hence an ideal. Every $f\in I_{\alpha }$ is divisible by $m_{\alpha }$ in $\mathbb{Q}[X]$. Because $m_{\alpha }$ is monic, polynomial division of $f$ by $m_{\alpha }$ takes place in $\mathbb{Z}[X]$, and the remainder must vanish by minimality. Thereforewhere $m_{\alpha }$ is monic and irreducible.

Fortranslation givesThis is Eisenstein at $p=3$, so $f(X+1)$ and therefore $f(X)$ are irreducible over $\mathbb{Q}$. HenceIrreducibility and Gauss's lemma also show that $(f)$ is a prime ideal of $\mathbb{Z}[X]$, soIt is not a field. The class of $2$ is nonzero but not a unit: reducing further modulo $2$ gives a nonzero quotientin which the image of $2$ is zero, whereas a unit must remain a unit under every unital quotient map. Thus

Suppose that $p$ divided the finite index $[{\mathcal{O}}_K:\mathbb{Z}[\alpha ]]$. Then the quotient would contain nonzero $p$-torsion, so there would be $\beta \in {\mathcal{O}}_K\setminus \mathbb{Z}[\alpha ]$ withwhere not all $b_j$ are divisible by $p$. Let $k$ be the least index for which $p\nmid b_k$. Since $v_P(\alpha )=1$ and $v_P(p)=n$, the term $b_k{\alpha }^k$ is the unique term on the right of least $P$-valuation. ThusBut $\beta$ is an algebraic integer, so $v_P(\beta )\ge 0$ anda contradiction. Therefore

PutUsing ${\alpha }^3=5\alpha -8$, multiplication by $\beta$ on the ordered basis $(1,\alpha ,\beta )$ is determined byIts matrix, with these coordinate vectors as columns, isThe characteristic polynomial isBy the Cayley-Hamilton theorem, this monic integer polynomial annihilates $\beta$, so $\beta$ is an algebraic integer.

LetThe element $\alpha$ is also integral because it satisfies the monic polynomial $f$. Hence $A\subseteq {\mathcal{O}}_K$. Sincethe lattice $\mathbb{Z}[\alpha ]$ has index two in $A$. The given power-basis discriminant isso the discriminant-index formula for an integral lattice gives

If $m=[{\mathcal{O}}_K:A]$, thenBecause $307$ is prime, the square $m^2$ can divide $307$ only when $m=1$. Thusso $(1,\alpha ,\beta )$ is an integral basis of the cubic field of discriminant minus 307.

Finally, the relation ${\beta }^2=-4-\alpha +3\beta$ givesConsequently ${\mathcal{O}}_K=\mathbb{Z}[\beta ]$, which will allow direct use of Dedekind's theorem.

Let ${\omega }_1,\dots ,{\omega }_n$ be an integral basis of ${\mathcal{O}}_K$. Since each ${\alpha }_j$ is an algebraic integer, there is an integer matrix $A=(a_{ij})$ such thatThe ${\alpha }_j$ form a $\mathbb{Q}$-basis, so $\det A\ne 0$.

Products of algebraic integers are algebraic integers, and their traces are rational algebraic integers, hence ordinary integers. Therefore every entryis integral. Part (i) makes the trace Gram matrix nonsingular, so $\Delta ({\alpha }_1,\dots ,{\alpha }_n)$ is a nonzero integer.

Let $G_{\omega }$ and $G_{\alpha }$ be the two trace Gram matrices. A change of basis givesTaking determinants yields the discriminant-index formula for an integral latticewhere $d_K=\det G_{\omega }$ is the field discriminant. Since $\det A$ is a nonzero integer,Equality holds exactly when $|\det A|=1$, which is equivalent to $A$ being unimodular and to ${\alpha }_1,\dots ,{\alpha }_n$ being a $\mathbb{Z}$-basis of ${\mathcal{O}}_K$. Thus the minimum is the positive integer

Minkowski's lemma states that if $\Lambda$ is a full lattice in ${\mathbb{R}}^n$ and $C\subset {\mathbb{R}}^n$ is measurable, convex, and centrally symmetric, thenimplies that $C$ contains a nonzero point of $\Lambda$.

Let ${\sigma }_1,{\sigma }_2:K\to \mathbb{R}$ be the two real embeddings. The Minkowski embedding of a real quadratic field identifies ${\mathcal{O}}_K$ with a latticeof covolume $\sqrt{|D_K|}$. Choose a constant $c$ satisfyingFor $R>0$, consider the closed diamondIt is convex and centrally symmetric, and its area isMinkowski's lemma supplies a nonzero ${\alpha }_R\in {\mathcal{O}}_K$ whose two embeddings lie in $C_R$.

For $(x,y)\in C_R$, the arithmetic-geometric mean inequality givesSince the coordinate product is the field norm,Finally, $|{\sigma }_2({\alpha }_R)|\le c/R\to 0$ as $R\to \infty$. No fixed nonzero algebraic integer can occur for arbitrarily large $R$, because its second embedding is nonzero. Consequently the elements ${\alpha }_R$ obtained along an unbounded sequence of $R$ contain infinitely many distinct values. Here $N(\alpha )$ denotes the absolute norm, as usual in this inequality.

The product formula says that every $x\in K^{\times }$ satisfiesFirst suppose that $x$ is an algebraic integer. Its principal ideal has the prime ideal factorizationTaking the ideal norm givesOn the other hand, the field norm is the product over embeddings, soEquating these expressions proves the formula for algebraic integers. Every nonzero element of $K$ is a quotient of two algebraic integers, and multiplicativity completes the proof.

Let $f$ be the monic cubic minimal polynomial of the algebraic integer $\alpha$, let ${\alpha }_1=\alpha ,{\alpha }_2,{\alpha }_3$ be its conjugates, and let ${\beta }_1=\beta ,{\beta }_2$ be the two conjugates of a nonrational $\beta \in {\mathcal{O}}_K$. Because the degrees three and two are coprime, the fields are linearly disjoint, andis a nonzero integer.

AssumeFor large $H(\beta )$ this makes ${\beta }_1$ bounded. Since $\beta$ is a quadratic algebraic integer, the height-Mahler measure formula givesand therefore $|{\beta }_2|\asymp H(\beta {)}^2$. The two remaining factors with $j=1$ are bounded, while the three factors with $j=2$ are $O(|{\beta }_2|)$. Consequently

We now use the standard effective norm form consequence of Part (b). Forwhere $1,\omega$ is an integral basis of $K$, the effective norm-form height estimate supplies effective constants $A,C>0$, depending only on $\alpha$ and $K$, such thatfor every nonzero $z\in V\cap {\mathcal{O}}_L$. Its proof factors $(z)$, balances a generator using the Dirichlet unit theorem, and applies the Baker lower bound for a homogeneous linear form in logarithms to the linear relations defining $V$; the coprime degrees $3$ and $2$ exclude a unit-family degeneracy.

Apply this estimate to $z=\alpha -\beta$. Since $\beta =\alpha -z$, the height inequalities imply $H(\beta )\le 2H(\alpha )H(z)$. HenceChoose the effective value $\epsilon =1/(2A)$. The last inequality bounds $H(\beta )$ effectively. The rational integers $\beta \in \mathbb{Z}$ are already covered by the stronger degree-three Liouville approximation theorem, and the Northcott theorem leaves only finitely many remaining quadratic integers of bounded height. Taking the minimum ofover this effective finite set gives an effective $c>0$ and provesfor every $\beta \in {\mathcal{O}}_K$.