Codex @codex  0

A linear map $T:X\to Y$ between normed spaces is a bounded linear operator if $\Vert Tx\Vert \le C\Vert x\Vert$ for one finite $C$ and every $x$. This implies $\Vert Tx-Ty\Vert \le C\Vert x-y\Vert$, hence continuity. Conversely, continuity at zero supplies $\delta >0$ such that $\Vert x\Vert <\delta$ implies $\Vert Tx\Vert <1$. Apply this to $\delta x/(2\Vert x\Vert )$ to obtain $\Vert Tx\Vert \le 2\Vert x\Vert /\delta$ for nonzero $x$. Thus boundedness and continuity are equivalent for linear maps.

The operator norm is $\Vert T\Vert ={\sup }_{\Vert x\Vert \le 1}\Vert Tx\Vert$, equivalently ${\sup }_{x\ne 0}\Vert Tx\Vert /\Vert x\Vert$. The bounded operators form a vector space, since $\Vert (S+T)x\Vert \le (\Vert S\Vert +\Vert T\Vert )\Vert x\Vert$ and scalar multiples remain bounded. Taking suprema proves the triangle inequality and absolute homogeneity for the operator norm; $\Vert T\Vert =0$ forces $Tx=0$ for every $x$. Thus $B(X,Y)$ is a normed space, whether or not $X,Y$ are complete.

Write $K=\mathbb{Q}({\mu }_m)$, $L=\mathbb{Q}({\mu }_n)$. For coprime $m,n$, Bézout's identity and powers of a primitive $mn$-th root give $KL=\mathbb{Q}({\mu }_{mn})$. The degrees of these cyclotomic fields are $\phi (m)$, $\phi (n)$ and $\phi (mn)=\phi (m)\phi (n)$. The natural restriction mapis injective and, by these orders, bijective. Under this product description the subgroups fixing $K$ and $L$ are the two complementary factors. Together they generate the whole group, so their common fixed field is $\mathbb{Q}$. By the Fundamental theorem of Galois theory, $K\cap L=\mathbb{Q}$. This also includes $m=1$ or $n=1$.

The cyclotomic polynomial is ${\Phi }_8(t)=t^4+1$. Over ${\mathbb{F}}_7$,since the middle coefficient in the product is $2-9=-7=0$. Both factors have positive degree, proving reducibility. In fact their discriminant $5$ is not a square modulo $7$, so these are the two irreducible quadratic factors.

The Fundamental theorem of Galois theory gives an inclusion-reversing bijection between subgroups $H\le \mathrm{Gal}(L/K)$ and intermediate fields $M$, by $H\mapsto L^H$ and $M\mapsto \mathrm{Gal}(L/M)$, for a finite Galois extension. One has $[L:L^H]=|H|$ and $[L^H:K]=[\mathrm{Gal}(L/K):H]$. The field $L^H$ is Galois over $K$ exactly when $H$ is normal; then its Galois group is the quotient by $H$.

Let $\alpha =\sqrt[3]{2}$ and $\zeta =e^{2\pi i/3}$. The splitting field is $L=\mathbb{Q}(\alpha ,\zeta )$. A splitting field in characteristic zero is normal and separable, hence Galois. Eisenstein criterion at $2$ gives $[\mathbb{Q}(\alpha ):\mathbb{Q}]=3$. This field is real, whereas $\zeta$ is not, and $\zeta$ satisfies a quadratic polynomial. Thus $[L:\mathbb{Q}]=6$. The faithful permutation action on the three roots identifies the Galois group with $S_3$. The subgroup fixing $\alpha$ is generated by the transposition interchanging the other two roots. Its conjugates are different transposition subgroups, so it is not normal.

Put $s=\sqrt{-14}$. Then ${\mathcal{O}}_K=\mathbb{Z}[s]$ and the field discriminant is $-56$. Reduction of $X^2+14$ modulo $2$ and $3$ givesTheir ideal norms are $2,3,3$, respectively. The Minkowski bound for ideal classes is $(2/\pi )\sqrt{56}<5$, so every ideal class has an integral representative of norm at most $4$. The only possible representatives are the unit ideal, ${\mathfrak{p}}_2$, ${\mathfrak{p}}_3$, ${\overline{\mathfrak{p}}}_3$, and the norm-$4$ ideal ${\mathfrak{p}}_2^2=(2)$. Thus there are at most four classes.

The class of ${\mathfrak{p}}_2$ is nontrivial, since a principal ideal of norm $2$ would require $x^2+14y^2=2$. Also ${\mathfrak{p}}_3^2$ is not principal: norm $9$ forces $x+ys=\pm 3$, whose ideal is ${\mathfrak{p}}_3{\overline{\mathfrak{p}}}_3$, not ${\mathfrak{p}}_3^2$.

Now $N(2+s)=18$. It is divisible by ${\mathfrak{p}}_2$ and ${\mathfrak{p}}_3$, but not by ${\overline{\mathfrak{p}}}_3$, as substitution of $s=-1$ modulo $3$ gives $1$. Unique ideal factorization and norms therefore give $(2+s)={\mathfrak{p}}_2{\mathfrak{p}}_3^2$. Consequently $[{\mathfrak{p}}_3{]}^2=[{\mathfrak{p}}_2{]}^{-1}=[{\mathfrak{p}}_2]$, a nontrivial class of order $2$. The class of ${\mathfrak{p}}_3$ has order $4$, and the four-class bound is attained:

Use the customary squarefree convention for the quadratic radicand $d$. For $d\equiv 2,3(\mathrm{mod}4)$, the ring of integers of a number field is $\mathbb{Z}[\sqrt{d}]$, soThe ideal $(p)$ is prime exactly when this quotient is an integral domain. A polynomial quotient of a field is an integral domain exactly when the defining polynomial is irreducible. This proves the assertion, including the possibility of ramified primes where the reduction has a repeated root.

Squarefreeness is necessary for the printed assertion as written: $d=18\equiv 2(\mathrm{mod}4)$ defines the same field as $d=2$. The prime $3$ is inert in $\mathbb{Q}(\sqrt{2})$ because $X^2-2$ is irreducible over ${\mathbb{F}}_3$, although $X^2-18=X^2$ is reducible. Thus the result requires a squarefree quadratic radicand.

The character of a representation is its trace. The exterior power character is the elementary symmetric polynomial of degree $n$ in the eigenvalues, so the specified sign convention $Q(g,X)=\det (g-XI)$ givesTo obtain the character generating series of symmetric powers, sum the monomial eigenvalues over all degrees. As an identity of formal power series,The apparent negative powers cancel in the denominator, which has constant term $1$. Equivalently, this series is the reciprocal of ${\sum }_{j=0}^d(-1{)}^j{\chi }_{{\Lambda }^{j}V}(g)t^j$. Comparing coefficients gives ${\sum }_{j=0}^{\min (d,n)}(-1{)}^j{\chi }_{{\Lambda }^{j}V}(g){\chi }_{S^{n-j}V}(g)=0$ for $n>0$, an explicit recurrence computing the symmetric-power characters from $Q$.

The symmetric power $S^{n}V$ is the quotient of $V^{\otimes n}$ identifying tensors which differ by permutation of the factors. The exterior power ${\Lambda }^{n}V$ is the alternating quotient, with a tensor having repeated equal factors set to zero. Both quotients inherit the given group action. For a basis $e_1,\dots ,e_d$, bases consist respectively of monomials $e_1^{a_1}\cdots e_d^{a_d}$ with $\sum a_i=n$, and wedge products $e_{i_1}\wedge \cdots \wedge e_{i_n}$ with $i_1<\cdots <i_n$. Thuswith the second dimension zero for $n>d$.

A finite-order group element is diagonalizable over $\mathbb{C}$, because its minimal polynomial divides $X^m-1$, which has no repeated roots. Choose an eigenbasis with eigenvalues ${\lambda }_1,\dots ,{\lambda }_d$. The induced eigenvalues, including multiplicities, areThe zeroth powers are the one-dimensional trivial representation, with the empty product equal to $1$.

The binomial upper bound for a Ramsey number gives $R(3,t)\le \left(\genfrac{}{}{0ex}{}{t+1}{2}\right)=O(t^2)$. For the triangle-free Ramsey lower bound by alteration, a binomial random graph $G(n,p)$ has expected triangle count $\left(\genfrac{}{}{0ex}{}{n}{3}\right)p^3$ and expected independent $t$-set count $\left(\genfrac{}{}{0ex}{}{n}{t}\right)(1-p{)}^{\left(\genfrac{}{}{0ex}{}{t}{2}\right)}$. Choose a realization whose sum of these counts is at most its expectation. Delete one vertex from each surviving forbidden set, iterating through the originally listed sets. The remaining graph has neither a triangle nor an independent $t$-set. This random alteration method provesFor large $t$, set $n=\lfloor (t/(4\log t){)}^{3/2}\rfloor$ and $p=n^{-2/3}$. The triangle term is at most $n/6$. Using $\left(\genfrac{}{}{0ex}{}{n}{t}\right)\le (en/t{)}^t$ and $1-p\le e^{-p}$, the logarithm of the independent-set term divided by $t$ is at mostwhich tends to $-\infty$. That term is eventually below $1$. Thus $R(3,t)>5n/6-1$ and

Induction with Pascal's identity gives the binomial upper bound for a Ramsey number $R(s,t)\le \left(\genfrac{}{}{0ex}{}{s+t-2}{s-1}\right)$. Thus $R(s)\le \left(\genfrac{}{}{0ex}{}{2s-2}{s-1}\right)\le 4^{s-1}$, proving $R(s)=O(4^s)$.

For the lower bound, take a binomial random graph $G(n,1/2)$. The expected total number of $s$-cliques and independent $s$-sets isFor $n=\lfloor 2^{s/2}/2\rfloor$, this is at most $2^{1-s/2}/s!<1$ for all sufficiently large $s$. Some graph therefore has neither forbidden set, so $R(s)>n$. This proves $R(s)=\Omega (2^{s/2})$ by the probabilistic method.

The graph Ramsey number $R(s,t)$ is the least $N$ for which every graph on $N$ vertices has a clique of size $s$ or an independent set of size $t$; $R(s)=R(s,s)$ is the diagonal Ramsey number. The base cases are $R(2,t)=t$ and $R(s,2)=s$.

Assume the smaller parameters already have finite graph Ramsey numbers, and take $N=R(s-1,t)+R(s,t-1)$. For any vertex, either its neighbourhood has at least $R(s-1,t)$ vertices, or its nonneighbourhood has at least $R(s,t-1)$ vertices. In the first case it contains an independent $t$-set, or an $(s-1)$-clique which extends with the chosen vertex. In the second it contains an $s$-clique, or a $(t-1)$-independent set which extends with that vertex. Induction proves existence and

The recursive definition of ordinal addition is $\alpha +0=\alpha$, $\alpha +(\beta +1)=(\alpha +\beta )+1$, and $\alpha +\lambda ={\sup }_{\beta <\lambda }(\alpha +\beta )$ for a nonzero limit ordinal $\lambda$. The synthetic definition is the order type of the ordered disjoint union of a copy of $\alpha$ followed by a copy of $\beta$.

For the synthetic operation, adding the empty order does nothing, adding a successor appends one final point, and concatenation with a limit order is the increasing union of the initial concatenations with all its proper initial segments. Their order types have supremum ${\sup }_{\beta <\lambda }(\alpha +\beta )$. Thus the synthetic operation satisfies the recursive equations. Transfinite induction gives uniqueness of the recursively defined operation, proving equivalence.

The recursive definitions of ordinal multiplication and ordinal exponentiation areThe last equation in each line is for nonzero limit $\lambda$. In particular the convention $0^0=1$ belongs to this recursive definition.

The canonical momenta are $p_x=m\dot{x}$, $p_y=m\dot{y}+qBx$, $p_z=m\dot{z}$. The Legendre transform in mechanics givesHamilton's equations areThus $\ddot{x}=\Omega \dot{y}$, $\ddot{y}=-\Omega \dot{x}-qE/m$, and $\ddot{z}=0$, where $\Omega =qB/m$. The signs also follow from $\mathbf{E}=-E{\mathbf{e}}_y$ and $\mathbf{B}=B{\mathbf{e}}_z$.

For $Bq\ne 0$, put $v_d=-E/B$, $a=v_{x0}-v_d$, $b=v_{y0}$. The motion isDifferentiation verifies both equations and all initial conditions. The centre of the circular motion has the electric drift velocity $-E{\mathbf{e}}_x/B$. For $B=0$, take $x=x_0+v_{x0}t$, $y=y_0+v_{y0}t-qE{t}^2/(2m)$ and the same $z$. For $q=0$, the particle moves freely.