diff --git a/assets/tex/milne_ant/Chapters/8/3.tex b/assets/tex/milne_ant/Chapters/8/3.tex index dad5c75e67da..8984da566607 100644 --- a/assets/tex/milne_ant/Chapters/8/3.tex +++ b/assets/tex/milne_ant/Chapters/8/3.tex @@ -1,17 +1,48 @@ \mtexe{8.3} \begin{proof} + Let $f(x) = x^6+2x^5+3x^4+4x^3+5x^2+6x+7$. First, consider $f$ modulo 3. We can compute $f'(x) \equiv x^4+x \equiv x(x+1)^3 \pmod{3}$, and we can also compute $f(0) = 7$ and $f(-1) = 4$, neither of which is zero modulo $3$. Hence, $f$ will split into distinct irreducibles modulo 3, giving the form of a permutation in the Galois group. + To figure out the splitting, note that if $f$ is reducible, it has an irreducible factor of degree 1, 2, or 3. If $g$ is such an irreducible factor, then adjoining a root $\alpha$ of $g$ gives a field extension $\FF_{3^r}$, in which case $\alpha$ satisfies both $f$ and $x^{3^r}-x$, and so the minimal polynomial of $\alpha$ divides both of these. So, we should consider their greatest common divisor. For $r=1$, we have already seen that $0,2$ are not roots, so noticing that + \[ f(1) = 28 \not\equiv 0 \pmod{3} \] + shows that $\gcd(f,x^3-x) = 1$ in $\FF_3$. For $r=2$, we have + \begin{align*} + \gcd(f,x^9-x) + &= \gcd(f,(x^3-x)(x^6+x^4+x^2+1)) \\ + &= \gcd(x^6-x^5+x^3-x^2+1,x^6+x^4+x^2+1) \\ + &= \gcd(x^5+x^4-x^3-x^2,x^6+x^4+x^2+1) \\ + &= \gcd(x^2(x-1)(x+1)^2,x^6+x^4+x^2+1) \\ + &= 1 + \end{align*} + where the last line comes from evaluating the right-hand polynomial at $0,1,-1$. Finally, for $r=3$, notice first that + \[ x^8+x+1 = (x^6-x^5+x^3-x^2+1)(x^2+x+1) \] + So, $x^8 \equiv -x-1 \pmod{f}$. Hence, + \[ x^{26} - 1 \equiv (x^8)^3x^2 - 1 \equiv (-x-1)^3x^2-1 \equiv -x^5-x^2-1 \pmod{f} \] + This helps with computing the $\gcd$: + \begin{align*} + \gcd(f,x^{27}-x) + &= \gcd(f,x^{26}-1) \\ + &= \gcd(f,x^5+x+1) \\ + &= \gcd(f,(x-1)^2(x^3-x^2+1)) \\ + &= \gcd(x^6-x^5+x^3-x^2+1,x^3-x^2+1) \\ + &= \gcd(x^6-x^5,x^3-x^2+1) \\ + &= \gcd(x^5(x-1),x^3-x^2+1) \\ + &= 1 + \end{align*} + Hence, we must conclude that $f$ is irreducible in $\FF_3$. But then it is also irreducible in $\ZZ$, and so in $\QQ$. Further, we can conclude by Dedekind that the Galois group contains a $6$-cycle. \\ + + Now, we will consider $f$ modulo $13$. \end{proof} -f(x) = x^3 - 3x + 1 -f(0) = 1 -f(1) = -1 -f(2) = 3 -f(3) = 19 -f(4) = 53 - -mod 2: x(x-1)^2 -mod 3: (x+1)^3 -mod 5: x^3-3x+1 irred 3-cycle -... -mod 19: (x-3)(x+10)(x-7) identity +f(x) = x^6+2x^5+3x^4+4x^3+5x^2+6x+7 + + +mod 2: div by (x+1)^2 no conc +mod 3: x^6-x^5+x^3-x^2+1 +mod 5: +mod 7: x(x-1)^2(x^3+4x^2+3x+6) no conc + +x^6+2x^5+3x^4+4x^3+5x^2+6x+7 + + + + diff --git a/assets/tex/qingliu/Chapters/3/2/10.tex b/assets/tex/qingliu/Chapters/3/2/10.tex index 9f1ef092c347..40510cda3b1c 100644 --- a/assets/tex/qingliu/Chapters/3/2/10.tex +++ b/assets/tex/qingliu/Chapters/3/2/10.tex @@ -1,5 +1,23 @@ \mtexe{3.2.10} \begin{proof} Recall that we previously showed (exercise 2.3.20) that if $A$ is a ring, $G$ is a finite group of automorphisms of $A$, $A^G$ is the invariant subring, and $p : \Spec A \to \Spec A^G$ the morphism induced by $A^G \hookrightarrow A$, then $p(x_1) = p(x_2)$ if and only if there is a $\sigma \in G$ such that $\sigma(x_1) = x_2$. - In our case, $G$ is the Galois group of $K/k$ and $A = L \otimes_k K$; in order to show that $G$ acts transitively on $\Spec A$, it thus suffices to show that $p(x_1) = p(x_2)$ for any $x_1,x_2 \in A$. So, we should compute $A^G = (L \otimes_k K)^G$. Suppose that $\sum_i \ell_i \otimes r_i \in A^G$. + In our case, $G$ is the Galois group of $K/k$ and $A = L \otimes_k K$; in order to show that $G$ acts transitively on $\Spec A$, it thus suffices to show that $p(x_1) = p(x_2)$ for any $x_1,x_2 \in A$. So, we should compute $A^G = (L \otimes_k K)^G$. For this, consider the exact sequence + \[ 0 \to k \to K \xrightarrow{f} \prod_{\sigma \in G} K \] + of $k$-modules, where $f(a) = (\sigma(a)-a)_{\sigma \in G}$. Indeed, this is exact since the kernel of the nontrivial map is precisely those $a \in K$ such that $\sigma(a) = a$ for all $\sigma$; i.e. it is the fixed field of $K$ under $G$, which is $k$ by definition. Then, $L$ is a free $k$-module, hence a flat $k$-module, so tensoring gives the exact sequence + \[ 0 \to L \to K \otimes_k L \xrightarrow{f \otimes \id_L} \to \left(\prod_{\sigma \in G} K\right) \otimes_k L \] + So, $L$ is precisely the kernel of $f \otimes \id_L$. But this map acts exactly as $G$ does: for a simple tensor $a \otimes b \in K \otimes_k L$, we have $\sigma(a \otimes b) = \sigma(a) \otimes b = (\sigma \otimes \id_L)(a \otimes b)$, and so the kernel of $f \otimes \id_L$ is precisely the fixed subring of $K \otimes_k L$. Note that this proof only requires $L$ to be a $k$-module; nowhere did we use that it is a field. + + But now, we're done, since $p(x_1) = p(x_2)$ is the unique point of $\Spec L$ for any $x_1,x_2$ as above. \\ + + Note that the action of $G$ on $X_K$ is as follows: each element $\sigma \in G$ induces a map which we also denote $\sigma : \Spec K \to \Spec K$. Thus we get a double Cartesian diagram + \[ \begin{tikzcd} X_K \arrow[r, "f_\sigma"] \arrow[d] & X_K \arrow[r] \arrow[d] & X \arrow[d] \\ \Spec K \arrow[r, "\sigma"] & \Spec K \arrow[r] & \Spec k \end{tikzcd} \] + The map $f_\sigma$ is the action of $\sigma$ on $X_K$. This description makes it clear that, on points, each $f_\sigma$ is a homeomorphism with inverse $f_{\sigma^{-1}}$, and so carries irreducible components to irreducible components. So, it suffices to understand each $f_\sigma$ on generic points of $X_K$. + + First, let $\eta \in X$ denote its generic point. Then, I claim that each generic point of $X_K$ lies in the fiber over $\eta$. Indeed, let $\xi \in X_K$ be a generic point of some irreducible component of $X_K$, and let $\pi : X_K \to X$ denote the projection. Choose an affine neighborhood $\Spec A$ of $\pi(\xi)$ and an affine neighborhood $\Spec B$ of $\xi$ contained in $\pi^{-1}(\Spec A)$. Then $\eta \in \Spec A$ is the unique minimal prime, and $\xi \in \Spec B$ is one of its minimal primes. Note that $k \hookrightarrow K$ is free, hence flat, and that this is preserved by base change, so $A \to B$ is flat. So, this extension satisfies going down; in particular, $\pi(\xi)$ is a prime ideal in $\Spec A$, so it contains $\eta$, and if this containment were proper, we could find a prime ideal properly contained in $\xi$ that projects to $\eta$. But $\xi$ is minimal, so this cannot be. Hence, $\pi(\xi) = \eta$ as claimed. + + So now, we know that all generic points lie in the fiber $(X_K)_\eta$ over $\eta$, which can be constructed itself as a fiber product via the following diagram: + \[ \begin{tikzcd} (X_K)_\eta \arrow[r] \arrow[d] & \Spec k(\eta) \arrow[d] \\ X_K \arrow[r,"\pi"] \arrow[d] & X \arrow[d] \\ \Spec K \arrow[r] & \Spec k \end{tikzcd} \] + But this makes it clear that $(X_K)_\eta \cong \Spec(k(\eta)) \times_k \Spec K = \Spec(k(\eta) \otimes_k K)$, and the first part of this problem demonstrates that $G$ therefore acts transitively on it, as claimed. \\ + + Finally, \end{proof}