FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
|
|
- Madison Ferguson
- 6 years ago
- Views:
Transcription
1 C O L L O Q U I U M M A T H E M A T I C U M VOL 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 group and such that each dvsor class of H contans a prme dvsor. We show that for each fnte set L of ntegers 2 there exsts some h H such that the followng are equvalent: () h has a representaton h = u 1... u k for some rreducble elements u, () k L. 1. Introducton and notatons. Let H be a Krull monod. For an element h of H ts set of lengths L(h) s defned as the set of all ntegers k such that there exst rreducble u 1,..., u k wth h = u 1... u k. If the class group of H s fnte, then the sets L(h) have a specal structure: L(h) = {x 1,..., x α, y 1,... y l, y 1 + d,... y l + d, y 1 + kd,... y l + kd, z 1,..., z β }, where x 1 <... < x α < y 1 <... < y l < y 1 + d < y l + kd < z 1 <... < z β and α, β, d M for some constant M dependng only on the class group of H ([1], Theorem 2.13). In ths paper we look at the sets L(h) when the class group of H s nfnte and each dvsor class of H contans a prme dvsor. Our man result states that n ths case every fnte set of ntegers 2 occurs as a set of lengths of an element n H. We apply ths result also to certan ntegral domans. Throughout ths paper the followng notatons wll be used. We let N be the set of all nonnegatve ntegers, N + = N \ {0} and N 2 the set of all ntegers 2. For a fnte set X we denote by X the number of elements of X. 2. Sets of lengths. In the followng let H be a commutatve, cancellatve monod wth unt element. By a factorzaton of an element h H we mean a representaton of the form h = u 1... u k wth rreducble u H. The nteger k s called the length of the factorzaton. Two factorzatons 1991 Mathematcs Subject Classfcaton: 11R27, 13G05. [23]
2 24 F. KAINRATH h = u 1... u k = v 1... v l are sad to be essentally the same f k = l and after some renumberng u =e v for some unt e ; they are called essentally dfferent f they are not essentally the same. We denote by L(h) = L H (h) the set of lengths of factorzatons of h and defne a functon v h = v H,h : L(h) N + by v h (k) = the number of essentally dfferent factorzatons of h havng length k. Now let H be Krull monod (see for example [1]), : H D ts dvsor theory and G = D/ (H) ts class group. We denote the canoncal map D G by d [d]. We say that every dvsor class of H contans a prme dvsor f for every g G there exsts a prme element p D wth [p] = g. Now we can state our man result. Theorem 1. Let H be a Krull monod wth nfnte class group n whch every dvsor class contans a prme dvsor. For a fnte subset L N 2 there exsts some h H such that L H (h) = L. If the class group of H s not of the form (Z/2Z) (N) Γ wth an nfnte set N and a fnte group Γ, then there s such an h satsfyng v h = v, where v s any gven functon L N +. For the proof of ths theorem we need the concept of block monods. Let G be the class group of H. We let F(G) be the free abelan monod wth bass G. The block monod B(G) over G s the submonod of F(G) defned by { } B(G) = n g g = 0. g G g ng F(G) : g G We say that a block g 1... g n B(G) s square free f the g are parwse dstnct. For an element h H defne β(h) B(G) by β(h) = [p 1 ]... [p n ] where (h) = p 1... p n s the prme factorzaton of (h) n D. Then we have L B(G) (β(h)) = L H (h) (see [1], Lemma 3.2). Moreover, t s easy to to see that v H,h = v B(G),β(h) f β(h) s square free. For the proof of Theorem 1 we also need the followng proposton whose proof wll be gven n the next secton. Proposton. Let C be a nonzero cyclc group, L N 2 a fnte set and v : L N + a functon. Then there exsts a block B n B(C k ) for some k 1 such that L(B) = L. If C Z/2Z, then there s a square free block B B(C k ) such that L = L(B) and v B = v. Proof of Theorem 1. Let H be as n Theorem 1, G ts class group and choose some fnte L N 2 and v : L N +. We show that there s a block
3 FACTORIZATION IN KRULL MONOIDS 25 B B(G) wth L(B) = L. If G s not of the form (Z/2Z) (N) Γ wth an nfnte set N and a fnte group Γ, then we wll choose B such that t s square free and satsfes v B = v. By the above consderatons ths wll prove Theorem 1. We consder three cases. Case 1: G s not a torson group. Then G contans a subgroup somorphc to Z, so we may assume G = Z. By the Proposton (wth C = Z) there s a square free block B B(Z k ) for some k such that L(B) = L and v B = v, say B = u 1... u n. Choose some homomorphsm f : Z k Z such that f(u ) 0 f u 0, I {1,..., n}, and I I f(u ) f(u j ) f j. Then t s clear that the square free block C = f(u 1 )... f(u n ) B(Z) satsfes L(C) = L and v C = v. Case 2: G s a torson group whch contans elements of arbtrarly hgh order. Choose frst a square free block B = u 1... u n B(Z) such that L(B) = L and v B = v. Ths s possble by Case 1. Defne M N by ({ } ) M = max u : I {1,..., n} { u u j :, j = 1,..., n}. I Then t s obvous that for every N > M the square free block B N = (u 1 + NZ)... (u n + NZ) B(Z/NZ) satsfes L(B N ) = L and v BN = v as well. By our hypothess on G there exsts an element of order greater than M, whch means that G contans a subgroup somorphc to Z/NZ for some N > M. Therefore the theorem s proved n ths case. Case 3: G s a torson group n whch the orders of all elements are bounded. By Theorem 6 of [4], G s a drect sum of cyclc groups G = Z/n Z I for some bounded famly of ntegers n 2. Snce by assumpton G s nfnte there s an nteger m such that G contans a subgroup somorphc to (Z/mZ) (N). If G s not of the form (Z/2Z) (N) Γ wth an nfnte set N and a fnte group Γ, we may suppose m > 2. Usng the Proposton wth C = Z/mZ, we see that the theorem s proved n ths case as well. In the followng we want to apply Theorem 1 to certan ntegral domans. Let R be a noetheran doman whose ntegral closure R s a fntely generated R-module. Denote by H R the set of all nonzero dvsors of R/R: H R = {r R \ {0} : rr R for all r R \ R}. Then H R s a dvsor closed Krull submonod of R = R \ {0} whose class
4 26 F. KAINRATH group s somorphc to the v-class group of R (cf. [2]). Therefore L HR (r) = L R (r) and v HR,r = v R,r for all r H R. Hence we get the followng theorem. Theorem 2. Let R be a noetheran doman wth fntely generated ntegral closure and nfnte v-class group. Suppose that n the monod H R every dvsor class contans a prme dvsor. Then for every fnte set L N 2 there exsts an element r R such L(r) = L. If the v-class group of R s not of the form (Z/2Z) (N) Γ wth an nfnte set N and a fnte group Γ, then there s such an r satsfyng v r = v, where v s any gven functon L N +. Remark. Examples of domans satsfyng the condton on the dvsor classes may be found n [3]. 3. Proof of the Proposton. Let C = Z/cZ, c 1, be some cyclc group. In ths secton we regard C as a rng. Let X 1,..., X n be fnte sets. We suppose that X 2 for all and that and n = 2 and X 3 for at least one or n 3 n 3 For a subset J {1,..., n} we put f C = Z/2Z. X J = j J X j f C Z/2Z, and let X = X {1,...,n} for short. The ponts x of X wll always be wrtten as x = (x 1,..., x n ). We denote by p J : X X J the projecton mappng. For a pont z X we defne X (z) = X \ {z } and X (z) J = j J X (z) j. If x X s a second pont we let J z (x) be the set of all ndces wth x z. We denote by C X the C-algebra of all functons X C. For a subset M of X we let χ M C X be ts characterstc functon. If A C X then C A s the C-submodule generated by A. We now proceed n 10 steps. In Steps 1 to 8 we construct a block n C X /V for some submodule V and calculate ts set of lengths. In Steps 9 and 10 we use ths constructon to prove the proposton. Step 1. For z X the set { J : y X(z) J, J {1,..., n}} s a bass of C X. For each the set {1} {χ y : y X (z) } s obvously a bass of C X. Now, by takng tensor products and by usng the canoncal somorphsm α : C X 1... C X n = C X, α(f 1... f n )(x 1,..., x n ) = f 1 (x 1 )... f n (x n ),
5 FACTORIZATION IN KRULL MONOIDS 27 we prove our clam (note also that = 1 f y s the unque element of X (z) ). Step 2. Defne submodules V, W z (z X) of C X by Then we have V = C : y X, = 1,..., n, W z = C J : J 2, y X(z) J. (1) C X = V W z for all z X. Note that V s generated by {1} { all z X. Therefore the asserton follows from Step 1. : y X(z), = 1,..., n} for Step 3. Let z, x X wth x z and M X, z M. Then there exst w k W z (k = 1, 2, 3) and Y X (z) ( = 1,..., n) such that: (2) χ z = 1 + w 1, (3) (4) =1 y X (z) { } 0 f Jz (x) 2 χ x = + w 2, (x ) f J z (x) = {} χ M = + w 3. =1 y Y Let w X. Then we have n χ w = (w ) = =1 = (w ) J z (w) J z (w) (w ) J z (w) J z (w) (1 y X (z) (z ) Expandng the last product for w = x and z yelds (2) and (3). Formula (4) s an mmedate consequence of (3). Step 4. The cosets χ x + V C X /V (x X) are parwse dstnct. Let x, z X be such that x z and suppose χ z χ x V. By (1) (3), we obtan (5) χ z χ x = 1 n =1 y X (z) χ M, where M = f J z (x) 2 and M = p (x ) f J z (x) = {}. Assume frst C Z/2Z. Choose w X such that w x and J z (w) = 2. Ths s possble ).
6 28 F. KAINRATH by our assumpton on n and the X. Evaluatng both sdes of (5) at w we get 0 on the left sde and or 2 on the rght sde. Ths contradcton proves our asserton n the case C Z/2Z. Assume now C = Z/2Z. Snce n 3 there s some w X such that w x, J z (w) = 2 and, n addton, J z (w) f J z (x) = {}. Agan evaluatng both sdes of (5) at w gves a contradcton. Step 5. Suppose C Z/2Z and let M be a subset of X such that χ M V. Then M = p (Y ) for some and some Y X. If M = X there s nothng to do. So assume z X \ M. By (4) there exst subsets Y X (z) such that χ M =. =1 y Y Takng squares we get χ M = χ 2 M = =1 + 2 y Y <j y Y Y j {,j}. Now usng Step 1 we nfer Y for at most one, whch mples the asserton. Step 6. Assume C = Z/2Z. Let M X and suppose χ M V. For any z X \ M there exst Y X (z) ( = 1,..., n) such that M = {x X : { : x Y } s odd}. By (4) there are Y X (z) such that χ M = =1 y Y = n =1 (Y ). Now the clam follows from the equaton = 0 n Z/2Z. Step 7. Let z X and Y, Y X(z) ( = 1,..., n). Set M Y = {x X : { : x Y } s odd} and defne M Y n the same manner. Suppose we have M Y M Y. Then there exsts an ndex such that M Y = p (Y ) and M Y = p (Y ),.e. Y j = Y j = for j. Let y Y j for some j. Then (z 1,..., z j, y, z j+1,..., z n ) M Y M Y, whch mples y Y j. So we conclude Y j Y j for all j. Snce M Y M Y there s some such that Y Y. Suppose now Y j for some j. Choose y j Y j and y Y \ Y. Then (z 1,..., y,..., y j,..., z n ) M Y \ M Y. Ths contradcton proves Y j = for j. Smlary, suppose y j Y j. Choose y Y. Snce Y j = we obtan (z 1,..., y,..., y j,..., z n) M Y \ M Y.
7 FACTORIZATION IN KRULL MONOIDS 29 Step 8. For any subset M of X defne B M = (χ x + V ) F(C X /V ). x M Then B M s a block f and only f χ M V, n partcular B = B X B(C X /V ). We have L(B) = { X 1,..., X n }, v B ( X ) = {j : X j = X } f C Z/2Z and L(B) = {2, X 1,..., X n } f C = Z/2Z. By Steps 5 7 the blocks B p, = 1,..., n, y X, are rreducble. Therefore B has the followng factorzatons: (6) B =, = 1,..., n. y X B p Suppose frst C Z/2Z. We have to show that the factorzatons (6) are the only ones for B. By Step 5 the rreducble dvsors of B are gven by the B p wth y X and = 1,..., n. Now B s square free and two sets p, p j (y ) wth j have nonempty ntersecton. Hence the asserton follows. Assume now C = Z/2Z. Let z X and choose subsets Y X (z) such that Y for at least two ndces. Set M Y = {x X : { : x Y } s odd}. By Steps 6 and 7 the blocks B MY and B X\MY are rreducble. Hence we obtan 2 L(B). Suppose now that B = B 1... B k s some factorzaton dfferent from all the ones n (6). We have to show that k = 2. Snce B s square free there s some partton X = M 1... M k, M s M t = for s t, such that B s = B Ms for all s. Snce the sets p, p j (y ) for j have nonempty ntersecton, there exsts some s, say s = 1, such that M 1 and therefore also X \ M 1 are not of the form p (Y ) (for any = 1,..., n, Y X ). Hence by Steps 6 and 7 agan, B X\M1 s rreducble, and we get B 2 = B X\M1 and k = 2. Step 9. Suppose that C Z/2Z and let L N 2 be a fnte subset and v : L N + a functon. We assume frst that (7) (L, v) ({m}, m 1), ({2}, 2 2) for all m 2. Set n = l L v(l) and choose fnte sets X 1,..., X n such that for l L exactly v(l) of them have cardnalty l. Then by our assumpton (7) we have n 3, or n = 2 and X 3 for at least one. Then the block B B(C X /V ) constructed n Step 8 satsfes L(B) = L and v B = v. Note also that by Steps 1 and 2, C X /V s free. To fnsh the proof of the proposton n the case C Z/2Z we need to check the two remanng cases
8 30 F. KAINRATH (a) L = {m}, v(m) = 1 (m 2), and (b) L = {2}, v(2) = 2. In case (a) one may for example take 1 B = B(Cm ) For (b) we can choose B = = B(C 3 ) Step 10. Assume now C = Z/2Z and let L N 2 be a fnte set. Defne m = mn L. Suppose that, for some k 1, we have constructed a block B B(C k ) wth L(B) = L m + 2. Then obvously L(0 m 2 B) = L. We may therefore assume that 2 L. In ths case, choose fnte sets X 1,..., X n wth n 3 and L = { X 1,..., X n }. Then the block B constructed n Step 8 satsfes L(B) = L. REFERENCES [1] S. Chapman and A. Geroldnger, Krull domans and monods, ther sets of lengths, and assocated combnatoral problems, n: Factorzaton n Integral Domans, D. D. Anderson (ed.), Lecture Notes n Pure and Appl. Math. 189, Marcel Dekker, 1997, [2] F. K a n r a t h, A dvsor theoretc approach towards the arthmetc of noetheran domans, Arch. Math., to appear. [3], The dstrbuton of prme dvsors n fntely generated domans, preprnt. [4] I. Kaplansky, Infnte Abelan Groups, thrd prntng, The Unversty of Mchgan Press, Insttut für Mathematk Karl-Franzes-Unverstät Henrchstraße 36 A-8010 Graz, Austra E-mal: floran.kanrath@kfungraz.ac.at Receved 26 February 1998
28 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationTHE CLASS NUMBER THEOREM
THE CLASS NUMBER THEOREM TIMUR AKMAN-DUFFY Abstract. In basc number theory we encounter the class group (also known as the deal class group). Ths group measures the extent that a rng fals to be a prncpal
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 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 informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
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 informationAppendix B. Criterion of Riemann-Stieltjes Integrability
Appendx B. Crteron of Remann-Steltes Integrablty Ths note s complementary to [R, Ch. 6] and [T, Sec. 3.5]. The man result of ths note s Theorem B.3, whch provdes the necessary and suffcent condtons for
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 informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
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 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 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 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 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 informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
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 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 informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
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 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 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 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 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 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 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 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 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 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 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 informationNew York Journal of Mathematics. Characterization of matrix types of ultramatricial algebras
New York Journal of Mathematcs New York J. Math. 11 (2005) 21 33. Characterzaton of matrx types of ultramatrcal algebras Gábor Braun Abstract. For any equvalence relaton on postve ntegers such that nk
More informationOn cyclic of Steiner system (v); V=2,3,5,7,11,13
On cyclc of Stener system (v); V=,3,5,7,,3 Prof. Dr. Adl M. Ahmed Rana A. Ibraham Abstract: A stener system can be defned by the trple S(t,k,v), where every block B, (=,,,b) contans exactly K-elementes
More informationON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION
Advanced Mathematcal Models & Applcatons Vol.3, No.3, 2018, pp.215-222 ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EUATION
More informationSMARANDACHE-GALOIS FIELDS
SMARANDACHE-GALOIS FIELDS W. B. Vasantha Kandasamy Deartment of Mathematcs Indan Insttute of Technology, Madras Chenna - 600 036, Inda. E-mal: vasantak@md3.vsnl.net.n Abstract: In ths aer we study the
More informationThe internal structure of natural numbers and one method for the definition of large prime numbers
The nternal structure of natural numbers and one method for the defnton of large prme numbers Emmanul Manousos APM Insttute for the Advancement of Physcs and Mathematcs 3 Poulou str. 53 Athens Greece Abstract
More informationON A DIOPHANTINE EQUATION ON TRIANGULAR NUMBERS
Mskolc Mathematcal Notes HU e-issn 787-43 Vol. 8 (7), No., pp. 779 786 DOI:.854/MMN.7.536 ON A DIOPHANTINE EUATION ON TRIANGULAR NUMBERS ABDELKADER HAMTAT AND DJILALI BEHLOUL Receved 6 February, 5 Abstract.
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 informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationA CLASS OF RECURSIVE SETS. Florentin Smarandache University of New Mexico 200 College Road Gallup, NM 87301, USA
A CLASS OF RECURSIVE SETS Florentn Smarandache Unversty of New Mexco 200 College Road Gallup, NM 87301, USA E-mal: smarand@unmedu In ths artcle one bulds a class of recursve sets, one establshes propertes
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 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 informationTHE DIVISOR CLASS GROUPS AND THE GRADED CANONICAL MODULES OF MULTI-SECTION RINGS
THE DIVISOR CLASS GROUPS AND THE GRADED CANONICAL MODULES OF MULTI-SECTION RINGS KAZUHIKO KURANO Abstract. We shall descrbe the dvsor class group and the graded canoncal module of the mult-secton rng T
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 informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
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 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 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 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 informationinv lve a journal of mathematics 2008 Vol. 1, No. 1 Divisibility of class numbers of imaginary quadratic function fields
nv lve a journal of mathematcs Dvsblty of class numbers of magnary quadratc functon felds Adam Merberg mathematcal scences publshers 2008 Vol. 1, No. 1 INVOLVE 1:1(2008) Dvsblty of class numbers of magnary
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 informationOn quasiperfect numbers
Notes on Number Theory and Dscrete Mathematcs Prnt ISSN 1310 5132, Onlne ISSN 2367 8275 Vol. 23, 2017, No. 3, 73 78 On quasperfect numbers V. Sva Rama Prasad 1 and C. Suntha 2 1 Nalla Malla Reddy Engneerng
More informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
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 informationarxiv: v1 [math.gr] 27 Jan 2018
Fnte groups wth two relatve subgroup commutatvty degrees arxv:1801.09133v1 [math.gr] 27 Jan 2018 Mha-Slvu Lazorec and Marus Tărnăuceanu January 27, 2018 Abstract In ths paper we show that there s an nfnte
More informationAnother converse of Jensen s inequality
Another converse of Jensen s nequalty Slavko Smc Abstract. We gve the best possble global bounds for a form of dscrete Jensen s nequalty. By some examples ts frutfulness s shown. 1. Introducton Throughout
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 informationRandom Partitions of Samples
Random Parttons of Samples Klaus Th. Hess Insttut für Mathematsche Stochastk Technsche Unverstät Dresden Abstract In the present paper we construct a decomposton of a sample nto a fnte number of subsamples
More informationErdős-Burgess constant of the multiplicative semigroup of the quotient ring off q [x]
Erdős-Burgess constant of the multplcatve semgroup of the quotent rng off q [x] arxv:1805.02166v1 [math.co] 6 May 2018 Jun Hao a Haol Wang b Lzhen Zhang a a Department of Mathematcs, Tanjn Polytechnc Unversty,
More informationUNIQUE FACTORIZATION OF COMPOSITIVE HEREDITARY GRAPH PROPERTIES
UNIQUE FACTORIZATION OF COMPOSITIVE HEREDITARY GRAPH PROPERTIES IZAK BROERE AND EWA DRGAS-BURCHARDT Abstract. A graph property s any class of graphs that s closed under somorphsms. A graph property P s
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 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 information2 More examples with details
Physcs 129b Lecture 3 Caltech, 01/15/19 2 More examples wth detals 2.3 The permutaton group n = 4 S 4 contans 4! = 24 elements. One s the dentty e. Sx of them are exchange of two objects (, j) ( to j and
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationLecture Notes Introduction to Cluster Algebra
Lecture Notes Introducton to Cluster Algebra Ivan C.H. Ip Updated: Ma 7, 2017 3 Defnton and Examples of Cluster algebra 3.1 Quvers We frst revst the noton of a quver. Defnton 3.1. A quver s a fnte orented
More informationn ). This is tight for all admissible values of t, k and n. k t + + n t
MAXIMIZING THE NUMBER OF NONNEGATIVE SUBSETS NOGA ALON, HAROUT AYDINIAN, AND HAO HUANG Abstract. Gven a set of n real numbers, f the sum of elements of every subset of sze larger than k s negatve, what
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 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 informationPROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 7, July 1997, Pages 2119{2125 S (97) THE STRONG OPEN SET CONDITION
PROCDINGS OF TH AMRICAN MATHMATICAL SOCITY Volume 125, Number 7, July 1997, Pages 2119{2125 S 0002-9939(97)03816-1 TH STRONG OPN ST CONDITION IN TH RANDOM CAS NORBRT PATZSCHK (Communcated by Palle. T.
More information= z 20 z n. (k 20) + 4 z k = 4
Problem Set #7 solutons 7.2.. (a Fnd the coeffcent of z k n (z + z 5 + z 6 + z 7 + 5, k 20. We use the known seres expanson ( n+l ( z l l z n below: (z + z 5 + z 6 + z 7 + 5 (z 5 ( + z + z 2 + z + 5 5
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
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 informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationArithmetic Congruence Monoids: A Survey
Arthmetc Congruence Monods: A Survey Paul Bagnsk and Scott Chapman Abstract We consder multplcatve monods of the postve ntegers defned by a sngle congruence. If a and b are postve ntegers such that a b
More informationA combinatorial problem associated with nonograms
A combnatoral problem assocated wth nonograms Jessca Benton Ron Snow Nolan Wallach March 21, 2005 1 Introducton. Ths work was motvated by a queston posed by the second named author to the frst named author
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 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 informationDirichlet s Theorem In Arithmetic Progressions
Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,
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 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 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 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 informationCOMPLEX NUMBERS AND QUADRATIC EQUATIONS
COMPLEX NUMBERS AND QUADRATIC EQUATIONS INTRODUCTION We know that x 0 for all x R e the square of a real number (whether postve, negatve or ero) s non-negatve Hence the equatons x, x, x + 7 0 etc are not
More informationAsymptotics of the Solution of a Boundary Value. Problem for One-Characteristic Differential. Equation Degenerating into a Parabolic Equation
Nonl. Analyss and Dfferental Equatons, ol., 4, no., 5 - HIKARI Ltd, www.m-har.com http://dx.do.org/.988/nade.4.456 Asymptotcs of the Soluton of a Boundary alue Problem for One-Characterstc Dfferental Equaton
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 informationarxiv: v1 [math.gr] 16 Jan 2013
A FINITENESS CONDITION ON THE COEFFICIENTS OF THE PROBABILISTIC ZETA FUNCTION DUONG HOANG DUNG AND ANDREA LUCCHINI arxv:1301.3638v1 [math.gr] 16 Jan 2013 Abstract. We dscuss whether fnteness propertes
More information