INERT EXTENSIONS OF KRULL DOMAINS

Similar documents
Splitting sets and weakly Matlis domains

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim

REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES

4.4 Noetherian Rings

REFLEXIVE MODULES OVER GORENSTEIN RINGS

Dedekind Domains. Mathematics 601

Dimension Theory. Mathematics 683, Fall 2013

Arithmetic Funtions Over Rings with Zero Divisors

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

5 Dedekind extensions

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

SUBRINGS OF NOETHERIAN RINGS

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

THE REGULAR ELEMENT PROPERTY

THE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley

Introduction Non-uniqueness of factorization in A[x]... 66

G/N. Let QQ denote the total quotient sheaf of G, and let K = T(X, QL). Let = T(X, (QÖ)/Ö ), the group of Cartier divisors, let 5ß =

7 Orders in Dedekind domains, primes in Galois extensions

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

PRIMARY DECOMPOSITION OF MODULES

1 Absolute values and discrete valuations

n P say, then (X A Y ) P

COMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract

INDECOMPOSABLE GORENSTEIN MODULES OF ODD RANK. Christel Rotthaus, Dana Weston and Roger Wiegand. July 17, (the direct sum of r copies of ω R)

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

SOME APPLICATIONS OF ZORN S LEMMA IN ALGEBRA

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

GRADED INTEGRAL DOMAINS AND NAGATA RINGS, II. Gyu Whan Chang

DENSITY RELATIVE TO A TORSION THEORY

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS

5 Dedekind extensions

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References

ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS. In this handout we wish to describe some aspects of the theory of factorization.

arxiv:math/ v1 [math.ra] 9 Jun 2006

A NOTE ON ZERO DIVISORS

Ideals Of The Ring Of Higher Dimensional Dual Numbers

Spectra of rings differentially finitely generated over a subring

Solutions to Homework 1. All rings are commutative with identity!

NOETHERIAN SPACES OF INTEGRALLY CLOSED RINGS WITH AN APPLICATION TO INTERSECTIONS OF VALUATION RINGS

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

Bulletin of the. Iranian Mathematical Society

Additively Regular Rings and Marot Rings

RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS

Selected Math 553 Homework Solutions

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

E (»p(*) - np(5'))(p) p

6 Ideal norms and the Dedekind-Kummer theorem

arxiv: v8 [math.ra] 13 Apr 2015

INTEGRALITY OF SUBRINGS OF MATRIX RINGS

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES

ON THE SUBGROUPS OF TORSION-FREE GROUPS WHICH ARE SUBRINGS IN EVERY RING

THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.

REGULAR P.I.-RINGS E. P. ARMENDARIZ AND JOE W. FISHER

TRIVIAL EXTENSION OF A RING WITH BALANCED CONDITION

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

arxiv:math/ v1 [math.ac] 15 Sep 2002

Algebra Homework, Edition 2 9 September 2010

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form

arxiv: v1 [math.ac] 16 Nov 2018

S. Paul Smith and James J. Zhang

GENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS

Another proof of the global F -regularity of Schubert varieties

THE SOLUTION OF 3y2 ± 2" = x3

Math 210B. Artin Rees and completions

IDEAL CLASSES AND RELATIVE INTEGERS

Characterizing integral domains by semigroups of ideals

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

INFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS

Assigned homework problems S. L. Kleiman, fall 2008

Quasi-primary submodules satisfying the primeful property II

Primitivity of finitely presented monomial algebras

n-x -COHERENT RINGS Driss Bennis

Ring Theory Problems. A σ

On some properties of elementary derivations in dimension six

FLAT AND FP-INJEOTVITY

LOCALLY PRINCIPAL IDEALS AND FINITE CHARACTER arxiv: v1 [math.ac] 16 May 2013

EXTENSIONS OF EXTENDED SYMMETRIC RINGS

Math-Net.Ru All Russian mathematical portal

WEAKLY FACTORIAL DOMAINS AND GROUPS OF DIVISIBILITY

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS

Rings With Topologies Induced by Spaces of Functions

TWO IDEAS FROM INTERSECTION THEORY

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO

Homework 2 - Math 603 Fall 05 Solutions

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

THE LARGE CONDITION FOR RINGS WITH KRULL DIMENSION

SUMS OF UNITS IN SELF-INJECTIVE RINGS

CHARACTERIZATION OF LOCAL RINGS

4.2 Chain Conditions

arxiv: v1 [math.ac] 7 Feb 2009

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

P-Ideals and PMP-Ideals in Commutative Rings

DOUGLAS J. DAILEY AND THOMAS MARLEY

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

TROPICAL SCHEME THEORY

RINGS: SUMMARY OF MATERIAL

Algebraic properties of rings of continuous functions

Transcription:

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 59, Number 2, September 1976 INERT EXTENSIONS OF KRULL DOMAINS DOUGLAS L. COSTA AND JON L. JOHNSON Abstract. Let A C B be integral domains with B an inert extension of a Krull domain A. Let 9(A) be the set of height one primes of A, and let T = H e9,(/))fi <S> A. When each Bp = B Ap is a UFD, a necessary and sufficient condition for T to be a Krull domain is obtained. If T is a Krull domain and each B is a UFD, then the divisor class groups of A and T are isomorphic under the natural mapping. These results are applied 10 A Q B when B is a symmetric algebra over A and when B is locally a polynomial ring over A. Let A C B be integral domains. Following Cohn [3] we say that B is an inert extension of A if for any nonzero x, y E B, xy E A implies x E A, y G A. If B is an inert extension of A and a Krull domain, then /. is easily seen to be a Krull domain. In this paper we give a partial converse to this result, and we compare the class groups of A and B, when both are Krull domains. This paper originated as a study of extensions A Q B with A a Krull domain and B a symmetric algebra over A. Under these hypotheses it is known that when A is a UFD, fi is a UFD if and only if B is a factorial A- module [4], [5]. An A -module M over a UFD A is factorial if it is torsion-free and every element x E M may be written uniquely x = ax*, with a E A and x an element of M divisible only by units of A. Elements of M divisible only by units are called primitive. We generalize the idea of a factorial module as follows. Let A be a Krull domain, M an A -module, and 9iA) the set of height one primes of A. We say that M is a Krull A -module if M is torsion-free, Mn p = M. A p is a factorial A -module for eachp E 9iA), M = f]peq>ta)mp, and each nonzero x in M is primitive in all but a finite number of M (i.e. the intersection is "locally finite"). Our main result, Theorem 1.6, shows that if A C B is an inert extension with A a Krull domain and B a UFD for each p E 9iA), then T = ne^\i) is a Krull domain if and only if it is a Krull /.-module, in which case Cl ia) = Cl (T). In the second section we show that in the case when B is a symmetric algebra over A, the condition that B be a UFD for each p E 9{A) is superfluous. We conclude with some examples. We owe a debt of originality to 10 of [7], as our main results are generalizations of Theorem 10.11 of [7] and our arguments, for the most part, Received by the editors February 13, 1976. AMS (MOS) subject classifications (1970). Primary 13F05; Secondary 13B99. Key words and phrases. Krull domain, divisor class group, polynomial ring, symmetric algebra. American Mathematical Society 1976 189

190 D. L. COSTA AND J. L. JOHNSON are adaptations of those of [7]. Indeed, one might consider this paper a supplement to [7]. 1. For a Krull domain A let Div (A) be the group of divisorial fractional ideals of A, Prin (A) the group of principal fractional ideals of A, Cl (A) = Div (^)/Prin (A) the divisor class group of A, and 9(A) the set of height one prime ideals of A. If A C B are Krull domains we say that (PDE) holds if P e 9(B) implies P n A G 9(A) U (0). When (PDE) holds, the map Div (A) -» Div (B) given by 21 > B: (5: 3(5) is a homomorphism [7, Proposition 6.3(d)] which clearly maps Prin (A) into Prin (B), and so induces a natural homomorphism Cl (A) -* Cl (B). We begin by investigating this map when A C B is an inert extension. Lemma 1.1. Let A Q B be an inert extension of integral domains and let 91 be an ideal of A. Then A: (A: 91) D (5: (5: KB)) n /I. Proof. Let x G ^ and suppose x(b: VLB) Q B. If y G A: %, theny E B: 915 and hence xy G B. Say xy = b and y = a/t with a, t G A. Then tb = ax G A, so b G A and hence x G A: (A: 91). Proposition 1.2. Let A C B be an inert extension of Krull domains for which (PDE) holds. Then Cl(A)^> Cl (5) is injective. Proof. We first show that Div (A) -* Div (B) is injective. Since Div (A) and Div (B) are free abelian groups on the sets 9(A) and 9(B), it suffices to show that for each p 6 9(A) there is a P G 9(B) such that P n A = p. But if p is a prime divisorial ideal of A, then p = (B: (B: pb) n A) by the lemma. Hence B: (B: pb) is a proper divisorial ideal of B and is contained in some P G 9(B). Then PDA = p. It remains to show that Prin (B) n Div (/I) = Prin (/I). But if 91 is a divisorial ideal of A such that 5: (5: 915) is principal, then from 91 = (5: (5: 915)) n /I and the inertness of the extension we deduce that 91 is principal. Lemma 1.3. Let A C 5 be an extension of Krull domains for which (PDE) holds. 7/39 is a divisorial ideal in B then 93 = faps-f{a)^p- Proof. Suppose that 33 # H e^^. ^or eacn e'ement x e 0 93^93, (93: Bx) = {y G B\yx G 93} is a divisorial ideal of 5. Choose such an x so that (93: Bx) is maximal in this family of divisorial ideals. To see that (93: Bx) is prime let /, g G 5 with/g G (93: Bx). If g (93: Bx), then gx G Cl 93^93 and (93: Bgx) 2 (93: Bx) +/5. By the maximality of (93: Bx) we have/ G (93: Bx). Let P = (93: Bx). Being divisorial, P is a height one prime of 5 and hence there is a height one prime p of A such that PDA Q p. Then 5, =/ Bp, but 5, = (93: Bx)p = (93p: B x) = Bp, a contradiction. This proves the lemma. Theorem 1.4. Let A C 5 be an inert extension of Krull domains for which (PDE) holds. Further suppose that 5 is a UFD for each p G 9(A). Then the

INERT EXTENSIONS OF KRULL DOMAINS 191 natural homomorphism Cl (/f) > Cl (fi) is an isomorphism. Proof. In virtue of Proposition 1.2, we only need to prove that Cl ia) > Cl ib) is surjective. By Nagata's Theorem [7, Theorem 7.1] it is sufficient to show that if p E 9{A), then the divisorial ideal B: ib: pb) is prime in B. Let q E 9{A). Then ib: ib: pb))q = Bq: ibq: pbq); but pbq is principal so that Bq: ibq: pbq) = pbq. By the lemma, B: ib: pb) = H (B: (B: pb)) = Q B n PB = B n PB qe9(a) q q*p q v r which is prime since B is a UFD. In the next section we give an example to show that the hypothesis that B be a UFD forp E 9{A) cannot be deleted from Theorem 1.4. To prepare for our next result we first need some equivalent forms of (PDE). Proposition 1.5. Let A C B be Krull domains. The following are equivalent: (1) A C B satisfies (PDE). (2)fi= npe9(a)bp. (3) Every A -sequence a, b is a B-sequence. Proof. We first show that (2) and (3) are equivalent with B replaced by any torsion-free A -module M. (2) => (3). Let a, b be an A -sequence and let x, y E M be such that ax = by. Given p E 9{A), we have (a,b) <J p since p is divisorial. If b E p then y E am ; and if a E p then>> E M = am. Hence y G Pi am = a D M = am. ps9(a) p PB9(A) p Therefore a, b is an M-sequence. (3) => (2). Let x G C\Mp. Then for each p e 9(A), (M: x)p = imp: x) = Z^, so (A/: x) $ p. Let a E (A/: x), a ^ 0, and let p,,..., pn be the height one primes containing a. Then aa = D"= x Qt with Qj p-primary for /' = 1,..., n [8, Corollary 43.10]. Denoting by ZiA/aA) the set of zero-divisors on the module A/aA, we now have ZiA/aA) C U,"=1p,- [1, Proposition 4.7]. Since (M: x) $ pt for any i, we may choose b E (A/: x)\zia/aa). Then a, b is an A -sequence and therefore an A/-sequence. Since biax) = aibx) with ax, bx E M we have ax G am and hence x E M. Thus M = (AM. (3) => (1). Let P E 9{B) and set p = P n A. If htp > 1, pick a E p, a = 0 and then choose b G p\z(a/aa) as in the proof of (3) => (2). Then a, b is an A -sequence and therefore a fi-sequence in P, so htp > 2 [9, Theorem 131]. This contradicts htp = 1, so htp < 1. (1) =* (3). Let a, b be an >1-sequence. Since B is a Krull domain, ab = n"=xqj with each g, P(-primary for some P, G 9iB). Hence ZiB/aB) Q \A"=xPr If b E ZiB/aB) we get a, 6 G Pt for some /. But then a, b E Pt IX A which implies that ht (P, n A) > 2, contradicting (PDE). It follows that fe ZiB/aB), i.e. that a, fe is a fi-sequence. Now for the main theorem.

192 D. L. COSTA AND J. L. JOHNSON Theorem 1.6. Let A C 5 be an inert extension with A a Krull domain and B a UFD for each p G 9(A). Let T = C\B. Then A C T is an inert extension and T is a Krull domain if and only if it is a Krull A-module, in which case Cl (T) = Cl (A), by the natural homomorphism. Proof. It is easy to see that A C T is an inert extension. And if T is a Krull domain then since T = (AT, (PDE) holds for the extension A C T by Proposition 1.5. The desired isomorphism of class groups now follows from Theorem 1.4. Thus it only remains to demonstrate the equivalence in the present theorem. Suppose Tis a Krull domain. For p G 9(A), T = 5 is a UFD and an inert extension of the DVR A Hence T is a factorial A -module. It also follows that pt is a height one prime of T, and so pt n T is height one. It follows that if / G T,f =0, then / belongs to only a finite number of the ideals pt n T. Thus / is primitive as an element of the A -module T for all but a finite number of p in 9(A). Conversely, suppose that T is a Krull A -module. Since pt is a principal prime of the UFD Tp = Bp, Tp = (Tp)pTf n 7^0). Thus T=PIi(A){T^nT^y For each element x in T, x is primitive in all but a finite number of the T implies that x is a unit in all but a finite number of the (T) T. Hence by [14, Proposition 4.1], D (Tp)pT is a Krull domain and, since TA\n\ is a UFD, Tis a Krull domain. Remarks. (1) In the next section we will give an example to show that, under the hypotheses of Theorem 1.6, 5 may fail to be a Krull domain even though T is one. (2) If in Theorem 1.6, 6 is a Krull domain, then Tis a subintersection of 5 and hence is a Krull domain. In fact, t= n 5 = n n bp = n bp. p<e.9(a) p p(e9(a) P<E9(B);PnAQp hl(pna)^l;pe9(b) By Nagata's theorem [7, Theorem 7.1] there is an exact sequence of abelian groups 0 > K -» Cl (5) -» Cl (T) > 0, where K is generated by the divisor classes of height one primes P of 5 such that ht (P D A) > 1. Note that this relates Cl (A) and Cl (5), since Cl (T) = Cl (A). Furthermore, AT = 0 if and only if every P G 9(B) such that ht (P n A) > 1 is principal. But if P is principal in 5 and P n A = 0 any generator for P must lie in A, whence P n A is principal and has height one. It follows that K = 0 if and only if (PDE) holds for A C 6, i.e. if and only if 5 = T. (3) Eakin and Silver [6] examine extensions A C 5 of integral domains in which 5 is locally a polynomial ring over A. Since inertness is a local property, all such extensions are inert. If, moreover, A is a Krull domain, 5 = T [6, (2.26)] and 5 being a polynomial ring over /I is a UFD. From these

INERT EXTENSIONS OF KRULL DOMAINS 193 observations one easily obtains [6, (3.1)] and the equivalence of (i) and (iii) in [6, (2.27)] as corollaries to Theorem 1.6. 2. Let A be a Krull domain with quotient field k and let M be a torsion-free y4-module. Form the symmetric algebra SAiM). For each p E 9(A), S(M)p = SA (MA is a graded subring of the polynomial ring Sk(M k), since M is flat over A. Letting T = (Ape9rA)S(M)p, we find that T is a graded domain with A as its homogeneous component of degree zero. A C T is thus an inert extension. Proposition 2.1. In the notation of the above paragraph, if T is either a Krull domain or a Krull A-module, then T = S(M) is a UFD for each p E 9(A). Proof. S(M) is a UFD if and only if it is a factorial A -module. This holds trivially if T is a Krull A -module. If T is a Krull domain, then S(M) = T satisfies the ascending chain condition on principal ideals (a.c.c.p.). Since A is a DVR, S(M) is flat over A and this with a.c.c.p. makes S(M) a factorial ^-module [5], [11]. Corollary 2.2. Let A be a Krull domain, M a torsion-free A-module, and T = fa e6f/a\s(m). Then T is a Krull domain if and only if it is a Krull A- module, in which case Cl (T) = Cl (A). Corollary 2.3. Let A be a Krull domain, M a finitely generated torsion-free A-module, and T = (A e9ta\s(m). Then T is a Krull domain and Cl (T) a Cl (A). Proof. It suffices to show that T is a Krull A -module. Each 5 (A/) is a polynomial ring over A, hence is factorial over A. We only need to check that the intersection HSfW) of factorial A -modules is locally finite. Now we may choose a finitely generated free module Fand an element a E A, a = 0, such that af C M C F. Then S(aF) C T C 5(F). S(F) being a free A- module is a Krull module. Hence each nonzero element of T is primitive in 5(F) for all but a finite number of p E 9(A). But a is a unit in A for all but a finite number of p G 9(A) and, hence, Tp = S(F) for all but a finite number of p E 9(A). We conclude with some examples. Example 2.4. A symmetric algebra B = SA(M) which is a Krull domain such that (PDE) fails for A C fi and Cl (A) m Cl (B). Let A: be a field and tx, t2 indeterminates over k. Set A = k[tx,t2\hh) and B = A[x, y]/(tx x + t2y). Then B is the symmetric algebra of the maximal ideal of A. The example is due to Samuel [13]; the fact that (PDE) fails and the class groups are not isomorphic was noted by Fossum [7, 10]. Example 2.5. A symmetric algebra B = SA(M) over a Krull domain A such that B is an integral domain, T = D fi is a Krull domain, but B is not a Krull

194 D. L. COSTA AND J. L. JOHNSON domain. Let A: be a field and x, y, z be indeterminates. Let A = [x,_y] and let M be the ideal of A generated by x2 and_y. Then 5 = SAM) = A[x2z,y2z] [2], [10]. Now 5 is noetherian, but xyz G 5 although (xyz) - (x2z)(y2z) = 0. Thus 5 is not Krull. On the other hand, T = A[z] is Krull. The next example shows that we are not able to weaken the condition in Theorem 1.4 that Bp be a UFD for each p G 9(A). Example 2.6. A graded ring over a DVR which is a Krull domain and a Krull module, but not a UFD. Let V be a DVR, x and y indeterminates assigned degree 1 and T = V[x,xy,y ]. T is a Krull K-module since it is a free F-module. To show that T is a Krull domain note that with K[u, l/u] the homogeneous quotient ring of V[x,y], T = K[x,j>] n K[u2, l/u2], the intersection of two Krull domains. Tis not a UFD since (xy) = x2y2. Acknowledgement. We wish to thank Professor Paul Eakin for many helpful comments and suggestions. References 1. M. F. Atiyah and I. G. MacDonald, Introduction to commutative algebra, Addison-Wesley, Reading, Mass. 1969. MR 39 #4129. 2. J. Barshay, Graded algebras of powers of ideals generated by A -sequences, J. Algebra 25 (1973), 90-99. MR 48 # 11074. 3. P. M. Cohn, Bezout rings and their subrings, Proc. Cambridge Philos. Soc. 64 (1968), 251-264. MR 36 #5117. 4. D. L. Costa, Symmetric algebras and retracts, Dissertation, Univ. of Kansas, 1974. 5. -, Unique factorization in modules and symmetric algebras, Trans. Amer. Math. Soc. (to appear). 6. P. Eakin and J. Silver, Rings which are almost polynomial rings, Trans. Amer. Math. Soc. 174 (1972), 425^49. MR 46 #9028. 7. R. M. Fossum, The divisor class group of a Krull domain, Springer-Verlag, New York and Berlin, 1973. 8. R. Gilmer, Multiplicative ideal theory, Dekker, New York, 1972. 9. I. Kaplansky, Commutative rings, Allyn and Bacon, Boston, 1970. MR 40 #7234. 10. A. Micali, P. Salmon and P. Samuel, Integrite et factorialite des algebres symmetriques, Proc. Fourth Brazilian Math. Colloq. (1963), Conselho Nacional de Pesquisas, Sao Paolo, 1965, pp. 61-75. (Portuguese) MR 34 #7556. 11. A.-M. Nicolas, Modules factoriels, Bull. Sci. Math. (2) 95 (1971), 33-52. MR 44 # 1653. 12. -, Extensions factorielles et modules factorable. Bull. Sci. Math. 98 (1974), 117-143. 13. P. Samuel, Anneaux gradues factoriels et modules reflexifs, Bull. Soc. Math. France 92 (1964), 237-249. MR 32 #4160. 14. -, Lectures on unique factorization domains, Tata Institute Lectures on Math., no. 30, Tata Inst, of Fund. Res., Bombay, 1964. MR 35 #5428. Department of Mathematics, University of Virginia, Charlottesville, Virginia 22903 Department of Mathematics, University of Kentucky, Lexington, Kentucky 40506