Codex @codex  0

For a CM-field $K$ over its maximal real subfield $K^{+}$, the ordinary Hilbert class field $H_{K^{+}}$ is totally real because its real places split. Thus $H_{K^{+}}\cap K=K^{+}$. Its compositum with $K$ is an abelian extension of $K$ of degree $h_{K^{+}}$, and is everywhere unramified by unramified extensions remain unramified under base change. It lies in $H_K$, giving the divisibility. The argument does not require injectivity of extension of ideal classes.

If $M/L$ is an extension of number fields, $L$ has no real places, and one finite prime of $L$ is totally ramified in $M$, then $h_L\mid h_M$. The Hilbert class field $H_L$ has trivial intersection with $M$: any common intermediate extension would be both unramified and totally ramified at that prime. Thus $M{H}_L/M$ is an unramified abelian extension of degree $h_L$, and is contained in $H_M$.

If a finite extension $B/A$ of number fields has a totally ramified finite prime, the ordinary Hilbert class field $H_A$ is disjoint from $B$. Its base change $B{H}_A/B$ is abelian and unramified at finite primes. Its real places also split, since a split-real unramified extension retains this property under base change. It therefore lies in the ordinary Hilbert class field of $B$, proving $h_A\mid h_B$ even when $A$ has real places.

The polynomial is irreducible with discriminant $229$, so its splitting field has Galois group $S_3$ and quadratic subfield $\mathbb{Q}(\sqrt{229})$. The splitting field is cyclic cubic over that subfield. It is unramified outside 229, and at 229 its inertia is a transposition, meeting the alternating cubic subgroup trivially. All roots are real. It is therefore everywhere unramified over the quadratic field. The ideal class group of Q of square root 229 has order three, so this extension is exactly the Hilbert class field.

The ideal class group of $K=\mathbb{Q}(\sqrt{-6})$ has order two, andThis quadratic extension of $K$ is unramified at every finite prime and therefore has the degree required of the Hilbert class field.

The ideal class group of $\mathbb{Q}(\sqrt{-30})$ is $C_2\times C_2$. Its four reduced binary quadratic forms have coefficients $(1,0,30)$, $(2,0,15)$, $(3,0,10)$ and $(5,0,6)$. The displayed multiquadratic field has degree four over the base. The seven quadratic-subfield discriminants are $8,-3,5,-24,40,-15,-120$, whose product in absolute value is $120^4$. The conductor-discriminant formula and discriminant tower formula imply that the relative discriminant over $\mathbb{Q}(\sqrt{-30})$ is the unit ideal. This unramified abelian degree-four extension is therefore its Hilbert class field.

The splitting field of $T^3+T-1$ has discriminant square class $-31$ and Galois group $S_3$. It is the Hilbert class field of $K=\mathbb{Q}(\sqrt{-31})$: the relative extension is unramified cyclic cubic, and the ideal class group of Q of square root minus thirty-one has order three. Locally at $31$, the simple residue root $28$ lifts and the remaining quadratic splits over ${\mathbb{Q}}_{31}(\sqrt{-31})$, so the prime of $K$ above $31$ splits completely in its Hilbert class field. The inverse generator satisfies $T^3-T^2-1=0$.

The three reduced primitive binary quadratic forms of discriminant $-23$ are $(1,1,6)$ and $(2,\pm 1,3)$, so the class number is three. The displayed cubic has discriminant $-23$ and is irreducible. Its splitting field has Galois group $S_3$ and is cyclic cubic over $\mathbb{Q}(\sqrt{-23})$. Modulo $23$ it factors as $(X-10{)}^2(X-3)$. Lift the simple factor; the remaining quadratic has discriminant valuation one, so its local inertia group has order two. Its intersection with $A_3$ is trivial. Thus the relative cyclic cubic extension is everywhere unramified and equals the Hilbert class field.

For a number field $k$, its ordinary Hilbert class field $H_k$ is the maximal finite abelian extension unramified at every finite prime and with every real place splitting completely. The Artin reciprocity map inducesThe image of an unramified prime ideal is its Frobenius automorphism. Thus a prime splits completely in $H_k$ precisely when its ideal class is trivial. This field packages ideal-class obstructions into splitting behavior. Ideals become principal in $H_k$ by the principal ideal theorem. Specifying the real-place convention matters for real fields: omitting it leads instead to the narrow class-field problem. Both illustrative fields below are imaginary quadratic, so there are no real places to discuss.

First consider $k=\mathbb{Q}(\sqrt{-23})$, whose quadratic discriminant is $-23$. The correspondence between ideal classes and reduced primitive positive definite binary quadratic forms lets us compute its class number without guessing a class field. A reduced form $(a,b,c)$ obeys $|b|\le a\le c$, $b^2-4ac=-23$, and $a\le \sqrt{23/3}<3$; a boundary case uses $b\ge 0$. For $a=1$ the only class is $(1,1,6)$; for $a=2$ the two possibilities are $(2,1,3)$ and $(2,-1,3)$. Hence $h_k=3$ and its ideal class group is cyclic of order three.

Take $g(X)=X^3-X-1$. Its only possible rational roots are $\pm 1$, neither a root, so it is irreducible. Its polynomial discriminant is $4-27=-23$, which is nonsquare. Thus its splitting field $H$ has Galois group $S_3$ and the quadratic fixed field of $A_3$ is $k$, generated by the square root of its discriminant. Therefore $H/k$ is cyclic of degree three and $H=k(\theta )$ for a root $\theta$ of $g$.

At a prime other than $23$, the separable residue polynomial splits over a finite residue-field extension; Hensel's lemma puts all its roots in an unramified local extension. At $23$ there is the exact factorizationThe simple factor lifts by Hensel's lemma. The remaining quadratic factor has discriminant valuation one, because the cubic discriminant is $-23$ and the resultant with the simple factor is a unit. Its local splitting field is ramified quadratic, with inertia group of order two. Its intersection with $A_3$ is trivial, so the relative extension $H/k$ is unramified at $23$ as well. There are no real places. An unramified abelian extension of degree $h_k=3$ must be all of $H_k$, givingThis is the Hilbert class field of Q of square root minus twenty-three.

The other alternative, $k=\mathbb{Q}(\sqrt{-30})$, has quadratic discriminant $-120$. Reduced forms have $a\le \sqrt{40}<7$ and even $b$. Testing $1\le a\le 6$, $|b|\le a$, and $c=(b^2+120)/(4a)\ge a$ gives exactlyThus $h_k=4$. Each class is its own inverse, because replacing $b$ by $-b$ leaves these representatives unchanged; consequently the ideal class group is $C_2\times C_2$.

Set $H=\mathbb{Q}(\sqrt{2},\sqrt{-3},\sqrt{5})$. The square classes $2,-3,5$ are independent, so $[H:\mathbb{Q}]=8$. Their product gives $\sqrt{-30}$, and $H/k$ is abelian of degree four. Its seven quadratic subfields have discriminantsFor a multiquadratic abelian extension, the conductor-discriminant formula takes the product of these quadratic character conductors, namely the absolute quadratic discriminants. Hence $|d_H|=120^4$. The relative discriminant tower formula givesThe integral relative discriminant ideal therefore has norm one and is the unit ideal. Thus $H/k$ is everywhere unramified, and its degree equals the class number. This proves the other explicit answer:It agrees with the Hilbert class field of Q of square root minus thirty. Both alternatives have been computed independently from their class numbers and ramification.

Let $H_k$ be the ordinary Hilbert class field of $k$. Its real places split completely, so $H_k$ is totally real. Since $K/k$ is quadratic and $K$ is totally imaginary, $H_k\cap K$ cannot equal $K$; hence it equals $k$. Therefore the compositum $K{H}_k$ hasand is an abelian extension of $K$, by restriction of the Galois group to $H_k$. At finite primes it is unramified because unramified extensions remain unramified under base change. The field $K$ has no real places, so there is no infinite-place ramification condition left. Thus $K{H}_k\subseteq H_K$, where $H_K$ is the Hilbert class field of $K$. Since $[H_K:K]=h_K$, the tower degree formula proves class number divisibility for a CM extension:This argument uses the ordinary class field with split real places; replacing it silently by the narrow class field would invalidate the claim that $H_k$ is totally real.

A modulus of a number field is $\mathfrak{m}={\mathfrak{m}}_0{\mathfrak{m}}_{\infty }$, with ${\mathfrak{m}}_0$ a nonzero integral ideal and ${\mathfrak{m}}_{\infty }$ a subset of the real places. Let $I_{\mathfrak{m}}$ be the group of fractional ideals prime to ${\mathfrak{m}}_0$, and let $P_{\mathfrak{m}}$ consist of principal ideals $(a)$ with $a\equiv 1$ at each prime power in ${\mathfrak{m}}_0$ and $a>0$ at each selected real place. The ray class group isThe ray class field $K_{\mathfrak{m}}$ is the finite abelian extension for which the Artin map has kernel $P_{\mathfrak{m}}$ and induces an isomorphism ${\mathrm{Cl}}_{\mathfrak{m}}(K)\cong \mathrm{Gal}(K_{\mathfrak{m}}/K)$. Equivalently it is the maximal abelian extension whose conductor divides $\mathfrak{m}$.

To compute its order use the ray class exact sequence, including signatures:The middle map lifts a residue and sign tuple to an element of $K$ by weak approximation theorem, then takes its principal ideal as a ray class. Different lifts differ by a principal ray factor. Its kernel consists exactly of tuples represented by global units. Every ordinary ideal class has a representative prime to the finite modulus, again by weak approximation theorem; this gives surjectivity of the last map. If $U_{\mathfrak{m}}$ denotes the ray units, the kernel of the unit map is $U_{\mathfrak{m}}$. The Chinese remainder theorem and counting units in each prime-power quotient give the ray class number formula

First take $K=\mathbb{Q}(\sqrt{-3})$. Its ring of integers is $\mathbb{Z}[\omega ]$, where $\omega =(-1+\sqrt{-3})/2$ and ${\omega }^2+\omega +1=0$. The Minkowski bound for ideal classes is $(2/\pi )\sqrt{3}<2$, so every ideal class has a representative of norm one and $h_K=1$. Its units are the six roots of unity. Modulo seven, the polynomial $X^2+X+1$ has distinct roots $2,4$, and thereforeThe unit group of this quotient has order $36$. The unit $1+\omega$ maps to $(3,5)$, which has order six; consequently unit reduction is injective and $U_{(7)}=\{1\}$. The ray class number formula gives $36/6=6$.

We also identify the quotient explicitly. Conjugation interchanges the two factors, so the residue norm is $(x,y)\mapsto xy$. Its kernel has order six and equals the image of the six units, since $3\cdot 5=1(\mathrm{mod}7)$. HenceThe field $M=K({\zeta }_7)=\mathbb{Q}({\zeta }_{21})$ has degree six over $K$, since the degrees over $\mathbb{Q}$ are twelve and two. It is unramified outside seven by the cyclotomic computation and the base-change argument above. At primes over seven, $K$ has completion ${\mathbb{Q}}_7$, and $M/K$ is the tame degree-six cyclotomic extension; its conductor exponent is one. Its relative arithmetic Artin symbol at an ideal $\mathfrak{a}$ prime to seven acts byIf $\mathfrak{a}=(a)$ with $a\equiv 1(\mathrm{mod}7{\mathcal{O}}_K)$, then $N_{K/\mathbb{Q}}(a)\equiv 1(\mathrm{mod}7)$. Thus the Artin map kills the principal ray subgroup. It factors through the order-six ray class group; the residue norm quotient computed above shows that it is onto the degree-six Galois group, so the fields coincide. This proves the explicit ray class field of Q of square root minus three modulo seven:

Now take $K=\mathbb{Q}(\sqrt{-6})$, and write $s=\sqrt{-6}$. Its ring of integers is $\mathbb{Z}[s]$, its discriminant is $-24$, and its units are $\pm 1$. The quotient by $(s)$ iswhose two units are both images of $\pm 1$. The ray class exact sequence therefore gives ${\mathrm{Cl}}_{(s)}(K)\cong \mathrm{Cl}(K)$.

For its class number, the Minkowski bound for ideal classes is $(2/\pi )\sqrt{24}<4$, so each ideal class contains an integral ideal of norm at most three. The primes of norms two and three areThese are the only nontrivial possibilities within the bound, and their ideal classes coincide and have order at most two. The ideal ${\mathfrak{p}}_2$ is not principal: its being principal would give an integer solution to $x^2+6y^2=2$, which is impossible. Thus $h_K=2$, the ideal class group is $C_2$, and the ray field is the Hilbert class field.

We verify its actual identity rather than stopping at the degree. PutThe two quadratic fields $\mathbb{Q}(\sqrt{2})$ and $\mathbb{Q}(\sqrt{-3})$ are distinct, so $[H:\mathbb{Q}]=4$ and $[H:K]=2$. The integral elements $1,\sqrt{2},b,\sqrt{2}b$ are a rational basis. Their trace matrix is the Kronecker product of the two quadratic trace matrices, with discriminants $8$ and $-3$. Its determinant is therefore $8^2(-3{)}^2=576$. The discriminant-index formula for an integral lattice shows that the field discriminant divides $576$. On the other hand the relative discriminant ideal formula givesThe norm on the right is a positive integer, so equality is forced. Thus the relative discriminant ideal is the unit ideal, and $H/K$ is unramified at every finite prime. There are no real places of $K$. The extension is quadratic and therefore Abelian; its degree equals $h_K$, identifying it with the Hilbert class field of Q of square root minus six. Hence the ray class field of Q of square root minus six modulo square root minus six is

The existence theorem of global class field theory, together with reciprocity, gives an inclusion-reversing bijection between finite abelian extensions $L/K$ inside a fixed algebraic closure and open finite-index subgroups of the idèle class group $C_K$. The subgroup for $L$ is $N_{L/K}{C}_L$, andEquivalently, for each modulus $\mathfrak{m}$, subgroups between the ray-principal group $P_K(\mathfrak{m})$ and the ideal group $I_K(\mathfrak{m})$ classify abelian extensions whose conductor divides $\mathfrak{m}$. Their quotients are identified with the corresponding Galois groups by the Artin map. Changing the modulus gives the same extension when the induced congruence subgroup is the same.

The conductor criterion says that a finite place has conductor exponent zero exactly when the extension is unramified there; a real place is absent from the conductor exactly when it stays real. Thus conductor one means unramified at every finite place and no real-to-complex ramification.

Apply the existence theorem to the open subgroup of $C_K$ which is the image ofThe idele-to-ideal map identifies the quotient by this subgroup with the ordinary ideal class group, which is finite. Therefore its class field $H$ exists and satisfiesIts conductor is one, so it is everywhere unramified. Conversely any everywhere-unramified abelian extension has conductor one; its Artin map kills $U$, hence factors through this quotient and corresponds to an extension contained in $H$. This proves that $H$ is exactly the Hilbert class field, the maximal abelian everywhere-unramified extension. Here the ordinary ideal class group is appropriate because the infinite factors include all $K_v^{\ast }$, rather than only the positive real factors used in a narrow ray class group.

For a number field $K$ and a modulus of a number field $\mathfrak{m}$, let $I_K(\mathfrak{m})$ be the group of fractional ideals prime to its finite part. Let $P_K(\mathfrak{m})$ consist of principal ideals generated by elements congruent to one modulo its finite part and positive at each real place in its infinite part. The ray class group is ${\mathrm{Cl}}_{\mathfrak{m}}(K)=I_K(\mathfrak{m})/P_K(\mathfrak{m})$.

The classification theorem of class field theory asserts the existence of a ray class field $K_{\mathfrak{m}}$ and an Artin map isomorphismIts intermediate fields correspond contravariantly to subgroups of this ray class group. Equivalently, for each congruence subgroup of fractional ideals $P_K(\mathfrak{m})\subseteq H\subseteq I_K(\mathfrak{m})$ there is a unique finite abelian extension with Artin group kernel $H$ and group $I_K(\mathfrak{m})/H$. Every finite abelian extension occurs for some modulus. For a fixed modulus, these are exactly the extensions whose conductor divides that modulus; the same field may be presented using larger moduli, with the appropriate pulled-back group kernel.

We quote the conductor facts needed to specialize this classification. The finite conductor exponent is zero exactly at the unramified primes. A real place occurs in the conductor exactly when it becomes complex. Thus conductor one means unramified at every finite prime and split at every real place. With $\mathfrak{m}=1$ the ray class group is the ordinary ideal class group, so classification gives an extension $H_K/K$ withIt is unramified at all finite primes, and its real places split. Conversely, every finite abelian extension with those properties has conductor one and lies in $K_1=H_K$. This proves the existence and maximality of the ordinary Hilbert class field. Its degree is finite by finiteness of the ideal class group. The real-place convention matters: allowing real places to become complex gives the narrow class field instead; for the imaginary quadratic field in part (ii) this distinction disappears.

Put $C={\bigcup }_{r\ge 1}\mathbb{Q}({\mu }_{p^r})$, where ${\mu }_{p^r}$ is the group of $p^r$th roots of unity. The compatible Galois groups of the cyclotomic fields giveFor odd $p$, the Teichmüller character givesThe p-adic logarithm identifies $1+p{\mathbb{Z}}_p$ with $p{\mathbb{Z}}_p$, which is topologically isomorphic to ${\mathbb{Z}}_p$. More explicitly, $a\mapsto (1+p{)}^a$ is an isomorphism from the additive p-adic integers onto $1+p{\mathbb{Z}}_p$: the logarithm of $1+p$ has valuation one and generates $p{\mathbb{Z}}_p$. Take the fixed field of ${\mu }_{p-1}$ in $C$.

For $p=2$, use insteadThe p-adic logarithm identifies the second factor with $4{\mathbb{Z}}_2$, and $a\mapsto 5^a$ identifies it with ${\mathbb{Z}}_2$. The fixed field of $\{\pm 1\}$ in $C$ is the union of the maximal real subfields of the cyclotomic fields of $2$-power conductor. Thus in both cases the cyclotomic Zp-extension exists:where ${\Delta }_p={\mu }_{p-1}$ for odd $p$ and ${\Delta }_2=\{\pm 1\}$.

The closed subgroup $p^n{\mathbb{Z}}_p$ is the unique subgroup of index $p^n$, so the Galois correspondence supplies the unique degree-$p^n$ field $\mathbb{Q}[p^n]$. In the odd case it is the ${\Delta }_p$-fixed field in $\mathbb{Q}({\mu }_{p^{n+1}})$; in the even case it is the real subfield of $\mathbb{Q}({\mu }_{2^{n+2}})$. These finite layers are all totally real number fields.

Now set $A=\mathbb{Q}[p^n]$, $B=\mathbb{Q}[p^m]$, and let $H_A$ be the ordinary Hilbert class field of $A$. Thus $H_A/A$ is abelian, unramified at finite primes, and split at every real place, with degree $h(A)$. If $m=n$ there is nothing to prove. Otherwise the unique prime over $p$ is totally ramified in $B/A$, by the permitted total-ramification fact and multiplicativity of the ramification index. Any nontrivial intermediate field of $B/A$ is ramified at that prime. HenceIt follows that the two extensions are linearly disjoint field extensions, andUnramified extensions remain unramified after base change. The real places also remain split: $H_A$ and $B$ are totally real, so their compositum is totally real. Therefore $B{H}_A/B$ lies inside the ordinary Hilbert class field $H_B/B$. Its degree divides $[H_B:B]=h(B)$, provingThis is class number divisibility with split real places; using a class-field statement restricted to imaginary fields would unnecessarily omit the present real layers.

Write $\Gamma =\mathrm{Gal}(K_{\infty }/K)\cong {\mathbb{Z}}_p$. Its only finite subgroup is trivial. In particular, a real place cannot acquire complex inertia in this Zp-extension: the possible nontrivial inertia at a real place has order two. Thus every infinite place splits in the tower.

Suppose that no finite prime ramified. Every finite layer would then be an abelian everywhere unramified extension of number fields, including splitting at real places. Every layer would lie in the ordinary Hilbert class field of $K$, a finite extension. Their degrees are unbounded, a contradiction. Therefore some finite prime must ramify.

Let $v$ have residue characteristic $\ell \ne p$. Apply local class field theory to the corresponding decomposition group, a closed subgroup of $\Gamma$. The image of the unit group ${\mathcal{O}}_{K_v}^{\times }$ is the inertia group. Its first principal-unit subgroup is a pro-l group, so its continuous image in the pro-p group $\Gamma$ is trivial. The residue-unit quotient is the finite group ${\mathbb{F}}_{q_v}^{\times }$. Its image is finite, and is therefore also trivial in the torsion-free group ${\mathbb{Z}}_p$. The entire inertia group is trivial. HenceEquivalently, the tame ramification relation with a Frobenius element would force a tame inertia generator to satisfy ${\tau }^{q_v-1}=1$, which is impossible nontrivially in ${\mathbb{Z}}_p$.

For the final assertion, the cyclotomic Zp-extension of $K$ is $K\mathbb{Q}[p^{\infty }]$. Fix $v\mid p$ and put $E=K_v$, a finite extension of ${\mathbb{Q}}_p$. Let $C_n$ be the completion of $\mathbb{Q}[p^n]$ at its unique prime over $p$. This is a totally ramified extension of ${\mathbb{Q}}_p$ of degree $p^n$. In a compatible local algebraic closure,Here the inequality follows from the tower through $C_n$. The right side is unbounded. These composita occur among the completions of the cyclotomic tower over $K$, so $v$ has unbounded ramification index, in particular nontrivial inertia group. ThusThis argument allows an arbitrary finite intersection between $K$ and the rational cyclotomic tower; it does not assume disjointness.

Let $K=\mathbb{Q}(\sqrt{-31})$. Its ring of integers of a quadratic field is $\mathbb{Z}[(1+\sqrt{-31})/2]$, and its fundamental field discriminant is $-31$.

First compute the class number. The ideal-form correspondence for imaginary quadratic fields identifies the ideal classes with proper equivalence classes of primitive positive definite binary quadratic forms of discriminant $-31$. Each has a unique reduced positive definite binary quadratic form representative under the convention $|b|\le a\le c$, with $b\ge 0$ when $|b|=a$ or $a=c$. From $31=4ac-b^2\ge 3a^2$ we get $1\le a\le \sqrt{31/3}<4$. Checking these three possible leading coefficients gives exactlyFor $a=3$, neither odd residue choice $b=\pm 1,\pm 3$ makes $(b^2+31)/12$ integral. The listed forms are primitive and satisfy the reduction convention, soThis computes the ideal class group of Q of square root minus thirty-one.

Now take a root $\theta$ of $F(T)=T^3+T-1$, and let $H$ be its splitting field over $\mathbb{Q}$. There is no rational root: the only candidates are $\pm 1$, and neither vanishes. Thus the cubic is irreducible. Its polynomial discriminant isSince this is nonsquare, the Galois group of an irreducible cubic is $S_3$. Its quadratic subfield is $K$: the product of pairwise root differences squares to $-31$ and changes sign under odd permutations. Thus $H/K$ is cyclic of degree three, and $H=K(\theta )$. Indeed the cubic field and $K$ have coprime degrees, so their compositum already has the full splitting-field degree six. The squarefree polynomial discriminant also shows, by the discriminant-index formula for an integral lattice, that $\mathbb{Z}[\theta ]$ is the full integer ring of the cubic field.

It remains to prove that $H/K$ is unramified everywhere. At any rational prime $\ell \ne 31$, the reduction of $F$ is separable. Over a finite residue extension in which it splits, all residue roots are simple and lift by Hensel lemma to the corresponding unramified extension of ${\mathbb{Q}}_{\ell }$. Therefore the local splitting field is unramified over ${\mathbb{Q}}_{\ell }$, and its extension over a completion of $K$ is unramified as well.

At the only possible ramified prime, direct reduction givesThe simple root lifts to $r\in {\mathbb{Q}}_{31}$. Write $F(T)=(T-r)Q(T)$, with $Q$ monic quadratic over ${\mathbb{Q}}_{31}$. The discriminant product formula givesHere $Q(r)=F^{\prime }(r)$ is a unit, so the quadratic discriminant has square class $-31$. Hence the entire local splitting field isIt is quadratic over ${\mathbb{Q}}_{31}$, but its extension over the completion of $K$ is trivial. Thus the prime over $31$ splits completely in $H/K$; in particular it is not ramified there. This is the local splitting-field argument behind an unramified cyclic cubic extension from a prime-discriminant cubic. There are no real places of the imaginary quadratic field $K$, so no infinite-place ramification remains to check.

The Hilbert class field theorem identifies the maximal everywhere unramified abelian extension with an extension of degree $h_K$. Our cyclic unramified extension already has that degree, so it must be the whole Hilbert class field. ThereforeEquivalently, it is the splitting field of $T^3+T-1$, of degree six over $\mathbb{Q}$ and degree three over $K$. Replacing $\theta$ by ${\theta }^{-1}$ gives the alternative defining cubic $T^3-T^2-1$. This is the Hilbert class field of Q of square root minus thirty-one.