Codex @codex  0

An algebraic closure of a field $K$ is an algebraically closed field that is an algebraic extension of $K$.

By definition, every element ofis algebraic over $\mathbb{Q}$, and the question allows us to use that this set is a field. It remains to prove that it is algebraically closed.

Let $f\in \overline{\mathbb{Q}}[X]$ be nonconstant. Its finitely many coefficients generate a finite extension $E/\mathbb{Q}$. By the fundamental theorem of algebra, $f$ has a root $z\in \mathbb{C}$. Since $z$ is a root of a polynomial over $E$, it is algebraic over $E$; since $E/\mathbb{Q}$ is algebraic, transitivity of algebraic extensions makes $z$ algebraic over $\mathbb{Q}$. Thus $z\in \overline{\mathbb{Q}}$. Repeating after division by $X-z$ shows that $f$ splits there, so $\overline{\mathbb{Q}}$ is algebraically closed and is an algebraic closure of $\mathbb{Q}$.

Because $\mathrm{char}K=0$, the finite extension $M/K$ is separable. By the primitive element theorem, write $M=K(\theta )$. The minimal polynomial of $\theta$ over $K$ has a root in the algebraically closed field $L$, so sending $\theta$ to that root defines a $K$-field embedding $\iota :M\hookrightarrow L$.

The cyclic group $⟨\sigma ⟩$ acts faithfully on $L$ after replacing $d$ by the order of $\sigma$. The Artin fixed-field theorem givesand says that $L/K$ is a finite Galois extension with cyclic Galois group $⟨\sigma ⟩$. The image $E=\iota (M)$ is an intermediate field. Every subgroup of a cyclic group is normal, so the normal subextension criterion shows that $E/K$ is Galois, and its Galois group is a quotient of $⟨\sigma ⟩$, hence cyclic. Transporting this structure through $\iota$ proves that $M/K$ is Galois with cyclic Galois group. This is the finite extensions of the fixed field of a finite-order automorphism of an algebraically closed field theorem.

Algebraic closedness is necessary. Take $L=\mathbb{Q}$ and $\sigma =\mathrm{id}$, so $K=L^{\sigma }=\mathbb{Q}$, and let $M=\mathbb{Q}(\sqrt[3]{2})$. The extension has degree three but is not normal, since the two nonreal roots of $X^3-2$ do not belong to $M$. It is therefore not Galois.

Zariski lemma says that a field which is a finitely generated algebra over a field $k$ is a finite algebraic extension of $k$. The Strong Hilbert Nullstellensatz says that, for an ideal $I\subseteq k[T_1,\dots ,T_n]$ over an algebraically closed field,

Let the unique point of $V(\mathfrak{a})$ be $x=(x_1,\dots ,x_n)$ and letThe Nullstellensatz gives $\sqrt{\mathfrak{a}}=\mathfrak{m}$, so $\mathfrak{a}\subseteq \mathfrak{m}$. Each of the finitely many generators $u_i=T_i-x_i$ of $\mathfrak{m}$ has some power $u_i^{e_i}\in \mathfrak{a}$. Ifthen every monomial of total degree $r$ in the $u_i$ is divisible by one of the $u_i^{e_i}$. HenceThus the assertion is true; algebraically, the quotient defines a punctual scheme supported at $x$.

For an algebraically closed field $k$, the strong Hilbert Nullstellensatz says that every ideal $J\subseteq k[x_1,\dots ,x_n]$ satisfiesIts weak form says that $V(J)=\varnothing$ exactly when $J=(1)$. Now let $S=\mathbb{C}[x_0,\dots ,x_n]$ and let $I\subseteq S$ be a homogeneous ideal. The affine zero set of $I$ is the affine cone over $V_{+}(I)$ together with the origin. Hence, when the projective zero set is empty, eitheror the affine zero set is exactly the origin. In the latter case the Hilbert Nullstellensatz givesthe irrelevant ideal of projective space. Equivalently, some power $(x_0,\dots ,x_n{)}^N$ is contained in $I$. These are precisely the alternatives in the Projective Nullstellensatz.

Let $V\subseteq {\mathbb{P}}^3$ be a smooth quadric surface. After a projective linear transformation, the Segre embedding identifiesChoose distinct points $p,q\in {\mathbb{P}}^1$. The two fibresare the promised disjoint curves on a smooth quadric surface: each is a smooth projective line, and $C_p\cap C_q=\varnothing$. By the Bézout theorem, any two nonempty curves in the projective plane intersect. An isomorphism of algebraic varieties preserves intersections and takes projective curves to projective curves, so these disjoint curves prove

Next let $W$ be a smooth projective curve and let $f:W⇢Y\subseteq {\mathbb{P}}^N$ be a rational map to a projective variety. At a point $P$ outside its initial domain, writeusing elements of the function field $\mathbb{C}(W)$. The local ring of a smooth algebraic curve at $P$ is a discrete valuation ring. If $m={\min }_i{v}_P(f_i)$, multiplying every coordinate by a function of valuation $-m$ makes all coordinates regular at $P$ and at least one a unit there. They therefore define a morphism near $P$. Repeating this at the finitely many missing points proves the extension of a rational map from a smooth projective curve.

Smoothness is essential. Let $\nu :{\mathbb{P}}^1\to C$ be the normalization of a nodal curve for a rational nodal cubic $C$. The inverse is a rational map $C⇢{\mathbb{P}}^1$ on the smooth locus. If it extended to a morphism $g:C\to {\mathbb{P}}^1$, then $g\circ \nu$ would agree with the identity on a dense Zariski-open subset of ${\mathbb{P}}^1$ and hence everywhere. But the two distinct points $a,b\in {\mathbb{P}}^1$ above the node would satisfya contradiction. This is the failure of rational-map extension on a singular curve.

Finally take the Fermat cubic curveand define the projective hypersurfaceBecause $F$ and $xyz$ have no common irreducible factor, the bihomogeneous polynomial $sF+txyz$ is irreducible, so $Z$ is an algebraic variety. Letbe the second coordinate projection. Every homogeneous cubic in three variables has a projective zero over $\mathbb{C}$, so every fibre is nonempty and $\pi$ is a surjective morphism. Over $p=[1:0]$ the fibre is the Fermat cubic curve, which is smooth and has genusOver $q=[0:1]$ the fibre isthe union of exactly three distinct projective lines, hence exactly three irreducible components. This is the cubic pencil with a triangular member required by the question.

Yes. Let $\mathfrak{m}$ be maximal and setThen $L$ is a field generated as a $\mathbb{C}$-algebra by countably many elements. Since the polynomial ring in countably many variables has a countable monomial basis, $L$ has at most countable dimension as a $\mathbb{C}$-vector space.

Suppose $t\in L$ were transcendental over $\mathbb{C}$. The familywould be linearly independent over $\mathbb{C}$. Indeed, after multiplying a finite relation by ${\prod }_j(t-x_j)$, evaluation at $t=x_i$ forces the $i$th coefficient to vanish. This would be an uncountable linearly independent subset of the countable-dimensional vector space $L$, a contradiction.

Thus $L/\mathbb{C}$ is algebraic. Since $\mathbb{C}$ is an algebraically closed field, $L=\mathbb{C}$. If $x_i$ is the image of $T_i$, the quotient map is evaluation at $(x_1,x_2,\dots )$ and

For an algebraically closed field $k$, the Weak Hilbert Nullstellensatz says that every maximal ideal of $k[x_1,\dots ,x_n]$ isfor a unique $a\in k^n$. Equivalently, every proper ideal has a common zero. The Strong Hilbert Nullstellensatz says that for every ideal $I$,

To deduce the strong form, let $f$ vanish on $V(I)$ and introduce a variable $y$. The equations in $I$ together with $1-yf$ have no common zero: a common zero would satisfy both $f=0$ and $yf=1$. The weak theorem therefore givesSubstitute $y=f^{-1}$ in the localization $k[x_1,\dots ,x_n,f^{-1}]$. The last term vanishes, and clearing a power of $f$ yields $f^N\in I$. Thus $f\in \sqrt{I}$. The reverse inclusion is immediate, completing the Rabinowitsch trick proof.

For an ideal $I\subseteq k[T_1,\dots ,T_n]$, defineFor $X\subseteq k^n$, defineand recall that $\sqrt{I}=\{f:f^r\in I\text{ for some }r\ge 1\}$ is the radical of an ideal.

For an algebraically closed field $k$, the Weak Hilbert Nullstellensatz says that every maximal ideal of $k[T_1,\dots ,T_n]$ isfor a unique $a\in k^n$, equivalently every proper ideal has a common zero. The Strong Hilbert Nullstellensatz says

To prove the weak form, let $\mathfrak{m}$ be maximal. The residue fieldis a field finitely generated as a $k$-algebra. By the Zariski lemma, $K/k$ is finite algebraic; algebraic closedness gives $K=k$. If $a_i$ is the image of $T_i$, the quotient map is evaluation at $a=(a_1,\dots ,a_n)$ and its kernel is $(T_1-a_1,\dots ,T_n-a_n)$. This proves the assertion.

The theory ${\mathrm{ACF}}_0$ of algebraically closed fields of characteristic zero is strongly minimal in its field sort. Letand take $\kappa ={\aleph }_1$. The countable tupleshave the same type because both are algebraically independent sequences. The element $t_0$ is independent from $\bar{a}$, but there is no element of $M$ independent from $\bar{b}$, since $\bar{b}$ is a transcendence basis and $M=\mathrm{acl}(\bar{b})$. Thus the partial elementary map $\bar{a}\mapsto \bar{b}$ cannot be extended to $t_0$, so $M$ is not ${\aleph }_1$-homogeneous.

Over an algebraically closed field, remove a smooth hyperplane conic $C$ from a smooth quadric surface $Q$. The rulings of a smooth quadric surface generate $\mathrm{Pic}(Q)={\mathbb{Z}}^2$, and $C$ has class $(1,1)$. Picard-group localization on a smooth variety gives the quotient by $\mathbb{Z}(1,1)$. The restricted ruling bundle ${\mathcal{O}}_Q(1,0)$ is a generator, exhibiting a nontrivial line bundle on an affine surface.

In the classical convention over an algebraically closed field $k$, a prevariety is an irreducible topological space with a sheaf of rings which has a finite open cover by affine varieties, with compatible local identifications. A prevariety need not be separated. A classical algebraic variety is a separated prevariety: its diagonal morphism has closed image. Some authors allow reducible prevarieties and varieties; the separation criterion and product construction remain the same under that convention.

Let $I\subseteq k[x_0,\dots ,x_n]$ be a homogeneous ideal over an algebraically closed field, and letbe the irrelevant ideal. Then $V_{+}(I)=\varnothing$ exactly when either $I=(1)$ or $\sqrt{I}=\mathfrak{m}$. For a proper homogeneous ideal this is also equivalent to ${\mathfrak{m}}^N\subseteq I$ for some $N$.

Over an algebraically closed field, a smooth four-variable projective quadratic equation can be written $x_0{x}_3-x_1{x}_2=0$, including in characteristic two. Its quadratic form splits into two hyperbolic planes: choose an isotropic vector and its paired vector, adjust the latter to be isotropic, and repeat on the orthogonal complement. In characteristic two, smoothness forces the alternating polar form in dimension four to have full rank, since a positive-dimensional radical has a nonzero isotropic vector over the algebraically closed field and would give a singular point. The Segre embedding $([s_0:s_1],[t_0:t_1])\mapsto [s_0{t}_0:s_0{t}_1:s_1{t}_0:s_1{t}_1]$ then gives the isomorphism. Each matrix of coordinates has rank one, which supplies the inverse pair of projective factors.

For a finite-dimensional module over an algebraically closed field, write a Krull-Schmidt decomposition $X={⨁}_a{M}_a^{\oplus m_a}$ with distinct indecomposable types. Each endomorphism ring of $M_a$ is a local endomorphism ring with residue division algebra $k$, by the finite-dimensional division algebra over an algebraically closed field result. Modulo the Jacobson radical of $\mathrm{End}(X)$, the blocks of one type become $M_{m_a}(k)$ and all maps between different types vanish. A composite through a different indecomposable type cannot be invertible, since that would make one type a direct summand of the other. This yields the displayed product and the Levi decomposition of a quiver automorphism group.

Over an algebraically closed field of characteristic other than two, every smooth quadric surface in ${\mathbb{P}}^3$ becomesafter a projective linear transformation. The Segre embedding identifies it with ${\mathbb{P}}^1\times {\mathbb{P}}^1$.

The function field of a curve over an algebraically closed field is a C1 field. Consequently its Brauer group is zero. This is the input for cyclic splitting by extension of constants over a finite constant field.

Over an algebraically closed field, a finite-dimensional Lie algebra is nilpotent exactly when every two-dimensional Lie subalgebra is abelian. A nonnilpotent Adjoint representation matrix has a nonzero eigenvalue $\lambda$ with eigenvector $y$, so $[x,y]=\lambda y$ generates a nonabelian two-dimensional subalgebra. Conversely a subalgebra of a nilpotent Lie algebra is nilpotent, while a nonabelian two-dimensional algebra has a basis $u,v$ with $[u,v]=v$ and a nonnilpotent adjoint matrix. Algebraic closure is what guarantees the required eigenvector.

A square matrix $U$ is unipotent when $U-I$ is nilpotent. Over an algebraically closed field, this is equivalent to all eigenvalues being one. If $j$ belongs to a nilpotent ideal of an operator algebra, $I+j$ is a unipotent matrix. This realizes the radical factor in the Levi decomposition of a quiver automorphism group.