First ${\int }_{\mathbb{R}}{e}^{-x^2/2}dx=\sqrt{2\pi }$: square the positive integral and use polar coordinates to obtain $2\pi {\int }_0^{\infty }r{e}^{-r^2/2}dr=2\pi$. Scaling therefore normalizes the one-dimensional Gaussian function $g_t$.

Let $I(\xi )={\int }_{\mathbb{R}}(2\pi t{)}^{-1/2}{e}^{-x^2/(2t)}{e}^{-i\xi x}dx$. Differentiation under the integral is justified by the integrable majorant $|x|g_t(x)$. Since $g_t^{\prime }(x)=-x{g}_t(x)/t$, integration by parts, with zero endpoint terms, gives $I^{\prime }(\xi )=-t\xi I(\xi )$. With $I(0)=1$, this yields $I(\xi )=e^{-t{\xi }^2/2}$. Multiplication of the one-dimensional integrals givesApplying the same computation with reciprocal scale $1/t$ evaluates its inverse integral:For $f\in L^1$, Fubini's theorem gives $\widehat{f\ast g_t}=\hat{f}{e}^{-t|\xi {|}^2/2}$, which is integrable because $\hat{f}$ is bounded. Its inverse integral isAbsolute integrability of $|f(y)|e^{-t|\xi {|}^2/2}$ justifies this second application of Fubini's theorem. Thus Fourier inversion holds for every Gaussian convolution, in fact pointwise for this continuous representative.

Here Fourier inversion means the absolute-integral version: $\hat{f}\in L^1({\mathbb{R}}^d)$ andThis convention is necessary for the bounded continuous version in part (d). Conditional inversion by symmetric truncation is a different statement and need not have that conclusion.

For $f\in L^1({\mathbb{R}}^d)$, use the Fourier transform conventionThe integral is absolutely convergent for every $\xi$, and $|\hat{f}(\xi )|\le \Vert f{\Vert }_1$.

Homogenization gives $F=X^4+X^2{Y}^2+Y^2{Z}^2+Z^4$, withIf the characteristic is not $2$, a singular point with $Y=0$ would force $X=Z=0$, impossible. If $Y\ne 0$, then $X^2+Z^2=0$. If either $X$ or $Z$ vanishes, both vanish, giving $[0:1:0]$. Otherwise the other two derivative equations require $Y^2=-2X^2=-2Z^2$, whence $X^2=Z^2$ and $2X^2=0$, again impossible. ThusIn the chart $Y=1$, the quadratic term is $X^2+Z^2$, the product of two distinct linear factors over $k$, so this is an ordinary double point.

In characteristic $2$,All first derivatives of this equation vanish. The equation defines a nonreduced scheme, singular everywhere; it no longer satisfies the irreducible/reduced hypersurface premise. If “curve” means the associated reduced variety, it is the union of two distinct lines, and only their intersection $\boxed{[1:0:1]}$ is singular. These two interpretations must not be conflated.

The Jacobian criterion on an affine chart $x_j\ne 0$ says that a point of the projective hypersurface is singular exactly when all derivatives of its dehomogenized equation vanish there. The Euler homogeneous function theorem identity ${\sum }_i{x}_i{f}_{x_i}=df$ then recovers the omitted $j$th derivative on $X$, without dividing by $d$. Thus the correct statement in every characteristic isIf the printed $Z(I)$ denotes a zero locus inside $X$, this proves it as written. If it means the ambient projective zero locus, the assertion is false when the characteristic divides $d$. When the characteristic does not divide $d$, the Euler homogeneous function theorem forces $f=0$ at every common zero of the derivatives, and the intersection with $X$ is redundant.

For a genuine counterexample to the unrestricted ambient interpretation, in characteristic $p$ takeThis is an irreducible homogeneous polynomial: it is primitive and linear in $X_2$ over $k[X_0,X_1]$, with coprime coefficients. At $[1:0:0]$ all partial derivatives vanish, including when $p=2$, but $f=1$. This point is outside $X$. Hence the ambient-locus version needs the displayed intersection or a restriction on the degree.

A point $P$ belongs to the smooth locus of a variety if its local ring ${\mathcal{O}}_{X,P}$ is a regular local ring, meaningEquivalently, the Zariski tangent space has the expected local dimension. Over the algebraically closed field, this agrees with smoothness for a reduced variety. In affine coordinates, the Jacobian criterion expresses it by the rank of the matrix of first derivatives of defining equations.

Suppose $(x_k{)}_{k\ge 1}$ were a countable Hamel basis. Put $E_n=\mathrm{span}(x_1,\dots ,x_n)$. Each $E_n$ is a finite-dimensional, hence closed, linear subspace of $X$. It is proper because $X$ is infinite dimensional, and therefore a nowhere dense set. A Hamel basis means that every vector is a finite linear combination, so $X={\bigcup }_n{E}_n$. This contradicts the Baire category theorem for the Banach space $X$. Hence an infinite-dimensional Banach space has no countable Hamel basis. The same proof excludes any countable algebraic spanning set.

One form of the Baire category theorem is: a nonempty complete metric space cannot be a countable union of closed nowhere dense subsets. Equivalently, a countable intersection of open dense subsets is dense. A Banach space is a complete metric space for its norm metric, so this form applies directly to the next part.

Because $Y$ is closed, it is a nowhere dense set exactly when its interior is empty. If a ball about $y\in Y$ lay inside $Y$, translating it by $-y$ would put a ball about $0$ inside $Y$. Every vector of $X$ has a small scalar multiple in that ball, and closure under scalar multiplication would force $Y=X$. This contradiction proves a proper closed linear subspace is nowhere dense.

For the real quadratic field $K=\mathbb{Q}(\sqrt{d})$ with squarefree $d>1$, Dirichlet unit theorem givesfor a fundamental unit $ϵ>1$, since the roots of unity in a real field are $\pm 1$.

If $p\mid d$ and $p\equiv 3(\mathrm{mod}4)$, a unit of norm $-1$ would have the form $(a+b\sqrt{d})/2$ with integers $a,b$ and satisfy $a^2-d{b}^2=-4$. Reducing modulo the odd prime $p$ gives $(a/2{)}^2\equiv -1(\mathrm{mod}p)$, impossible because $-1$ is not a quadratic residue for such a prime. Hence every unit has norm $+1$ in this case. In contrast, $\boxed{d=2,u=1+\sqrt{2}}$ has norm $-1$.

For a number field with $r$ real embeddings ${\sigma }_i$ and $s$ conjugate pairs of complex embeddings ${\tau }_j$, use the logarithmic embedding of number field unitsIt is a group homomorphism from multiplication to addition. A unit has field norm $\pm 1$, so the coordinates sum to zero. Deleting one coordinate identifies this hyperplane with ${\mathbb{R}}^{r+s-1}$ and gives the desired map.

If its image coordinates remain in a bounded set, the omitted coordinate is bounded too, and every conjugate of $u$ has bounded absolute value. The coefficients of its monic minimal polynomial are integers and elementary symmetric expressions in at most $[K:\mathbb{Q}]$ bounded conjugates. They are therefore bounded integers. Only finitely many such polynomials, and finitely many roots of them, exist. Thus the inverse image of every bounded set is finite. In particular the kernel is finite and the image is discrete. This argument includes the zero-dimensional target case; it does not yet assert the full-rank part of Dirichlet unit theorem.

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.

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.

In characteristic $p$, let $K={\mathbb{F}}_p(s,t)$ and $L={\mathbb{F}}_p(s^{1/p},t^{1/p})$, with $s,t$ having algebraic independence. The monomials $s^{i/p}{t}^{j/p}$, $0\le i,j<p$, form a $K$-basis, so $[L:K]=p^2$. Their independence follows by grouping polynomial monomials according to their exponents modulo $p$, after clearing rational-function denominators.

Every $\alpha \in L$ has ${\alpha }^p\in K$, so its minimal polynomial divides $T^p-{\alpha }^p$ and $[K(\alpha ):K]\le p$. Thus this finite purely inseparable extension has no primitive element. It demonstrates why the separable field extension hypothesis cannot simply be removed.