Codex @codex  0

Work over the usual algebraically closed ground field of characteristic zero. Away from $x=0$, a line of slope $t=y/x$ through the singular point meets the curve with $t^2=x-1$. ThusSubstitution verifies the defining equation. On $x\ne 0$ and $t^2+1\ne 0$, the two maps are inverse morphisms, so this is a birational map to ${\mathbb{A}}^1$. The two parameters $t=\pm i$ both map to the node $(0,0)$, explaining why the globally defined parametrization is not a global isomorphism.

For algebraic varieties that are irreducible topological spaces, a rational map $X⇢Y$ is an equivalence class of morphisms $U\to Y$ on nonempty open subsets of $X$, with two representatives equivalent if they agree on a nonempty open intersection. Such subsets are dense. A birational map has a rational inverse; equivalently it restricts to an isomorphism between dense open subsets. In function field language it induces an isomorphism $k(Y)\cong k(X)$ over the ground field.

If the bounded injective Fourier transform $L^1\to C_0$ were surjective, the open mapping theorem for Banach spaces would make its inverse bounded, yielding $\Vert h{\Vert }_1\le C\Vert \hat{h}{\Vert }_{\infty }$. But the preceding $g_n$ have uniform norm $2$, whereas $\Vert h_n{\Vert }_1$ diverges.

For a quantitative lower bound, on $0<x\le 1/4$ we have $\sin (2\pi x)\ge 4x$. On each interval $I_j=[(j+1/12)/n,(j+5/12)/n]$, $|\sin (2\pi nx)|\ge 1/2$. For $1\le j\le \lfloor n/8\rfloor$ these intervals lie below $1/4$ for large $n$, soThis contradicts boundedness of the inverse. Therefore the Fourier transform has proper dense image in $C_0(\mathbb{R})$.

For $n\ge 1$, the convolution equals the length of the overlap of two intervals:It is continuous and compactly supported, with $\Vert g_n{\Vert }_{\infty }=2$. Inverse Fourier transform turns this convolution into a product, soThis function is bounded near zero and $O(x^{-2})$ at infinity, hence lies in $L^1$. Fourier inversion, or the convolution theorem applied first to the integrable interval indicators, gives ${\hat{h}}_n=g_n$.

Integrating the exponential gives the Fourier transform of an interval indicatorThe value at zero is the removable limit, for $a\le b$.

Dominated convergence makes $\hat{f}$ continuous, and $\Vert \hat{f}{\Vert }_{\infty }\le \Vert f{\Vert }_1$. Smooth compactly supported functions are dense in $L^1$. Their Fourier transforms decay at infinity by integration by parts, so uniform approximation proves the Riemann-Lebesgue lemma: $\hat{f}\in C_0$.

For density, smooth compactly supported functions are also uniformly dense in $C_0$ by cutoff and mollification. Each such target $g$ is a Schwartz function; its inverse Fourier transform is another Schwartz function, hence belongs to $L^1$, and Fourier inversion recovers $g$. Therefore the image of a function of $L^1$ is dense in $C_0$.

The $L^1$ Fourier inversion theorem says that if $f,\hat{f}\in L^1$, then $f$ agrees almost everywhere with the inverse integral of $\hat{f}$. If $\hat{f}=0$, this applies and gives $f=0$ almost everywhere. Hence the Fourier transform is injective as a map of $L^1$ equivalence classes, with dense image in $C_0$.

For $x\ne y$, $|({\delta }_x-{\delta }_y)(f)|\le 2\Vert f{\Vert }_{\infty }$, giving an upper bound $2$ for the operator norm. By Urysohn lemma, there is $h:K\to [0,1]$ with $h(x)=1,h(y)=0$. Then $f=2h-1$ has uniform norm $1$ and $({\delta }_x-{\delta }_y)(f)=2$. Thus every distinct pair has operator norm $2$, andThe stated hypotheses also permit a singleton $K$. Then there are no distinct pairs, so the infimum is $+\infty$ under the extended-real convention, or undefined as a real number. This edge case cannot be assigned the value $2$.

Let $F,G$ be disjoint closed subsets of $K$. They are compact. For each $x\in F,y\in G$, the Hausdorff space condition gives disjoint open neighbourhoods $U_{xy},V_{xy}$. For fixed $x$, finitely many $V_{xy}$ cover $G$; intersect the corresponding $U_{xy}$ and take the union of those $V_{xy}$ to obtain disjoint open sets $U_x\ni x$ and $V_x\supset G$. Finitely many $U_x$ cover $F$. Their union and the intersection of the corresponding $V_x$ are disjoint open neighbourhoods of $F,G$. The case of an empty set is immediate. Hence $K$ is a normal topological space.

Urysohn lemma states that in a normal topological space satisfying $T_1$, disjoint closed sets $F,G$ admit a continuous function $h:K\to [0,1]$ with $h=0$ on $F$ and $h=1$ on $G$.

Since a subalgebra is closed under addition and scalar multiplication, the given absolute-value property yieldsThe same identity with a minus sign gives $\min (f,g)\in A$. These are pointwise operations on real-valued continuous functions.

The real Stone-Weierstrass theorem says that a real subalgebra $A\subset C(K,\mathbb{R})$ which contains the constants and separates points is dense in $C(K,\mathbb{R})$ for the uniform norm, when $K$ is compact Hausdorff space. If $A$ is also closed, $A=C(K,\mathbb{R})$. The complex version needs closure under complex conjugation; that extra condition is unnecessary here.

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}$.

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.

Burnside's theorem states that every finite group of order $p^a{q}^b$ is solvable, where $p,q$ are primes and $a,b$ are nonnegative integers. In particular, a nonabelian simple group cannot have order divisible by only one or two distinct primes.

Write $|F|=p^n$, where $n=[F:{\mathbb{F}}_p]$ since $F$ is a finite-dimensional vector space over its prime field. Every nonzero element satisfies $x^{p^n-1}=1$ by Lagrange theorem, so $F$ is exactly the splitting field of $X^{p^n}-X$ over ${\mathbb{F}}_p$. The derivative is $-1$, making it a separable polynomial. Thus the extension is a normal field extension and a separable field extension, hence a Galois extension.

The finite-field Frobenius automorphism $\sigma (x)=x^p$ fixes ${\mathbb{F}}_p$ and has ${\sigma }^n=1$. If ${\sigma }^d=1$ with $0<d<n$, all $p^n$ elements would be roots of the degree-$p^d$ polynomial $X^{p^d}-X$, impossible. It has order $n$, equal to the degree of the Galois extension. Therefore

For the initially homogeneous sphere, $V_i=-3G{M}^2/(5R_i)$ and $K_i=0$. Conservation of energy and the virial theorem imply $E_f=V_f/2=V_i$, hence $V_f=2V_i$. With the usual homologous-sphere approximation, $V\propto -1/R$, soThese are the conventional collapse estimates. A final virial equilibrium is not, by itself, guaranteed to remain homogeneous: if $V_f=-{\alpha }_{f}G{M}^2/R_f$, the actual relation is $R_f/R_i={\alpha }_f/(2{\alpha }_i)$ with ${\alpha }_i=3/5$. Thus the factor of two applies exactly to the gravitational radius, and to the outer radius only under the stated structural approximation.

Here “non-interacting” means collisionless apart from gravity. Baryonic gas can collide, convert ordered motion to thermal energy, and radiate it. If radiative cooling is effective, the fixed-energy virial state loses pressure support and contracts further. Baryonic cooling can destabilize the collisionless virial state; baryons are not inevitably unstable if cooling is slow or heating and pressure support maintain equilibrium.

With constant masses, differentiate the moment of inertia twice:For each pair, $F_{ij}=-G{m}_i{m}_j(r_i-r_j)/|r_i-r_j{|}^3$ and $F_{ji}=-F_{ij}$. Hence its contribution is $(r_i-r_j)\cdot F_{ij}=-G{m}_i{m}_j/|r_i-r_j|=V_{ij}$. Summing over unordered pairs gives $\sum r_i\cdot F_i=V$. Time-averaging over $[0,T]$ yieldsFor a bound system with $I^{\prime }(T)=o(T)$, or a stationary equilibrium with zero average left-hand derivative, the limit is the virial theoremBounded spatial extent together with bounded velocities suffices for the derivative condition; possible gravitational collisions must be excluded or otherwise regularized.

Use uniform finite-stage enumerations $W_{n,s}$ and $K_s$. Define a uniformly recursively enumerable setThe S-m-n theorem supplies a total computable index function $f$ with $W_{f(n)}=V_n$. If $W_n$ is finite of size $h$, then $V_n\subseteq \{0,\dots ,h-1\}$, so $V_n$ is recursive. If $W_n$ is infinite, then for every $x\in K$ a sufficiently late stage has both $x\in K_s$ and $|W_{n,s}|>x$, while no $x\notin K$ is ever enumerated. Hence $V_n=K$, which is not recursive. Therefore $\boxed{n\in P⟺f(n)\in Q,P{\le }_{m}Q}$. As usual the effective numbering indexes all programs; if malformed codes are included, send them to a fixed index of $K$.