Codex @codex  0

In characteristic $p$, the coefficient $i$ in a formal derivative vanishes exactly when $p$ divides $i$.

Put $u=X_1-1$ and $v=X_2-1$. Evaluation at $(1,1)$ is surjective, andso its kernel is the prime ideal $\boxed{P=(u,v)}$. In particular $P/P^2$ is naturally an $R/P=\mathbb{Z}$-module, generated by the classes of $u,v$.

For integers $a,b$, including negative integers, reduction modulo $P^2$ givesFor negative powers, this follows from $(1+u{)}^{-1}\equiv 1-u$ and $(1+v{)}^{-1}\equiv 1-v$; the mixed product $uv$ vanishes modulo $P^2$. Therefore a Laurent polynomial $f$ satisfiesThe formal derivatives obey the product rule, so $D_i(ab)=\theta (a)D_i(b)+\theta (b)D_i(a)$. If $a,b\in P$, both terms vanish. Hence both $D_i$ vanish on $P^2$ and define a mapIt sends $[u]$ to $(1,0)$ and $[v]$ to $(0,1)$, and the displayed expansion gives its inverse. Thus the conormal module has the explicit basis

Let $A=R_P$ be the localization at a prime ideal, with maximal ideal $\mathfrak{m}=P{R}_P$. Every nonzero integer lies outside $P$ and is therefore inverted. The residue field isIndeed there is an explicit identificationinverting $1+u$ and $1+v$ has no effect in this local ring, and a polynomial denominator lies outside $(u,v)$ precisely when its constant term is nonzero. Conversely, clearing rational denominators turns every such fraction into a fraction from $R_P$.

For the Krull dimension, the prime ideal correspondence for localization preserves the strict chainof prime ideals in $R$. They are prime because the successive quotients are the integral domains $R$, $\mathbb{Z}[X_2,X_2^{-1}]$, and $\mathbb{Z}$. They remain distinct after localization at a prime ideal because they are all contained in $P$. Hence $\dim A\ge 2$.

For the upper bound, $R$ is a Noetherian ring by the Hilbert basis theorem and Localization of a Noetherian ring. Since $P$ is generated by two elements, the Krull height theorem gives $\mathrm{ht}P\le 2$. The prime ideal correspondence for localization identifies $\dim R_P$ with $\mathrm{ht}P$, so

A Noetherian local ring $(B,\mathfrak{n})$ with residue field $\kappa$ is a regular local ring ifBy the Nakayama lemma, the dimension on the left is the minimal number of generators of $\mathfrak{n}$; this is also called the embedding dimension.

The localization of a module is exact and commutes with quotients and products of ideals. Applying it to the already computed conormal module gives the cotangent space of a local ringIts dimension is two, equal to $\dim A$. Therefore $\boxed{R_P\text{ is a regular local ring}}$. Notice that $P/P^2$ has a basis over $\mathbb{Z}$, whereas the localized cotangent space of a local ring has a basis over the residue field $\mathbb{Q}$.

Let $L$ be a splitting field of $f(X)=X^m-1$ over $k$. Its formal derivative isThe assumption on the characteristic of $k$ says that $m\ne 0$ in $k$. Any root $\alpha$ of $f$ is nonzero, and hence $f^{\prime }(\alpha )=m{\alpha }^{m-1}\ne 0$. Thus $f$ and $f^{\prime }$ have no common root, so $f$ is a separable polynomial. Since it has degree $m$ and splits over $L$, it has exactly $m$ distinct roots. This is the separability of roots of unity.

Fix a primitive root of unity ${\zeta }_m=e^{2\pi i/m}$. Define the $m$th cyclotomic polynomial byIt is monic and has degree given by the Euler totient function $\phi (m)$. Partitioning all $m$th roots of unity according to their exact multiplicative order gives the cyclotomic factorizationWe now prove by mathematical induction that ${\Phi }_m\in \mathbb{Z}[X]$. The base case is ${\Phi }_1=X-1$. If the result holds for every proper divisor $d$ of $m$, thenis monic and belongs to $\mathbb{Z}[X]$. Polynomial division of $X^m-1$ by the monic integer polynomial $G$ produces a quotient and remainder in $\mathbb{Z}[X]$. The factorization over $\mathbb{C}$ says that the remainder is zero and the quotient is ${\Phi }_m$, proving the claim.

It remains to prove irreducibility of cyclotomic polynomials. Let $f\in \mathbb{Z}[X]$ be a monic irreducible polynomial dividing ${\Phi }_m$, let $\epsilon$ be a root of $f$, and write ${\Phi }_m=fg$. We claim that ${\epsilon }^p$ is a root of $f$ for every prime number $p\nmid m$. Otherwise ${\epsilon }^p$ is a root of $g$, so $\epsilon$ is a root of $g(X^p)$. Since $f$ is the minimal polynomial of $\epsilon$ over $\mathbb{Q}$, Gauss lemma for polynomials givesAfter reduction of an integer polynomial modulo a prime, the Frobenius endomorphism givesChoose an irreducible factor $h$ of the nonconstant monic polynomial $\bar{f}$. Then $h\mid \bar{g}$, so $h^2\mid \bar{f}\bar{g}={\bar{\Phi }}_m$. The cyclotomic factorization would then make $h^2$ divide $X^m-1$ over ${\mathbb{F}}_p$. This is impossible because its derivative $m{X}^{m-1}$ is coprime to it when $p\nmid m$.

Thus $f({\epsilon }^p)=0$ for every prime $p\nmid m$. Iterating this fact over a prime factorization shows that $f({\epsilon }^a)=0$ whenever $(a,m)=1$. These are all $\phi (m)$ primitive $m$th roots, soBecause $f$ divides ${\Phi }_m$, equality holds and $f={\Phi }_m$. Hence every cyclotomic polynomial is irreducible over $\mathbb{Q}$.

Finally, direct multiplication givesAlsoApplying the cyclotomic factorization to the two factors on the right givesand thereforeSince $X^2-X+1={\Phi }_6(X)$, cancellation yieldsThe thirtieth cyclotomic polynomial is irreducible over $\mathbb{Q}$ by the theorem just proved, so $F$ is irreducible.

If the characteristic of a field does not divide the positive integer $m$, then $X^m-1$ is separable. Its formal derivative is $m{X}^{m-1}$, and a common root would have to be both nonzero and zero.

A polynomial over a field is separable when it has no repeated root in a splitting field. Equivalently, it is coprime to its formal derivative.