Weakly integrally closed domains:minimum polynomials of matrices

Abstract

Must the coefficients of the minimum polynomial of a matrix over a domain lie in that domain? This question leads to the notion of a weakly integrally closed domain, over which the answer is "yes" for 3-by-3 matrices. It is shown that certain subalgebras of k[t] are weakly integrally closed, as are rings consisting of quadratic algebraic numbers.

1  Minimum polynomials of matrices

Let A be an n-by-n matrix with entries in a commutative integral domain R with quotient field F. We are interested in the question of when the (monic) minimum polynomial of A over F has all its coefficients in R. This is true if R is integrally closed because the minimum polynomial is a factor of the characteristic polynomial. It is also true in the following two simple cases:

• If the characteristic polynomial of A is the minimum polynomial.

• If A is a scalar matrix.

These are the only cases for n = 2, so every 2-by-2 matrix has this property. For a 3-by-3 matrix there is one other case: The characteristic polynomial of A is (X-a)2(X-b) and the minimum polynomial is (X-a)(X-b) with a,b Î F integral over R (possibly a = b). In [1] William C. Brown considered the matrix

A = æ
ç
ç
ç
è
 0
 t3
 t4
 t7
 0
 t6
 t6
 t4
 0
ö
÷
÷
÷
ø
with entries in the ring R = k[[t3,t4]], where k is the two-element field. The minimum polynomial of A is X2-t5X, and its coefficients do not lie in R. The motivation for this paper was to understand Brown's example.

We saw that the question for 3-by-3 matrices reduces to the case where the minimum polynomial is quadratic. Let us say that R is 3-closed if the minimum polynomial of every 3-by-3 matrix over R has its coefficients in R, and that R is quadratically closed if that is true for quadratic minimum polynomials of any square matrix over R. So if R is quadratically closed, then R is 3-closed.

2  Brown's example extended

Let D be a domain and M a submonoid of tN = {tn:n Î N}, where t is an indeterminate. Consider the monoid algebra R = D[M]. We can represent M by an infinite binary string, like 10111¼ for the monoid generated by t2 and t3. Brown's example of the preceding section can be elaborated upon.

Theorem 1 If the binary string of the monoid M contains the pattern 11011, then the monoid algebra R = D[M] is not 3-closed.

Proof. Suppose the pattern 11011 starts at position k (for that to happen, k must be at least 3). Consider the matrix

A = tk æ
ç
ç
ç
è
 0
 1
 t
 t4
 0
 t3
 t3
 t
 0
ö
÷
÷
÷
ø
= tkB.
Note that B2 = t2B+2t4I, so
 A2 = t2kB2 = t2k+2B+2t2k+4I = tk+2A+2t2k+4I.
Thus the minimum polynomial of A is X2-tk+2X-2t2k+4, and tk+2 Ï R.

Similarly, replacing t by tn in B, we see that any string containing k, k+n, k+3n, k+4n and missing k+2n, is not 3-closed. So the pattern

 1·· 1·· 0·· 1·· 1
is excluded.

For the purpose of deciding whether or not D[M] is 3-closed, we might as well assume that the string for M ends in all 1's. Otherwise, M = (M¢)n, where n > 1, and D[M] @ D[M¢].

2.1  The ring Z[3Ö{16}]

If we look at Brown's example from another angle, we can construct a number ring that is not 3-closed. Instead of thinking of k[t3,t4], we can think of k[x,y]/(x4-y3). In the latter ring we can identify t as y/x = t4/t3. So we look for a number ring with elements x and y so that x4 = y3.

Let a = 3Ö{16}, so a3 = 24, whence (a/2)3 = 2. Let t = a/2, so t3 = 2 and t4 = a are in Z[a], and t5 = a2/2 is not in Z[a]. Our matrix is

æ
ç
ç
ç
è
 0
 2
 a
 2a
 0
 4
 4
 a
 0
ö
÷
÷
÷
ø
which satisfies the quadratic polynomial X2-t5X-2t10. That is, X2-(a2/2)X-8a.

This summarizes what we know of the negative side of the problem. We now turn to the positive side.

3  Weakly integrally closed domains

Let R Ì R¢ be integral domains. We say that an element x Î R¢ is strongly integral over R if there is a nonzero finitely generated ideal J of R such that xJ Ì J2. In particular, if x is strongly integral over R, then x is in the quotient field of R, and x is integral over R. We say that R is weakly integrally closed in R¢ if each element of R¢ that is strongly integral over R is in R. By the preceding observation, if R is an integrally closed domain, then R is weakly integrally closed in R¢.

Theorem 2

1. (Intersections) If each member in a family of subrings Ri of R¢ is weakly integrally closed in R¢, then ÇiRi is weakly integrally closed in R¢.

2. (Transitivity) If R is weakly integrally closed in R¢, and R¢ is weakly integrally closed in R¢¢, then R is weakly integrally closed in R¢¢.

3. (Weakness) If R is integrally closed in R¢, then R is weakly integrally closed in R¢.

4. (Localization)

1. If R is weakly integrally closed in R¢, then RS is weakly integrally closed in RS¢ for any multiplicatively closed subset of R not containing zero.

2. If RM is weakly integrally closed in RM¢ for every maximal ideal M of R, then R is weakly integrally closed in R¢.

Proof. Suppose J is a nonzero finitely generated ideal of ÇiRi, and xJ Ì J2 for some x Î R¢. Let Ji = RiJ, a nonzero finitely generated ideal of Ri. Then xJi Ì Ji2 for each i, so x Î ÇiRi. This proves (1).

To show (2), let J be a nonzero finitely generated ideal of R such that xJ Ì J2 for x Î R¢¢. Then J¢ = R¢J is a nonzero finitely generated ideal of R¢ such that xJ¢ Ì J¢2, so x Î R¢, so x Î R.

Let J be a nonzero finitely generated ideal of R and xJ Ì J2 for some x Î R¢. Then xJ Ì J, so x is integral over R, whence x Î R. This proves (3).

To show (4a), suppose R is weakly integrally closed in R¢. Let x Î RS¢ and J be a nonzero finitely generated ideal of RS. There is s Î S such that sJ is a finitely generated ideal of R, and sx Î R¢. If xJ Ì J2, then sxsJ Ì (sJ)2, so sx Î R whence x Î RS. Therefore RS is weakly integrally closed in RS¢.

For (4b), suppose RM is weakly integrally closed in RM¢ for every maximal ideal M of R. Let x Î R¢ and J be a nonzero finitely generated ideal of R such that xJ Ì J2. Let C = {r Î R:rx Î R}. If M is any maximal ideal of R, then x Î RM, so rx Î R for some r Î R\M. Therefore C is not contained in M for any maximal ideal M, so C = R, whence x Î R.

Because of (1) we can talk about the weak integral closure of R in R¢. If R is weakly integrally closed in its quotient field, then we say simply that R is weakly integrally closed. We shall see later that the weak integral closure need not coincide with the set of strongly integral elements (Example 1).

Theorem 3 If R is weakly integrally closed, then R is quadratically closed. That is, if A is a nonzero square matrix with entries in R that satisfies a monic quadratic polynomial with coefficients in the quotient field of R, then those coefficients are in R.

Proof. Suppose

 A2+xA+yI = 0
and we want to show that x Î R, and so y Î R. The matrix A-rI, with r Î R, satisfies the polynomial equation
 X2+(x+2r)X+y+r2+xr = 0
so we may assume that some diagonal entry of A is zero. Let J be the ideal generated by the entries of A. Note that y Î J2. Then xJ Ì J2, so x Î R.

So D[t3,t4] is not weakly integrally closed, because it is not 3-closed, being a monoid algebra with string 100110111¼ .

What are some examples of rings that are weakly integrally closed but not integrally closed? For monoid algebras, the following is our best positive result. First a lemma.

Lemma 4 If D is an integrally closed domain with quotient field K, and M is a submonoid of tN, then D[M] is weakly integrally closed if and only if K[M] is.

Proof. We have D[M] = K[M]ÇD[t], and D[t] is integrally closed. Thus if K[M] is weakly integrally closed, so is D[M]. Conversely, K[M] is a localization of D[M].

Theorem 5 Let D be an integrally closed domain and t an indeterminate. Then the domain

 Ri,m = D[ti,tm,tm+1,tm+2,¼]
is weakly integrally closed for each pair of natural numbers i and m.

Proof. From Lemma 4, we may assume that D is a field.

The theorem is clearly true for i = 1 or m = 1. Fix i > 1, write Rm for Ri,m, and proceed by induction on m. Note that

 D[t] = R1 É R2 É R3 É ¼
Note that R1 is integrally closed in the common quotient field D(t). We will show that Rm is weakly integrally closed in Rm-1, for m > 1. Let x be an element of Rm-1 and J a finitely generated nonzero ideal of Rm such that xJ Ì J2. If m º 1 mod i, then Rm = Rm-1, so we may assume that m ¹ 1 mod i.

For any element e Î D[t] let e = e0+e1t+e2t2+¼ and define the value vt(e) to be the least j such that ej ¹ 0. Let n be the minimum of vt(e), as e ranges over J. As vt(xe) ³ 2n for each e Î J, it follows that vt(x) ³ n.

We pause for an observation. Let a Î Rm-1 and b Î Rm. Suppose vt(a) ³ n and vt(b) ³ n, where n < m, and i divides n. Then

 (ab)m-1+n = am-1bn+ å 0 < j £ m-1-n am-1-jbn+j.
As i does not divide m-1+n, either i does not divide m-1-j < m-1, or i does not divide n+j < m-1. Thus am-1-jbn+j = 0 for each j, so
 (ab)m-1+n = am-1bn.

Now suppose n < m, so n is a multiple of i. Recall that vt(x) ³ n. If e and e¢ are in J, then (ee¢)m-1+n = em-1en¢ = 0, by the observation above. So if f is any element of J2, then fm-1+n = 0. Therefore, if e Î J, then (xe)m-1+n = 0.

If e Î J has value n, then 0 = (xe)m-1+n = xm-1en from the observation again. So xm-1 = 0, whence x Î Rm.

We can get a simple characterization of when D[tm,tn] is weakly integrally closed (or 3-closed) when D is integrally closed.

Theorem 6 Let R = D[tm,tn] with D a domain and 1 £ m < n. If m divides 2n, and D is integrally closed, then R is weakly integrally closed. If m does not divide 2n, then R is not 3-closed.

Proof. As the hypothesis and the conclusion are invariant under dividing m and n by a common factor, we may assume that m and n are relatively prime. If m divides 2n, then m divides 2, so m = 1 or m = 2. If m = 1, then R = D[t] is integrally closed, hence weakly integrally closed. If m = 2, then R = D[t2,tn] where n is odd. Then Theorem 5 shows that R is weakly integrally closed.

So suppose that m ³ 3 is relatively prime to n > m. We will show that R is not 3-closed by finding the pattern 11011 in the binary string of the monoid M generated by m and n (Theorem 1). Consider the m-by-n array

 0
 1
 2
 ¼
 n-1
 n
 ¼
 ¼
 2n-1
 2n
 ¼
 ¼
 3n-1
 :
 :
 (m-2)n
 ¼
 ¼
 (m-1)n-1
 (m-1)n
 ¼
 ¼
 mn-1
Each column contains an element divisible by m, because (m,n) = 1. So every integer from (m-1)n on is in M, because we can subtract a multiple of n from it and get a multiple of m.

If n = m+1, then the first column of the smaller array, and no other, consists entirely of numbers that are not divisible by m. As the first entry of the last column is equal to m, this means that (m-2)n+1 is not in M, while the four integers closest to it are in M (this uses m > 2): the pattern 11011.

If n > m+1, then there is a column of the smaller array, other than the first, which consists of numbers that are not divisible m. Pick the rightmost such column. Its last entry is the 0 of 11011.

The weak integral closure does not always coincide with the set of strongly integral elements, which need not be closed under addition (but is closed under multiplication).

Example 1 Let D be an integrally closed domain. The weak integral closure of R = D[t3,t4] is R¢ = D[t3,t4,t5]. The set of elements in R¢ that are strongly integral over R is RÈM¢, where M¢ = {f Î R¢:f(0) = 0}.

Proof. We see from Theorem 5 that R¢ is weakly integrally closed. Let M = M¢ÇR. If x Î M¢, then xM Ì M2, while if x Î R, then xR Ì R2, so the elements of RÈM¢ are strongly integral over R, and R¢ = DÅM¢ is the weak integral closure of R.

Now suppose x Î R¢ but not in RÈM¢, and J is a nonzero ideal of R. If J is not contained in M, then xJ is not contained in R. If J Ì M, let the smallest t-value of an element of J be k ³ 3. The smallest t-value of an element of J2 is then 2k > k, so xJ cannot be contained in J2.

In particular, although 1 and t5 are strongly integral over D[t3,t4], the sum 1+t5 is not.

3.1  Sufficient conditions

Recall that the integral closure of an ideal I in a ring R consists of those elements x Î R that satisfy an equation of the form

 xn+a1xn-1+¼+an-1x+an = 0
with ai Î Ii. The intersection of integrally closed ideals is integrally closed. Maximal ideals are integrally closed. Any ideal in a Dedekind domain is integrally closed. If I is integrally closed in R, then IS is integrally closed in RS.

The conductor of R in R¢ is {x Î R:xR¢ Ì R}. It is the largest R¢-ideal contained in R. Here is a general sufficient condition for R to be weakly integrally closed in R¢.

Theorem 7 Let R Ì R¢ be integral domains, and C the conductor of R in R¢. Suppose that

• C = {r Î R:rx Î R} for each x Î R¢\R,

• C is integrally closed in R¢.

Then R is weakly integrally closed in R¢.

Proof. Let J be a finitely generated nonzero ideal of R, and x Î R¢ such that xJ Ì J2. Suppose x Ï R. As C = {r Î R:rx Î R}, we have J Ì C. As xJ Ì J2, the element x is integral over C, hence in C Ì R

Note that the first condition in Theorem 7 holds if C is a maximal ideal in R.

Corollary 8 If the conductor of R in R¢ is a finite intersection of maximal ideals of R, and is integrally closed in R¢, then R is weakly integrally closed in R¢.

Proof. By Theorem 2 it suffices to prove that RM is weakly integrally closed in RM¢ for each maximal ideal M of R. Let C be the conductor of R in R¢. If M does not contain C, then RM¢ = RM because rR¢ Ì R for any r Î C\M. If M contains C, then CRM = MRM because C is a finite intersection of maximal ideals. Moreover, the maximal ideal CRM is the conductor of RM in RM¢. Finally, CRM is integrally closed as an ideal of RM¢ because C is integrally closed as an ideal of R¢. The result now follows from Theorem 7.

Corollary 9 If R¢ is a Dedekind domain, and the conductor of R in R¢ is a finite intersection of maximal ideals of R, then R is weakly integrally closed in R¢.

Corollary 9 covers the rings K[tm,tm+1,tm+2,¼], for K a field (and so for K integrally closed), and also the rings Z[Öd] where d is square-free and congruent to 1 modulo 4, as we will see in the next section. We can use Theorem 7 to extend Theorem 5 via the next theorem.

Theorem 10 Let M be a submonoid of tN and tm the smallest nonunit power of t in M. Let D be an integrally closed domain, R = D[M\{tm}] and R¢ = D[M]. If R¢ is weakly integrally closed, then so is R.

Proof. From Lemma 4 we may assume that D is a field. The conductor C of R in R¢ is the linear span of M\{1,tm}, a maximal ideal in R. Moreover, the obvious discrete valuation v on R¢ has the property that C = {r Î R¢:vr > m}, so C is integrally closed in R¢. The result now follows from Corollary 8.

Iterating this theorem gives yet another proof that D[tm,tm+1,tm+2,¼] is weakly integrally closed, if D is integrally closed, by deleting t,t2,¼,tm-1 successively from D[t]. We can also apply it to the other rings in Theorem 5 to show, for example, that D[t4,t6,t9,t11] is weakly integrally closed (from D[t2,t9] by deleting t2).

4  Quadratic extensions of Dedekind domains

Let 1,q be an integral basis for the integers in a quadratic field Q(q). Any subring of the integers of Q(q) has the form R = Z[nq] = ZÅnZq. In particular, when d is square-free and congruent to 1 modulo 4, then Z[Öd] = Z[2q] where q = (1+Öd)/2. The conductor of R in its integral closure Z[q] is C = nZ[q], and R/C is isomorphic to Z/nZ. So the conductor is maximal in R if and only if n is a prime, in which case R is weakly integrally closed by Corollary 9.

What about Z[4i]? It suffices to show that Z[4i] is weakly integrally closed in Z[2i]. The conductor is the unique maximal ideal M = 2ZÅ4Zi = 2Z[2i] of Z[4i] that contains 2. Is M integrally closed in Z[2i]? No because (2i)2 = -22 Î M2 shows that 2i is integral over M. So this is not covered by Theorem 7. Nevertheless, Z[4i] is weakly integrally closed, as we shall see.

If D is a subring of an integral domain R, we say that R is a separable quadratic extension of D if R is a subring of a separable quadratic extension field of the quotient field K of D. By the primitive element theorem, it suffices to require that each element of R satisfies a separable quadratic polynomial over K.

Theorem 11 Any separable quadratic integral extension of a discrete valuation domain is weakly integrally closed.

Proof. Let D be a discrete valuation domain with prime p, and R a separable quadratic integral extension of D. Let 1,q be an integral basis for the integral closure D[q] of R (see [2]). Then either R = D[q], which is integrally closed, or R = D[pk+1q] for some nonnegative integer k. By induction and transitivity, it suffices to show that R = D[pk+1q] is weakly integrally closed in R¢ = D[pkq].

Note that D[q] is a principal ideal domain with at most two primes. Note also that R is a local ring, and its unique maximal ideal, pR¢, is the conductor of R in R¢.

Write q2 = s+tq where s,t Î D. Suppose J is a proper finitely generated ideal of R. For x Î D, let vx denote the value of x. We can generate J as a D-module by a+bq and c, where va ³ 1 and vb ³ k+1. We may assume that J is not principal, so c ¹ 0. If vc £ va, then we may, and do, take a = 0. Note that J2 is generated by a2+sb2+(2ab+tb2)q, and c2 and ca+cbq.

Suppose (r+pkq)J Ì J2. Then a+bq Î J and

 (r+pkq)(a+bq) = ra+spkb+(rb+pka+tpkb)q Î J2.
If va £ k, so vc > va, then J2 Ì p2vaDÅpva+k+1Dq, so
 v(ra+spkb) ³ 2va    and   v(rb+pka+tpkb) ³ va+k+1.
The second inequality gives vr+vb = va+k so vr < va. So the first gives vr+va = vs+k+vb ³ 2k+1, so va > k. What if a = 0? Want vc > k. If vc £ k, then J = pvcDÅpvbDq and J2 = p2vcDÅpvc+vbDq. Consider (r+pkq)c Î J2. So k+vc ³ vc+vb, a contradiction.

So we may assume that va > k and vc > k. Note that pk+1 does not divide r+pkq. Let p be the prime in D[q] that divides r+pkq the least. Let n be the p-value of p. Then the p-value of r+pkq is less than n(k+1). As va > k and vc > k, we have J Ì pmD[q]\pm+1D[q] for some m ³ n(k+1). So J2 Ì p2mD[q] but (r+pkq)J is not contained in p2mD[q].

We can eliminate the requirement that the extension be integral in Theorem 11.

Theorem 12 Any separable quadratic extension of a discrete valuation domain is either integral, a field, or a principal ideal domain.

Proof. Suppose D is a discrete valuation domain with prime p and quotient field K, and R is a separable quadratic extension of D. Suppose D[q] = DÅDq is integrally closed, where q Î KR = K[q], the quotient field of R, and q2 = sq+t with s,t Î D. Let l be an element of R Ì K[q]. We will show that if l is not in D[q], then D[l] contains either K or q. Thus either R Ì D[q], in which case R is integral over D; or R contains K, in which case R = KR is a field; or R contains q, in which case R is between D[q], a principal ideal domain, and its quotient field K[q], so is a principal ideal domain.

Multiplying l by an appropriate power of p we may assume that

 l = a+bq p
where p does not divide both a and b. If p does not divide b, then q = (pl-a)/b Î D[l], so we may assume that p divides b and that p does not divide a. Adding an element of D to a multiple of l, we may assume that a = 1. Then
 pl2 = 1+b2t+(2b+b2s)q p
so
 pl2-(2+bs)l = 1+b2t-(2+bs) p = -1+b(bt-s) p
whence 1/p Î D[l], so D[l] contains K.

Having done the discrete valuation domain case, we proceed to the global case.

Theorem 13 Let R¢ be a separable quadratic extension of a domain R. Let F be a family of prime ideals of R such that RP is a discrete valuation domain for each P Î F. If R¢ = ÇP Î FRP¢, then R¢ is weakly integrally closed.

Proof. It suffices to show that RP¢ is weakly integrally closed for each P in F. But RP¢ is a separable quadratic extension of the discrete valuation domain RP.

Corollary 14 Let R¢ be a separable quadratic extension of a Krull domain R. If R is a Dedekind domain, or if R¢ is a free R-module, then R¢ is weakly integrally closed.

Proof. Let F be the set of height-one prime ideals of R. In both cases, localization at an ideal in F gives a discrete valuation domain. When R is Dedekind, these ideals are maximal, so R¢ is equal to the indicated intersection. When R¢ is a free R-module, this equality follows from the fact that R = ÇP Î FRP.

Corollary 15 If R is a Dedekind domain with quotient field K, and L is a separable quadratic extension of K, then any ring between R and L is weakly integrally closed. In particular, any ring of quadratic algebraic numbers is weakly integrally closed.

Recall from Section 2.1 that the ring Z[3Ö{16}], which is a free cubic extension of Z, is not weakly integrally closed.

The conductor, M = pR¢, of R in R¢ need not be integrally closed for rings of quadratic integers. For Z[pi] Ì Z[i], the conductor is maximal and integrally closed. For Z[p2i] Ì Z[pi], the conductor is maximal but not integrally closed as (pi)2 = p2 Î M2. So Theorem 7 does not apply. For Z[p2i] Ì Z[i] the conductor p2Z[i] is integrally closed but not maximal.

As a nonintegral example of Corollary 15, consider the ring Z[(3+4i)/5]. If we localize at a prime other than 2 or 5 we get Z(p)[i], which is integrally closed. Localizing at 2 gives Z(2)[4i], which is weakly integrally closed. If we localize at 5 we get Z[i] localized at the prime ideal (2+i), a discrete valuation domain, so integrally closed.

5  Inheritance by polynomial rings

We address the question as to whether R[X] is weakly integrally closed whenever R is. First we observe that all of our constructions of weakly integrally closed domains R have the property that R[X] is also weakly integrally closed.

If R is a separable quadratic integral extension of a discrete valuation domain D, then R is free over D, so R[X] is a free separable quadratic extension of the Krull domain D[X]. So R[X] is weakly integrally closed. This also works for other separable quadratic extensions R of discrete valuation domains as these are either fields or principal ideal domains. If D is a Dedekind domain, then RP[X] is weakly integrally closed for each maximal ideal P of D, so R[X] is weakly integrally closed.

As for the monoid rings, if R = D[M] where D is integrally closed, then R[X] = D[X][M] and D[X] is integrally closed.

Here are some general facts about being strongly integral over R[X] which fall short of showing that R[X] is weakly integrally closed whenever R is.

Lemma 16 Let R Ì R¢ be integral domains. If f in R¢[X] is strongly integral over R[X], then f(r) is strongly integral over R for each element r in R.

Proof. Let J be a nonzero finitely generated ideal of R[X] and f Î R¢[X] such that fJ Ì J2. For r in R, let Jr be the image of J in R under evaluation at r. Then Jr is a finitely generated ideal of R. Write J = (X-r)mI where I is finitely generated, m ³ 0, and Ir ¹ 0. Then f·(X-r)mI Ì (X-r)2mI2, so fI Ì I2. As f(r)Ir Ì Ir2, it follows that f(r) is strongly integral over R.

Theorem 17 Let R be a domain that contains an infinite set U, all of whose nonzero differences are units. If R is weakly integrally closed in R¢, then R[X] is weakly integrally closed in R¢[X].

Proof. If f Î R¢[X] is strongly integral over R[X], then it follows from the lemma that f(u) Î R for each u in U. Using 1+degf of these elements, a Vandermonde determinant argument shows that f Î R[X].

Corollary 18 If R is a weakly integrally closed domain that contains an infinite field, then R[X] is weakly integrally closed.

The ring R need not contain an infinite field to satisfy the condition of Theorem 17. Consider the subring R of the field Q(X) consisting of quotients a/b of polynomials in Z[X] where b is primitive. We can let U be the set {1,1+X,1+X+X2,¼}. Of course R is integrally closed, being a unique factorization domain, but the ring R[2i] is not, and R[2i] is weakly integrally closed because it is a free quadratic extension of the Krull domain R.

Theorem 19 If R is a Noetherian domain, and f is strongly integral over R[X], then the leading coefficient of f is strongly integral over R.

Proof. Suppose fJ Ì J2 for J a nonzero finitely generated ideal of R[X]. Let I be the ideal in R of leading coefficients of J. As R is Noetherian, I is finitely generated. The ideal of leading coefficients of J2 is I2. So if a is the leading coefficient of f, then aI Ì I2, whence a is strongly integral over R.

Corollary 20 If R is a Noetherian weakly integrally closed domain, and f is strongly integral over R[X] with degf £ 2, then f Î R[X].

Proof. Let f = a0+a1X+a2X2. Then a2 Î R as is f(0) = a0 and f(1) = a0+a1+a2.

6  Open problems

• Characterize the weakly integrally closed algebras k[M] where M is a submonoid of the free monoid on one generator, and k is a field. At least do this for k the two-element field. Is k[t4,t5,t11] weakly integrally closed? Is it enough to exclude the patterns of Theorem 1 and the remark following?

• Are weakly integrally closed domains 4-closed? Is k[t2,t3] 4-closed?

• Same question for cubically closed (which is possibly stronger).

• Are there 3-closed domains that are not weakly integrally closed?

• When is the property of being weakly integrally closed inherited? For example, are polynomial rings over weakly integrally closed domains weakly integrally closed? It is not inherited by integral quadratic extensions:
 k[t3,t6,t7,t8,¼] Ì k[t3,t4].
What about integral quadratic extensions of integrally closed domains? Of (nondiscrete) valuation domains?

• What can be said about completions? (Brown's example was k[[t3,t4]]).

• Does the weak integral closure of a domain consist of sums of strongly integral elements?

References

[1]
BROWN, WILLIAM C., Null ideals and spanning ranks of matrices, Communications in Algebra 26 (1998), 2401-2417

[2]
ZARISKI, OSCAR AND PIERRE SAMUEL, Commutative algebra, Van Nostrand 1958.

File translated from TEX by TTH, version 2.27.
On 19 Nov 1999, 09:23.