Codex @codex  0

A splitting field of a nonzero polynomial $f$ over $K$ is an extension in which $f$ splits into linear factors and which is generated over $K$ by all its roots. For a constant nonzero polynomial the splitting field is $K$; the zero polynomial does not have a root-generated splitting field in this standard definition.

Given two splitting fields $L,L^{\prime }$, enumerate the roots generating $L$ and extend a $K$-embedding one root at a time. If an embedding is defined on $K({\alpha }_1,\dots ,{\alpha }_j)$, the minimal polynomial of the next root divides $f$ over that field. Its image under the embedding therefore divides $f$ over the corresponding subfield of $L^{\prime }$, and has a root in $L^{\prime }$. The quotient construction $K(\alpha )\cong K[t]/(m_{\alpha })$ extends the embedding to that root. The polynomial need not be a separable polynomial.

At the end this gives a $K$-embedding $L\to L^{\prime }$. It sends the distinct roots of $f$ injectively to its roots, hence permutes the finite set of distinct roots and contains every root in its image. Since these generate $L^{\prime }$, the embedding is onto. Thus the splitting field is unique up to a (K)-isomorphism.

The quartic is irreducible by Eisenstein criterion at two, so its Galois group is transitive on its four roots. Its discriminant is $1616=16\cdot 101$, so five and seven are unramified primes for the polynomial. The squarefree factorizations areThe cubic modulo five has no root in ${\mathbb{F}}_5$, hence is irreducible. The quadratic modulo seven has discriminant five, a nonsquare there. The Frobenius cycle type theorem therefore supplies a three-cycle and a transposition in the group.

Transitivity implies that its order is divisible by four, and the three-cycle implies divisibility by three. Its order divides $24$, so it is $12$ or $24$. The only subgroup of index two in $S_4$ is $A_4$: an index-two subgroup is the kernel of a group homomorphism of a nontrivial homomorphism to $C_2$, and all transpositions are conjugate and generate $S_4$, forcing this homomorphism to be the sign. The exhibited transposition excludes $A_4$. Hence

Choose a nonzero $\alpha \in \mathfrak{a}$. It is an algebraic integer, with monic minimal polynomialIts constant coefficient is nonzero, since otherwise the polynomial would have the root zero and be divisible by its variable, contradicting irreducibility and $\alpha \ne 0$. Rearranging gives $c_0=-\alpha ({\alpha }^{d-1}+\cdots +c_1)$. The expression in parentheses lies in the ring of integers of a number field, so the ideal property gives $c_0\in \mathfrak{a}$. Hence

We prove the conjugate product of a quadratic ideal identity $\mathfrak{a}\overline{\mathfrak{a}}=(N(\mathfrak{a}))$, which applies to the given two-generator ideal without assuming its displayed generators form an integral basis.

The quadratic ring of integers of a number field has a basis $1,\omega$ over $\mathbb{Z}$: the vector 1 is primitive, since a rational algebraic integer must be an integer, and extends to an integral basis. Write ${\omega }^2-T\omega +U=0$, with $T,U\in \mathbb{Z}$. Let $B$ be the least positive integer in $\mathfrak{a}$ and let $s>0$ generate the set of coefficients of $\omega$ in elements of $\mathfrak{a}$. Its lattice basis can be chosen as $B,r+s\omega$, with $r\in \mathbb{Z}$. Since $B\omega \in \mathfrak{a}$, comparison of coefficients shows $s\mid B$ and $s\mid r$. Write $B=sd$, $r=se$ and $\theta =e+\omega$. ThenThe scaled ideal $\mathfrak{j}=s^{-1}\mathfrak{a}$ remains an ${\mathcal{O}}_L$-ideal. From ${\theta }^2-T^{\prime }\theta +U^{\prime }=0$ we get $U^{\prime }\in \mathfrak{j}\cap \mathbb{Z}=d\mathbb{Z}$, so $d\mid U^{\prime }$. The product $\mathfrak{j}\bar{\mathfrak{j}}$ is generated as an ideal by $d^2,d\theta ,d\bar{\theta },U^{\prime }$ and is contained in $(d)$.

Moreover $\gcd (d,T^{\prime },U^{\prime }/d)=1$. If a prime $\ell$ divided all three, then $\ell \mid T^{\prime }$ and ${\ell }^2\mid U^{\prime }$, so $\theta /\ell$ would satisfy the monic integer polynomial $z^2-(T^{\prime }/\ell )z+U^{\prime }/{\ell }^2$. It would lie in ${\mathcal{O}}_L$, impossible because its $\omega$ coefficient in the integral basis is $1/\ell$. Bezout identity now expresses one as an integer combination of $d,T^{\prime },U^{\prime }/d$. Multiplying by $d$, the terms are $d^2$, $d{T}^{\prime }=d\theta +d\bar{\theta }$, and $U^{\prime }$, all in the product. Hence $d$ belongs to it, proving $\mathfrak{j}\bar{\mathfrak{j}}=(d)$.

The determinant of the lattice basis $sd,s(e+\omega )$ gives the ideal norm $N(\mathfrak{a})=s^{2}d$. ConsequentlyIn particular $⟨b,\alpha ⟩⟨b,\bar{\alpha }⟩$ is principal. This does not require the original $b$ to be nonzero or the ideal itself to be principal.

Consider the singularity of the injective entire function $f$ at infinity. If removable, it is bounded outside a disk and therefore bounded globally; Liouville theorem makes it constant, a contradiction. If essential, the Casorati-Weierstrass theorem says its values outside every large disk are dense. Choose a small neighbourhood $U$ of a finite point; the open mapping theorem puts a nonempty open disk inside $f(U)$. A point outside a disk containing $U$ would map into that open disk, duplicating a value already attained in $U$. This contradicts injectivity. Thus infinity is a pole, so $f$ is a polynomial. If its degree were greater than one, its derivative would have a root; the local power-series form at that point has local degree at least two and cannot be injective. HenceFor a nonconstant holomorphic map of connected compact Riemann surfaces of degree $d$, the Riemann-Hurwitz formula iswhere $g_R,g_S$ are genera and $e_p$ is the local mapping degree, the multiplicity in the target fibre. There are finitely many points with $e_p>1$.

For a degree-two sphere map, the formula gives total ramification two. Since $e_p\le 2$, there are exactly two distinct ramification points, each of local degree two. Their images are distinct, since a fibre has total multiplicity two. Choose a Möbius transformation $T$ taking $0,\infty$ to these domain points and $S_0$ taking their images to $0,\infty$. The resulting rational map has its only zero at zero of order two and its only pole at infinity of order two, hence is $c{z}^2$ with $c\ne 0$. Replace $S_0$ by $S(z)=c^{-1}{S}_0(z)$, obtaining

A morphism of algebraic varieties is a map regular in local affine coordinates: for each point of the source, choose affine charts containing it and its image, and require each target coordinate to pull back locally to a quotient of polynomials with a denominator nonzero at that point. The map is continuous in the Zariski topology and pulls back regular functions on every target open set to regular functions on its inverse image.

Equivalently, one can take Zariski continuity and this local regular-function pullback property as the definition. In particular, a morphism between affine varieties is specified by globally regular coordinate functions, with values satisfying the defining equations of the target. Being an arbitrary set-theoretic function, or being merely Zariski continuous, is not sufficient.

Let $A=A(X)=k[x_1,\dots ,x_m]/I(X)$. Polynomial restrictions are regular functions, and a restriction is zero precisely when its class in the coordinate ring is zero. We prove surjectivity.

Using the usual irreducible-variety convention, view a regular function $f$ as an element of the fraction field of $A$. On a neighbourhood of every point it has the form $a/b$, where $a,b\in A$ and $b$ does not vanish at that point. Equality on a nonempty open subset of the irreducible variety is equality of rational functions. DefineThis is an ideal and contains a denominator nonzero at each point. Thus its zero locus is empty. The Hilbert Nullstellensatz implies $J=A$, so $1\in J$ and $f\in A$. ThereforeThe result also holds under a convention allowing reduced reducible affine varieties. One may cover by finitely many principal opens $D(b_i)$, represent $f$ in each localization, and increase powers until the local representatives glue after clearing denominators. Since these opens cover, the ideal generated by those powers is the unit ideal by the Nullstellensatz; a unit linear combination glues their numerators to one element of $A$. Irreducibility is used only for the shorter fraction-field proof, not for the assertion itself.

The semicubical parabola has coordinate ringunder $x\mapsto t^3$, $y\mapsto t^2$. The isomorphism is valid in every characteristic: after division by the monic polynomial in $x$, a remainder $P(y)+xQ(y)$ maps to a sum of distinct even powers and odd powers at least three, and can vanish only when both polynomials are zero.

Its fraction field contains $t=t^3/t^2$, which is an integral element over $A$ because it satisfies $z^2-y=0$. However $t\notin A$, since a polynomial in $t^2,t^3$ has no term of degree one. Thus $A$ is not an integrally closed domain. The ring $k[t]$ of the affine line is a principal ideal domain and therefore an integrally closed domain. This property is preserved by ring isomorphism. By coordinate-ring functoriality,The parametrization is a bijection on points over an algebraically closed field, but that does not make its inverse a morphism at the cusp.

An embedded smooth $d$-dimensional manifold $X\subset {\mathbb{R}}^N$ is locally carried by a smooth ambient coordinate change to ${\mathbb{R}}^d\times \{0\}$. A map between such manifolds is a smooth map between manifolds if its coordinate representatives are smooth. Its differential $d{f}_x:T_{x}X\to T_{f(x)}Y$ sends the tangent vector represented by a curve $\gamma$ to $(f\circ \gamma {)}^{\prime }(0)$; equivalently it is the derivative in charts.

A regular value $y$ is one for which $d{f}_x$ is surjective at every $x\in f^{-1}(y)$, including vacuous regularity when the fibre is empty. For example zero is not a regular value of $f:\mathbb{R}\to \mathbb{R}$, $f(x)=x^2$, because $d{f}_0=0$.

For an invertible matrix $A$, the derivative of the determinant isAt a determinant-one matrix it is nonzero, since taking $H=A/n$ gives value one. The regular level set theorem therefore makes $S{L}_n(\mathbb{R})={\det }^{-1}(1)$ an embedded manifold of dimension $n^2-1$, also for $n=1$ when it is a single point. Matrix multiplication has polynomial ambient coordinates and restricts to the group, so it is smooth. At the identity,Finally suppose the singular-matrix set were an embedded smooth manifold near zero for $n\ge 2$. Every curve $t\mapsto t{E}_{ij}$ lies in it, since its rank is at most one. Thus every matrix unit belongs to its tangent space at zero. These span ${\mathbb{R}}^{n^2}$, forcing its local dimension to be $n^2$. An embedded manifold of full ambient dimension is locally open, but arbitrarily small scalar multiples of the identity are invertible. This contradiction proves the singular-matrix set is not an embedded smooth manifold. The argument addresses the subset-manifold convention specified at the start.

A finite field extension $L/K$ is a separable field extension if every element of $L$ has a minimal polynomial over $K$ with distinct roots in an algebraic closure. The primitive element theorem says that a finite separable field extension $L/K$ is $K(\alpha )$ for some $\alpha \in L$.

If $K$ is finite, then so is $L$. The multiplicative group of a finite field is cyclic, so a generator of $L^{\times }$ generates $L$ as a field. To justify the group fact, a finite subgroup of a field's multiplicative group is cyclic: in a finite abelian group its exponent is attained as an element order, while the polynomial root bound forces its size to be at most that exponent.

If $K$ is infinite, first consider $L=K(a,b)$. The minimal polynomials of $a$ and $b$ have distinct roots $a_i,b_j$ in an algebraic closure. Choose $c\in K$, $c\ne 0$, avoiding the finitely many values for which $a_i+c{b}_j=a+cb$ for a pair other than $(a,b)$. Set $\alpha =a+cb$. Over $K(\alpha )$, the polynomials $f(T)$ and $g((\alpha -T)/c)$ have precisely one common root, $a$. Their monic greatest common divisor is therefore $T-a$, so $a\in K(\alpha )$ and $b=(\alpha -a)/c\in K(\alpha )$. Thus $K(a,b)=K(\alpha )$. Induct over finitely many generators of the finite separable field extension. This proves every finite separable extension is simple.

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.

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.

True. Define $h(u)=g(1/u)$ for $0<u\le 1$ and $h(0)=0$. The hypothesis at infinity makes $h$ continuous on $[0,1]$. The Weierstrass approximation theorem gives polynomials $R_n$ with ${\sup }_{0\le u\le 1}|R_n(u)-h(u)|\to 0$. Since $t\mapsto 1/t$ maps $[1,\infty )$ onto $(0,1]$,

True. By the Weierstrass approximation theorem, choose a polynomial $Q_n$ with ${\sup }_{|t|\le n}|Q_n(t)-f(t)|<1/n$. For each fixed $t$, this bound applies once $n\ge |t|$, so $Q_n(t)\to f(t)$. This proves pointwise convergence; the same construction even gives uniform convergence on every closed interval.

False. If uniform convergence held, some polynomial $P_n$ would satisfy ${\sup }_{t\in \mathbb{R}}|P_n(t)-\sin t|<1$. Such a polynomial would be bounded on $\mathbb{R}$, hence constant: a nonconstant polynomial grows without bound in absolute value along a real half-line. For any constant $c$, however,a contradiction.