arxiv:math/ v1 [math.ac] 11 Sep 2006

Transcription

1 arxiv:math/ v1 [math.ac] 11 Sep 2006 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES EDGAR E. ENOCHS AND HENRIK HOLM Abstract. We prove that the Auslander class determined by a semidualizing module is the left half of a perfect cotorsion pair. We also prove that the Bass class determined by a semidualizing module is preenveloping. 0. Introduction The notion of semidualizing modules over commutative noetherian rings goes back to Foxby [11] and Golod [13]. Christensen [3] extended this notion to semidualizing complexes. A semidualizing module or complex C over a commutative noetherian ring gives rise to two full subcategories of the derived category of the category of R modules, namely the so-called Auslander class and Bass class defined by Avramov Foxby [1, (3.1)] and Christensen [3, def.(4.1)]. Semidualizing complexes and their Auslander/Bass classes have caught the attention of several authors, see for example [1,3 5,8, 10 12, 14, 16, 17]. Usually, one is interested in studying the modules in the Auslander/Bass classes (by definition, the objects of these categories are complexes), and in this paper we use A C and B C to denote the categories of all modules belonging to the Auslander class and Bass class, respectively. We mention that when C itself is a (semidualizing) module then one can describe A C and B C in terms of vanishing of certain derived module functors and invertibility of certain module homomorphisms, see Avramov Foxby [1, prop.(3.4)] and Christensen [3, obs.(4.10)] Mathematics Subject Classification. 13D05, 13D07, 13D25. Key words and phrases. Auslander categories, Auslander classes, Bass classes, cotorsion pairs, Kaplansky classes, precovers, preenvelopes. 1

2 2 EDGAR E. ENOCHS AND HENRIK HOLM In the case where C is a dualizing module or complex, it is possible to understand A C and B C in terms of the so-called Gorenstein homological dimensions, see Enochs Jenda Xu [8] and Christensen Frankild Holm [4]. A similar description exists for other special semidualizing complexes C, see Holm Jørgensen [14]. In this paper we are concerned with what covering and enveloping properties A C and B C possess. Our main results are Theorems (3.11) and (3.12) which state, respectively, that: Theorem A. Let C be a semidualizing module over a commutative noetherian ring R. Then (A C, (A C ) ) is a perfect cotorsion pair; in particular, A C is covering. Furthermore, A C is preenveloping. Theorem B. Let C be a semidualizing module over a commutative noetherian ring R. Then B C is preenveloping. As Corollary (3.13) we get: Corollary C. Let (R, m, k) be a commutative, noetherian and local Cohen Macaulay ring admitting a dualizing module. Then the following conclusions hold: (a) The class of all R modules of finite Gorenstein projective/flat dimension is covering and preenveloping. (b) The class of all R modules of finite Gorenstein injective dimension is preenveloping. 1. Preliminaries In this section we briefly recall a number of definitions relevant to this paper, namely the definitions of semidualizing modules, Auslander categories, (pre)covers, (pre)envelopes, cotorsion pairs, and Kaplansky classes. These notions will be used throughout the paper without further mentioning. (1.1) Setup. Throughout, R is a fixed commutative noetherian ring with identity, and C is a fixed semidualizing module for R, cf. Definition (1.3) below. We write ModR for the category of R modules. (1.2) Remark. Actually, we only need R to be commutative and noetherian when we deal with semidualizing modules over R and their Auslander/Bass classes. But in all of Section 2 for example, R could be any ring.

3 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES 3 The next definition goes back to [11] (where the more general PG modules are studied) and [13], but a more recent reference is [3, def.(2.1)]. (1.3) Definition. A semidualizing module for R is a finitely generated R module C such that: (1) Ext j R (C, C) = 0 for all j > 0, and (2) The natural homothety morphism χ C : R Hom R (C, C) is an isomorphism. The following lemma is straightforward. (1.4) Lemma. Let M be any R module. If either Hom R (C, M) = 0 or C R M = 0, then M = 0. Next we recall the definitions, cf. [11, sec.1], [1, prop.(3.4)], and [3, def.(4.1) and obs.(4.10)] of the module versions of the Auslander categories with respect to the semidualizing module C. (1.5) Definition. The Auslander categories A C = A C (R) and B C = B C (R) are the full subcategories of ModR whose objects are specified as follows: An R module M belongs to A C if (A1) Tor R j (C, M) = 0 for all j > 0; (A2) Ext j R (C, C RM) = 0 for all j > 0; (A3) η M : M Hom R (C, C R M) is an isomorphism. An R module N belongs to B C if (B1) Ext j R (C, N) = 0 for all j > 0; (B2) Tor R j (C, Hom R(C, N)) = 0 for all j > 0; (B3) ε N : C R Hom R (C, N) N is an isomorphism. We often refer to A C as the Auslander class, and to B C as the Bass class. (1.6) Remark. In the notation of [1,3], the categories from Definition (1.5) should have a subscript 0. However, since this paper only deals with modules (as opposed to complexes), and in order to keep notation as simple as possible, we have chosen to omit this 0. The next definition which is important for our main results (3.11), (3.12), and (3.13) is taken directly from Enochs Jenda [7, def and 6.1.1].

4 4 EDGAR E. ENOCHS AND HENRIK HOLM (1.7) Definition. Let F be a class of modules. An F precover of a module M is a homomorphism ϕ: F M with F F such that every homomorphism ϕ : F M with F F factors as F ϕ F ϕ M. An F precover ϕ: F M is called an F cover if every endomorphism f : F F with ϕf = ϕ is an automorphism. The class F is called (pre)covering if every module has an F (pre)cover. There is a similar definition of F (pre)envelopes. Our main Theorem (3.11) uses the notion of a perfect cotorsion pair. The definition, which is given below, is taken directly from [7, def ] and Enochs López-Ramos [9, def. 2.2]. (1.8) Definition. A pair of module classes (F, G) is a cotorsion pair if F = G and F = G, where F = {N ModR Ext 1 R (F, N) = 0 for all F F}, and G = {M ModR Ext 1 R(M, G) = 0 for all G G}. A cotorsion pair (F, G) is called perfect if F is covering and G is enveloping. Finally, we need for Proposition (3.10) the notion of a Kaplansky class. For the convenience of the reader we restate [9, def. 2.1] below. (1.9) Definition. A class of modules F is called a Kaplansky class if there exists a cardinal number λ such that for every x F F there is a submodule x F F with F λ and F, F/F F. 2. Exact subcomplexes of an exact complex The main result of this section is Proposition (2.5), which shows how to find desirable exact subcomplexes of a given exact complex. This result is the cornerstone in the proof of Proposition (3.10) in Section 3. (2.1) Lemma. Let λ be any infinite cardinal number with λ R, and let M be any R module. The following conclusions hold: (a) If M is generated by a subset X M satisfying X λ then also M λ.

5 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES 5 (b) If S M is a submodule and with S, M/S λ then M λ. Proof. Part (a) is clear as there is an epimorphism R (X) M, and R (X) λ. For part (b) we pick a set of representatives X M for the cosets of S in M (which has X = M/S λ). Then X S M generates M and satisfies X S λ, so part (a) gives the desired conclusion. (2.2) Lemma. Let λ be any infinite cardinal number. If Q is a finitely generated module, and P is a module with P λ then the functors Hom R (Q, ), P R : ModR Ab have the property that the image of any module A with A λ has again cardinality λ. Proof. Pick an integer n > 0 and exact sequences R n Q 0 and R (P) P 0. Applying Hom R (, A) to the first of these sequences and R A to the second one, we get exactness of 0 Hom R (Q, A) Hom R (R n, A) = A n and A (P) = R (P) R A P R A 0. If A, P λ then we have A n, A (P) λ, and therefore also the desired conclusions, Hom R (Q, A) λ and P R A λ. (2.3) Lemma. Let F : Mod R Ab be an additive covariant functor which preserves direct limits, and assume that there exists an infinite cardinal number λ R such that FA λ for all modules A with A λ. Let E = E d E d E be a complex of R modules such that FE is exact. Suppose S E, S E, S E are submodules such that S, S, S λ. Then there exists a subcomplex, T = T d T d T of E such that FT is exact, such that S T, S T, S T, and such that T, T, T λ. If, in addition, E is exact then we can choose T to be exact as well.

6 6 EDGAR E. ENOCHS AND HENRIK HOLM Proof. Replacing S with S + d (S ) and S with S + d(s) we see that we can assume that S d S d S is a subcomplex of E. Note that ( ) E = E d E d E = lim d U ) ( U d U where the direct limit is taken over the family U of all subcomplexes U U U of E which contain S S S and satisfy that U /S, U/S and U /S are finitely generated. For each such subcomplex we also have U, U, U λ by Lemma (2.1)(b). Now, suppose that z Ker(FS FS ) FS. By ( ) and the assumptions on the functor F is follows that ( ) FE FE FE = lim ( FU FU FU ), which is exact by assumption. As the image of z in FE belongs to Ker(FE FE ) = Im(FE FE), the identity ( ) implies the existence of some U z U z U z in U such that the image of z in FU z belongs to Then we define Im(FU z FU z ). T 0 T 0 T 0 = z ( U z U z U z ), where the sum is taken over all z Ker(FS FS ). By construction, there is an inclusion ( 0 ) Im ( Ker(FS FS ) FT 0 ) Im(FT 0 FT 0 ). We also note that the assumptions on F imply that ( ) Ker(FS FS ) FS λ, since S λ. Consequently, T 0 /S = U z /S z z U z /S z λ λ 2 = λ, where the penultimate inequality follows Lemma (2.1)(a), as U z /S is finitely generated, and the last inequality comes from ( ). Thus, we have S, T 0 /S λ, so Lemma (2.1)(b) implies that T 0 λ. Similarly, T 0, T 0, T 0 λ.

7 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES 7 Now, going through the same procedure as above, but using the complex T 0 T 0 T 0 instead of S S S, we get a subcomplex T 1 T 1 T 1 of E containing T 0 T 0 T 0, and such that T 1, T 1, T 1 λ and ( 1 ) Im ( Ker(FT 0 FT 0 ) FT 1 ) Im(FT 1 FT 1 ). In this fashion we construct an increasing sequence T n T n T n, n = 0, 1, 2,... of subcomplexes of E such that T n, T n, T n λ and ( n ) Im ( Ker(FT n 1 FT n 1 ) FT n) Im(FT n FT n ). Finally, we define a subcomplex of E by ( ) T T T = T n T n T n n=0 ( = lim T n T n T n). n 0 Note that T n 0 T n λ + λ + λ + = λ, and similarly one gets T, T λ. As F commutes with direct limits we have FT FT FT = lim ( FT n FT n FT n). It is straightforward to verify that the conditions ( n ) ensure exactness of the complex above. Concerning the last claim of the lemma we argue as follows: If, in addition, E is exact then we have exactness of GE, where G is the functor G = F id, and id: ModR Ab is the forgetful functor. Hence, applying the part of the lemma which has already been established, but with F replaced by G, we get that exactness of GT. Consequently, both FT and idt = T are exact. (2.4) Lemma. Let λ be any infinite cardinal number with λ R. If S E is are R modules such that S λ then there is a pure submodule T E of E with S T and T λ. Proof. A slight modification of the proof of [7, Lemma ] gives this result.

8 8 EDGAR E. ENOCHS AND HENRIK HOLM (2.5) Proposition. Let F : ModR Ab be an additive covariant functor which preserves direct limits, and assume that there exists an infinite cardinal number λ R such that FA λ for all modules A with A λ. Let E = E n+1 E n E n 1 be an exact complex of R modules such that also FE is exact. If S n E n is a submodule such that S n λ for each n Z, then there is an exact subcomplex D = D n+1 D n D n 1 of E such that also FD is exact. Furthermore, D n E n is a pure submodule, S n D n, and D n λ for each n Z. Proof. For each n we construct a chain S n = Sn 0 S1 n S2 n of submodules of E n with Sn i λ for all n and i as follows: First pick a function f : N 0 Z with the property that for each n Z the set f 1 ({n}) = {k N 0 f(k) = n} is infinite. Of course, we are given that S 0 n = S n for all n. Assume that we for some k 0 have constructed Sn 2k the property that S 2k S 2k+1 n E n which contains S 2k n for all n with n λ. By Lemma (2.4) we get a pure submodule and which satisfies S2k+1 n λ. Now assume that we for some k 0 have constructed Sn 2k+1 for all n with the property that Sn 2k+1 λ. Then we construct Sn 2k+2 by the following procedure: Consider the complex E k = E f(k)+1 E f(k) E f(k) 1. By hypothesis both E k and FE k are exact. Applying Lemma (2.3) to this complex E k and to the submodules, S 2k+1 f(k)+1 E f(k)+1, S 2k+1 f(k) E f(k) and S 2k+1 f(k) 1 E f(k) 1 we get an exact subcomplex T k = T T T of E k where also FT k is exact, and furthermore, S 2k+1 f(k)+1 T, S 2k+1 f(k) T and S 2k+1 f(k) 1 T, and T, T, T λ. We then define S 2k+2 f(k)+1 = T, S 2k+2 f(k) = T and S 2k+2 f(k) 1 = T, and let S 2k+2 n = S 2k+1 n for all n / {f(k) + 1, f(k), f(k) 1}.

9 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES 9 Having constructed the sequences S n = Sn 0 S1 n S2 n E n for n Z as above, we set D n = i=0 Si n. Clearly, S n D n and D n λ. Since D n = k=0 S2k+1 n and since Sn 2k+1 E n is a pure submodule for each k, it follows that D n E n is a pure submodule. For each n, the differential E n E n 1 restricts to a homomorphism D n D n 1 : If x D n then there exists an i 0 such that x S i n for all i i 0. Since f 1 ({n}) is infinite, there exists k 0 satisfying both f(k) = n and 2k + 1 i 0. By our construction, S 2k+2 n+1 S2k+2 n Sn 1 2k+2 is a subcomplex of E n+1 E n E n 1, so in particular the differential E n E n 1 maps x Sn 2k+1 Sn 2k+2 into Sn 1 2k+2 D n 1. Hence D = D n+1 D n D n 1 is a subcomplex of E. In fact, for the n th segment of D we have the expression ( ) D n+1 D n D n 1 = lim S 2k+2 n+1 S2k+2 n Sn 1 2k+2, k f 1 ({n}) and since each of the complexes Sn+1 2k+2 Sn 2k+2 Sn 1 2k+2, k f 1 ({n}) are exact and stay exact when we apply F to them, the same is true for D n+1 D n D n 1, as F commutes with direct limits. 3. Covers and envelopes by Auslander categories This last section is concerned with covering and enveloping properties of the Auslander categories. Our main results are Theorems (3.11) and (3.12). To prove our main theorems, we need the alternative descriptions of the modules in the Auslander categories given in Propositions (3.6) and (3.7). To this end, we introduce two new classes of modules: (3.1) Definition. The classes of C injective and C flat modules are defined as I C = I C (R) = {Hom R (C, I) I injective R module}, F C = F C (R) = {C R F F flat R module}. (3.2) Observation. R is a semidualizing module for itself, and by setting C = R in the definition above we see that I R and F R are the classes of (ordinary) injective and flat R modules, respectively.

10 10 EDGAR E. ENOCHS AND HENRIK HOLM The proof of the next lemma is straightforward. (3.3) Lemma. For R modules U and V one has the implications: (a) U I C U A C and C R U I R. (b) V F C V B C and Hom R (C, V ) F R. (3.4) Remark. The classes I C, F C and also P C = P C (R) = {C R P P projective module} were used in [14], and it was proved in [14, lem.2.14] (compared with [9, thm.2.5]) that F C is preenveloping. When R is a Cohen Macaulay local ring and C is a dualizing module for R it was proved in [8, prop.1.5] that I C is preenveloping and P C is precovering. We will make use of the following: (3.5) Proposition. I C is enveloping and F C is covering. In particular, for any R module M there exist complexes U = 0 M U 0 U 1 U 2 with U 0, U 1, U 2,... I C, and V = V 2 V 1 V 0 M 0 with V 0, V 1, V 2 F C such that C R U and Hom R (C, V ) are exact. Proof. Even if I C is just preenveloping and F C is just precovering there will exist complexes U and V with U i I C and V j F C such that Hom(U, Hom(C, I)) = Hom(C U, I), and Hom(C F, V ) are exact for all injective modules I and all flat modules F. Taking I to be faithfully injective and F = R, we see that C U and Hom(C, V ) are exact. Thus, the proposition is proved when we have argued that I C is enveloping and F C is covering. The class I R is known to be enveloping by Xu [18, thm ], since injective hulls in the sense of Eckmann Schopf [6] always exists. The class F R is known to be covering by Bican Bashir Enochs [2]. Now, it is easy to see that for any module M, the composition M Hom(C, C M) Hom(C, E(C M))

11 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES 11 is an I C envelope of M, where E( ) denotes the injective envelope. Likewise, the composition C F(Hom(C, M)) C Hom(C, M) M is a F C cover of M, where F( ) denotes the flat cover. Having established Lemma (3.3) and Proposition (3.5), the proof of the next result is similar to that of [18, prop.5.5.4]. (3.6) Proposition. A module M belongs to A C if and only if there exists an exact sequence ( ) F 2 F 1 F 0 U 0 U 1 U 2 satisfying the following conditions: (1) F 0, F 1, F 2,... F R and U 0, U 1, U 2,... I C ; (2) M = Ker(U 0 U 1 ); (3) C R ( ) is exact. Dually one proves the next result which is similar to [18, prop.5.5.5]. (3.7) Proposition. A module M belongs to B C if and only if there exists an exact sequence ( ) V 2 V 1 V 0 I 0 I 1 I 2 satisfying the following conditions: (1) V 0, V 1, V 2,... F C and I 0, I 1, I 2,... I R ; (2) M = Ker(I 0 I 1 ); (3) Hom R (C, ( )) is exact. (3.8) Remark. Taking the necessary precautions, one can study Auslander categories over non-noetherian rings. In this generality one can also prove versions of for example Propositions (3.6) and (3.7), see [15]. In addition to the fact that [18, chap.5.5] assumes C to be dualizing (and not just semidualizing), there is another important difference between [18, prop.5.5.5] and Proposition (3.7): Namely, we work with F C whereas Xu works with P C (which he denotes W); see Remark (3.4). From our point of view F C is more flexible than P C. For example, F C is closed under pure submodules and pure quotients; see Proposition (3.9) below, whereas P C in general does not have these properties.

12 12 EDGAR E. ENOCHS AND HENRIK HOLM (3.9) Proposition. The classes I C and F C are closed under pure submodules and pure quotients. Proof. First we prove that I C is closed under pure submodules and pure quotients. To this end let 0 M Hom(C, I) N 0 be a pure exact sequence with I injective. Applying C to this sequence we get another pure exact sequence, ( ) 0 C M I C N 0. As I is injective, and as I R is closed under pure submodules and pure quotients, we conclude that the modules C M and C N are injective. Applying Hom(C, ) to the pure exact sequence ( ) we get exactness of the lower row in the following commutative diagram: 0 M η M Hom(C,I) 0 Hom(C,C M) Hom(C,I) Hom(C,C N) 0 Since C M and C N are injective by Lemma (3.3)(a), we are done if we can prove that η M and η N are isomorphisms. By the snake-lemma, η M is injective, η N is surjective, and Ker η N = Coker ηm. Hence, it suffices to argue that Coker η M = 0, and by Lemma (1.4) it is enough to show that C Coker η M = 0. Right exactness of C gives exactness of C M C η M C Hom(C, C M) C Coker η M 0, Since C M is injective, C η M is an isomorphism with inverse ε (C M). In particular, C η M is surjective, and hence C Coker η M = 0, as desired. Similarly, as the class of flat modules is closed under pure submodules and pure quotients, one proves that F C also has these properties. (3.10) Proposition. A C and B C are Kaplansky classes. Proof. We only prove that A C is Kaplansky, as the proof for B C is similar. We claim that any infinite cardinal number λ R implements the Kaplansky property for A C, cf. Definition (1.9): Let x M A C. By Proposition (3.6) there is an exact sequence E = F 2 F 1 F 0 U 0 U 1 U 2 N η N 0

13 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES 13 satisfying the conditions (1), (2), and (3) of that result. Now consider the submodules: Rx U 0 (which has Rx λ); 0 U n for n 1; 0 F n for n 0. Applying Proposition (2.5) with F = C (cf. Lemma (2.2)) to this situation we get an exact subcomplex D = G 2 G 1 G 0 W 0 W 1 W 2 of E with Rx W 0 and such that C D is exact, and furthermore, G n F n and W n U n are pure submodules, and G n, W n λ. By the condition (3.6)(1), F n F R and U n I C, and thus Proposition (3.9) implies that ( ) G n, F n /G n F R and W n, U n /W n I C. Hence, Proposition (3.6) implies that M = Ker(W 0 W 1 ) belongs to A C. As x M = Ker(U 0 U 1 ) we also have x M, and of course M W 0 λ. Thus, it remains to argue that M/M A C. By construction we have a pure exact sequence of complexes ( ) 0 D E E/D 0 As D and E are exact then so is E/D, in particular it follows that M/M = Ker(U 0 /W 0 U 1 /W 1 ). Purity of ( ) gives exactness of 0 C D C E C (E/D) 0, and since C D and C E are exact then so is C (E/D). By ( ) the complex E/D consists of modules of the form (3.6)(1), and these arguments show that M/M A C, as desired. (3.11) Theorem. (A C, (A C ) ) is a perfect cotorsion pair; in particular, A C is covering. Furthermore, A C is preenveloping. Proof. By Proposition (3.10), the class A C is Kaplansky. Clearly, A C contains the projective modules, and is closed under extensions and direct limits. Hence [9, thm.2.9] implies that (A C, (A C ) ) is a perfect cotorsion pair. As A C is also closed under products, [9, thm.2.5] gives that A C is preenveloping. (3.12) Theorem. B C is preenveloping.

14 14 EDGAR E. ENOCHS AND HENRIK HOLM Proof. By Proposition (3.10), the class B C is Kaplansky. Since B C is closed under direct limits and products, [9, thm.2.5] implies that B C is preenveloping. (3.13) Corollary. Let (R, m, k) be a commutative, noetherian and local Cohen Macaulay ring admitting a dualizing module. Then the following conclusions hold: (a) The class of R modules of finite Gorenstein projective/flat dimension is covering and preenveloping. (b) The class of R modules of finite Gorenstein injective dimension is preenveloping. Proof. Taking C to be the dualizing module for R, the assertions follow immediately from comparing Theorems (3.11) and (3.12) with [8, cor.2.4 and 2.6]. Acknowledgements We thank Diana White for useful comments, and for correcting many typos in an ealier version of this manuscript. References [1] L. L. Avramov and H.-B. Foxby, Ring homomorphisms and finite Gorenstein dimension, Proc. London Math. Soc. (3) 75 (1997), no. 2, [2] L. Bican, R. El Bashir, and E. E. Enochs, All modules have flat covers, Bull. London Math. Soc. 33 (2001), no. 4, [3] L. W. Christensen, Semi-dualizing complexes and their Auslander categories, Trans. Amer. Math. Soc. 353 (2001), no. 5, (electronic). [4] L. W. Christensen, A. Frankild, and H. Holm, On Gorenstein projective, injective and flat dimensions a functorial description with applications, J. Algebra 302 (2006), no. 1, [5] L. W. Christensen and H. Holm, Ascent properties of Auslander categories, Canad. J. Math. (to appear), available from the mathematical arxiv [6] B. Eckmann and A. Schopf, Über injektive Moduln, Arch. Math. 4 (1953), [7] E. E. Enochs and O. M. G. Jenda, Relative homological algebra, de Gruyter Expositions in Mathematics, vol. 30, Walter de Gruyter & Co., Berlin, [8] E. E. Enochs, O. M. G. Jenda, and J. Xu, Foxby duality and Gorenstein injective and projective modules, Trans. Amer. Math. Soc. 348 (1996), no. 8, [9] E. E. Enochs and J. A. López-Ramos, Kaplansky classes, Rend. Sem. Mat. Univ. Padova 107 (2002), [10] E. E. Enochs and S. Yassemi, Foxby equivalence and cotorsion theories relative to semi-dualizing modules, Math. Scand. 95 (2004), no. 1,

15 COTORSION PAIRS ASSOCIATED WITH AUSLANDER CATEGORIES 15 [11] H.-B. Foxby, Gorenstein modules and related modules, Math. Scand. 31 (1972), [12] A. Frankild and S. Sather-Wagstaff, The set of semidualizing complexes is a nontrivial metric space, J. Algebra (to appear), available from the arxiv [13] E. S. Golod, G-dimension and generalized perfect ideals, Trudy Mat. Inst. Steklov. 165 (1984), 62 66, Algebraic geometry and its applications. [14] H. Holm and P. Jørgensen, Semi-dualizing modules and related Gorenstein homological dimensions, J. Pure Appl. Algebra 205 (2006), no. 2, [15] H. Holm and D. White, Auslander categories over non-noetherian rings, manuscript (in preparation). [16] S. Iyengar and S. Sather-Wagstaff, G-dimension over local homomorphisms. Applications to the Frobenius endomorphism, Illinois J. Math. 48 (2004), no. 1, [17] S. Sather-Wagstaff, Semidualizing modules and the divisor class group, Illinois J. Math. (to appear), [18] J. Xu, Flat covers of modules, Lecture Notes in Mathematics, vol. 1634, Springer-Verlag, Berlin, Edgar E. Enochs, Department of Mathematics, University of Kentucky, Lexington, KY, , USA address: enochs@ms.uky.edu URL: Henrik Holm, Department of Mathematical Sciences, University of Aarhus, Ny Munkegade, Building 530, DK 8000 Aarhus C, Denmark address: holm@imf.au.dk URL: