An Auslander-type result for Gorenstein-projective modules
|
|
- Wesley Brooks
- 6 years ago
- Views:
Transcription
1 Advances n Mathematcs 218 (2008) An Auslander-type result for Gorensten-projectve modules Xao-Wu Chen Department of Mathematcs, Unversty of Scence and Technology of Chna, Hefe , PR Chna Receved 6 November 2007; accepted 17 Aprl 2008 Avalable onlne 20 May 2008 Communcated by Mchael J. Hopkns Abstract An artn algebra A s sad to be CM-fnte f there are only fntely many, up to somorphsms, ndecomposable fntely generated Gorensten-projectve A-modules. We prove that for a Gorensten artn algebra, t s CM-fnte f and only f every ts Gorensten-projectve module s a drect sum of fntely generated Gorensten-projectve modules. Ths s an analogue of Auslander s theorem on algebras of fnte representaton type [M. Auslander, A functoral approach to representaton theory, n: Representatons of Algebras, Workshop Notes of the Thrd Internat. Conference, n: Lecture Notes n Math., vol. 944, Sprnger-Verlag, Berln, 1982, pp ; M. Auslander, Representaton theory of artn algebras II, Comm. Algebra (1974) ] Elsever Inc. All rghts reserved. Keywords: Gorensten-projectve modules; Trangulated categores; Dualzng varetes 1. Introducton Let A be an artn R-algebra, where R s a commutatve artnan rng. Denote by A-mod (resp. A-mod) the category of (resp. fntely generated) left A-modules. Denote by A-Proj (resp. A- proj) the category of (resp. fntely generated) projectve A-modules. Followng [21], a chan complex P of projectve A-modules s defned to be totally-acyclc, f for every projectve Ths project was supported by Chna Postdoctoral Scence Foundaton No , and was also partally supported by the Natonal Natural Scence Foundaton of Chna (Grant Nos , and ). The author also gratefully acknowledges the support of K.C. Wong Educaton Foundaton, Hong Kong. E-mal address: xwchen@mal.ustc.edu.cn /$ see front matter 2008 Elsever Inc. All rghts reserved. do: /j.am
2 2044 X.-W. Chen / Advances n Mathematcs 218 (2008) module Q A-Proj the Hom-complexes Hom A (Q, P ) and Hom A (P,Q) are exact. A module M s sad to be Gorensten-projectve f there exsts a totally-acyclc complex P such that the 0th cocycle Z 0 (P ) = M. Denote by A-GProj the full subcategory of Gorensten-projectve modules. Smlarly, we defne fntely generated Gorensten-projectve modules by replacng all modules above by fntely generated ones, and we also get the category A-Gproj of fntely generated Gorensten-projectve modules [17]. It s known that A-Gproj = A-GProj A-mod [14, Lemma 3.4]. Fntely generated Gorensten-projectve modules are also referred as maxmal Cohen Macaulay modules. These modules play a central role n the theory of sngularty [10 12, 14] and of relatve homologcal algebra [9,17]. An artn algebra A s sad to be CM-fnte f there are only fntely many, up to somorphsms, ndecomposable fntely generated Gorensten-projectve modules. Recall that an artn algebra A s sad to be of fnte representaton type f there are only fntely many somorphsm classes of ndecomposable fntely generated modules. Clearly, fnte representaton type mples CM-fnte. The converse s not true, n general. Let us recall the followng famous result of Auslander [3,4] (see also Rngel Tachkawa [27, Corollary 4.4]): Auslander s theorem. An artn algebra A s of fnte representaton type f and only f every A- module s a drect sum of fntely generated modules, that s, A s left pure semsmple, see [31]. Inspred by the theorem above, one may conjecture the followng Auslander-type result for Gorensten-projectve modules: an artn algebra A s CM-fnte f and only f every Gorenstenprojectve A-module s a drect sum of fntely generated ones. However we can only prove ths conjecture n a nce case. Recall that an artn algebra A s sad to be Gorensten [19] f the regular module A has fnte njectve dmenson both at the left and rght sdes. Our man result s Man theorem. Let A be a Gorensten artn algebra. Then A s CM-fnte f and only f every Gorensten-projectve A-module s a drect sum of fntely generated Gorensten-projectve modules. Note that our man result has a smlar character to a result by Belganns [9, Proposton 11.23], and also note that smlar concepts were ntroduced and then smlar results and deas were developed by Rump n a seres of papers [28 30]. 2. Proof of Man theorem Before gvng the proof, we recall some notons and known results Let A be an artn R-algebra. By a subcategory X of A-mod, we mean a full addtve subcategory whch s closed under takng drect summands. Let M A-mod. We recall from [6,7] that a rght X -approxmaton of M s a morphsm f : X M such that X X and every morphsm from an object n X to M factors through f. The subcategory X s sad to be contravarantly-fnte n A-mod f each fntely generated modules has a rght X -approxmaton. Dually, one defnes the notons of left X -approxmatons and covarantly-fnte subcategores. The subcategory X s sad to be functorally-fnte n A-mod f t s contravarantly-fnte and
3 X.-W. Chen / Advances n Mathematcs 218 (2008) covarantly-fnte. Recall that a morphsm f : X M s sad to be rght mnmal, f for each endomorphsm h : X X such that f = f h, then h s an somorphsm. A rght X -approxmaton f : X M s sad to be a rght mnmal X -approxmaton f t s rght mnmal. Note that f a rght approxmaton exsts, so does rght mnmal one; a rght mnmal approxmaton, f n exstence, s unque up to somorphsms. For detals, see [6 8]. The followng fact s known. Lemma 2.1. Let A be an artn algebra. Then (1) The subcategory A-Gproj of A-mod s closed under takng drect summands, kernels of epmorphsms and extensons, and contans A-proj. (2) The category A-Gproj s a Frobenus exact category [22], whose relatve projectve-njectve objects are precsely contaned n A-proj. Thus the stable category A- Gproj modulo projectves s a trangulated category. (3) Let A be Gorensten. Then the subcategory A-Gproj of A-mod s functorally-fnte. (4) Let A be Gorensten. Denote by {S } n =1 a complete lst of parwse nonsomorphc smple A-modules. Denote by f : X S the rght mnmal A-Gproj-approxmatons. Then every fntely generated Gorensten-projectve module M s a drect summand of some module M, such that there exsts a fnte chan of submodules 0 = M 0 M 1 M m 1 M m = M wth each subquotent M j /M j 1 lyng n {X } n =1. Proof. Note that A-Gproj s nothng but X ω wth ω = A-proj n [6, Secton 5]. Thus (1) follows from [6, Proposton 5.1], and (3) follows from [6, Corollary 5.10(1)] (just note that n ths case, the regular module A A s a cotltng module). Snce A-Gproj s closed under extensons, thus t becomes an exact category n the sense of [22]. The property of beng Frobenus and the characterzaton of projectve-njectve objects follow drectly from the defnton, also see [14, Proposton 3.1(1)]. Thus by [18, Chapter 1, Secton 2], the stable category A- Gproj s trangulated. By (1) and (3), we see that (4) s a specal case of [6, Proposton 3.8]. Let R be a commutatve artnan rng as above. An addtve category C s sad to be R-lnear f all ts Hom-spaces are R-modules, and the composton maps are R-blnear. An R-lnear category s sad to be hom-fnte, f all ts Hom-spaces are fntely generated R-modules. Recall that an R-varety C means a hom-fnte R-lnear category whch s skeletally-small and dempotentsplt (that s, for each dempotent morphsm e : X X n C, there exst u : X Y and v : Y X such that e = v u and Id Y = u v). It s well known that a skeletally-small R-lnear category s an R-varety f and only f t s hom-fnte and Krull Schmdt (.e., every object s a fnte sum of ndecomposable objects wth local endomorphsm rngs). See [26, p. 52] or [16, Appendx A]. Then t follows that any factor category [8, p. 101] of an R-varety s stll an R-varety. Let C be an R-varety. We wll abbrevate the Hom-space Hom C (X, Y ) as (X, Y ). Denote by (C op,r-mod) (resp. (C op,r-mod)) the category of contravarant R-lnear functors from C to R-Mod (resp. R-mod). Then (C op,r-mod) s an abelan category and (C op,r-mod) s ts abelan subcategory. Denote by (,C) the representable functor for each C C. A functor F s sad to be fntely generated f there exsts an epmorphsm (,C) F for some object C C; F s sad to be fntely presented (= coherent) [2,4], f there exsts an exact sequence of functors
4 2046 X.-W. Chen / Advances n Mathematcs 218 (2008) (,C 1 ) (,C 0 ) F 0. Denote by fp(c) the subcategory of (C op,r-mod) consstng of fntely presented functors. Clearly, fp(c) (C op,r-mod). Recall the dualty D = Hom R (,E): R-mod R-mod, where E s the njectve hull of R/rad(R) as an R-module. Therefore, t nduces dualty D : (C op,r-mod) (C,R-mod) and D : (C,R-mod) (C op,r-mod). TheR-varety C s called a dualzng R-varety [5], f ths dualty preserves fntely presented functors. The followng observaton s mportant. Lemma 2.2. Let A be a Gorensten artn R-algebra. Then the stable category A- Gproj s a dualzng R-varety. Proof. Snce A-Gproj A-mod s closed under takng drect summands, thus dempotent-splt. Therefore, we nfer that A-Gproj s an R-varety, and ts stable category A- Gproj s also an R- varety. By Lemma 2.1(3), the subcategory A-Gproj s functorally-fnte n A-mod, then by a result of Auslander and Smalø [7, Theorem 2.4(b)] A-Gproj has almost-splt sequences, and thus theses sequences nduce Auslander Reten trangles n A- Gproj (let us remark that t s Happel [19, 4.7] who realzed ths fact for the frst tme). Hence the trangulated category A- Gproj has Auslander Reten trangles, and by a theorem of Reten and Van den Bergh [25, Theorem I.2.4] we nfer that A- Gproj has Serre dualty. Now by [20, Proposton 2.11] (or [13, Corollary 2.6]), we deduce that A- Gproj s a dualzng R-varety. Let us remark that the last two cted results are gven n the case where R s a feld, however one just notes that the results can be extended to the case where R s a commutatve artnan rng wthout any dffculty. For the next result, we recall more notons on functors over varetes. Let C be an R-varety and let F (C op,r-mod) be a functor. Denote by nd(c) the complete set of parwse nonsomorphc ndecomposable objects n C. Thesupport of F s defned by supp(f ) ={C nd(c) F(C) 0}. The functor F s smple f t has no nonzero proper subfunctors, and F has fnte length f t s a fnte terated extenson of smple functors. Observe that F has fnte length f and only f F les n (C op,r-mod) and supp(f ) s a fnte set. The functor F s sad to be noetheran, f ts every subfunctor s fntely generated. It s a good exercse to show that a functor F s noetheran f and only f every ascendng chan of subfunctors n F becomes stable after fnte steps (one may use the fact: for a fntely generated functor F wth an epmorphsm (,C) F, then for any subfunctor F of F, F = F provded that F (C) = F(C)). Observe that a functor havng fnte length s necessarly noetheran by an argument on ts total length (.e., l(f) = C nd(c) l R(F (C)), where l R denotes the length functon on fntely generated R-modules). The followng result s essentally due to Auslander (compare [4, Proposton 3.10]). Lemma 2.3. Let C be a dualzng R-varety, F (C op,r-mod). Then F has fnte length f and only f F s fntely presented and noetheran. Proof. Recall from [5, Corollary 3.3] that for a dualzng R-varety, functors havng fnte length are fntely presented. So the only f follows. For the f part, assume that F s fntely presented and noetheran. Snce F s fntely presented, by [5, p. 324], we have the fltraton of subfunctors 0 = soc 0 (F ) soc 1 (F ) soc +1 (F )
5 X.-W. Chen / Advances n Mathematcs 218 (2008) where soc 1 (F ) s the socle of F, and n general soc +1 s the premage of the socle of F/soc (F ) under the canoncal epmorphsm F F/soc (F ). Snce F s noetheran, we get soc 0 F = soc 0 +1(F ) for some 0, and that s, the socle of F/soc 0 (F ) s zero. However, by the dual of [5, Proposton 3.5], we know that for each nonzero fntely presented functor F, the socle soc(f ) s necessarly nonzero and fntely generated semsmple. In partcular, soc(f ) has fnte length, and thus t s fntely presented. Note that fp(c) (C op,r-mod) s an abelan subcategory, and thus F/soc 1 (F ) s fntely presented. Applyng the above argument to F/soc 1 (F ), we obtan that soc 2 (F ), as an extenson between the socles of two fntely presented functors, has fnte length. In general, one proves that F/soc (F ) s fntely presented and soc +1 (F ) has fnte length for all. Hence soc(f/ soc 0 (F )) = 0 wll mply that F/soc 0 (F ) = 0,.e., F = soc 0 (F ), whch has fnte length. Let us consder the category A-GProj. Smlar to Lemma 2.1(1), (2), we recall that A- GProj A-Mod s closed under takng drect summands, kernels of epmorphsms and extensons, and t s a Frobenus exact category wth (relatve) projectve-njectve objects precsely contaned n A-Proj. Consder the stable category A- GProj, whch s also trangulated and has arbtrary coproducts. Recall that n an addtve category T wth arbtrary coproducts, an object T s sad to be compact, f the functor Hom T (T, ) commutes wth coproducts. Denote the full subcategory of compact objects by T c. If we assume further that T s trangulated, then T c s a thck trangulated subcategory. We say that the trangulated category T s compactly generated [23,24], f the subcategory T c s skeletally-small and for each object X, X 0 provded that Hom T (T, X) = 0 for every compact object T. Note that n our stuaton, we always have an ncluson A- Gproj A- GProj, and n fact, we vew t as A- Gproj (A- GProj) c. Next lemma, probably known to experts, states the converse n Gorensten case. It s a specal case of [14, Theorem 4.1] (compare [10, Theorem 6.6]). One may note that n the artn case, the category A- Gproj s dempotent-splt. Lemma 2.4. Let A be a Gorensten artn algebra. Then the trangulated category A- GProj s compactly generated and A- Gproj (A- GProj) c s dense (.e., surjectve up to somorphsms) Proof of Man theorem Assume that A s a Gorensten artn R-algebra. Set C = A- Gproj. By Lemma 2.2, C s a dualzng R-varety. For a fntely generated Gorensten-projectve module M, we wll denote by (,M)the functor Hom C (,M); for an arbtrary module X, we denote by (,X) C the restrcton of the functor Hom A (,X)to C. For the f part, we assume that each Gorensten-projectve module s a drect sum of fntely generated ones. It suffces to show that the set nd(c) s fnte. For ths end, assume that M s a fntely generated Gorensten-projectve module. We clam that the functor (,M)s noetheran. In fact, gven a subfunctor F (,M), frst of all, we may fnd an epmorphsm (,M ) F, I where each M C and I s an ndex set. Compose ths epmorphsm wth the ncluson of F nto (,M), we get a morphsm from I (,M ) to (,M). By the unversal property of coproducts
6 2048 X.-W. Chen / Advances n Mathematcs 218 (2008) and then by Yoneda s lemma, we have, for each, a morphsm θ : M M, such that F s the mage of the morphsm (,θ ) : (,M ) (,M). I I Note that I (,M ) (, I M ) C, and the morphsm above s also nduced by the morphsm I θ : I M M. Form a trangle n A- GProj K[ 1] I M I θ M φ K. By assumpton, we have a decomposton K = j J K j where each K j s fntely generated Gorensten-projectve. Snce the module M s fntely generated, we nfer that φ factors through a fnte sum j J K j, where J J s a fnte subset. In other words, φ s a drect sum of M φ K j and 0 K j. j J j J \J By the addtvty of trangles, we deduce that there exsts a commutatve dagram I M I θ M M ( j J \J K j )[ 1] (θ,0) M where the left sde vertcal map s an somorphsm, and M and θ are gven by the trangle ( j J K j )[ 1] M θ M φ j J K j. Note that M C, and by the above dagram we nfer that F s the mage of the morphsm (,θ ) : (,M ) (,M), and thus F s fntely generated. Ths proves the clam. By the clam, and by Lemma 2.3, we deduce that for each M C, the functor (,M) has fnte length, n partcular, supp((,m)) s fnte. Assume that {S } n =1 s a complete lst of parwse nonsomorphc smple A-modules. Denote by f : X S the rght mnmal A-Gprojapproxmatons. By Lemma 2.1(4), the module M s a drect summand of M and we have a fnte chan of submodules of M wth factors beng among X s. Then t s not hard to see that supp((,m)) supp((,m )) n =1 supp((,x )) for every M C. Therefore we deduce that nd(c) = n =1 supp((,x )), whch s fnte. For the only f part, assume that the Gorensten artn algebra A s CM-fnte. Then the set nd(c) s fnte, say nd(c) ={G 1,G 2,...,G m }. Set B = End C ( m =1 G ) op. Then B s also an artn R-algebra. Note that for each C C, the Hom-space Hom C ( m =1 G,C) has a natural left B-module structure, moreover, t s a fntely generated projectve B-module. In fact, we get an equvalence of categores ( m ) Φ = Hom C G, - : C B-proj. =1
7 X.-W. Chen / Advances n Mathematcs 218 (2008) Then the equvalence above naturally nduces the followng equvalences, stll denoted by Φ, Φ : fp(c) B-mod, Φ: ( C op,r-mod ) B-Mod. In what follows, we wll use these equvalences. By [24, p. 169] (or [13, Proposton 2.4]), we know that the category fp(c) s a Frobenus category. Therefore, va Φ, we get that B s a self-njectve algebra. Therefore by [1, Theorem 31.9], we get that B-Mod s also a Frobenus category, and by [1, p. 319], every projectve-njectve B-module s of form m =1 Q (I ), where {Q 1,Q 2,...,Q m } s a complete set of parwse nonsomorphc ndecomposable projectve B- modules such that Q = Φ(G ), and each I s some ndex set, and Q (I ) s the correspondng coproduct. Take {P 1,P 2,...,P n } to be a complete set of parwse nonsomorphc ndecomposable projectve A-modules. Let G A-GProj. We wll show that G s a drect sum of some copes of the modules G and P j. Then we are done. Consder the functor (,G) C, whch s cohomologcal, and thus by [13, Lemma 2.3] (or [24, p. 258]), we get Ext 1 (F, (,G) C ) = 0 for each F fp(c), where the Ext group s taken n (C op,r-mod). VaΦ and applyng the Baer s crteron, we get that (,G) C s an njectve object, and thus by the above, we get an somorphsm of functors m (,G ) (I) (,G) C, =1 where I are some ndex sets. As n the frst part of the proof, we get a morphsm θ : m =1 G (I ) G such that t nduces the somorphsm above. Form a trangle n A- GProj m =1 G (I ) θ G X ( m =1 G (I ) ) [1]. For each C C, applyng the cohomologcal functor Hom A- GProj (C, ) and by the property of θ, we obtan that Hom A- GProj (C, X) = 0, C C. By Lemma 2.4, the category A- GProj s generated by C, and thus X 0, and hence θ s an somorphsm n the stable category A- GProj. Thus t s well known (say, by [15, Lemma 1.1]) that ths wll force an somorphsm n the module category m =1 G (I ) P G Q, where P and Q are projectve A-modules. Now by [1, p. 319], agan, P s a drect sum of copes of the modules P j. Hence the combnaton of Azumaya s theorem and Crawlay Jønsson Warfeld s theorem [1, Corollary 26.6] apples n our stuaton, and thus we nfer that G s somorphc to a drect sum of copes of the modules G and P j. Ths completes the proof.
8 2050 X.-W. Chen / Advances n Mathematcs 218 (2008) Acknowledgment The author would lke to thank the referee very much for hs/her helpful suggestons and comments. References [1] F.W. Anderson, K.R. Fuller, Rngs and Categores of Modules, Grad. Texts n Math., vol. 13, Sprnger-Verlag, New York, [2] M. Auslander, Representaton Dmenson of Artn Algebras, Lecture Notes, Queen Mary College, London, [3] M. Auslander, Representaton theory of artn algebras II, Comm. Algebra (1974) [4] M. Auslander, A functoral approach to representaton theory, n: Representatons of Algebras, Workshop Notes of the Thrd Internat. Conference, n: Lecture Notes n Math., vol. 944, Sprnger-Verlag, Berln, 1982, pp [5] M. Auslander, I. Reten, Stable equvalence of dualzng R-varetes, Adv. Math. 12 (1974) [6] M. Auslander, I. Reten, Applcatons of contravarantly fnte subcategores, Adv. Math. 86 (1) (1991) [7] M. Auslander, S.O. Smalø, Almost splt sequences n subcategores, J. Algebra 69 (1981) [8] M. Auslander, I. Reten, S.O. Smalø, Representaton Theory of Artn Algebras, Cambrdge Studes Adv. Math., vol. 36, Cambrdge Unv. Press, Cambrdge, [9] A. Belganns, Relatve homologcal algebra and purty n trangulated categores, J. Algebra 227 (2000) [10] A. Belganns, Cohen Macaulay modules, (co)torson pars and vrtually Gorensten algebras, J. Algebra 288 (2005) [11] R.O. Buchwetz, Maxmal Cohen Macaulay modules and Tate-cohomology over Gorensten rngs, unpublshed manuscrpt, 1987, 155 pp. [12] R.O. Buchwetz, D. Esenbud, J. Herzog, Cohen Macaulay modules over quadrcs, n: Sngulartes, Representaton of Algebras, and Vector Bundles, n: Lecture Notes n Math., vol. 1273, Sprnger-Verlag, Berln, 1987, pp [13] X.W. Chen, Generalzed Serre dualty, math.rt/ , submtted for publcaton. [14] X.W. Chen, Relatve sngularty categores and Gorensten-projectve modules, arxv: , submtted for publcaton. [15] X.W. Chen, P. Zhang, Quotent trangulated categores, Manuscrpta Math. 123 (2007) [16] X.W. Chen, Y. Ye, P. Zhang, Algebras of derved dmenson zero, Comm. Algebra 36 (2008) [17] E.E. Enochs, O.M.G. Jenda, Relatve Homologcal Algebra, de Gruyter Exp. Math., vol. 30, de Gruyter, Berln, [18] D. Happel, Trangulated Categores n the Representaton Theory of Fnte Dmensonal Algebras, London Math. Soc. Lecture Note Ser., vol. 119, Cambrdge Unv. Press, Cambrdge, [19] D. Happel, On Gorensten algebras, n: Progr. Math., vol. 95, Brkhäuser, Basel, 1991, pp [20] O. Iyama, Y. Yoshno, Mutatons n trangulated categores and rgd Cohen Macaulay modules, Invent. Math. 127 (1) (2008) [21] S. Iyengar, H. Krause, Acyclcty versus total acyclcty for complexes over noetheran rngs, Documenta Math. 11 (2006) [22] B. Keller, Chan complexes and stable categores, Manuscrpta Math. 67 (1990) [23] A. Neeman, The connecton between the K-theory localzaton theorem of Thomason, Trobaugh and Yao and the smashng subcategores of Bousfeld and Ravenel, Ann. Sc. École Norm. Sup. 25 (1992) [24] A. Neeman, Trangulated Categores, Ann. of Math. Stud., vol. 148, Prnceton Unv. Press, Prnceton, NJ, [25] I. Reten, M. Van den Bergh, Noetheran heredtary abelan categores satsfyng Serre dualty, J. Amer. Math. Soc. 15 (2002) [26] C.M. Rngel, Tame Algebras and Integral Quadratc Forms, Lecture Notes n Math., vol. 1099, Sprnger-Verlag, Berln, [27] C.M. Rngel, H. Tachkawa, QF-3 rngs, J. Rene Angew. Math. 272 (1975) [28] W. Rump, The category of lattces over a lattce-fnte rng, Algebras Represent. Theory 8 (2005) [29] W. Rump, Lattce-fnte rngs, Algebras Represent. Theory 8 (2005) [30] W. Rump, Global theory of lattce-fnte noetheran rngs, Algebras Represent. Theory 9 (2005) [31] D. Smson, Pure semsmple categores and rngs of fnte representaton type, J. Algebra 48 (1977) ; Corrgendum, J. Algebra 67 (1980)
A Smashing Subcategory of the Homotopy Category of Gorenstein Projective Modules
Appl Categor Struct (2015) 23: 87 91 DOI 10.1007/s10485-013-9325-8 of Gorensten Projectve Modules Nan Gao eceved: 26 October 2012 / Accepted: 8 January 2013 / Publshed onlne: 26 July 2013 The Author(s)
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationA Note on \Modules, Comodules, and Cotensor Products over Frobenius Algebras"
Chn. Ann. Math. 27B(4), 2006, 419{424 DOI: 10.1007/s11401-005-0025-z Chnese Annals of Mathematcs, Seres B c The Edtoral Oce of CAM and Sprnger-Verlag Berln Hedelberg 2006 A Note on \Modules, Comodules,
More informationThe Pseudoblocks of Endomorphism Algebras
Internatonal Mathematcal Forum, 4, 009, no. 48, 363-368 The Pseudoblocks of Endomorphsm Algebras Ahmed A. Khammash Department of Mathematcal Scences, Umm Al-Qura Unversty P.O.Box 796, Makkah, Saud Araba
More informationA Brown representability theorem via coherent functors
Topology 41 (2002) 853 861 www.elsever.com/locate/top A Brown representablty theorem va coherent functors Hennng Krause Fakultat fur Mathematk, Unverstat Belefeld, Postfach 100131, 33501 Belefeld, Germany
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationn-strongly Ding Projective, Injective and Flat Modules
Internatonal Mathematcal Forum, Vol. 7, 2012, no. 42, 2093-2098 n-strongly Dng Projectve, Injectve and Flat Modules Janmn Xng College o Mathematc and Physcs Qngdao Unversty o Scence and Technology Qngdao
More informationAli Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN 5493644 00 Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationInternational Journal of Algebra, Vol. 8, 2014, no. 5, HIKARI Ltd,
Internatonal Journal of Algebra, Vol. 8, 2014, no. 5, 229-238 HIKARI Ltd, www.m-hkar.com http://dx.do.org/10.12988/ja.2014.4212 On P-Duo odules Inaam ohammed Al Had Department of athematcs College of Educaton
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More informationA CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS
Journal of Mathematcal Scences: Advances and Applcatons Volume 25, 2014, Pages 1-12 A CHARACTERIZATION OF ADDITIVE DERIVATIONS ON VON NEUMANN ALGEBRAS JIA JI, WEN ZHANG and XIAOFEI QI Department of Mathematcs
More informationALGEBRA SCHEMES AND THEIR REPRESENTATIONS
ALGEBRA SCHEMES AND THEIR REPRESENTATIONS AMELIA ÁLVAREZ, CARLOS SANCHO, AND PEDRO SANCHO Introducton The equvalence (Carter dualty) between the category of topologcally flat formal k-groups and the category
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationLecture 7: Gluing prevarieties; products
Lecture 7: Glung prevaretes; products 1 The category of algebrac prevaretes Proposton 1. Let (f,ϕ) : (X,O X ) (Y,O Y ) be a morphsm of algebrac prevaretes. If U X and V Y are affne open subvaretes wth
More informationCOMPLETING PERFECT COMPLEXES
COMPLETING PERFECT COMPLEXES HENNING KRAUSE, WITH APPENDICES BY TOBIAS BARTHEL AND BERNHARD KELLER Dedcated to the memory of Ragnar-Olaf Buchwetz. Abstract. Ths note proposes a new method to complete a
More informationP.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen
Internatonal Electronc Journal of Algebra Volume 3 2008 7-24 P.P. PROPERTIES OF GROUP RINGS Lbo Zan and Janlong Chen Receved: May 2007; Revsed: 24 October 2007 Communcated by John Clark Abstract. A rng
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationTHE ACYCLICITY OF THE FROBENIUS FUNCTOR FOR MODULES OF FINITE FLAT DIMENSION
THE ACYCLICITY OF THE FROBENIUS FUNCTOR FOR MODULES OF FINITE FLAT DIMENSION THOMAS MARLEY AND MARCUS WEBB Abstract. Let R be a commutatve Noetheran local rng of prme characterstc p and f : R R the Frobenus
More informationDIFFERENTIAL SCHEMES
DIFFERENTIAL SCHEMES RAYMOND T. HOOBLER Dedcated to the memory o Jerry Kovacc 1. schemes All rngs contan Q and are commutatve. We x a d erental rng A throughout ths secton. 1.1. The topologcal space. Let
More informationarxiv: v3 [math.ra] 7 Jul 2011
MUTATING BRAUER TREES TAKUMA AIHARA arxv:1009.3210v3 [math.ra] 7 Jul 2011 Abstract. In ths paper we ntroduce mutaton of Brauer trees. We show that our mutaton of Brauer trees explctly descrbes the tltng
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationLinear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.
Lnear, affne, and convex sets and hulls In the sequel, unless otherwse specfed, X wll denote a real vector space. Lnes and segments. Gven two ponts x, y X, we defne xy = {x + t(y x) : t R} = {(1 t)x +
More informationSL n (F ) Equals its Own Derived Group
Internatonal Journal of Algebra, Vol. 2, 2008, no. 12, 585-594 SL n (F ) Equals ts Own Derved Group Jorge Macel BMCC-The Cty Unversty of New York, CUNY 199 Chambers street, New York, NY 10007, USA macel@cms.nyu.edu
More informationarxiv: v4 [math.ac] 20 Sep 2013
arxv:1207.2850v4 [math.ac] 20 Sep 2013 A SURVEY OF SOME RESULTS FOR MIXED MULTIPLICITIES Le Van Dnh and Nguyen Ten Manh Truong Th Hong Thanh Department of Mathematcs, Hano Natonal Unversty of Educaton
More informationFINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN
FINITELY-GENERTED MODULES OVER PRINCIPL IDEL DOMIN EMMNUEL KOWLSKI Throughout ths note, s a prncpal deal doman. We recall the classfcaton theorem: Theorem 1. Let M be a fntely-generated -module. (1) There
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More information1.45. Tensor categories with finitely many simple objects. Frobenius- Perron dimensions. Let A be a Z + -ring with Z + -basis I. Definition
86 1.45. Tensor categores wth fntely many smple objects. Frobenus- Perron dmensons. Let A be a Z + -rng wth Z + -bass I. Defnton 1.45.1. We wll say that A s transtve f for any X, Z I there exst Y 1, Y
More informationLOCAL COHOMOLOGY AND D-MODULES
LOCAL COHOMOLOGY AND D-MODULES talk gven at the Unversty of Mchgan Student Commutatve Algebra Semnar 4 & 11 October, 2011 by Ashley K. Wheeler Ths talk follows the frst half of Mel Hochster s notes D-modules
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES. 1. Introduction
ON THE EXTENDED HAAGERUP TENSOR PRODUCT IN OPERATOR SPACES TAKASHI ITOH AND MASARU NAGISA Abstract We descrbe the Haagerup tensor product l h l and the extended Haagerup tensor product l eh l n terms of
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationOn the smoothness and the totally strong properties for nearness frames
Int. Sc. Technol. J. Namba Vol 1, Issue 1, 2013 On the smoothness and the totally strong propertes for nearness frames Martn. M. Mugoch Department of Mathematcs, Unversty of Namba 340 Mandume Ndemufayo
More informationÉTALE COHOMOLOGY. Contents
ÉTALE COHOMOLOGY GEUNHO GIM Abstract. Ths note s based on the 3-hour presentaton gven n the student semnar on Wnter 2014. We wll bascally follow [MlEC, Chapter I,II,III,V] and [MlLEC, Sectons 1 14]. Contents
More informationINTERSECTION THEORY CLASS 13
INTERSECTION THEORY CLASS 13 RAVI VAKIL CONTENTS 1. Where we are: Segre classes of vector bundles, and Segre classes of cones 1 2. The normal cone, and the Segre class of a subvarety 3 3. Segre classes
More information( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationarxiv:math/ v3 [math.rt] 16 May 2007
Fomn-Zelevnsky mutaton and tltng modules over Calab-Yau algebras Osamu Iyama and Idun Reten arxv:math/0605136v3 [math.rt] 16 May 2007 Abstract. We say that an algebra Λ over a commutatve noetheran rng
More informationTopics in Geometry: Mirror Symmetry
MIT OpenCourseWare http://ocw.mt.edu 18.969 Topcs n Geometry: Mrror Symmetry Sprng 2009 For normaton about ctng these materals or our Terms o Use, vst: http://ocw.mt.edu/terms. MIRROR SYMMETRY: LECTURE
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationDescent is a technique which allows construction of a global object from local data.
Descent Étale topology Descent s a technque whch allows constructon of a global object from local data. Example 1. Take X = S 1 and Y = S 1. Consder the two-sheeted coverng map φ: X Y z z 2. Ths wraps
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationColoured quiver mutation for higher cluster categories
Advances n Mathematcs 222 (2009) 971 995 wwwelsevercom/locate/am Coloured quver mutaton for hgher cluster categores Asla Bae Buan a,, Hugh Thomas b a Insttutt for Matematse Fag, Norges Tens-Naturvtensapelge
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationarxiv: v1 [math.kt] 29 Aug 2007
ON THE HOCHSCHILD (CO)HOMOLOGY OF QUANTUM EXTERIOR ALGEBRAS PETTER ANDREAS BERGH arxv:0708.3912v1 [math.kt] 29 Aug 2007 Abstract. We compute the Hochschld cohomology and homology of the algebra Λ = k x,y
More informationOn C 0 multi-contractions having a regular dilation
SUDIA MAHEMAICA 170 (3) (2005) On C 0 mult-contractons havng a regular dlaton by Dan Popovc (mşoara) Abstract. Commutng mult-contractons of class C 0 and havng a regular sometrc dlaton are studed. We prove
More informationA NOTE ON SIMPLE-MINDED SYSTEMS OVER SELF-INJECTIVE NAKAYAMA ALGEBRAS
A NOTE ON SIMPLE-MINDED SYSTEMS OVER SELF-INJECTIVE NAKAYAMA ALGEBRAS JING GUO, YUMING LIU, YU YE AND ZHEN ZHANG Abstract Let A = A l n be a self-njectve Nakayama algebra wth n smples and Loewy length
More informationarxiv: v3 [math.ac] 7 Apr 2016
DUAL OF BASS NUMBERS AND DUALIZING MODULES arxv:1508.05813v3 [math.ac] 7 Apr 2016 MOHAMMAD RAHMANI AND ABDOLJAVAD TAHERIZADEH Abstract. Let R be a Noetheran rng and let C be a semdualzng R-module. In ths
More informationThe probability that a pair of group elements is autoconjugate
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 126, No. 1, February 2016, pp. 61 68. c Indan Academy of Scences The probablty that a par of group elements s autoconjugate MOHAMMAD REZA R MOGHADDAM 1,2,, ESMAT
More informationREGULAR POSITIVE TERNARY QUADRATIC FORMS. 1. Introduction
REGULAR POSITIVE TERNARY QUADRATIC FORMS BYEONG-KWEON OH Abstract. A postve defnte quadratc form f s sad to be regular f t globally represents all ntegers that are represented by the genus of f. In 997
More informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationPOL VAN HOFTEN (NOTES BY JAMES NEWTON)
INTEGRAL P -ADIC HODGE THEORY, TALK 2 (PERFECTOID RINGS, A nf AND THE PRO-ÉTALE SITE) POL VAN HOFTEN (NOTES BY JAMES NEWTON) 1. Wtt vectors, A nf and ntegral perfectod rngs The frst part of the talk wll
More informationConnected Graded Gorenstein Algebras with Enough Normal Elements
JOURNL OF LGEBR 189, 390405 1997 RTICLE NO. J966885 Connected Graded Gorensten lgebras wth Enough Normal Elements James J. Zhang* Department of Mathematcs, Unersty of Washngton, Seattle, Washngton 98195
More informationIdeal Amenability of Second Duals of Banach Algebras
Internatonal Mathematcal Forum, 2, 2007, no. 16, 765-770 Ideal Amenablty of Second Duals of Banach Algebras M. Eshagh Gord (1), F. Habban (2) and B. Hayat (3) (1) Department of Mathematcs, Faculty of Scences,
More informationarxiv: v1 [math.ac] 15 Jan 2018
NOTES ON THE FROBENUS TEST EXPONENTS DUONG TH HUONG AND PHAM HUNG QUY arxv:1801.04827v1 [math.ac] 15 Jan 2018 Abstract. n ths paper we show that the Frobenus test exponent for parameter deals of a local
More informationarxiv: v2 [math.ct] 1 Dec 2017
FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES arxv:1710.04153v2 [math.ct] 1 Dec 2017 Abstract. Let R be an assocatve rng wth unt. We consder R-modules as module functors n the followng way: f M s a (left)
More information3 Holonomic D-Modules
3 Holonomc D-Modules In ths chapter we study unctoral behavors o holonomc systems and show that any smple obect n the abelan category o holonomc D X -modules s a mnmal extenson o an ntegrable connecton
More informationPolarized non-abelian representations of slim near-polar spaces
Polarzed non-abelan representatons of slm near-polar spaces Bart De Bruyn Bnod Kumar Sahoo Abstract In [15], Shult ntroduced a class of parapolar spaces, the so-called near-polar spaces. We ntroduce here
More informationMATH CLASS 27. Contents
MATH 6280 - CLASS 27 Contents 1. Reduced and relatve homology and cohomology 1 2. Elenberg-Steenrod Axoms 2 2.1. Axoms for unreduced homology 2 2.2. Axoms for reduced homology 4 2.3. Axoms for cohomology
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationLIMITS OF ALGEBRAIC STACKS
LIMITS OF ALGEBRAIC STACKS 0CMM Contents 1. Introducton 1 2. Conventons 1 3. Morphsms of fnte presentaton 1 4. Descendng propertes 6 5. Descendng relatve objects 6 6. Fnte type closed n fnte presentaton
More informationarxiv: v1 [math.dg] 15 Jun 2007
arxv:0706.2313v1 [math.dg] 15 Jun 2007 Cohomology of dffeologcal spaces and folatons E. Macías-Vrgós; E. Sanmartín-Carbón Abstract Let (M, F) be a folated manfold. We study the relatonshp between the basc
More informationMaximizing the number of nonnegative subsets
Maxmzng the number of nonnegatve subsets Noga Alon Hao Huang December 1, 213 Abstract Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what s the maxmum
More informationarxiv: v4 [math.rt] 7 Sep 2013
SILTING OBJECTS, SIMPLE-MINDED COLLECTIONS, t-structures AND CO-t-STRUCTURES FOR FINITE-DIMENSIONAL ALGEBRAS STEFFEN KOENIG AND DONG YANG arxv:1203.5657v4 [math.rt] 7 Sep 2013 Abstract. Bjectve correspondences
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More informationarxiv: v3 [math.ac] 30 Apr 2016
ON THE UPPER SEMI-CONTINUITY OF HSL NUMBERS arxv:13021124v3 [mathac] 30 Apr 2016 SERENA MURRU Abstract Let B be an affne Cohen-Macaulay algebra over a feld of characterstc p For every prme deal p B, let
More informationarxiv: v1 [math.rt] 19 Jul 2008
arxv:0807.105v1 [math.rt] 19 Jul 008 Broué s Abelan Defect Group Conjecture for the Tts Group Danel Robbns Abstract In ths paper we prove that Broué s abelan defect group conjecture holds for the Tts group
More informationRestricted Lie Algebras. Jared Warner
Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationJournal of Algebra 368 (2012) Contents lists available at SciVerse ScienceDirect. Journal of Algebra.
Journal of Algebra 368 (2012) 70 74 Contents lsts avalable at ScVerse ScenceDrect Journal of Algebra www.elsever.com/locate/jalgebra An algebro-geometrc realzaton of equvarant cohomology of some Sprnger
More informationCategorification of quantum groups
Categorfcaton of quantum groups Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty June 29th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/ Aaron Lauda Jont wth Mkhal Khovanov (Columba Categorfcaton
More informationSUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)
SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) S.BOUCKSOM Abstract. The goal of ths note s to present a remarably smple proof, due to Hen, of a result prevously obtaned by Gllet-Soulé,
More informationOn the partial orthogonality of faithful characters. Gregory M. Constantine 1,2
On the partal orthogonalty of fathful characters by Gregory M. Constantne 1,2 ABSTRACT For conjugacy classes C and D we obtan an expresson for χ(c) χ(d), where the sum extends only over the fathful rreducble
More informationDiscrete Mathematics. Laplacian spectral characterization of some graphs obtained by product operation
Dscrete Mathematcs 31 (01) 1591 1595 Contents lsts avalable at ScVerse ScenceDrect Dscrete Mathematcs journal homepage: www.elsever.com/locate/dsc Laplacan spectral characterzaton of some graphs obtaned
More informationGraded Modules of Gelfand Kirillov Dimension One over Three-Dimensional Artin Schelter Regular Algebras
Ž JOURNAL OF ALGEBRA 196, 251282 1997 ARTICLE NO JA977072 Graded Modules of Gelfandrllov Dmenson One over Three-Dmensonal ArtnSchelter Regular Algebras Martne Van Gastel and Mchel Van den Bergh Departement
More informationNOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules
NOTES FOR QUANTUM GROUPS, CRYSTAL BASES AND REALIZATION OF ŝl(n)-modules EVAN WILSON Quantum groups Consder the Le algebra sl(n), whch s the Le algebra over C of n n trace matrces together wth the commutator
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More informationGeneral viscosity iterative method for a sequence of quasi-nonexpansive mappings
Avalable onlne at www.tjnsa.com J. Nonlnear Sc. Appl. 9 (2016), 5672 5682 Research Artcle General vscosty teratve method for a sequence of quas-nonexpansve mappngs Cuje Zhang, Ynan Wang College of Scence,
More informationp-adic Galois representations of G E with Char(E) = p > 0 and the ring R
p-adc Galos representatons of G E wth Char(E) = p > 0 and the rng R Gebhard Böckle December 11, 2008 1 A short revew Let E be a feld of characterstc p > 0 and denote by σ : E E the absolute Frobenus endomorphsm
More informationAnti-van der Waerden numbers of 3-term arithmetic progressions.
Ant-van der Waerden numbers of 3-term arthmetc progressons. Zhanar Berkkyzy, Alex Schulte, and Mchael Young Aprl 24, 2016 Abstract The ant-van der Waerden number, denoted by aw([n], k), s the smallest
More informationBivariate Hilbert functions for the torsion functor
Journal of Algebra 265 2003) 136 147 www.elsever.com/locate/jalgebra Bvarate Hlbert functons for the torson functor Emanol Theodorescu Department of Mathematcs, Unversty of Mssour, Columba, MO 65211, USA
More informationModules with Indecomposable Decompositions That Complement Maximal Direct Summands
Ž. JOURNAL OF ALGEBRA 197, 449467 1997 ARTICLE NO. JA977114 Modules wth Indecomposable Decompostons That Complement Maxmal Drect Summands Nguyen Vet Dung* Department of Mathematcs, Unersty of Glasgow,
More informationCLUSTER STRUCTURES FROM 2-CALABI-YAU CATEGORIES WITH LOOPS
CLUSTER STRUCTURES FROM 2-CALABI-YAU CATEGORIES WITH LOOPS ASLAK BAKKE BUAN, ROBERT J. MARSH, AND DAGFINN F. VATNE Abstract. We generalse the noton of cluster structures from the work of Buan-Iyama-Reten-Scott
More informationAn application of non-associative Composition-Diamond lemma
An applcaton of non-assocatve Composton-Damond lemma arxv:0804.0915v1 [math.ra] 6 Apr 2008 Yuqun Chen and Yu L School of Mathematcal Scences, South Chna Normal Unversty Guangzhou 510631, P. R. Chna Emal:
More information= s j Ui U j. i, j, then s F(U) with s Ui F(U) G(U) F(V ) G(V )
1 Lecture 2 Recap Last tme we talked about presheaves and sheaves. Preshea: F on a topologcal space X, wth groups (resp. rngs, sets, etc.) F(U) or each open set U X, wth restrcton homs ρ UV : F(U) F(V
More informationDOLD THEOREMS IN SHAPE THEORY
Volume 9, 1984 Pages 359 365 http://topology.auburn.edu/tp/ DOLD THEOREMS IN SHAPE THEORY by Harold M. Hastngs and Mahendra Jan Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology Proceedngs
More informationHOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS. 1. Recollections and the problem
HOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS CORRADO DE CONCINI Abstract. In ths lecture I shall report on some jont work wth Proces, Reshetkhn and Rosso [1]. 1. Recollectons and the problem
More informationprinceton univ. F 17 cos 521: Advanced Algorithm Design Lecture 7: LP Duality Lecturer: Matt Weinberg
prnceton unv. F 17 cos 521: Advanced Algorthm Desgn Lecture 7: LP Dualty Lecturer: Matt Wenberg Scrbe: LP Dualty s an extremely useful tool for analyzng structural propertes of lnear programs. Whle there
More informationTHE WEIGHTED WEAK TYPE INEQUALITY FOR THE STRONG MAXIMAL FUNCTION
THE WEIGHTED WEAK TYPE INEQUALITY FO THE STONG MAXIMAL FUNCTION THEMIS MITSIS Abstract. We prove the natural Fefferman-Sten weak type nequalty for the strong maxmal functon n the plane, under the assumpton
More information42. Mon, Dec. 8 Last time, we were discussing CW complexes, and we considered two di erent CW structures on S n. We continue with more examples.
42. Mon, Dec. 8 Last tme, we were dscussng CW complexes, and we consdered two d erent CW structures on S n. We contnue wth more examples. (2) RP n. Let s start wth RP 2. Recall that one model for ths space
More informationCohen Macaulay coordinate rings of blowup schemes
Comment. Math. Helv. 72 (1997) 605 617 0010-2571/97/040605-13 $ 1.50+0.20/0 c 1997 Brkhäuser Verlag, Basel Commentar Mathematc Helvetc Cohen Macaulay coordnate rngs of blowup schemes S. Dale Cutkosky and
More informationSUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION
talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776
More informationOn intransitive graph-restrictive permutation groups
J Algebr Comb (2014) 40:179 185 DOI 101007/s10801-013-0482-5 On ntranstve graph-restrctve permutaton groups Pablo Spga Gabrel Verret Receved: 5 December 2012 / Accepted: 5 October 2013 / Publshed onlne:
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationALGEBRA HW 7 CLAY SHONKWILER
ALGEBRA HW 7 CLAY SHONKWILER 1 Whch of the followng rngs R are dscrete valuaton rngs? For those that are, fnd the fracton feld K = frac R, the resdue feld k = R/m (where m) s the maxmal deal), and a unformzer
More informationOn functors between module categories for associative algebras and for N-graded vertex algebras
On functors between module categores for assocatve algebras and for N-graded vertex algebras Y-Zh Huang and Jnwe Yang Abstract We prove that the weak assocatvty for modules for vertex algebras are equvalent
More information