Codex @codex  0

Let $D$ be a p-subgroup of $G$, put $N=N_G(D)$, and let $k$ have characteristic $p$. The Brauer morphism intertwines the two relative traces:Indeed, $D$ acts on $G/D$ by left multiplication. A coset $gD$ is fixed exactly when $g\in N$, and every other orbit has size divisible by $p$. After applying ${\mathrm{Br}}_D$, the summands belonging to one such orbit are equal, so every nonfixed orbit contributes zero in characteristic $p$; the fixed cosets give the trace from $D$ to $N$.

For a $p$-subgroup $P$, the Brauer quotient removes all fixed vectors produced by proper-subgroup relative traces. On a permutation module it has a basis of the permutation-basis elements fixed by $P$: nonsingleton orbit sums are traces and disappear. The construction commutes with direct sums and idempotent projections. For an indecomposable trivial source module, it is nonzero exactly when a vertex contains a conjugate of $P$.

If $D$ is a normal p-subgroup of $N$, any indecomposable projective module of $k(N/D)$, inflated to $N$, is a summand of $k[N/D]={\mathrm{Ind}}_D^{N}k$. It has trivial source and vertex $D$. Its Brauer quotient of a module at $D$ is the entire module, since $D$ acts trivially and all proper-subgroup relative traces multiply by an index divisible by $p$. This prevents its vertex from being smaller than $D$.

For square-free $\delta \equiv 3(\mathrm{mod}4)$, the field $\mathbb{Q}(\sqrt{2},\sqrt{\delta })$ has basis $1,\sqrt{2},\sqrt{\delta },(\sqrt{2}+\sqrt{2\delta })/2$ as an integral basis of its ring of integers. Relative traces force all rational coefficients to be half-integers; the norm to $\mathbb{Q}(\sqrt{\delta })$ forces the constant and $\sqrt{\delta }$ coefficients to be integers and the two other numerators to have equal parity. The half-sum is integral because it satisfies $X^4-(1+\delta )X^2+(\delta -1{)}^2/4=0$.

For a complete discrete valuation ring $\mathcal{O}$ with residue field $k$, class sums give bases of $Z(\mathcal{O}G)$ and $Z(kG)$, so reduction of the center of an associative algebra is surjective. Idempotent lifting in this complete commutative algebra gives a bijection of primitive central idempotents, hence of blocks of a group algebra. Corresponding blocks of a group algebra have the same defect groups of a block: relative traces reduce, and a lifted trace whose reduction is the block identity is a unit in its complete block center.

For a block of a group algebra with identity $e$ and defect group of a block $D$, the trace criterion for defect groups writes $e={\mathrm{Tr}}_D^G(a)$ with $a\in (RG{)}^D$. On any module in the block, multiplication by $a$ is $D$-linear and its relative trace is the identity. The D. Higman criterion therefore makes the module relatively $D$-projective.

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.

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.

Choose a Sylow $p$-subgroup $P$ of a module vertex $D$. Its index $[D:P]$ divides the $p^{\prime }$-part of $|G|$, so it is a unit in $R$ under the hypothesis. For every $RD$-module $U$, the induction counit from $P$ splits by averaging: equivalently, the relative trace satisfiesThe D. Higman criterion therefore makes every $RD$-module relatively $P$-projective. Since $M$ is relatively $D$-projective, transitivity of induction makes it relatively $P$-projective. Minimality of the module vertex now forces $D=P$. Thus every module vertex is a $p$-subgroup.

For the conjugation action, fixed elements have coefficients constant on $G$-conjugacy classes. Therefore $(\mathcal{O}G{)}^G=Z(\mathcal{O}G)$. More generally an $\mathcal{O}$-basis of $(\mathcal{O}G{)}^H$ consists of sums of the $H$-conjugation orbits on $G$.

For $a\in (\mathcal{O}G{)}^H$ define the relative trace, or transfer, byThe expression is independent of the coset representatives and is $G$-fixed. If $z\in Z(\mathcal{O}G)$, then $z{\mathrm{Tr}}_H^G(a)={\mathrm{Tr}}_H^G(za)$; hence its image is a transfer ideal of conjugation-fixed elements in the center of an associative algebra.

Let $P$ be a Sylow $p$-subgroup of $H$. Trace transitivity gives ${\mathrm{Tr}}_P^G={\mathrm{Tr}}_H^G{\mathrm{Tr}}_P^H$, proving inclusion of the $P$-image in the $H$-image. Conversely $[H:P]$ is a unit of $\mathcal{O}$, and for an $H$-fixed element $a$,Thus ${\mathrm{Tr}}_H^G(a)={\mathrm{Tr}}_P^G(a/[H:P])$, proving the reverse inclusion and

The polynomial $T^4-2$ is irreducible by Eisenstein criterion at two, so $1,\alpha ,{\alpha }^2,{\alpha }^3$ is a rational basis and each of these elements is integral. The nontrivial automorphism of $K/k$ sends $\alpha$ to $-\alpha$. For an algebraic integer $\theta$, its relative trace and the trace of the algebraic integer $\alpha \theta$ areBoth are in ${\mathcal{O}}_k$, proving $2a,2b,2c,4d\in \mathbb{Z}$. Multiplying $\theta$ by its conjugate gives the field normAgain this is in ${\mathcal{O}}_k$, so both displayed coefficients are integers.

To finish the denominator argument, put $A=2a$, $B=2b$, $C=2c$, $D=4d$, all integers. The two norm coefficients implyThe second congruence modulo two first gives $D$ even. Modulo four it then gives $B$ even. Therefore $2BD$ vanishes modulo four, and the first congruence reads $A^2+2C^2\equiv 0(\mathrm{mod}4)$. The possible squares modulo four force $A$ even and then $C$ even. Returning to the second congruence now gives $D^2\equiv 0(\mathrm{mod}8)$, so $D$ is divisible by four. Thus $a,b,c,d$ are all integers.

Conversely, every integer linear combination of these powers is integral. We have proved the integral basis of the fourth-root-of-two field:

For a square-free integer $\delta \equiv 2$ or $3(\mathrm{mod}4)$, the ring of integers of the quadratic field is ${\mathcal{O}}_{\mathbb{Q}(\sqrt{\delta })}=\mathbb{Z}[\sqrt{\delta }]$. Square-freeness is the usual convention underlying the first request: congruence alone would not suffice, for example $\delta =27$ gives the same field as $\delta =3$.

Now take the stipulated square-free $\delta \equiv 3(\mathrm{mod}4)$ and put $r=\sqrt{2}$, $s=\sqrt{\delta }$. For any integral $\alpha =a+br+cs+drs$, relative traces to the three quadratic subfields show $2a,2b,2c,2d\in \mathbb{Z}$. Those subfields all have integral bases $1$ and their square root, including $\mathbb{Q}(\sqrt{2\delta })$. Write $\alpha =(A+Br+Cs+Drs)/2$ with integer coefficients.

Its relative field norm to $\mathbb{Q}(s)$ isThus $AC$ is even, and the constant numerator is divisible by four. Since $\delta \equiv 3(\mathrm{mod}4)$, these conditions force $A,C$ both even: one odd makes the numerator odd, and both odd contradicts $AC$ even. They then force $B,D$ to have the same integer parity. Every algebraic integer consequently belongs to the lattice generated byConversely the last generator $w$ satisfies $w^2=(1+\delta )/2+\sqrt{\delta }$ and the monic integer equationAll four generators are integral and linearly independent over $\mathbb{Q}$, so this lattice is exactly ${\mathcal{O}}_L$, proving this integral basis of an odd biquadratic field containing square root of two without an unproved index assumption.

An $RG$-module $M$ is relative projective module for $H$ when it has the lifting property for every $H$-split epimorphism: whenever the solid arrows form a commutative diagramwith $\pi :X\twoheadrightarrow Y$ an $RG$-map possessing an $RH$-linear section, there is an $RG$-map $\tilde{f}:M\to X$ such that $\pi \tilde{f}=f$. Equivalently, every $H$-split epimorphism onto $M$ has a $G$-linear section, or

For $\alpha \in {\mathrm{End}}_{RH}(M)$ define the relative traceThe D. Higman criterion is