arxiv: v1 [math.ac] 15 Jul 2011

Transcription

1 THE KAPLANSKY CONDITION AND RINGS OF ALMOST STABLE RANGE 1 arxiv: v1 [math.ac] 15 Jul 2011 MOSHE ROITMAN DEPARTMENT OF MATHEMATICS UNIVERSITY OF HAIFA MOUNT CARMEL, HAIFA 31905, ISRAEL Abstract. We present some variants of the Kaplansky condition for a K-Hermite ring R to be an elementary divisor ring; for example, a commutative K-Hermite ring R is an EDR iff for any elements x,y,z R such that (x,y) = (1), there exists an element λ R such that x+λy = uv, where (u,z) = (v,1 z) = (1). We present an example of a a Bézout domain that is an elementary divisor ring, but it does not have almost stable range 1, thus answering a question of Warren Wm. McGovern. 1. Introduction First we recall some basic definitions and known results. All rings here are commutative with unity. A ring R is Bézoutif each finitely generated ideal of R is principal. Two rectangular matrices Aand B inm m,n (R) areequivalentif there exist invertible matrices P M m,m (R) and Q M n,n (R) such that B = PAQ. The ring R is K-Hermite if every rectangular matrix A over R is equivalent to an upper or a lower triangular matrix (following [9, Appendix to 4] we use the term K-Hermite rather then Hermite as in [8]). From [8] it follows that this definition is equivalent to the definition given there. See also [6, Theorem 3]: by this theorem, a ring is K-Hermite iff for every two comaximal elements a,b R, there are two comaximal elements a 1,b 1 R such that (a,b) = (a 1 a+b 1 b) in R. Parentheses () are used to denote the ideal generated by the specified elements Mathematics Subject Classification. Primary 13F99. Key words and phrases. almost stable range 1, elementary divisor ring, Kaplansky condition, K-Hermite, stable range. Part of this work was done while visiting the New Mexico State University. I thank Bruce Olberding from this university for useful discussions and suggestions concerning this topic. 1

2 2 MOSHE ROITMAN A ring R is an elementary divisor ring (EDR) iff every rectangular matrix A over R is equivalent to a diagonal matrix. It follows from [8] that this definition is equivalent to the definition given there. An EDR is K-Hermite and a K-Hermite ring is Bézout. An integral domain is Bézout iff it is K-Hermite. By [5, Theorem 6] a ring R is an EDR iff it satisfies the following two conditions: (1) R is K-Hermite; (2) R satisfies Kaplansky s condition(see 2, condition(k) below). By [4, Example 4.11], (1) (2). The question in [6] whether a Bézout domain is an EDR (equivalently, whether it satisfies Kaplansky s condition), is still open. On the other hand, it is immediate that (2) = (1) (Remark 1 below). In section 2, we elaborate on the Kaplansky condition. Arow[r 1,...,r n ]overaringrisunimodulariftheelementsr 1,...,r n generate the ideal R. The stable range sr(r) of a ring R is the least integer n 1 (if it exists) such that for any unimodular row [r 1,...,r n+1 ] over R, there exist t 1,...,t n R such that the row [r 1 +t 1 r n+1,...,r n +t n r n+1 ] is unimodular (see comments on [9, Theorem 5.2, Ch. VIII]). For background on stable range see [1, 3, Ch. V]. The ring R has almost stable range 1 if every proper homomorphic image of R has stable range 1 (see [10]). By [10, Theorem 3.7] a Bézout ring with almost stable range 1 is an EDR. We elaborate on the almost stable range 1 condition in 3. In particular, we present an elementary divisor domain (so Bézout) that does not have almost stable range 1, thus answering the question of Warren Wm. McGovern in[10] (Example 13). ByRemark12below, a ring ofstablerange1isof almost stable range1. Onthe other hand, Zis of almost stable range 1, but is not of stable range 1 (the stable range of Z is 2. More generally, the stable range of any K-Hermite ring is 2 [11, Proposition 8]. Also by [12, Theorem 1], a Bézout ring is K-Hermite iff is of stable range 2). For general background see [8], [3, 6, Ch. 3 ] and [10].

3 KAPLANSKY S CONDITION AND ALMOST STABLE RANGE On the Kaplansky condition By [5] a K-Hermite ring R is an elementary divisor ring iff it satisfies Kaplansky s condition (see [8, Theorem 5.2]): (K) For any three elements a,b,c in R that generate the ideal R, there exist elements p,q R so that (pa,pb+qc) = (1) in R. Remark 1. If R is a ring of stable range 1, then R satisfies Kaplansky s condition with p = 1. Thus, if R is a ring satisfying Kaplansky s condition, then R is not necessarily K-Hermite, even if R is a Noetherian local domain. Indeed, a local ring R is of stable range 1. If R is also a Noetherian domain, then R is K-Hermite iff R is a principal ideal ring. Hence a Noetherian local domain that is not a principal ideal ring is of stable range 1, but it does not satisfy Kaplansky s condition. In the proof of Lemma 3 below, we will use the following well-known fact: Remark 2. Let R be a ring, let A be a matrix in M m,n (R), let r be a row in in M 1,n (R), and let 1 k n. Then r belongs to the submodule of R n generated by the rows of the matrix A iff there exists a matrix C M k,m (R) such that r is the first row of the matrix CA. Lemma 3. Let A be a 2 2-matrix over a ring R, and let u be a unimodular row of length 2 over R. Then u belongs to the submodule of R 2 generated by the rows of A there exists an invertible matrix P so that u is the first row of PA. Proof. = : By Remark 2, there exists a 2-row r over R so that u = ra. Since the row u is unimodular, the row r is also unimodular. Since r is unimodular of length 2, there exists an invertible matrix P with first row equal to r. Thus u is the first row of the matrix PA. =: This follows from Remark 2. Lemma 4. Let A be a 2 2 matrix over a ring R so that its entries generate the ideal R. Then A is equivalent to a diagonal matrix the submodule of R 2 generated by the rows of A contains a unimodular row.

4 4 MOSHE ROITMAN In this case A is equivalent to a matrix of the form ( ). Proof. = By assumption A is equivalent to a diagonal matrix D = ( d 1 ) 0 0 d 2, where d 1,d 2 R. Thus d 1,d 2 generate the ideal R. The sum of the rows of D, namely, [d 1,d 2 ], is unimodular. = By Lemma 3, the matrix A is equivalent over R to a matrix B with first row unimodular. Hence the submodule ( generated by the 1 columns of B contains a column of the form. By Lemma 3 again ) (for columns), we obtain that A is equivalent to a matrix ( 1 r ). By subtracting the first column of the matrix ( 1 r ) multiplied by r from its second column and by a similar elementary row transformation, we obtain a diagonal matrix of the form ( ). Theorem 5. (see [8, Theorem 5.2] and [5, Corollary 5].) Let R be a ring. Let A = ( a b 0 c) a triangular 2 2-matrix over R so that (a,b,c) = (1). Then A is equivalent to a diagonal matrix over R iff there exist elements p,q in R so (pa,pb+qc) = (1). Proof. Since p[a,b] + q[0,c] = [pa,pb + qc] for any elements p,q R, the theorem follows from Lemma 4. Remark 6. Let R be any ring. If Kaplansky s condition (pb+qc,pa) = (1) holds for elements a,b,c,p,q R, then (pb+qc,a) = (p,c) = (1). Indeed, Kaplansky s condition implies that (pb+qc,a) = (pb+qc,p) = (1), so (p,c) = (1). Cf. the next proposition. Proposition 7. Let R be a K-Hermite ring, and let a,b and c be elements of R that generate the ideal R. Then the following four conditions are equivalent: (1) The matrix ( a b 0 c) is equivalent to a diagonal matrix; (2) There exist elements p,q in R so (pa,pb+qc) = (1); (3) There exist elements p and q in R so that (pb+qc,a) = (p,c) = (1); (4) For some elements λ,u,v R we have b + λc = uv, and (u,a) = (v,c) = (1). Moreover, in (4) we may choose the elements u and v such that (u,v) = (1).

5 KAPLANSKY S CONDITION AND ALMOST STABLE RANGE 1 5 Proof. (1) (2): This follows from Theorem 5. (2) = (4): Since (pa,pb + qc) = (1) we obtain (1) = (p,pb + qc) = (p,qc), so (p,(pb+qc)c) = (1). Let v be an element of R so that vp 1 (mod (pb+qc)c), thus vp 1 (mod c). We have v(pb+qc) b (mod c), so v(pb+qc) = b+λc for some element λ R. Hence b+λc = uv, where u = pb+qc, thus (u,a) = (v,c) = (u,v) = (1). (4) = (3): We have b uv (mod c). Let p R so that pv 1 (mod c). Hence pb u (mod c), so there exists an element q R such that pb+qc = u. Thus (3) holds. (3) = (2): Since R is a K-Hermite ring, we may write (d) = (p,q) and d = p 1 p+q 1 q with (p 1,q 1 ) = (1). Hence (p 1,p 1 b+q 1 c) = (p 1,q 1 c) = (1), so (p 1 a,p 1 b + q 1 c) = (p 1,c) = (1). Condition (2) holds with p and q replaced by p 1 and q 1, respectively. In the proof of Proposition 7, we have used the assumption that R is K-Hermite just for the implication (3) = (2). Remark 8. If R is a Bézout domain, then the following condition is equivalent to the conditions of Proposition 7: ( ) For some elements λ,a 1,c 1 R we have b+λc (1 a 1 a)(1 c 1 c). Indeed, assume condition ( ). Let u R so that (u) = (b+λc,1 a 1 a), thus(u,a) = (1)and b+λc ( ) 1 a 1 a u u (1 c1 c). Since( b+λc, 1 a 1a ) = (1), u u we see that v := b+λc divides 1 c u 1 c, so (v,c) = (1). Thus condition ( ) implies condition (4) of Proposition 7. The converse implication is obvious. Since a K-Hermite ring is an EDR iff each matrix of the form ( ) a b 0 c with (a,b,c) = (1) has a diagonal reduction [8], Proposition 7 provides necessary and sufficient conditions for a K-Hermite ring to be an EDR. We present an additional condition in the next proposition.

6 6 MOSHE ROITMAN Theorem 9. Let R be a K-Hermite ring. The following two conditions are equivalent: (1) R is an elementary divisor ring; (2) For any elements x,y,z R such that (x,y) = (1), there exists an element λ R such that x + λy = uv, where (u,z) = (v,1 z) = (1). Moreover, the elements u and v can be chosen such that (u,v) = (1). Proof. (1) = (2) [including the requirement that (u,v) = (1)]: We apply condition (4) of Proposition 7 to the elements a = z,b = x,c = y(1 z). (2) = (1): We verify condition (4) of Proposition 7. Let (a,b,c) = (1). Let (d) = (b,c), thus (d,a) = (b,c,a) = (1). Hence a 1 d 1 d for some element d 1 R. Also b = b 1 d,c = c 1 d, where (b 1,c 1 ) = (1). We apply condition (2) of the present proposition to the elements x = b 1,y = c 1,z = d 1 d. Thus there are elements λ 1,u 1,v R so that b 1 + λ 1 c 1 = u 1 v, where (u 1,1 d 1 d) = (v,d 1 d) = (1). Let u = du 1, thus (u,a) = 1. Let λ = λ 1 d. Hence b + λc = d(b 1 + λ 1 c 1 ) = uv, and (u,a) = (1). We have (v,c) = (v,dc 1 ) = (v,c 1 ) since (v,d) = (1). Since v divides b 1 +λ 1 c 1, it follows that (v,c 1 ) b 1, so (v,c 1 ) = (1). Thus (v,c) = (1), as required. Proposition 10. Let R be a Bézout domain. The following two conditions are equivalent: (1) R is an elementary divisor ring; (2) For any nonzero elements x, y, z R, there exists elements λ,a,b R such that x+λy y(1 az)(1 b(1 z) in R. Proof. (1) = (2): Let (d) = (x,y), thus x and y are comaximal. By Theorem 9, there d d are elements λ,a,b R so that ( x d +λy ) (1 az)(1 bz(1 z)). Hence d x+λy d(1 az)(1 b(1 z)), so x+λy y(1 az)(1 b(1 z)). (2) = (1): Let x 0 and y 0 be comaximal elements in R, and let z R. Thus (x 0 + λy 0 ) y 0 (1 az)(1 b(1 z)) for some elements λ,a,b R. Since the elements x 0 + λy 0 and y 0 are comaximal, we obtain that (x 0 +λy 0 ) (1 az)(1 b(1 z)), so R is an EDR by Remark 8.

7 KAPLANSKY S CONDITION AND ALMOST STABLE RANGE On rings of almost stable range 1 Proposition 11. Let R be any ring. The following conditions are equivalent: (1) R is of almost stable range 1; (2) For each nonzero element z R, the ring R/zR is of stable range 1; (3) For each three elements x,y,z R so that (x,y) = (1) and z 0, there exists an element λ R so that (x+λy,z) = (1). Proof. Cf. [1, Proposition 3.2, Ch. V]. (1) = (2) = (3): Clear. (3) = (1): Let I be a nonzero ideal of R and let z be a nonzero element in I. Let x+i,y+i be two comaximal elements in R/I. Hence there exist elements r,s R such that 1 rx sy I. By assumption, there exists an element λ R such that (x + λ(1 rx),z)r = R. Thus x+λsy is invertible modulo the ideal I. It follows that R/I is of stable range 1, so R is almost of stable range 1. Remark 12. The implication (3) = (1) in the previous proposition is clear since if T is a homomorphic image of a ring R with finite stable range, then sr(t) sr(r) [1, Proposition 3.2, Ch. V], although this fact was not used explicitly, but rather its proof (in the above proof of the implication (2) = (3) we have sr(r/i) sr(r/(z) = 1). This fact implies that if R is an arbitrary ring of stable range 1, then R is of almost stable range 1, thus answering the question in [10, Remark 3.3]. See also [10, Proposition 3.2]. As we have seen in 2, the stable range 1 property implies Kaplansky s condition for an arbitrary ring. As for the converse, even if R is an elementary divisor domain, thus R satisfies Kaplansky s condition, then R does not necessarily has even almost stable range 1: Example 13. An elementary divisor domain (and so Bézout) that does not have almost stable range 1 (this example answers the question in [10, Remark 4.7]). We use a well-known example of a Bézout domain, namely, R = Z+XQ[X] (for a general theorem on pullbacks of Bézout domains see [7, Theorem 1.9]). R isanelementary divisor ringby [2, Theorem 4.61]. However, R/XQ[X] is isomorphic to Z and srz = 2 (clearly, there is no integer m such that 2+5m = ±1. Thus srz > 1. As mentioned in the introduction, the stable range of any Bézout domain is 2, hence srz = 2).

8 8 MOSHE ROITMAN We conjecture that a Bézout domain that is a pullback of type (as defined in [7]) of elementary divisor domains is again an EDR. In this case the conditions of [7, Theorem 1.9] must be satisfied. If this conjecture proves to be false, thiwill yield a negative answer to the question in [6] whether a Bézout domain is an EDR. References [1] Hyman Bass, Algebraic K-theory, W. A. Benjamin, Inc., New York- Amsterdam, MR (40 #2736) [2] Douglas Costa, Joe L. Mott, and Muhammad Zafrullah, The construction D + XD s [X], J. Algebra 53 (1978), no. 2, MR (58 #22046) [3] László Fuchs and Luigi Salce, Modules over non-noetherian domains, Mathematical Surveys and Monographs, vol. 84, American Mathematical Society, Providence, RI, MR (2001i:13002) [4] Leonard Gillman and Melvin Henriksen, Rings of continuous functions in which every finitely generated ideal is principal, Trans. Amer. Math. Soc. 82 (1956), MR (18,9d) [5], Some remarks about elementary divisor rings, Trans. Amer. Math. Soc. 82 (1956), MR (18,9c) [6] Melvin Henriksen, Some remarks on elementary divisor rings. II, Michigan Math. J. 3 (1955), MR (19,1155i) [7] Evan Houston and John Taylor, Arithmetic properties in pullbacks, J. Algebra 310 (2007), no. 1, MR (2008b:13028) [8] Irving Kaplansky, Elementary divisors and modules, Trans. Amer. Math. Soc. 66 (1949), MR (11,155b) [9] T. Y. Lam, Serre s problem on projective modules, Springer Monographs in Mathematics, Springer-Verlag, Berlin, MR (2007b:13014) [10] Warren Wm. McGovern, Bézout rings with almost stable range 1, J. Pure Appl. Algebra 212 (2008), no. 2, MR (2008h:13033) [11] Pere Menal and Jaume Moncasi, On regular rings with stable range 2, J. Pure Appl. Algebra 24 (1982), no. 1, MR (83g:16025) [12] B. V. Zabavs kiĭ, Reduction of matrices over Bezout rings of stable rank at most 2, Ukraïn. Mat. Zh. 55 (2003), no. 4, MR