Codex @codex  0

Throughout, modules are finite-dimensional over $k$, or finitely generated $\mathcal{O}$-free lattices when the coefficient ring is $\mathcal{O}$. The p-modular system has a complete discrete valuation ring $\mathcal{O}$, maximal ideal $(\pi )$, fraction field $K$ of characteristic zero and residue field $k$ of characteristic $p$.

A block of a group algebra is a nonzero, indecomposable two-sided ideal direct summand of $A=RG$. Equivalently it is $Ae$ for a primitive central idempotent $e$. To see the equivalence, suppose $A=B\oplus C$ as two-sided ideals and write $1=e+f$ with $e\in B$, $f\in C$. Products between $B$ and $C$ vanish because they lie in their zero intersection. Thus $e$ is the identity on $B$, zero on $C$, and is a central idempotent, with $B=Ae$. Conversely $A=Ae\oplus A(1-e)$. Splitting $Ae$ further is equivalent to splitting $e$ into orthogonal nonzero central idempotents; indecomposability is exactly primitivity. If $1=\sum e_i$ is the block decomposition, $M=⨁e_{i}M$. A nonzero indecomposable module therefore belongs to exactly one block of a group algebra, namely the one with $e_{i}M=M$.

For modular reduction of block idempotents, the conjugacy class sums are an $R$-basis of $Z(RG)$. Hence $Z(\mathcal{O}G)/\pi Z(\mathcal{O}G)\cong Z(kG)$. In the complete commutative algebra $Z(\mathcal{O}G)$, idempotent lifting gives a unique lift of each idempotent of $Z(kG)$; uniqueness follows because commuting idempotents congruent modulo the Jacobson radical are equal. Orthogonal decompositions lift too, so primitivity is preserved. Reduction gives a bijection between the integral and modular blocks.

Here is a definition of defect groups of a block which also proves the required relative-projectivity assertion. Give $RG$ its conjugation action and, for $H\le G$, define the relative trace and its transfer ideal of conjugation-fixed elements byA defect group of a block $RGe$ is a $p$-subgroup $D$ minimal with $e\in I_D$. Such a subgroup exists: for a Sylow subgroup $P$, $[G:P]$ is a unit in $R$ and $e={\mathrm{Tr}}_P^G(e/[G:P])$. The defect of a block is $d$ where $|D|=p^d$.

For completeness, this definition is independent of a choice up to conjugacy. Multiplying two relative traces and grouping the pairs of cosets by double cosets givesThis identity follows by writing each pair of cosets as a simultaneous $G$-orbit; its stabilizer is $D\cap {}^{g}E$, and its contribution is a trace from that stabilizer. If $D,E$ are both minimal for $e$, then $e=e^2$ belongs to the displayed sum. The commutative block center $eZ(RG)$ is a local ring: in the field case it is a commutative Artinian ring with no nontrivial idempotents; in the integral case its reduction has this property and completeness detects units. A sum of proper ideals cannot contain its identity. Consequently $e\in I_{D\cap {}^{g}E}$ for some $g$, forcing $D={}^{g}E$ by minimality. The same argument with an arbitrary $E$ shows that $e\in I_E$ precisely when $E$ contains a conjugate of $D$. This is the trace criterion for defect groups.

To relate this to the usual modular definition, the Brauer morphism deletes the coefficients outside the centralizer:It is an algebra homomorphism: in the coefficient of an element centralizing $P$ in a product, $P$ acts on the contributing pairs; nonfixed orbits have size divisible by $p$, while fixed pairs have both entries in $C_G(P)$. Its kernel is the sum of proper-subgroup transfers, because the nonfixed conjugation orbit sums form a basis of that kernel. If $D$ is minimal for $e={\mathrm{Tr}}_D^G(a)$ and ${\mathrm{Br}}_D(e)=0$, replace $a$ by $ea$. The kernel description gives $e\in {\sum }_{Q<D}{I}_Q$, contradicting the local-center argument. Also ${\mathrm{Br}}_P(I_D)=0$ unless $P$ is conjugate into $D$: group the cosets of $G/D$ into $P$-orbits, which have no fixed point otherwise. Thus the minimal transfer subgroups are exactly the maximal $p$-subgroups with nonzero Brauer morphism of $e$.

Now take $M=eM$ and write $e={\mathrm{Tr}}_D^G(a)$. Multiplication by $a$ is a $D$-linear endomorphism $\alpha$ of $M$, andHere is the splitting behind the D. Higman criterion. The natural map $\epsilon :RG{\otimes }_{RD}M\to M$, $g\otimes m\mapsto gm$, has a $G$-linear sectionChanging a representative by an element of $D$ leaves this tensor unchanged, $G$ permutes the terms, and $\epsilon s={\mathrm{id}}_M$. HenceThis is relative projectivity for $D$, proving the Green relative projectivity theorem; indecomposability was needed only to speak of a single block of a group algebra or vertex of an indecomposable module.

Finally let $\hat{e}$ lift $e$. A trace expression for $\hat{e}$ reduces to one for $e$, so a modular defect group of a block is contained, up to conjugacy, in an integral one. Conversely choose a modular defect group $D$ and $a\in (kG{)}^D$ with $e={\mathrm{Tr}}_D^G(a)$. Conjugation orbit sums lift $a$ to $\hat{a}\in (\mathcal{O}G{)}^D$. The elementreduces to its block identity, hence is a unit in that block center. Its inverse there is central, soThe integral defect is therefore contained in the modular one. The corresponding blocks have the same conjugacy class of defect groups and the same defect.

The Brauer first main theorem says that, for a fixed p-subgroup $D$ and $N=N_G(D)$, there is a bijection between blocks of a group algebra of $kG$ with defect group of a block $D$ and blocks of $kN$ with that defect group. Correspondents have the same nonzero image under ${\mathrm{Br}}_D$. The integral version follows by modular reduction of block idempotents.

Here is a proof using relative traces. Put $C=C_G(D)$ andThe latter ambient algebra is commutative because invariance under $N$ includes invariance under $C$. The Brauer morphism and relative trace identity isIndeed $D$ acts on $G/D$. Its fixed cosets are exactly $N/D$. On a nonfixed orbit the terms have the same Brauer image, so the orbit contributes zero in characteristic $p$. The fixed cosets give the right-hand side. Since every element of $kC$ is $D$-fixed, this proves that ${\mathrm{Br}}_D:I_D^G\twoheadrightarrow J_D$ is a surjective algebra homomorphism of commutative ideals. The same argument for $N$ has exactly the same target.

We use the following elementary fact about primitive idempotents under a surjection of commutative Artinian ideals. Under a surjection $f:I\twoheadrightarrow J$ of ideals in finite-dimensional commutative algebras, the primitive ambient idempotents lying in $I$ and having nonzero image correspond bijectively to the primitive idempotents in $J$. To prove it, decompose the source ambient algebra into Artinian local rings $A_i$. Either $I\cap A_i=A_i$, or it is a proper, hence nilpotent, ideal. Proper components contribute no idempotents to the image. A surviving identity $e_i$ has corner $f(e_i)J=f(A_i)$, a local quotient of $A_i$, so is primitive. The surviving identities are orthogonal and exhaust the idempotents of the target. Notice that this proof does not assert that the whole kernel is nilpotent: it can kill entire block components.

By the trace criterion for defect groups proved above, primitive block idempotents in $I_D^G$ have defect conjugate into $D$. Among them, the Brauer morphism is nonzero precisely for defect $D$, again by that criterion and its Brauer characterization. The identical reasoning applies to $I_D^N$. Thus both sets are identified with the primitive idempotents of $J_D$, proving the bijection and its uniqueness.

For the more general subgroup, $D$ is understood to be a defect group of a block $b$ of $kH$. This is the implicit hypothesis needed to apply the theorem; it is not repeated in the printed sentence. Without it the printed uniqueness assertion is false: take $G=A_5$, $H=A_4$, $p=3$ and $D=C_3$. The centralizer of $D$ in $A_5$ is $D$, but the unique three-dimensional defect-zero block of $k{A}_4$ is the bimodule restriction of each of the two three-dimensional defect-zero blocks of $k{A}_5$. The two ordinary degree-three characters both restrict to the degree-three character of $A_4$, with values $3,-1,0$ on its identity, involutions and elements of order three. Defect-zero reduction gives the same simple projective $k{A}_4$-module, so both restricted block bimodules are this same matrix block. This illustrates why block induction requires the block's defect centralizer. Write $e_b$ for its block idempotent and $K=N_H(D)$. Since $D{C}_G(D)\le H$, we have $D{C}_G(D)\le K\le N_G(D)$. Apply the theorem inside $H$ to obtain the unique corresponding block $\beta$ of $kK$. Its center of an associative algebra has a residue field $F_{\beta }$, and the quotient map is its central character of a block ${\omega }_{\beta }:Z(kK)\to F_{\beta }$. No assumption that $k$ is algebraically closed is needed here. DefineThe Brauer image is in $(k{C}_G(D){)}^{N_G(D)}\subseteq Z(kK)$, so this is a unital algebra homomorphism. Among the orthogonal primitive central idempotents of $kG$, exactly one has image $1$. The block it selects is $b^G$. If $H$ contains $N_G(D)$ this is the inverse of the bijection just proved. For arbitrary $H$, the resulting block can have a strictly larger defect group. Block induction is transitive on admissible intermediate subgroups. For the normalizer chain used in the proof below, the required transitivity will be verified directly with Brauer images.

To prove the bimodule characterization, we explicitly state the standard permutation-module fact used here. For a permutation module, the Brauer quotient of a module at $P$ has as basis the permutation-basis points fixed by $P$. An indecomposable summand has nonzero quotient at $P$ exactly when its vertex of an indecomposable module contains a conjugate of $P$. For summands with vertex exactly $P$, taking this quotient, with its $N(P)/P$-action, detects the summand and detects which orthogonal idempotent projection acts as its identity. These facts hold for trivial source modules; the fixed-basis description follows by deleting proper transfers, and the detection assertion is the permutation form of the first-main-theorem argument, applied to their endomorphism algebra.

As an $H\times H$ permutation module, with $(h_1,h_2)g=h_{1}g{h}_2^{-1}$, the group algebra decomposes asThe block bimodule $b$ is an indecomposable module with vertex of an indecomposable module $\Delta D=\{(d,d):d\in D\}$. None of the other double-coset modules can contain $b$: a basis element fixed by $\Delta D$ centralizes $D$, hence lies in $C_G(D)\subseteq H$, whereas those double cosets lie outside $H$. Thus $b$ occurs exactly once as an indecomposable summand of this restriction, in the $kH$ term. Decomposing $kG$ into its global block bimodules therefore puts this occurrence in precisely one of them, say $B$.

Under the fixed-basis description, the quotient of $kG$ at $\Delta D$ is $k{C}_G(D)$, and multiplication by $e_B$ induces multiplication by ${\mathrm{Br}}_D(e_B)$. The quotient of $b$ is ${\mathrm{Br}}_D^H(e_b)k{C}_G(D)=e_{\beta }k{C}_G(D)$. Consequently the detecting projection for this occurrence of $b$ satisfieswhich is equivalent to ${\omega }_b^G(e_B)=1$. Thus $B=b^G$, proving the requested unique-block direct-summand characterization. Here the restriction is to $H\times H$; the extra subscript in the converted TeX is a transcription error, not a different subgroup.

The objective is a continuous faithful representation of a uniform pro-p group $G$ in some ${\mathrm{GL}}_N({\mathbb{Z}}_p)$. The proof proceeds from the intrinsic Lie lattice to a small matrix group, then extends the resulting representation to all of $G$. This last step matters: a representation defined only on an open subgroup does not yet establish linearity of the original group.

Let $L=L_G$ be the Lie algebra of a uniform pro-p group and put $\mathfrak{g}={\mathbb{Q}}_p{\otimes }_{{\mathbb{Z}}_p}L$. The uniform-group/Lie-lattice correspondence identifies the group law on $L$ with BCH. The substantial finite-dimensional Lie-theoretic input is the Ado theorem: every finite-dimensional Lie algebra over a characteristic-zero field admits a faithful finite-dimensional representation. Apply it to obtainAn Adjoint representation would not suffice here, since it kills the centre; Ado supplies injectivity even in central directions.

Choose a p-adic lattice $\Lambda$ spanning $V$. Since $L$ has finitely many lattice generators, their representing matrices have bounded denominators. There is therefore an integer $a\ge 0$ such thatOn this matrix lattice the series $\exp X={\sum }_{n\ge 0}{X}^n/n!$ and $\log (1+Y)={\sum }_{n\ge 1}(-1{)}^{n+1}{Y}^n/n$ converge and are inverse. For example $v_p(n!)\le n/(p-1)$, so the valuations of the exponential terms tend to infinity with this choice of $ϵ$; the logarithm terms do as well. They take values in $1+p^{ϵ}\mathrm{End}(\Lambda )$ and in $p^{ϵ}\mathrm{End}(\Lambda )$ respectively. The formal identity $\exp (\mathrm{BCH}(X,Y))=\exp X\exp Y$ holds for the convergent series.

Under the correspondence, $U=G^{p^a}$ has Lie lattice $p^{a}L$ and is an open characteristic subgroup. Definewhere ${\log }_G$ denotes the identification of $U$ with $p^{a}L$. A Lie homomorphism preserves BCH, so the exponential identity proves $\eta (uv)=\eta (u)\eta (v)$. If $\eta (u)=I$, the matrix logarithm gives $\rho ({\log }_{G}u)=0$; faithfulness of $\rho$ gives $u=1$. Thus $\eta$ is a continuous faithful integral representation of $U$.

To extend it, take the moduleValues on a transversal of $U\backslash G$ determine $f$, so $W$ is a free module over ${\mathbb{Z}}_p$ of rank $[G:U]\dim V$. These functions are continuous, since on each open coset they are given by the continuous representation $\eta$. Define $(T_{g}f)(x)=f(xg)$. The equivariance condition is preserved, and $T_g{T}_h=T_{gh}$. In a transversal basis each $T_g$ is a permutation of blocks followed by matrices from $\eta (U)$, so it belongs to $\mathrm{GL}(W)$ and depends continuously on $g$.

Faithfulness can be checked directly. If $g\notin U$, right multiplication moves the coset $U$ to a different coset, so $T_g$ moves a function supported on one block and cannot be the identity. If $g\in U$ and $T_g=1$, evaluation at $1$ gives $f(g)=f(1)$ for every $f$, whereas equivariance gives $f(g)=\eta (g)f(1)$. Since $f(1)$ is arbitrary, $\eta (g)=I$, and hence $g=1$. ThereforeCompactness of $G$ makes this continuous injection a homeomorphism onto its closed image. This proves the linearity of a uniform pro-p group for the full group, including its centre, and explains why taking a sufficiently small power lattice permits matrix integration before finite-index induction restores the whole group.

Write $k={\mathbb{F}}_p$. The Nottingham group $\mathcal{N}$ is the set of formal series $f(t)=t+{\sum }_{i\ge 2}{a}_i{t}^i$ over $k$, with ordinary composition $f\circ g$ as multiplication and the $t$-adic topology. The identity is $t$. A compositional inverse exists uniquely by solving its coefficients successively, since the linear coefficient is $1$.

Equivalently $\mathcal{N}$ is the group of continuous $k$-automorphisms of $k((t))$ whose action on $(t)/(t^2)$ is the identity. Such an automorphism is determined by the image of $t$, which is $t+O(t^2)$. To identify this with ordinary series composition without reversing multiplication, send $f$ to the automorphism $h(t)\mapsto h(f^{-1}(t))$. Its composite with the automorphism for $g$ is the one for $f\circ g$.

The depth filtration isEach ${\mathcal{N}}_m$ is open and normal, and the coefficient of $t^{m+1}$ identifies ${\mathcal{N}}_m/{\mathcal{N}}_{m+1}$ with $(k,+)$. Thus $[\mathcal{N}:{\mathcal{N}}_m]=p^{m-1}$, and $\mathcal{N}$ is the inverse limit of its finite p-group truncations.

Here is a local-field proof that every finite p-group embeds in $\mathcal{N}$. We first establish the realization step rather than assume the Nottingham embedding itself. Put $F=k((t))$ and $\Gamma =\mathrm{Gal}(F^{\mathrm{sep}}/F)$, and let $I⊴\Gamma$ be the inertia subgroup, the group homomorphism kernel of the action on the algebraic closure of the residue field. We use the standard additive normal basis theorem consequence $H^j(\Gamma ,F^{\mathrm{sep}})=0$ for $j>0$. It follows by taking direct limits of the finite-Galois normal-basis modules, whose additive cohomology vanishes. The Artin-Schreier sequencethen givesThe classes $t^{-m}$ for positive $m$ prime to $p$ are linearly independent: a nonzero finite linear combination has a most negative valuation prime to $p$, whereas a negative valuation of $z^p-z$ is divisible by $p$. Thus there are infinitely many independent continuous characters $\Gamma \to C_p$.

Induct on the order of a finite p-group $E$. Choose a central subgroup $C\cong C_p$ and put $Q=E/C$. By induction there is an onto map $\varphi :\Gamma \to Q$ with $\varphi (I)=Q$, corresponding to a totally ramified $Q$-extension. The central extension $1\to C\to E\to Q\to 1$ is specified by a two-cocycle. Its pullback along $\varphi$ is a coboundary because $H^2(\Gamma ,{\mathbb{F}}_p)=0$. Correcting a set-theoretic section by that coboundary gives a continuous homomorphism ${\rho }_0:\Gamma \to E$ lifting $\varphi$.

We must make the lift onto on inertia, not merely onto on the whole Galois group. Let $A=I\cap \ker \varphi$. On $A$, the lift ${\rho }_0$ takes values in $C$. Characters vanishing on $A$ form a finite-dimensional space: $\Gamma /A$ has a finite subgroup $I/A\cong Q$ and procyclic quotient $\Gamma /I\cong \hat{\mathbb{Z}}$, so a character is determined by finitely many values on generators of these two pieces. The infinite-dimensional character space therefore has infinitely many distinct restrictions to $A$. Choose a character $\chi :\Gamma \to C$ whose restriction to $A$ does not cancel ${\rho }_0{|}_A$, and set $\rho (\gamma )=\chi (\gamma ){\rho }_0(\gamma )$. Centrality of $C$ makes this another homomorphism lifting $\varphi$. Its image on $A$ is nontrivial and hence all of $C$, while its image on $I$ maps onto $Q$. Therefore $\rho (I)=E$. The fixed field of $\ker \rho$ is the required totally ramified finite Galois extension $K/F$ with group $E$. This proves the realization step for every finite p-group.

Since the residue field of $K$ is still $k$, choosing a uniformizer $u$ identifies $K$ with $k((u))$. Indeed successive subtraction of its residue coefficient and division by $u$ gives each element of its valuation ring a unique convergent expansion ${\sum }_{i\ge 0}{b}_i{u}^i$ with $b_i\in k$, and fractions give the Laurent expansions. Each element of $E$ preserves the valuation and fixes $k$, so sends $u$ to $a_{1}u+a_2{u}^2+\cdots$. The linear coefficient is a homomorphism $E\to k^{\times }$. Since $E$ is a $p$-group and $|k^{\times }|=p-1$, that homomorphism is trivial. Thus the faithful Galois action lies in $\mathcal{N}(k)$, completing the embedding proof.

An infinite profinite group is hereditarily just infinite when every open subgroup is infinite and every nontrivial closed normal subgroup of each such open subgroup is open. We sketch the normal-subgroup argument, giving the depth calculation in odd characteristic explicitly. For series of depths $r,s$,where $[f,g]=f^{-1}\circ g^{-1}\circ f\circ g$. The coefficient follows by comparing $f\circ g$ and $g\circ f$ in degree $r+s+1$: their cross terms are $ab(r+1)$ and $ab(s+1)$.

Let $H$ be open and $1\ne K⊴H$ closed. Choose $m$ with ${\mathcal{N}}_m\le H$ and choose $f\in K$ of depth $r$. For every $j\ge m$ with $j\not\equiv r(\mathrm{mod}p)$, commutation with $t+b{t}^{j+1}$ supplies an element of $K$ of depth $r+j$, with any prescribed nonzero leading coefficient by varying $b$. Thus every sufficiently high layer except possibly depths congruent to $2r$ modulo $p$ occurs in $K$.

When $p$ is odd, choose one available depth $u\ge r+m$ with $u\not\equiv 2r,r(\mathrm{mod}p)$. Such a residue exists even for $p=3$. An element $h\in K$ of that depth can be commuted with $t+b{t}^{k-u+1}$ for every sufficiently large missing depth $k\equiv 2r(\mathrm{mod}p)$. The new leading coefficient contains $2u-k\equiv 2(u-r)\ne 0$, so those missing layers occur too. Hence $K$ contains an element with any chosen coefficient in every depth $k\ge M$, for some $M$.

Successive coefficient correction now proves ${\mathcal{N}}_M\le K$: match the coefficient of an arbitrary target in depth $M$ by an element of $K$, correct the error in depth $M+1$, and continue. The partial products converge $t$-adically to the target and remain in $K$, which is closed. Thus $K$ is open. This proves hereditary just infiniteness for odd $p$.

For characteristic two, the leading coefficient alone misses even depths. The standard characteristic-two normal-closure collection lemma supplies the needed extra input: for every $m\ge 1$ and every nonidentity $f\in \mathcal{N}({\mathbb{F}}_2)$, the closed subgroup generated by the conjugates $f^g$ with $g\in {\mathcal{N}}_m$ contains ${\mathcal{N}}_M$ for some $M$. Its proof retains the next coefficients in pairs of group commutators to fill the parity gaps, then uses the same successive coefficient correction. Apply this lemma to $f\in K$ and ${\mathcal{N}}_m\le H$: every such conjugate lies in $K$, so $K$ contains the tail and is open. This states the additional collection result used in the characteristic-two sketch; the odd-prime leading-term argument is not being applied there. Since every open subgroup contains a tail and is infinite, the Nottingham group is hereditarily just infinite for every prime $p$.

For a commutative ring $R$ and a multiplicative subset $S$ containing $1$, the universal property of localization specifies a pair $(R_S,\iota )$ with $\iota :R\to R_S$ a unital ring homomorphism, such that every $\iota (s)$, $s\in S$, is a unit, and any unital ring homomorphism $f:R\to T$ into a commutative ring that sends $S$ to units factors uniquely through $\iota$. Thus there is a unique $\tilde{f}:R_S\to T$ satisfying $\tilde{f}\iota =f$. The property determines the pair up to a unique compatible isomorphism.

For existence, take pairs $(r,s)\in R\times S$ and declareThe extra multiplier is essential when $R$ has zero divisors. This is an equivalence relation: for transitivity, multiply the two cross-multiplication equations by appropriate denominators and add them, using the product of their annihilating multipliers. Write the class as $r/s$ and defineMultiplying the defining equivalence equations verifies that these operations are well defined. They give a commutative ring, and $s/1$ has inverse $1/s$. The required map is necessarilyIt is well defined because applying $f$ to $u(s^{\prime }r-s{r}^{\prime })=0$ and cancelling the units $f(u),f(s),f(s^{\prime })$ equates the two images. Its addition and multiplication laws follow directly from the fraction formulas. This establishes existence and the universal property of localization. If $0\in S$, this construction gives the zero ring, which is allowed as a localization.

For a prime ideal $P$, its complement $S=R\setminus P$ is multiplicatively closed, and localization at a prime ideal means $R_P=S^{-1}R$. The mapis well defined and surjective, with kernel of a ring homomorphism $P{R}_P$: a numerator has zero image exactly when it belongs to $P$. Since $R/P$ is an integral domain, its field of fractions is a nonzero field, so $P{R}_P$ is a proper maximal ideal. Every fraction $r/s$ with $r\notin P$ is a unit, with inverse $s/r$. Every fraction with $r\in P$ belongs to this proper ideal and cannot be a unit. Thus the nonunits are exactly $P{R}_P$, and every proper ideal lies within it. ConsequentlyNow suppose each $R_P$ is reduced. If $x\in R$ is nilpotent, its image $x/1$ is nilpotent in every $R_P$, hence is zero. If $x\ne 0$, its annihilator ${\mathrm{Ann}}_R(x)$ is a proper ideal, so choose a maximal ideal $P$ containing it. Maximal ideals in a commutative ring are prime ideals. The vanishing criterion in a module localization would give $sx=0$ for some $s\notin P$. But then $s\in {\mathrm{Ann}}_R(x)\subseteq P$, a contradiction. Hence $R$ is reduced. This is reducedness is detected by prime localizations; no finiteness hypothesis is needed.

The stronger local-domain condition does not force $R$ to be an integral domain. Take $R=k\times k$ for a field $k$. Its only prime ideals are $P_1=0\times k$ and $P_2=k\times 0$: a prime ideal must contain one of the orthogonal idempotents $(1,0)$ and $(0,1)$, and the remaining quotient is the field $k$. At $P_1$, inverting $(1,0)$ kills the second component, so $R_{P_1}\cong k$; similarly $R_{P_2}\cong k$. Both localizations are integral domains, butis a product of nonzero elements in $R$. Therefore the answer is no, as illustrated by domain prime localizations do not imply a domain.

Since $M$ is a finitely generated module, choose a surjection from a finite free module, $F_0\twoheadrightarrow M$. A finite free module over a left Noetherian ring is a Noetherian module, so the kernel $K_1$ is finitely generated. Choose a finite free module $F_1$ surjecting onto $K_1$, then compose its map with $K_1\hookrightarrow F_0$. Its kernel is again finitely generated. Repeating constructs an exact sequencewith all $F_i$ finite free modules, hence finitely generated projective modules. Thus the requested projective resolution exists, without asserting that it has finite length.

Assume now that $M\ne 0$ and ${\mathrm{pd}}_{R}M=n<\infty$. We may arrange a length-$n$ projective resolution with all terms finite projective. Here is why the preceding construction gives one. Set $K_0=M$, with short exact sequences $0\to K_{j+1}\to F_j\to K_j\to 0$. Applying the Ext functor, whose positive degrees vanish on a projective first argument, gives by repeated dimension shiftingfor every left module $N$. The final equality follows from the existence of any length-$n$ projective resolution. Vanishing of these degree-one groups means that every short exact sequence ending in $K_n$ splits: its extension class is zero. In particular a free surjection onto $K_n$ splits, so $K_n$ is a projective module. It is finitely generated by the Noetherian kernel construction. Use $P_n=K_n$ and $P_j=F_j$ for $j<n$ to obtainFor a left finite projective module $P$, put $P^{\ast }={\mathrm{Hom}}_R(P,R)$, a right module under $(fr)(p)=f(p)r$. It is a right finite projective module, and its natural evaluation mapis an isomorphism. These claims hold for a finite free module by coordinates, and pass to direct summands, proving them for every finite projective module without any right-Noetherian hypothesis.

Suppose $n\ge 1$ and ${\mathrm{Ext}}_R^n(M,R)=0$. Computing the Ext functor from this resolution shows that its last dual mapis surjective. Since $P_n^{\ast }$ is projective as a right module, this map has a right-module section $h:P_n^{\ast }\to P_{n-1}^{\ast }$, with $d_n^{\ast }h=1$. Dualizing gives $h^{\ast }{d}_n^{\ast \ast }=1$. Under the natural double-dual identifications, $d_n^{\ast \ast }$ is $d_n$, so this gives a left-module retraction of $d_n$.

Therefore $P_{n-1}=d_n(P_n)\oplus Q$ for a finite projective module $Q$. The next differential has kernel $d_n(P_n)$, so restricting it to $Q$ gives an exact resolution with $Q$ replacing $P_{n-1}$ and the initial $P_n$ removed. This has length $n-1$, contradicting the definition of projective dimension. For $n=0$, the nonzero $M$ is a finite projective module and a summand of some $R^d$. A nonzero vector in that summand has a nonzero coordinate, so one coordinate projection restricts to a nonzero map $M\to R$. Thus the degree-zero Hom functor is nonzero as well. We have provedThis is top Ext detects finite projective dimension over a left Noetherian ring. The nonzero-module convention matters when $n=0$: if one assigns projective dimension zero to the zero module, then ${\mathrm{Hom}}_R(0,R)=0$ is an exception. With the convention ${\mathrm{pd}}_{R}0=-\infty$, it is outside the asserted finite nonnegative case.

For an example of infinite projective dimension, take the dual numbers $R=k[\epsilon ]/({\epsilon }^2)$ over a field $k$, and $M=k=R/(\epsilon )$. The periodic resolution over dual numbers isIt is exact because both the kernel and image of multiplication by $\epsilon$ are the ideal $(\epsilon )$, and that is also the kernel of $R\to k$. Applying ${\mathrm{Hom}}_R(-,k)$ gives a copy of $k$ in every degree and zero differentials, since $\epsilon$ acts as zero on $k$. ConsequentlyA finite projective resolution would make these groups zero above its length, so

The Absolute Frobenius morphism is the identity on the underlying topological space and acts on the structure sheaf by $a\mapsto a^p$. On an affine scheme it is induced by the ring homomorphism $A\to A$, $a\mapsto a^p$. This is additive in characteristic $p$, and the inverse image of a prime ideal $\mathfrak{p}$ is again $\mathfrak{p}$, since $a^p\in \mathfrak{p}$ exactly when $a\in \mathfrak{p}$. These affine maps agree under localization and hence glue.

A perfect ring of characteristic p is one whose Frobenius endomorphism is bijective. Since the Absolute Frobenius morphism fixes points, its map on the stalk at $x$ is precisely the Frobenius endomorphism of ${\mathcal{O}}_{X,x}$. A morphism of sheaves is an isomorphism exactly when it is an isomorphism on all stalks. ThereforeIn the reverse direction the inverse sheaf map, together with the identity on points, gives the inverse morphism of locally ringed spaces. This is perfection in the Frobenius sense, not the unrelated homological use of the word perfect.

For the function field assertions below, interpret the normal schemes as integral, as is implicit in writing a single field $k(X)$ or $k(Y)$. General normal schemes need not be irreducible; without this interpretation those fields are not defined globally as single fields. Set $K=k(Y)\subseteq L=k(X)$. For an affine open $V=\mathrm{Spec}A$ in $Y$, finiteness gives $f^{-1}V=\mathrm{Spec}B$, with $A\subseteq B$ finite and both rings normal domains. In fact $B$ is the integral closure of $A$ in $L$: any element of $L$ integral over $A$ is also integral over $B$ and therefore belongs to $B$. This local description yields the two forms of Frobenius factorization through a finite normal cover.

A morphism of schemes $f:X\to Y$ is a flat morphism when each local ring ${\mathcal{O}}_{X,x}$ is a flat module over ${\mathcal{O}}_{Y,f(x)}$: tensoring with it preserves exact sequences. An open immersion induces isomorphisms on the local rings at its points, so it is flat.

For a closed immersion, the printed equivalence is valid with the additional hypothesis of finite presentation, for example over a locally Noetherian target, and with nonempty source. Here is the proof with that hypothesis. On an affine chart the map is $A\to A/I$, with $I$ finitely generated. If $\mathfrak{p}\supseteq I$, the flat cyclic module $A_{\mathfrak{p}}/I_{\mathfrak{p}}$ is free over the local ring $A_{\mathfrak{p}}$, and its residue-field dimension is one. Therefore its quotient map from $A_{\mathfrak{p}}$ is an isomorphism and $I_{\mathfrak{p}}=0$. Finite generation gives a neighbourhood of $\mathfrak{p}$ on which $I$ vanishes. The closed image $V(I)$ is consequently open. A nonempty clopen image in a connected target is the whole target; then $I$ vanishes at every prime and is zero. The immersion is an isomorphism. The converse is immediate. This proves the flat closed immersion of finite presentation assertion.

Without finite presentation, connectedness alone does not suffice. Take $A=C([0,1],\mathbb{R})$ and let $\mathfrak{m}=\{a:a(0)=0\}$. Let $I$ consist of functions vanishing on some neighbourhood of zero. The map $A\to A_{\mathfrak{m}}$ has kernel $I$: multiplying such a function by a continuous cutoff equal to one at zero kills it, whereas $ga=0$ with $g(0)\ne 0$ forces $a$ to vanish near zero. This map is surjective, because the reciprocal of any denominator nonzero at zero can be extended continuously from a small neighbourhood of zero to the whole interval. ThusThe map $\mathrm{Spec}(A/I)\to \mathrm{Spec}A$ is both a closed immersion and a flat localization. Its source is connected because its ring is local. Its target is connected because continuous idempotent functions on the connected interval can only be the constants zero and one. It is not an isomorphism: $I$ contains nonzero functions supported away from zero. This supplies a concrete counterexample to the unrestricted assertion. The kernel is a pure ideal; this is the general mechanism behind such examples, as explained in the Stacks Project's treatment of pure ideals.

For the finite-flat fibre assertion, first note the local algebra fact that a finitely generated flat module $M$ over a local ring $(A,\mathfrak{m})$ is free. Choose generators $m_1,\dots ,m_r$ whose residues form a basis of $M/\mathfrak{m}M$, using Nakayama's lemma. If a row $a=(a_1,\dots ,a_r)$ gives a relation $\sum a_i{m}_i=0$, the equational criterion for flatness supplies elements $n_j$ and a matrix $B=(b_{ij})$ such that $m_i={\sum }_j{b}_{ij}{n}_j$ and $aB=0$. Write each $n_j$ as a linear combination of the $m_i$, with coefficient matrix $C$. Then $m=BCm$. Independence modulo $\mathfrak{m}$ makes $BC$ congruent to the identity. This square matrix is invertible over the local ring, and $aBC=0$ implies $a=0$. Thus the chosen generators are a basis. This also justifies the cyclic-module step above; see the finite-flat local lemma.

Now let $\mathcal{A}=f_{\ast }{\mathcal{O}}_X$ for the finite flat morphism. On each affine chart this is the finite flat algebra defining its inverse image. Hence ${\mathcal{A}}_y$ is free over ${\mathcal{O}}_{Y,y}$, of some finite rank $r_y$. Let $\eta$ be the generic point of the irreducible target. Localizing that free module at $\eta$ givesEvery point specializes from the same $\eta$, so every $r_y$ equals the fixed rank at $\eta$. This remains valid if the irreducible target is nonreduced: one compares free ranks over its nonzero generic local ring, not necessarily over a field. The fibre is affine, andConsequentlyThis is finite flat rank over an irreducible scheme. No unjustified replacement of finite flat by finite locally free on an arbitrary base is needed.

For an algebraic curve of finite type over a field, its normalization of an integral scheme is finite and birational. If flat, the preceding rank is one, since the generic fibre has the same function field. Locally its normalization algebra $B$ is therefore a free $A$-module of rank one. The element $1_B$ generates: its image cannot vanish in the one-dimensional fibre algebra, and Nakayama's lemma applies. Thus $A\to B$ is an isomorphism. Conversely the identity normalization is flat.

The parenthetical definition in the PDF does not explicitly impose finite type. One can prove the conclusion even in that broader setting without assuming a finite normalization. For any affine chart, let $A\subseteq B\subseteq \mathrm{Frac}(A)$ describe its normalization of an integral scheme. Integrality makes the map on spectra surjective; if $B$ is flat it is faithfully flat. Faithful flatness gives contraction of ideals, $vB\cap A=vA$. For $b=u/v\in B$, with $u,v\in A$ and $v\ne 0$, one has $u=vb\in vB\cap A=vA$. Thus $u=va$ for some $a\in A$, so $b=a$. Therefore $B=A$ on every chart. We have proved the flat normalization is an isomorphism result and, in particular,