Ali Omer Alattass Department of Mathematics, Faculty of Science, Hadramout University of science and Technology, P. O. Box 50663, Mukalla, Yemen
|
|
- Charlene Skinner
- 5 years ago
- Views:
Transcription
1 Journal of athematcs and Statstcs 7 (): 4448, 0 ISSN Scence Publcatons odules n σ[] wth Chan Condtons on Small Submodules Al Omer Alattass Department of athematcs, Faculty of Scence, Hadramout Unversty of scence and Technology, P. O. Box 50663, ukalla, Yemen Abstract: Problem statement: Let be a rght module over a rng R. In ths artcle modules n σ[] wth chan condtons on small submodules are studed. Approach: Wth the help of known results about sngular, Artnan and Noetheran modules the technques of the proofs of our man results use the propertes of small, supplement and semmaxmal Results: odules n σ[] wth chan condtons on small are nvestgated, semmaxmal submodule s defned. Some Propertes of semmaxmal submodules are proved. As applcaton a new characterzaton of Artnan module n σ[] s obtaned n terms of small submodules and semmaxmal submodules, as well as small submodules and supplement Concluson/Recommendatons: Our results certanly generalzed several results obtaned earler. Key words: Small submodules, supplement submodules, chan condtons, sngular, supplemented module, fntely generated, unform dmenson, nonzero submodules, postve nteger INTRODUCTION ATERIALS AND ETHODS Throughout ths research, R denotes an assocatve rng wth unty and modules are untary rght R modules odr denotes the category of all rght R modules. Let be any R module. Any R module N s generated ( or generated by ) f there exsts an ( ) epmorphsm f: Λ N, for some ndexed set Λ. An R module N s sad to be subgenerated by f Ns somorphc to a submodule of an generated module. We denote by σ[] the full subcategory of the rght R modules whose objects are all rght Rmodules subgenerated by. Any module N σ [] s sad to be sngular f N L/K, for some L σ [] and K s Hence small submodules are the generalzaton of small submodules n the category odr Let L,K be two submodules of L s called a supplement of Kn f = L+K and L K L. L s called a supplement submodule of f L s a supplement of some submodule of. s called a supplemented module f every submodule of has a supplement n. If for every submodules L,K of wth =L+K there exsts a supplement N of L n such that N K, then s called an amply supplemented module. Now, let N σ [] and essental n L The class of all sngular modules s L,K N. L s called a supplement of K n N f closed under submodules, homohorphc mages and N=K+L and K L L. L s called a supplement drect sums. The concept of small submodule has been submodule of N f L s a supplement of some generalzed to small submodule by Zhou (000). submodule of N Ns called a supplemented Zhou called a submodule N of a module s small n ( notaton N ) f, whenever N+X= wth module f every submodule of N has a supplement. On the other hand N s called an /Xsngular, we have X= Ozcan and Alkan consder ths notaton n σ[] For a module N n amply supplemented module f for every σ[], Ozcan and Alkan (006) call a submodule L of N submodules L,K wth N= L+K there exsts a s small submodule, wrtten L N, n N f L supplement X of L such that X K. For the other defntons and notatons n ths study we refer to +K N for any proper submodule K of N wth N/K sngular. Clearly, f Ls small, then L s a small Anderson and Fuller (974) and Wsbauer (99). The propertes of small submodules that are submodule. lstedn n Zhou (000) Lemma.3 also hold n σ[]. 44
2 We wrte them for convenence Ozcan and Alkan, (006) lemma.3, Lemma.). Lemma.: Let N σ[]:. For modulesk and L wth, K L N, we have L N f and only f K N and L/K N/K. For submodules K and L of N, K+ L N f and only f K Nand L N 3. If K N,L σ[] and f:k Ls a homomorphsm, then f(k) L In partcular, f K N L, then K L 4. If K L N and K N, then K L Also Ozcan and Alkan (006) consder the followng submodule of a module N n σ[] Zhou (000). (N) = {K N: N / K s sngular smple } Lemma.: For any N n σ, (N) = {L N:L N}. The next Lemma s proven n Alattass (0). Lemma.3: Let N σ [] be supplemented. Then N/ (N) s semsmple. RESULTS AND DISCUSSION Theorem.: Let N σ []. Then (N) s Noetheran f and only f N satsfes ACC on small J. ath. & Stat., 7 (): 4448, 0 Theorem.3: Let N σ []. Then the followng are Proof: By lemma., every ascendng chan of small submodules of N s ascendng chan equvalent: submodules of (N). Hence the necessty s clear. Suffcency: Suppose to the contrary that (N) s a) (N) s Artnan. b) Every small submodule of N s Artnan. not Noetheran. Then there s a properly ascendng chan N N of submodules of (N). Let c) satsfes DDC on small submodules of N n Nand n N N, for each >. For each Proof: (a) (b). Ths s clear as every = j small j, let Kj = nr. Hence K j s fntely generated and submodules of N s a submodule of (N). = (b) (c). Ths s obvous. K j (N). So, by Lemma. and Lemma., (c) (a). By Anderson and Fuller (994), proposton Kj N, for each j. Hence K K. s a 0.0) t wll be suffce to show that every factor properly ascendng chan of small submodules of module of (N) s fntely cogenerated. For ths N. Ths mples N fals to satsfy ACC on small suppose that there exsts a factor module of (N) submodules, a contradcton. Thus (N) s Noetheran. whch s not fntely cogenerated. Then the set 45 Recall that a module s sad to have a unform dmenson n, where n s a nonnegatve nteger,f n s the maxmal number of summands n a drect sum of nonzero submodules of. In ths case we wrte u.dm = n and we say has a fnte unform dmenson. Theorem.: For any N σ [], the followng are equvalent: a) (N) has a fnte unform dmenson. b) Every small submodules of N has a fnte unform dmenson and there exsts a postve nteger n such that u.dml n, for any L N. c) N does not contan an nfnte drect sum of nonzero small submodules of N Proof: (a) (b). Ths s clear as any small submodule of N s contaned n (N). (b) (c). Assume that N N s an nfnte drect sum of nonzero small submodules of N. Then, by lemma., N N Nn+ Nand hence u.dm(n N N n+ ) n +, a contradcton to the hypothess. Hence (C) follows. (c) (a). Let N N be an nfnte drect sum of nonzero submodules of (N). For each, let n I be a nonzero element of N I Hence, by Lemmas. and., nr N. Thus nr nr s an nfnte drect sum of nonzero small submodules o f N Ths contradcts (C) and hence (N) has a fnte unform dmenson.
3 Λ= {L (N) : (N) / L s not fntely cogenerated} s nonempty. We show that Λ has a mnmal member. Let {L α } α Γ be a chan of submodules n Λ Consder the submodule L= L α. If L Λ, then α Γ (N) / L fntely cogenerated and so L= L α, for some a T a contradcton. Ths contradcton gves L Λ and we conclude that every chan of Λ has a lower bound n Λ. Hence, by Zorn's lemma, Λ has a mnmal member K. We clam that K N. Frst we show Soc( (N) / K) s not fntely generated. Let x (N) and x K. By lemmas.., xr N. Hence xr s Artnan. Ths mples (xr + K) / K s a nonzero Artnan as (xr + K) / K xr / (xr K). Therefore (xr + K) / K and hence (N) / K has an essental socle. Thus Soc( (N) / K) s not fntely generated Anderson and Fuller (000), Proposton 0.7. Now suppose that U s a submodules of N such that N = K+ Uwth N/U sngular. Let V be a submodule of (N), contanng K such that V/K= Soc( (N)/K). Then we have V = K + (U V). Suppose to the contrary that K U K. Then (N) / (K U) s fntely cogenerated. But J. ath. & Stat., 7 (): 4448, 0 V/K (K + (U V))/K (U V)/(K U) Soc( (N) / (K U)). So V/K s fntely generated, a contradcton. Ths contradcton gves K U = K and hence N=U Thus K N. Next we show V N. Suppose that W Nsuch that N=V+W wth N/W sngular. Then N / (K + W) = (U + W) / (K + W) U / (K + U W), mplyng that N/(K+ W) s semsmple. If N K+W then K+W N s contaned n a maxmal submodule Z of N Therefore N/Z s sngular smple. It follows that U (N) Z and so N=Z, a contradcton. Thus N=K+W whch wll mply N=W So V N. Therefore, by the hypothess, V and hence V/K s Artnan. The followng example explan that f every small submodule of N s Noetheran, then (N) need not be Noetheran. Example.4: Let R =, = and let N =, the (p ) Prufer P group. Hence N s an R module n fact N σ []. It s known that every submodule of N s Noetheran, but N s not Noetheran. oreover (N) N = Wang (007), Example Remark: If we look to a rng R as a module over t self and takng =R n.,.,.3 we get the results.3,.4,.5 n Wang (007) respectvely. Recall that a submodule N of an R module s called a semmaxmal submodule f N = N α, for some fnte set Λ wth N α and /N α sngular smple, for each α Λ. Here we consder ths defnton n the category σ []. Defnton.5: Let N σ[] and K N. K s called semmaxmal submodule of N f there s a fnte collecton {A α } α Λ of submodules of N such that K = and N/A α sngular smple for any A α α Λ α Λ. Snce any sngular module s sngular, any semmaxmal submodule of N σ [] s semmaxmal submodule of N. The next example gves a module wth a semmaxmal submodule whch s not semmaxmal submodue. Example.6: Let be a smple non projectve module. Then s sngular and not sngular Wsbauer (99). Hence the trval submodule s a semmaxmal submodule of but t s not semmaxmal submodule. Lemma.7: Let N σ []. Then:. (N) s contaned n any semmaxmal submodule of N. If N has DDC on the semmaxmal submodules, then N has a mnmal semmaxmal submodule Proof: The proof s standard and s omtted. Theorem.8: Let N σ []. Then the followng statements are equvalent: a) N s Artnan b) N satsfes DCC on small submodules and on semmaxmal submodules c) N satsfes DCC on small submodules and (N) s semmaxmal submodule d) N amply supplemented satsfes DCC on small submodules and suplementet Proof: (a) (b). Is obvous. α Λ
4 (b) (c). Let K be a mnmal semmaxmal submodule of N. We show that (N) = K. If (N) = N, then, by Lemma.7 (), N =(N) K and so (N) = K. Suppose that (N) N. By the defnton of (N) and Lemma.7 () t s suffce to show K L, for any submodule L of L wth N/Ls sngular smple. If L N such that N/L s sngular smple, then K Ls semmaxmal submodule of N Hence, by the mnmalty of K, K L= K and so K L. (c) (a). If N = (N), then N s Artnan by Theorem.3. Suppose that N (N). Then n = (N) = L, where N/L s sngular smple for each =, n Therefore N/ (N) s somorphc to a submodule of the fntely generated semsmple module = n N/L. Hence N/ (N) and so N s = Artnan. (d) (a). Suppose that N s an amply supplemented whch satsfes DCC on supplement submodules and small Then, by Theorem.3, (N) s Artnan and hence t s suffces to show N/ (N) s Artnan. N/ (N) s semsmple by Lemma.3. We clam that N/ (N) s Noetheran. Suppose that (N) N N s ascendng chan of submodules of N. We show by nducton there exsts descendng chan of submodules K K such that K s supplement N of n n for each. Snce N=N +N and N s amply supplemented, there exsts a supplement K of N n N Then N=N +K. Agan snce N=N +K,K, contans a supplement K of N n N. Now assume r and there s a descendng K K Kr of submodules such that K s supplementet of NI n N for each =,, r Hence N = Nr + Kr and so N = N + K. Agan snce Ns amply r+ r supplemented, we have a supplement K r + of N r + n N Proceedng n ths way we see that there exsts a descendng chan of submodules K K such that K s supplement of N n N for each. By the hypothess there exsts a postve nteger m such that Kn = K m, for each n m. Snce N=N +K J. ath. & Stat., 7 (): 4448, 0 47 and N K (N), N / (N) = N / (N) (K +(N) / (N). Thus Nn = N m, for each n m. Therefore N/ (N) s Noetheran and hence fntely generated. Thus N/ (N) s Artnan. Note: The condton N s amply supplemented n the statement (d) n Theorem.8 cannot be deleted (see the followng example). Example.9: Take RZ and =Z It s clear that σ[], satsfes DCC on supplement submodules and small submodules, but s not Artnan. The next corollary follows from the proof of (b) (c) n.8 and Lemma.7(). Corollary.9: If N satsfes one of the condtons of Theorem.8, then (N) s the least semmaxmal submodule of N. Corollary.0: The followng statements are equvalent for any R modulen. a) N s Artnan. b) N satsfes DCC on N small submodules and on semmaxmal N c) N satsfes DCC on N small submodules and N (N) N semmaxmal submodule. d) N s amply N supplemented satsfes DCC on N small submodules and N supplement e) N satsfes DCC on small submodules and on semmaxmal f) N satsfes DCC on small submodules and (N) s N semmaxmal submodule. g) N s amply supplemented satsfes DCC on small submodules and supplement Proof: (a) (b) (c) (d) s by takng =N n Theorem.8 and (a) (e) (f) (g) by takng =R n.8. Remark: The equvalence of (a,e,f,g) has been proved by Wang (007), Proposton.8 and Theorem (3.0) Then Theorem.8 s an extenson of such results. Corollary.: A fntely generated supplemented module N n σ[] s Artnan f and only f N satsfes DCC on small
5 J. ath. & Stat., 7 (): 4448, 0 Proof: The necessary part s trval. Suffcently part, suppose that N s a fntely generated supplemented module n σ[] satsfes DCC on small Then, by Lemma.3, N/ (N) s semsmple and hence t must be Artnan as N s fntely generated. By the hypothess and.3, (N) s Artnan. Thus N s Artnan. We end ths Artcle by showng that every factor module of a supplemented module that satsfes ACC on small submodules s also satsfes ACC on small Theorem.3: Let N σ[] be supplemented module. If N satsfes ACC on small submodules, then so does every factor modules of N. Proof. Let L N and let L /L L /L be an ascendng chan of a small submodules of N/L. Snce N s a supplemented module and L N, there exsts a submodule K of N such that N= L+K and L K K. Hence N/L (L+ K)/L K/L K. Let f:n/l K/L K be an somorphsm. Therefore for each, there exsts a submodule K of N contanng L K such that f(l /L) = K /K L. Hence, by Lemma., f(l /L) = K /K L K/L. Now we show that K N, for each. Suppose that X N such that N = K + X, wth N/X sngular. Then N/K L= K /K L + (X+ L K)/L K. But K /K L K/L and N/(X+ L K) s sngular. So N/K L = (X+ L K)/L K and hence N = (L K) + X. Therefore N=X. Thus we have a sendng chan K K of small submodules of N. Then, by the hypothess, there exsts a postve nteger n such that Kn = K n + =. Ths mples L/Ln = L/L n + =.Therefore N/L satsfes ACC on small small submodules s also has ACC on small submodules. () N s Artnan f and only f N satsfes DCC on small submodules and on semmaxmal submodules f and only f N amply supplemented satsfes DCC on small submodules and on supplement (v) If N s fntely generated supplemented, then N s Artnan f and N only f N satsfes DCC on small ACKNOWLEDGEENT The author s thankful for the facltes provded by department of mathematcs, at Unverst Tekonolog alaysa durng hs stay. REFERENCES Alattass, A., 0. On Supplemented and Lftng modules (submtted). Anderson, F.W. and K.R. Fuller, 974. Rngs and Categores of odules. st Edn., Sprngerverlage, New York, ISBN0: , pp: 339. Ozcan, A.C. and. Alkan, 006. Semperfect modules wth respect to a preradcal. Comm. Alg., 34: DOI: 0.080/ Wang, Y., 007. small submodules and supplemented odules. Int. J. ath. ath. Sc., 007: 8. DOI: 0.55/007/583 Wsbauer, R. 99. Foundatons of odule and Rng Theory: A Handbook for Study and Research. st Edn., Gordon and Breach Scence Publshers, USA., ISBN0: , pp: 606. Zhou, Y.Q., 000. Generalzatons of Perfect, Semperfect, and semregular rngs. Alg. Coll., 7: CONCLUSION For any module N n σ[] we have obtaned a necessary and suffcent condtons for the sum of all small submodules of N to has a fnte unform dmenson. Also t s shown that () the sum of all small submodules of N s Noetheran (Artnan ) f and only f N satsfes ACC (DCC ) on small () Every factor module of a supplemented module n σ[] wth ACC on 48
International 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 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 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 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 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 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 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 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 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 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 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 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 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 informationSelf-complementing permutations of k-uniform hypergraphs
Dscrete Mathematcs Theoretcal Computer Scence DMTCS vol. 11:1, 2009, 117 124 Self-complementng permutatons of k-unform hypergraphs Artur Szymańsk A. Paweł Wojda Faculty of Appled Mathematcs, AGH Unversty
More informationEXTENSIONS OF STRONGLY Π-REGULAR RINGS
EXTENSIONS OF STRONGLY Π-REGULAR RINGS H. Chen, K. Kose and Y. Kurtulmaz ABSTRACT An deal I of a rng R s strongly π-regular f for any x I there exst n N and y I such that x n = x n+1 y. We prove that every
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 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 informationVolume 18 Figure 1. Notation 1. Notation 2. Observation 1. Remark 1. Remark 2. Remark 3. Remark 4. Remark 5. Remark 6. Theorem A [2]. Theorem B [2].
Bulletn of Mathematcal Scences and Applcatons Submtted: 016-04-07 ISSN: 78-9634, Vol. 18, pp 1-10 Revsed: 016-09-08 do:10.1805/www.scpress.com/bmsa.18.1 Accepted: 016-10-13 017 ScPress Ltd., Swtzerland
More informationExercise Solutions to Real Analysis
xercse Solutons to Real Analyss Note: References refer to H. L. Royden, Real Analyss xersze 1. Gven any set A any ɛ > 0, there s an open set O such that A O m O m A + ɛ. Soluton 1. If m A =, then there
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 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 informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
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 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 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 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 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 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 informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationarxiv: v1 [math.co] 1 Mar 2014
Unon-ntersectng set systems Gyula O.H. Katona and Dánel T. Nagy March 4, 014 arxv:1403.0088v1 [math.co] 1 Mar 014 Abstract Three ntersecton theorems are proved. Frst, we determne the sze of the largest
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
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 informationAn Auslander-type result for Gorenstein-projective modules
Advances n Mathematcs 218 (2008) 2043 2050 www.elsever.com/locate/am An Auslander-type result for Gorensten-projectve modules Xao-Wu Chen Department of Mathematcs, Unversty of Scence and Technology of
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 informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
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 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 informationOn the Nilpotent Length of Polycyclic Groups
JOURNAL OF ALGEBRA 203, 125133 1998 ARTICLE NO. JA977321 On the Nlpotent Length of Polycyclc Groups Gerard Endmon* C.M.I., Unerste de Proence, UMR-CNRS 6632, 39, rue F. Jolot-Cure, 13453 Marselle Cedex
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 informationA 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 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 informationThe Ramanujan-Nagell Theorem: Understanding the Proof By Spencer De Chenne
The Ramanujan-Nagell Theorem: Understandng the Proof By Spencer De Chenne 1 Introducton The Ramanujan-Nagell Theorem, frst proposed as a conjecture by Srnvasa Ramanujan n 1943 and later proven by Trygve
More informationOn Finite Rank Perturbation of Diagonalizable Operators
Functonal Analyss, Approxmaton and Computaton 6 (1) (2014), 49 53 Publshed by Faculty of Scences and Mathematcs, Unversty of Nš, Serba Avalable at: http://wwwpmfnacrs/faac On Fnte Rank Perturbaton of Dagonalzable
More informationA CHARACTERISATION OF VIRTUALLY FREE GROUPS
A CHARACTERISATION OF VIRTUALLY FREE GROUPS ROBERT H. GILMAN, SUSAN HERMILLER, DEREK F. HOLT, AND SARAH REES Abstract. We prove that a fntely generated group G s vrtually free f and only f there exsts
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 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 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 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 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 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 informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
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 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 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 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 informationDiscrete Mathematics
Dscrete Mathematcs 32 (202) 720 728 Contents lsts avalable at ScVerse ScenceDrect Dscrete Mathematcs journal homepage: www.elsever.com/locate/dsc On the symmetrc dgraphs from powers modulo n Guxn Deng
More informationTHE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS.
THE ORNSTEIN-WEISS LEMMA FOR DISCRETE AMENABLE GROUPS FABRICE KRIEGER Abstract In ths note we prove a convergence theorem for nvarant subaddtve functons defned on the fnte subsets of a dscrete amenable
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationFirst day August 1, Problems and Solutions
FOURTH INTERNATIONAL COMPETITION FOR UNIVERSITY STUDENTS IN MATHEMATICS July 30 August 4, 997, Plovdv, BULGARIA Frst day August, 997 Problems and Solutons Problem. Let {ε n } n= be a sequence of postve
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 informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationTHE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS
Dscussones Mathematcae Graph Theory 27 (2007) 401 407 THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS Guantao Chen Department of Mathematcs and Statstcs Georga State Unversty,
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 informationSemilattices of Rectangular Bands and Groups of Order Two.
1 Semlattces of Rectangular Bs Groups of Order Two R A R Monzo Abstract We prove that a semgroup S s a semlattce of rectangular bs groups of order two f only f t satsfes the dentty y y, y y, y S 1 Introducton
More informationMTH 819 Algebra I S13. Homework 1/ Solutions. 1 if p n b and p n+1 b 0 otherwise ) = 0 if p q or n m. W i = rw i
MTH 819 Algebra I S13 Homework 1/ Solutons Defnton A. Let R be PID and V a untary R-module. Let p be a prme n R and n Z +. Then d p,n (V) = dm R/Rp p n 1 Ann V (p n )/p n Ann V (p n+1 ) Note here that
More informationEmbedding Rings with Krull Dimension in Artinian Rings
Ž. JOUNAL OF ALGEBA 182, 534545 1996 ATICLE NO. 0186 Embeddng ngs wth Krull Dmenson n Artnan ngs Alfred Golde School of Mathematcs, Leeds Unersty, Leeds LS2 9JT, England and Gunter Krause Department of
More informationGenericity of Critical Types
Genercty of Crtcal Types Y-Chun Chen Alfredo D Tllo Eduardo Fangold Syang Xong September 2008 Abstract Ely and Pesk 2008 offers an nsghtful characterzaton of crtcal types: a type s crtcal f and only f
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 informationKey polynomials for simple extensions of valued fields
Key polynomals for smple extensons of valued felds F. J. Herrera Govantes Departamento de Álgebra Facultad de Matemátcas Avda. Rena Mercedes, s/n Unversdad de Sevlla 41012 Sevlla, Span emal: jherrera@algebra.us.es
More informationOn the Radical of Intersection of Two Submodules
Int. J. Contemp. Math. Scences, Vol. 3, 2008, no. 31, 1535-1550 On the Radcal of Intersecton of Two Submodules J. Moghadar and R. Nekooe Department of Mathematcs Shahd Bahonar Unversty of Kerman, Kerman,
More information28 Finitely Generated Abelian Groups
8 Fntely Generated Abelan Groups In ths last paragraph of Chapter, we determne the structure of fntely generated abelan groups A complete classfcaton of such groups s gven Complete classfcaton theorems
More informationBRAUER GROUPS, MONDAY: DIVISION ALGEBRAS
BRAUER GROUPS, MONDAY: DIVISION ALGEBRAS GENE S. KOPP 1. Dvson Algebras A dvson rng s a rng wth 1 n whch every nonzero element s nvertble. Equvalently, the only one-sded deals are the zero deal and the
More informationGoogle PageRank with Stochastic Matrix
Google PageRank wth Stochastc Matrx Md. Sharq, Puranjt Sanyal, Samk Mtra (M.Sc. Applcatons of Mathematcs) Dscrete Tme Markov Chan Let S be a countable set (usually S s a subset of Z or Z d or R or R d
More informationD.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS
D.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS SUB: ALGEBRA SUB CODE: 5CPMAA SECTION- A UNIT-. Defne conjugate of a n G and prove that conjugacy s an equvalence relaton on G. Defne
More informationComplete subgraphs in multipartite graphs
Complete subgraphs n multpartte graphs FLORIAN PFENDER Unverstät Rostock, Insttut für Mathematk D-18057 Rostock, Germany Floran.Pfender@un-rostock.de Abstract Turán s Theorem states that every graph G
More informationOn a Theorem of J. A. Green
JOUNL OF LEB 209, 708712 1998 TICLE NO J987552 On a Theorem of J reen Kench Yamauch Department of Mathematcs, Facult of Educaton, Chba Unerst, Yaocho, Chba 263-8522, Japan E-mal: amauch@mathechba-uacjp
More informationRapid growth in finite simple groups
Rapd growth n fnte smple groups Martn W. Lebeck, Gl Schul, Aner Shalev March 1, 016 Abstract We show that small normal subsets A of fnte smple groups grow very rapdly namely, A A ɛ, where ɛ > 0 s arbtrarly
More informationZeros and Zero Dynamics for Linear, Time-delay System
UNIVERSITA POLITECNICA DELLE MARCHE - FACOLTA DI INGEGNERIA Dpartmento d Ingegnerua Informatca, Gestonale e dell Automazone LabMACS Laboratory of Modelng, Analyss and Control of Dynamcal System Zeros and
More informationFully simple singularities of plane and space curves
Proc. London Math. Soc. Page1of21 C 2008 London Mathematcal Socety do:10.1112/plms/pdn001 Fully smple sngulartes of plane and space curves M. Zhtomrsk Abstract In ths work we ntroduce the defnton of fully
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 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 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 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 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 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
Dscrete Mathematcs 30 (00) 48 488 Contents lsts avalable at ScenceDrect Dscrete Mathematcs journal homepage: www.elsever.com/locate/dsc The number of C 3 -free vertces on 3-partte tournaments Ana Paulna
More informationRemarks on the Properties of a Quasi-Fibonacci-like Polynomial Sequence
Remarks on the Propertes of a Quas-Fbonacc-lke Polynomal Sequence Brce Merwne LIU Brooklyn Ilan Wenschelbaum Wesleyan Unversty Abstract Consder the Quas-Fbonacc-lke Polynomal Sequence gven by F 0 = 1,
More informationOn the set of natural numbers
On the set of natural numbers by Jalton C. Ferrera Copyrght 2001 Jalton da Costa Ferrera Introducton The natural numbers have been understood as fnte numbers, ths wor tres to show that the natural numbers
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 informationHomotopy Type Theory Lecture Notes
15-819 Homotopy Type Theory Lecture Notes Evan Cavallo and Stefan Muller November 18 and 20, 2013 1 Reconsder Nat n smple types s a warmup to dscussng nductve types, we frst revew several equvalent presentatons
More informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
More informationDeterminants Containing Powers of Generalized Fibonacci Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 19 (2016), Artcle 1671 Determnants Contanng Powers of Generalzed Fbonacc Numbers Aram Tangboonduangjt and Thotsaporn Thanatpanonda Mahdol Unversty Internatonal
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationCharacter Degrees of Extensions of PSL 2 (q) and SL 2 (q)
Character Degrees of Extensons of PSL (q) and SL (q) Donald L. Whte Department of Mathematcal Scences Kent State Unversty, Kent, Oho 444 E-mal: whte@math.kent.edu July 7, 01 Abstract Denote by S the projectve
More informationOn the Matlis duals of local cohomology modules and modules of generalized fractions
Proc. Indan Acad. Sc. (ath. Sc.) Vol. 120, No. 1, February 2010, pp. 35 43. Indan Acadey of Scences On the atls duals of local cohoology odules and odules of generalzed fractons KAZE KHASHYARANESH Departent
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 informationA NOTE ON RINGS OF FINITE RANK
A NOTE ON RINGS OF FINITE RANK PETE L. CLARK Abstract. The rank rk(r) of a rng R s the supremum of mnmal cardnaltes of generatng sets of I as I ranges over deals of R. Matson showed that every n Z + occurs
More informationA FINITE TO ONE OPEN MAPPING PRESERVES SPAN ZERO
Volume 13, 1988 Pages 181 188 http://topology.auburn.edu/tp/ A FINITE TO ONE OPEN MAPPING PRESERVES SPAN ZERO by Mara Cuervo and Edwn Duda Topology Proceedngs Web: http://topology.auburn.edu/tp/ Mal: Topology
More informationNeutrosophic Bi-LA-Semigroup and Neutrosophic N-LA- Semigroup
Neutrosophc Sets Systems, Vol. 4, 04 9 Neutrosophc B-LA-Semgroup Neutrosophc N-LA- Semgroup Mumtaz Al *, Florentn Smarache, Muhammad Shabr 3 Munazza Naz 4,3 Department of Mathematcs, Quad--Azam Unversty,
More informationAmusing Properties of Odd Numbers Derived From Valuated Binary Tree
IOSR Journal of Mathematcs (IOSR-JM) e-iss: 78-578, p-iss: 19-765X. Volume 1, Issue 6 Ver. V (ov. - Dec.016), PP 5-57 www.osrjournals.org Amusng Propertes of Odd umbers Derved From Valuated Bnary Tree
More information