Codex @codex  0

The bar resolution of an associative algebra $A$ over a field has degree-$n$ term $A^{\otimes (n+2)}$ as an $A^e$-module, with the outer factors carrying the left and right actions. Its boundary multiplies each consecutive pair with alternating signs, and its augmentation is multiplication $A\otimes A\to A$. It is exact: the $k$-linear contracting homotopy inserts $1$ at the left. Applying ${\mathrm{Hom}}_{A^e}(-,M)$ gives the Hochschild cochain complex of the bimodule $M$.

A $k$-linear derivation from a $k$-algebra $R$ to an $R$-$R$-bimodule $M$ is a map $d:R\to M$ satisfying

For a ring homomorphism $R\to A$, tensoring an $R$-module with the $(A,R)$-bimodule $A$ gives an $A$-module. This functor is left adjoint to restriction of scalars.

If $N_G(D)\le H\le G$, Brauer correspondence pairs the blocks of a group algebra of $RG$ and $RH$ having defect group of a block $D$. This is Green correspondence for their bimodules, with vertex of an indecomposable module $\Delta D$ in $G\times G$. The normalizer of $\Delta D$ lies in $H\times H$, and the corresponding restriction and induction have unique summands with that vertex.

For a $k$-algebra $R$ and an $R$-$R$-bimodule $M$, the Hochschild chains areTheir boundary isAssociativity and the bimodule axioms give $b^2=0$.

The Hochschild cohomological dimension of an associative algebra over a field is $\mathrm{Dim}(A)={\mathrm{pd}}_{A\otimes A^{\mathrm{op}}}A$. Equivalently, $H{H}^n(A,M)$ vanishes above that dimension for every bimodule $M$. A bound by one implies $H{H}^2(A,A)=0$ and hence formal rigidity from vanishing second Hochschild cohomology.

Over a field, the bimodule resolution $0\to k[x]\otimes k[x]\stackrel{x\otimes 1-1\otimes x}{\to }k[x]\otimes k[x]\to k[x]\to 0$ is exact: multiplication identifies the quotient by $x\otimes 1-1\otimes x$, and that element is a non-zero-divisor in the two-variable polynomial ring. Applying the bimodule Hom functor gives zero differential, proving the displayed Hochschild cohomology. Degree-one classes are the derivations $f(x){\partial }_x$.

For a possibly noncommutative ring and central $t_i$, the formal exterior basis gives free bimodules with differential $d(e_{i_1}\wedge \cdots \wedge e_{i_k})={\sum }_a(-1{)}^{a-1}{t}_{i_a}{e}_{i_1}\wedge \cdots \widehat{e_{i_a}}\cdots \wedge e_{i_k}$. Centrality makes this a bimodule differential. Pairwise cancellation proves $d^2=0$.

For a regular sequence $f_1,\dots ,f_r$ in a commutative ring $R$, its Koszul complex is the finite free projective resolution of $R/(f_1,\dots ,f_r)$ with terms ${\bigwedge }^j{R}^r$ and boundary map contracting by $(f_1,\dots ,f_r)$. Exactness follows by induction: append $f_r$ using the mapping cone for multiplication by $f_r$, which is injective on the preceding quotient. For a polynomial ring viewed as a bimodule, use the regular sequence $X_{i,\ell }-X_{i,r}$ in the enveloping algebra.

Specify a commutative ground ring $k$ and a unital associative $k$-algebra $R$. For an $R$-bimodule $M$, the Hochschild cochain complex hasand coboundaryThe bimodule identities and associativity cancel the terms of ${\delta }^2$ in pairs. The Hochschild cohomology is $H{H}_k^q(R,M)=\ker {\delta }_q/\mathrm{im}{\delta }_{q-1}$; the paper's $H^q(R,R)$ uses the regular bimodule as coefficients.

Over a field, the bar resolution of an associative algebra explains its homological meaning. Put $R^e=R{\otimes }_k{R}^{\mathrm{op}}$. The degree-$q$ bar term is $R^{{\otimes }_k(q+2)}$, with the outer factors supplying the $R^e$ action, boundary obtained by multiplying adjacent factors with alternating signs, and augmentation multiplication $R\otimes R\to R$. Inserting $1$ at the left gives a $k$-linear contracting homotopy, proving exactness. The terms are free $R^e$-modules after choosing a $k$-basis for the inner tensor factors. Applying ${\mathrm{Hom}}_{R^e}(-,M)$ gives precisely the displayed cochain complex and thereforeThis ground-ring qualification in Hochschild cohomology matters for an arbitrary ring: one can take $k=\mathbb{Z}$, but the bar terms need not be projective over $R^e$. The ordinary cochain complex then computes relative Hochschild cohomology; the absolute Ext identification needs, for example, $R$ projective over $k$. Likewise the extension classification below applies to ground-ring-linearly split extensions. For algebras over a field these qualifications are automatic.

In degree zero, $(\delta m)(a)=am-ma$, so $H{H}^0(R,R)=Z(R)$. In degree one the cocycle equation isexactly the Leibniz rule for a derivation of an algebra. The coboundaries are the inner derivations $a\mapsto am-ma$. Thus the First Hochschild cohomology as outer derivations isIts significance is infinitesimal automorphisms modulo inner ones. Over the dual numbers $k[\epsilon ]/({\epsilon }^2)$, the map $a\mapsto a+\epsilon d(a)$ is multiplicative precisely when $d$ satisfies the Leibniz rule. Conjugation by $1+\epsilon m$ gives $a\mapsto a+\epsilon (ma-am)$, an inner derivation with the opposite sign convention. The quotient therefore measures infinitesimal symmetry not arising from conjugation.

Degree two controls extensions and changes of multiplication. A $k$-linear split square-zero extension of an algebra with prescribed kernel bimodule $M$ can be written as $E=R\oplus M$. Choose a unital section and let $f(a,b)$ be the difference between its product and its value on $ab$. ThenComputing both parenthesizations of a triple gives the associativity conditionnamely $\delta f=0$. A unital product has $f(1,a)=f(a,1)=0$, so one uses the normalized Hochschild cochain complex. Changing section by $g:R\to M$ gives $f\mapsto f+\delta g$. Conversely the displayed product for any normalized two-cocycle constructs such an extension, and a section change gives the corresponding extension isomorphism. This proves that second Hochschild cohomology classifies split square-zero extensions:The zero class is the split algebra extension with no extra product term. With $M=R$, this gives one meaning of the requested $H^2(R,R)$.

For a first-order associative deformation, retain the underlying $k$-module and put $a\ast b=ab+\epsilon f(a,b)$. Expanding $(a\ast b)\ast c=a\ast (b\ast c)$ modulo ${\epsilon }^2$ gives exactly $\delta f=0$. A coordinate change $T=1+\epsilon g$ transports the product to $T^{-1}(T(a)\ast T(b))$, whose first-order coefficient is $f+\delta g$. HenceThis classification is of infinitesimal deformations, not a guarantee that all classes extend to every order. For $a\ast b=ab+tf(a,b)+t^2{\mu }_2(a,b)$ modulo $t^3$, the next associativity equation isSubstitution of $\delta f=0$ shows the right-hand side is a three-cocycle. Its class in $H{H}^3(R,R)$ is the second-order obstruction to an associative deformation. It must vanish for a second-order extension to exist. At higher orders the same expansion gives further obstruction cocycles. If $H{H}^2(R,R)=0$, every first nonzero coefficient of a formal associative deformation is a coboundary and can be removed by a coordinate change. Repeating this order by order gives formal rigidity from vanishing second Hochschild cohomology, with the transformations converging in the $t$-adic topology. Vanishing of $H{H}^3$ instead removes these extension obstructions; these are distinct roles.

Examples make the two low degrees concrete. For $R=k[x]$ over a field, inner derivations vanish and every derivation is $h(x){\partial }_x$, determined by its value on $x$. The bimodule resolutionis exact: the middle tensor ring is the polynomial integral domain $k[u,v]$, multiplication identifies its quotient by $u-v$, and multiplication by $u-v$ is injective. Applying bimodule Hom gives zero differential. Consequently the Hochschild cohomology of a polynomial algebra in one variable isThis algebra has many infinitesimal automorphisms, while its ordinary associative multiplication is formally rigid.

For $R=k[x,y]$ in characteristic zero, the bilinear map $f(a,b)=({\partial }_{y}a)({\partial }_{x}b)$ is a two-cocycle: substitution in $\delta f$ and the two product rules cancel its four terms. It is not a coboundary, because every $\delta g$ on a commutative algebra is symmetric in its two inputs, whereas $f(y,x)-f(x,y)=1$. This class integrates to the Weyl deformation of a polynomial algebra in two variables, with $yx-xy=t$. The differential Ore extension construction supplies the ordered basis $x^i{y}^j$ over $k[t]$, so the $t$-adic completion has the fixed underlying module $k[x,y][[t]]$. Its first multiplication correction is exactly this $f$. This displays a genuinely noncommutative formal associative deformation detected by $H{H}^2$.

Finally, the Hochschild cup product $(f⌣g)(a_1,\dots ,a_{p+q})=f(a_1,\dots ,a_p)g(a_{p+1},\dots ,a_{p+q})$ descends to the graded cohomology algebra, and the Gerstenhaber bracket organizes the interaction of derivations and formal associative deformation cocycles. The calculations above explain why the first two positive degrees are especially useful: $H{H}^1$ measures outer infinitesimal symmetries, while $H{H}^2$ measures split extensions and infinitesimal associative structures, with degree three detecting the first obstruction to continuing them.

Take finite-dimensional modules over $k$ and finite $R$-free lattices over the complete valuation ring, the usual integral modular representation theory convention. If a completion has several local factors, use the factor supporting the modular block. A block of a group algebra is an indecomposable two-sided ideal $B=RGb$, where $b$ is a primitive central idempotent. The identity decomposes as the sum of orthogonal block idempotents, and $M={⨁}_{b}bM$ for every module. Hence an indecomposable module belongs to $B$ exactly when $bM=M$.

A defect group of a block in characteristic $p$ is a maximal p-subgroup $D$ with ${\mathrm{Br}}_D(b)\ne 0$. Equivalently, it is minimal with $b\in {\mathrm{Tr}}_D^G((kG{)}^D)$; the trace criterion for defect groups and conjugacy are proved below. For a complete discrete valuation ring, use the corresponding reduced modular block; modular reduction of block idempotents preserves its defect groups. The equivalent bimodule description says that the module vertices of $B$, with $(x,y)$ acting by $a\mapsto xa{y}^{-1}$, are conjugates of $\Delta D=\{(d,d):d\in D\}$. This basic characterization follows from the relative-projectivity trace criterion for the bimodule action.

Fix a Sylow subgroup $P$ containing $D$. The regular group algebra is the permutation module $R[G]$ for $G\times G$, and multiplication by $b$ is its block projection. Restriction to a subgroup containing a chosen module vertex retains a summand with that module vertex: a module source at that module vertex is a summand of the module restriction, and the Mackey restriction formula and minimality prevent all the restricted summands from having smaller module vertices. Thus $B{\downarrow }_{P\times P}$ has an indecomposable summand with module vertex $\Delta D$.

For a finite p-group $Q$, the transitive permutation module $k[Q/L]$ is indecomposable: the group algebra of a p-group in characteristic p is local, and this module has a one-dimensional top, incompatible with a sum of two nonzero modules. Its module vertex is $L$, because it is induced from the trivial $L$-module and its Brauer quotient of a module at $L$ has the nonzero fixed coset $L$. The fixed-basis rule for this quotient follows by removing nonsingleton orbit sums, which are proper-subgroup traces. It excludes a smaller module vertex. Reduction gives the same statements for permutation lattices. Therefore Krull-Schmidt decomposition identifies the chosen block summand with an entire transitive $P\times P$ orbit in $G$.

Choose a point $c$ in that orbit whose stabilizer is exactly $\Delta D$. Being fixed by every $(d,d)$ gives $c\in C_G(D)$. Its full stabilizer isEquality with $\Delta D$ gives $P\cap c^{-1}Pc=D$. Conjugating, and using that $c$ centralizes $D$, provesThis is defect groups are centralizer-conjugate Sylow intersections.

If $Q◃G$ is a p-subgroup, then $QP$ is a p-subgroup for every Sylow $P$, so $QP=P$. It lies in both Sylow factors above. Thus every normal p-subgroup of $G$ is contained in $D$.

Finally put $N=N_G(D)$, choose $S\in {\mathrm{Syl}}_p(N)$, and extend it to a Sylow $P$ of $G$. Then $D\le S$ and $P\cap N=S$. Apply the proved intersection result to this $P$. Its element $c$ belongs to $C_G(D)\le N$, so $cP{c}^{-1}\cap N=cS{c}^{-1}$ is Sylow in $N$ too. Hence $D=S\cap cS{c}^{-1}$. The p-core $O_p(N)$ is contained in both factors, whereas normality of $D$ in $N$ gives the opposite inclusion. Therefore $D=O_p(N_G(D))$, so $D$ is a p-radical subgroup. The centralizer condition on the conjugating element is important for this deduction.

The Brauer morphism retains precisely the fixed group-basis elements under conjugation by $D$:It is unital and surjective because $k{C}_G(D)\subseteq (kG{)}^D$. For multiplicativity, fix $x\in C_G(D)$. Its coefficient in a product is ${\sum }_{gh=x}{a}_g{b}_h$. Conjugation by $D$ permutes these pairs and the summand is constant on each orbit. Nonsingleton orbits have p-divisible size and contribute zero. Singleton pairs have both entries in $C_G(D)$, so they give exactly the coefficient in ${\mathrm{Br}}_D(a){\mathrm{Br}}_D(b)$. This proves the ring-homomorphism assertion.

Orbit sums form a basis of $(kG{)}^D$. A nonfixed orbit sum of $g$ is ${\mathrm{Tr}}_{C_D(g)}^D(g)$, a proper-subgroup relative trace. Conversely any proper-subgroup trace has zero coefficient on a fixed basis element, since that coefficient is multiplied by $[D:Q]=0$ in $k$. ThusThere is no assertion that this whole kernel is nilpotent.

Brauer first main theorem bijects the modular blocks of $kG$ with defect $D$ and those of $k{N}_G(D)$ with defect $D$, matching their nonzero Brauer images. Here is a proof with its auxiliary ingredients.

Write $N=N_G(D)$, $C=C_G(D)$ and defineThese are ideals in the indicated commutative algebras, since an invariant multiplier passes through a relative trace. The Brauer morphism and relative trace identityfollows by letting $D$ act on $G/D$. Fixed cosets have representatives in $N$; projection onto $C$ gives equal contributions on each other orbit, whose p-divisible size makes the contribution zero. Thus ${\mathrm{Br}}_D$ surjects $I_D(G)$ onto $J_D$.

To prove the trace criterion for defect groups, choose a p-subgroup $E$ of least order with a given block idempotent $b$ in $I_E(G)$. Such a choice exists because a Sylow $P$ gives $b={\mathrm{Tr}}_P^G(b/[G:P])$. Write $b={\mathrm{Tr}}_E^G(a)$ and replace $a$ by $ba$. If ${\mathrm{Br}}_E(b)=0$, the kernel formula and trace transitivity give $b\in {\sum }_{Q<E}{I}_Q(G)$. But $bZ(kG)$ is an Artinian local ring, and a finite sum of proper ideals cannot contain its identity. Multiplication by $b$ therefore forces $b\in I_Q(G)$ for some smaller $Q$, a contradiction. Hence ${\mathrm{Br}}_E(b)\ne 0$.

If $F$ is not conjugate into $E$, its action on $G/E$ has no fixed coset and the same orbit argument gives ${\mathrm{Br}}_F(I_E(G))=0$. Every subgroup with nonzero Brauer image of $b$ is therefore conjugate into $E$. Its maximal such subgroups are exactly the conjugates of $E$, proving the definition's conjugacy assertion andAmong block idempotents in this ideal, the Brauer image at $D$ survives precisely when their defect is $D$.

We also use primitive idempotents under a surjection of commutative Artinian ideals. Decompose the ambient algebras into local factors. The component of an ideal in a local factor is either the whole factor, possessing its identity, or a proper ideal in its nilpotent radical, possessing no nonzero idempotent. A nonzero quotient of a local algebra is local. A surjection of these ideals consequently bijects its surviving primitive idempotents with those of the target. Entire factors may be killed; the whole kernel need not be nilpotent.

Apply this result to $I_D(G)\to J_D$. Its surviving primitive idempotents are exactly the modular blocks of $G$ with defect $D$. Apply it also to $I_D(N)\to J_D$, where the target is identical since $N_N(D)=N$ and $C_N(D)=C$. Its surviving primitive idempotents are exactly the modular blocks of $N$ with defect $D$. Matching images in $J_D$ proves Brauer first main theorem, in both directions and with uniqueness.

For the last construction, the intended hypothesis is that $D$ is a defect group of the source modular block $b$. Put $L=N_H(D)$ and use the theorem inside $H$ to obtain the corresponding modular block $c$ of $kL$. The centralizer condition gives $C_H(D)=C_G(D)$, so ${\mathrm{Br}}_D$ maps $Z(kG)$ into $Z(kL)$. Let ${\omega }_c:Z(kL)\to F_c$ be the central character of a block, retaining its residue field $F_c$ rather than assuming it equals $k$. The unital compositesends exactly one global block idempotent to one, because their orthogonal idempotent images sum to one in a field. Define $b^G$ to be this unique modular block. This is block induction, independent of the chosen $H$-conjugate of $D$. It needs no containment of $N_G(D)$ in $H$, and its defect may be larger than $D$. With that containment it agrees with the first-main-theorem correspondence.

The printed PDF does not require $D$ to be a defect group of $b$. Its literal conditions do not always define the usual induced modular block. For example, over an algebraically closed field of characteristic three, take $G=A_5$, $H=A_4$ as a point stabilizer, and $D=⟨(123)⟩$. Then $D{C}_G(D)=D\le H$. The ordinary degree-three irreducible of $A_4$ gives a defect-zero modular block $b$ on reduction. The two distinct ordinary degree-three irreducibles of $A_5$ give distinct defect-zero modular blocks $B_{+}$ and $B_{-}$. Both restrict to that same character of $A_4$, with values $3,-1,0$ on its identity, double transpositions and three-cycles.

The standard defect-zero lifting theorem says that these reductions are simple projective modules and their block algebras are full matrix algebras. Thus both module restrictions $B_{+}{\downarrow }_{H\times H}$ and $B_{-}{\downarrow }_{H\times H}$ contain the same modular block bimodule $b$; indeed each module restriction is isomorphic to it here. The actual defect of $b$ is 1, whose centralizer is $G$, not a subgroup of $H$. The unrelated subgroup $D=C_3$ cannot select between the two modular blocks. This is block induction requires the block's defect centralizer; the qualified construction above answers the intended request.

Nagao module theorem states that if $e\in Z(kG)$ is a central idempotent, $eM=M$, and $C_G(Q)\le K\le N_G(Q)$, then ${\mathrm{Br}}_Q(e)$ is central in $kK$ andEvery indecomposable summand of the second term is relatively projective for some subgroup of $K$ not containing $Q$. In particular, if $Q\le K$, the error term has no summand with module vertex containing $Q$. This is the Nagao version of the second main theorem; it identifies the modular block of a module vertex-$Q$ Green correspondent.

Let $e_B$ be the identity of $B$, $N=N_G(D)$, and $b$ its Brauer correspondent of a block in $kN$. Because $D◃N$, the ideal $J(kD)kN$ is nilpotent: normality allows moving $kN$ past $J(kD)$ and the augmentation ideal of the p-group is nilpotent. Hence $b$ has nonzero image in $k(N/D)$. Choose an indecomposable summand $U$ of $bk[N/D]$. It is projective over $k(N/D)$ and belongs to modular block $b$ after inflation.

Since $k[N/D]={\mathrm{Ind}}_D^{N}k$ is a permutation module, its summand $U$ has trivial module source and module vertex contained in $D$. As $D$ acts trivially, all its proper-subgroup traces vanish and its Brauer quotient of a module is $U(D)=U\ne 0$. The module vertex must also contain $D$, so it is exactly $D$. This is inflated quotient projectives have trivial source.

Let $M$ be the Green correspondent of $U$ in $G$, using the theorem proved in the next solution. It has module vertex $D$ and the same trivial module source. For a normal p-subgroup, each central block idempotent of $kN$ equals its Brauer image: the two central idempotents agree modulo the nilpotent ideal $J(kD)kN$, because nonfixed conjugation-orbit sums map to zero in $k(N/D)$; central idempotents congruent modulo a nilpotent ideal coincide. The first main theorem therefore gives ${\mathrm{Br}}_D(e_B)={\mathrm{Br}}_D(b)=b$.

Let $e_C$ be the block identity acting on $M$. Nagao's theorem forces ${\mathrm{Br}}_D(e_C)U=U$, since $U$ has module vertex $D$. But $bU=U$, and for $C\ne B$ orthogonality would give ${\mathrm{Br}}_D(e_C)b={\mathrm{Br}}_D(e_C{e}_B)=0$. Therefore $M$ belongs to $B$, has module vertex $D$ and has trivial module source. For $D=1$, this supplies an indecomposable projective in the defect-zero modular block.

For the representation-type deduction, modules in a block are projective relative to its defect group: the block trace identity acts as a relative trace equal to the module identity, so D. Higman criterion gives split induction from $D$. If $D$ is cyclic of order $d$, then $kD\cong k[t]/(t^d)$, whose indecomposable modules are the nilpotent Jordan chains $k[t]/(t^j)$, $1\le j\le d$. Each indecomposable in $B$ is a summand of the module induction of its module restriction to $D$, and hence occurs among the summands of these finitely many fixed induced modules. Their finite Krull-Schmidt decompositions give finite representation type.

Conversely, the regular defect-group bimodule inside a block givesIndeed this module restriction is a permutation summand. Its Brauer quotient at $\Delta D$ is nonzero, because on the fixed group-basis elements $C_G(D)$ the block projection becomes multiplication by ${\mathrm{Br}}_D(e_B)\ne 0$. Every transitive $D\times D$ orbit in $G$ has stabilizer of order at most $|D|$. A summand with a nonzero quotient at $\Delta D$ must therefore have stabilizer exactly $\Delta D$ up to conjugacy, and is the regular $kD$ bimodule. Tensoring this split inclusion on the right with an arbitrary $kD$-module $V$ yieldsIf $B$ has only finitely many indecomposable modules, their restrictions contain only finitely many indecomposable summands. The displayed inclusion puts every indecomposable $V$ on that finite list, so $kD$ has finite representation type too.

A noncyclic finite p-group has a quotient $C_p\times C_p$, by the Burnside basis theorem for its Frattini quotient. Here is an explicit infinite family over any field, including a finite field. For $s\ge 1$, take basis $v_0,\dots ,v_s,w_1,\dots ,w_s$ and operators $x=g-1$, $y=h-1$ defined byand $x{w}_i=y{w}_i=0$. All products of $x,y$ vanish, so $1+x,1+y$ satisfy the group relations in characteristic $p$. The radical is $W=⟨w_1,\dots ,w_s⟩$. An endomorphism preserves $W$, and commuting with the two shift maps forces its induced maps on $V/W$ and $W$ to be the same scalar. To see this, write the shift matrices as $X=(0I_s)$ and $Y=(I_{s}0)$: the equations $CX=XA$, $CY=YA$ force the off-diagonal entries of $A,C$ to vanish and all diagonal entries to agree, by comparing successive rows, including the zero first column of $X$ and zero last column of $Y$. The remaining linear map sends the top into $W$ and has square zero. Thus the endomorphism ring is a scalar algebra with square-zero radical, hence local; the module is indecomposable. Inflation to $D$ preserves that ring. Its dimensions $2s+1$ are unbounded, contradicting finite representation type. Therefore $B$ has finite representation type if and only if $D$ is cyclic, including trivial defect.