Completions of ordered magmas
|
|
- Brian Holmes
- 6 years ago
- Views:
Transcription
1 ANNALES SOCIETATIS ATHEATICÆ POLONÆ Seres VI : Fundamenta Informatcæ III1 (1980), Completons of ordered magmas BRUNO COURCELLE Unversty of Bordeaux-I JEAN-CLAUDE RAOULT IRIA, Parsq XI Receved arch 29, 1978 AS Categores : 06A75, 18A40, 68A05 AbstractWe gve a completon theorem for ordered magmas (e ordered algebras wth monotone operatons) n a general form Partcular nstances of ths theorem are already known, and new results follow The semantcs of programmng languages s the motvaton of such nvestgatons Key wordscomplete partal orders, semantcs of programmng languages Introducton When defnng recursve functons by systems of equatons (Kleene [5]), one ntroduces an order relaton whch means that a partal result approxmates another one Ths partal order s complete (e every ascendng chan admts a least upper bound), thus allowng a mnmal soluton to be defned for the system Ths matter has been rebult by Scott, and many authors after hm, wthn the framework of complete lattces ; that last theory has been developed for ts own sake by several authors, among whch Brkhoff [1] Frequently, the lattce structure does not seem necessary and creates nstead addtonal troubles (Plotkn [9], lner [8] for nstance) The noton of complete partal order s good enough, and fts better to the most common nstances Ths algebrac framework s sutable for studyng program schemes([2], [3]) We then need dstngush between the base functons and the program-defned functons, wth the help of base functons and varous control structures (recursve call, teraton, etc ) Thus, our domans wll be ordered magmas, e partal orders equpped wth monotone operators (no nformaton s lost durng a computaton) And we shall be concerned wth completeness (the operators beng supposed contnuous) ore precsely, we shall study the possble embeddngs of an ordered magma nto a complete ordered magma Some of the ascendng chans may keep ther lub, or may be added a new one ; ths gves dfferent completons, each characterzed by a unversal property We shall thus defne the Γ-completon as the completon whch preserves the lub whch already exst n a set Γ of subsetes of the magma From ths general theorem s defved the deal completon of [9], [1], [2], [4], the chan-completon of [8], and the exstence of factor objects n the category of ordered magmas The above mentonned authors woule use nether operators not magmas, but only partal orders (except [4]) But eht chan-completon n the category of partal orders need not be a complete ordered magma (cf Corollary 2) Defntons and the man theorem Let F be a set of operators wth arty An F-magma s a doman D together wth a functon f : D k D for each f F wth arty k The homomorphsms of F-magmas, or F-morphsms, shall be compatble wth the operators : ϕ : s a F-morphsm when ϕ(f (a 1,, a k )) = f (ϕ(a 1 ),, ϕ(a k )) for all f F wth arty k, and all a 1,, a k D In ths paper, we shall only consder ordered magmas (therefore magma wll mean ordered magma ), wth a partal order denoted by, a least element Ω (assocated wth the symbol Ω of arty 0 whch s always supposed to be an element of F), and monotone operators f An F-morphsm between ordered magmas must be monotone
2 2 Completons of ordered magmas Fnally, f s a magma, a sub-f-magma N of s a F-magma such that D N D, and that the ncluson : n s a (monotone) F-morphsm It s full when d d mples d N d for every d, d D N Let Γ denote a set of non-empty subsets of D The F-magma s sad to be Γ-complete when every A Γ admts a lub n D, denoted by sup A or x A x ; f m (A 1,, A k ) = {f (a 1,, a k ); a 1 A 1, a k A k } Γ and sup f (A 1,, A k ) = f (sup A 1,, sup A k ) for all f wth arty k and all A 1,, A k Γ A monotone functon ϕ : k N where s Γ-complete and N s an arbtrary magma s Γ-contnuous f for all A 1,, A k Γ, ϕ(a 1,, A k ) admts a lub n N and sup N ϕ(a 1,, A k ) = ϕ(sup A 1,, sup A k ) Wth each F-magma s naturally assocated Ξ() = the set of non-empty subsets of D, Φ() = the set of non-empty fnte subsets of D, () = the set of non-empty drected subsets of D (A () d, d A, d A d d and d d, α () = the set of non-empty drected subsets of cardnalty at most α, Λ() = the set of non-empty drected subsets of D whch admt a lub n D, Θ α () = the set of monotone morphsms of an ordnal α nto (the α-chans), etc Hence Λ Ξ Thus, a partal order s a complete lattce (cf Brkhoff [1]) f and only f t s Ξ-complete, a jon-sem-lattce f and only f t s Φ-complete, a lattce f and only f t s Φ -complete wth Φ () = {{d D ; d d 1 & & d d k }; k N, d 1,, d k D } A F-magma s pre-complete f and only f t s Λ-complete Notce that ths condton only affects the f m s If F only contans symbols of arty 0, then every F-magma s precomplete (cf corollares 1 and 2, and theorem 3) To each of these famles Γ s attached a category the objects of whch are the Γ-complete F-magmas, and the arrows of whch are the monotone F-morphsms f : N that send a subset A Γ() on a subset f (A) n Γ(N) and furthermore such that f (sup A) = sup f (A) : the Γ-contnuous morphsms These restrctons can be automatcally satsfed by the monotone morphsms for some famles, but t s not always the case, as notced for Λ In the sequel, we shall restrct ourselves to those functoral famles and related morphsms The man theorem of ths paper reads as follows THÉORÈE 1 Let Γ Γ two famles of subsets, and a Γ-complete F-magma There exsts a Γ -complete F-magma Γ Γ and a Γ-contnuous njectve F-morphsm : Γ γ such that for all Γ-contnuous morphsms j : N where n s Γ -complete, there exsts a unque Γ -contnuous morphsm h : Γ Γ N such that j = h Γ Γ j h N Proof : The constructon of Γ Γ wll be carred out n the partcular case when Γ = Ξ A non-empty subset A of D s Γ-closed when (1) d d and d A d A (hence Ω A), (2) B A and B Γ sup B A The ntersecton of a famly of closed subsets s closed ; therefore for all non-empty subset A of D, there exsts a smallest closed subset contanng A, ts closure, denoted by C Γ (A) or C(A) when Γ s clear from the context ; the set ˆD of non-empty sebsets of D ordered by set ncluson s a complete lattce : for all famly (A ) I (whch contans Ω D ) A A = I I A = C ( ) A I I
3 3 The lattce ˆD s gven a structure of an F-magma by settng for all closed subsets C ˆD f ˆD (C 1,, C k ) = C ( {f (d 1,, d k ; d C } ) One checks that, for all subsets A 1,, A k of D ( ) C ( f (C(A 1 ),, C(A k )) ) = C ( f (A 1,, A k ) ) As a result, ˆD s a complete F-magma ; let us check t for the frst argument : f ˆD ( ( ) A, B 2,, B k ) = f ˆD C( A ), B 2,, B k = C ( f ( A, B 2,, B k ) ) from ( ) = C ( f (A, B 2,, B k ) ) = f ˆD (A, B 2,, B k ) because for all famly of subsets P, C ( P ) = C ( C(P ) ) holds snce C s a closure operaton (Brkhoff [1], p 111) The correspondng F-magma s denoted by Ξ Γ DEFINITION OF Let : D ˆD be defned by (d) = C({d}) = {x D; x d} Clearly d d (d) (d ) ; furthermore, s Γ-contnuous : f d = sup A wth A Γ, one shoud have (d) = {x D; x d} = x A (x) Now that last element s C(A) and snce A Γ, sup A = d C(A) Fnally, ( ) shows that s an F-morphsm CONSTRUCTION OF Γ Γ Set E 0 = {(d); d D} and let E denote the smallest subset of ˆD contanng E 0 whch s Γ -complete (e such that A E for all famly (A ) I n Γ (E)) It can be descrbed more explctly by E = α E α (α s an ordnal), E α+1 = E α {sup X; X Γ (E α )}, ˆD E β = α<β E α f β s a lmt ordnal In fact, E = E γ for some ordnal γ because ˆD s a set Notce that E 1 {C(A); A Γ (D)} Snce the subsets of Γ are sent by f onto subsets of Γ, E s nvarant under f ˆD Hence (E,, (f E) f F ) s a sub-f-magma of Ξ Γ (f E s the restrcton of f ˆD to E) whch s Γ -complete for the nduced order We shall denote t by Γ Γ UNIVERSAL PROPERTY OF (, Γ Γ ) Let j : N be a Γ-contnuous morphsm nto a Γ -complete F-magma We shal defne h : Γ Γ N by transfnte nducton : h s defned over (D) = E 0 by the condton h = j : h(c({d}) = j(d) Suppose that h s defned over E α for all α < β Then, f β s a lmt ordnal, then h s defned over E β = α<β E α Else h s defned by the Γ -contnuty : f e E β E α then e = sup X where X Γ (E α )
4 4 Completons of ordered magmas and {h(x); x X} Γ (N) admts a lub n n N We set h(e) = n, so that h s now defned over E β By nducton, t s defned over E, and s clearly Γ -contnuous by constructon Fnally, one can check that h s ndeed a morphsm, e that t s compatble wth the operators Ths constructon generalzes the completon of arkowsk-rosen [7] and arkowsk [6] wth the ntroducton of operators (cf theorem 3 and corollary 4) and that of Blecher-Schneder [2] by usng a parameterzed noton of lmts and contnuty That last possblty s also consdered n [10] Snce the magma Γ Γ s completely specfed, t s the object functon of a functor from the category of Γ-complete magmas to that of Γ -complete magmas, and s a left adjont to the obvous forgetful functor From ths fact, t can be deduced easly that f Γ Γ Γ, then ( Γ Γ ) Γ Γ = Γ Γ II Consequences of theorem 1 An mportant pont n the proof of the theorem s that all morphsms should belong to the approprate category, ncludng the functons f It goes wthout sayng when Γ s Ξ of Φ or even, that any monotone functon wll send a subset of Γ() onto another subset of Γ() (or Γ(N) f t s a morphsm N) It s not so obvous when Γ s Λ : ths was the purpose of the remark followng the defnton of a precomplete magma If s a lattce, e a Φ -complete ordered set, Ξ Φ s exactly the deal completon as defned by Brkhoff ([1] theorem 5 p 113) If s also a F-magma, the correspondng object n the category of all -complete F-magmas s One checks easly that ts doman s the set of non-empty deals In partcular, f = (F) s the free ordered F- magma (dentfed wth the set of fnte terms over alphabet F), the correspondng objetct s the free -complete F-magma (from theorem 1), whch can also be dentfed wth the set of nfnte terms or trees, as defned n [3], [4] (and [6] wth a somewhat dfferent termnology) Completon by cuts Let be a precomplete F-magma, e a Λ-complete, magma where Λ s the set of drected subsets of whch admt a lub In ths case, Λ s a completon of whch preserves the already exstng lub s of drected sets, and corresponds to the completon by cuts n lattces as defned by Brkhoff ([1], theorem 22, p 126) Ths constructon can also be found n arkowsk [6] These results are regrouped n the followng corollary COROLLAIRE 2 Let be an oredered (resp precomplete) F-magma There exsts a -complete F-magma (resp Λ ) such that s a full sub-magma (and furthermore the ncluson : Λ s Λ-contnuous), and for all -complete F-magma N, and all morphsms j : : N (resp Λ-contnuous morphsms), there exsts a unque -contnuous morphsm k : N (resp k : Λ N) extendng j Remark : It s necessary for to be precomplete f t s to be embedded n a complete ordered magma Λ, so that COROLLAIRE 3 A magma s precomplete f and only f t s a full -sub-magma of a -complete magma Notce that f s not precomplete, Λ s an F-magma wth doman -complete but the f are not -contnous Ths pont wll be dealt wth n corollary 4 We shall use as an other notaton for Λ Remarks : cnelle s constructon gven n Brkhoff [1] conssts n takng the set of all subsets of the lattce to be completed, then ther upper bounds, and fnally the sets of lower bounds of these upper bounds, as elements of the completed doman But t does not gve the desred result when appled to a precomplete magma Anyway, cnelle s completon does not satsfy the expected unversal property An example s shown on fgure 1 Let + denote cnelle s completon of lattce The ncluson : N s a lattce-morphsm whch preserves all lub s (and all glb s) exstng n It does not extend nto a morphsm of complete lattces + N III Quotents of complete F-magmas Let be a Γ-complete F-magma, for some Γ, and π an F-preorder over, e a preorder over D such that
5 5 ω α β b n b n b n a n a n a n b 1 b 1 b 1 a 1 a 1 a 1 b 0 b 0 b 0 a 0 a 0 a 0 Lattce Lattce + Lattce N Fg 1 1) d d entals d π d for all d, d D, 2) d π d for = 1,, k entals f (d 1,, d k ) π f m (d 1,, d k ), and furthermore, whch s Γ-contnuous, e 3) for all A Γ and all d D such that d π d for all d A, then (sup A) π d Let /π be the ordered F-magma quotent of by the equvalence assocated wth the preorder π (e d π d and d π d), h π : /π the natural epmorphsm, Γ-contnuous from 3) and Γ(/π) = {h π (A); A Γ} Then we have the followng theorem THEORE 2 Let be a Γ-complete F-magma for Γ Γ and π a Γ-contnuous preorder on Then there exsts a Γ-contnuous morphsm wth kernel π : (/π) Γ Γ n a Γ -complete magma, such that for all Γ-contnuous morphsm j : N whose kernel contans π, there exsts a unque Γ -contnuous morphsm k : (/π) Γ Γ N such that j = k The kernel of a morphsm : s the preorder κ such that d κ d ff (d) (d ) Proof : Clearly the magmaˆ/π s Γ(/π)-complete and h π : /π s Γ-contnuous We apply theorem 1 and get (/π) Γ Γ whch s Γ -complete and a Γ-contnuous morphsm : /π (/π)γ Γ the kernel of whch s the order on /π The morphsm = h π : (/π) Γ Γ s thus Γ-contnuous wth kernel π All morphsms j : N wth kernel contanng π can be factored nto the composton hπ /π j N, and j s Γ(/ p)-contnuous From theorem 1, there exsts a unque Γ -contnuous k : (/π) Γ Γ N such that j = k, hence j = j h π = k h π = k Ths proof can be llustrated by the followng commutatve dagram whch determnes completely j and k : hπ /π j j k N (/π) Γ Γ COROLLARY 3 Let be a -complete F-magma The -contnuous F-preorders on are exactly the kernels of -contnuous morphsms nto -complete F-magmas One derves also the followng generalzaton of corollary 1 for magmas whch are not precomplete THEORE 3 Let be an ordered F-magma There exsts a -complete F-magma and a -contnuous morphsm : such that for all -complete F-magma N and -contnuous morphsm j : N, there exsts a unque -contnuous morphsm k : N such that j = k
6 6 Completons of ordered magmas Proof : Let (D, ) be a preorder An element d of D s a lub of A D when 1) d d for all d A, 2) d s smaller than all upper bounds of A, e d d for all d A mples that d d Notce that A may well have several lub s Let be an ordered F-magma There exsts a least F-preorder π such that ( ) f A 1, A k are π-drected subsets of D wth lub s δ 1,, δ k respectvely, and f the π-drected subset f (A 1,, A k ) admts an upper bound δ for π, then f (δ 1,, δ k ) π δ We clam that /π s precomplete and satsfes the followng unversal property : for all -contnuous F-morphsm j : N n a -contnuous F-magma N, there exsts a unque -contnuous F-morphsm k : /π N such that j = kh π (h π beng the natural epmorphsm /π) The theorem wll be deduced from corollary 1 wth = /π Let A D, A = h π (A) D /π, and h π (d) the lub of A It s easy to see that A s drected for π and D s one of the lub s of A for π If A 1,, A k /π admt lub s h π (d 1 ),, h π (d k ) and d = f (d 1,, d k ), we must show that h π (d) s the lub of f /π (A 1,, A k ) Now, snce π s an F-preorder, f /π (h π (a 1 ),, h π (a k )) = hπ(f m (a 1,, a k )) h π (f (d 1,, d k )) = h π (d) On the other hand, f h π (d ) f /π (A 1,, A k ), then d s an upper bound of f (A 1,, A k ) wth respect to π ; hence f (d 1,, d k ) π d, e h π (d) h π (d ), QED Therefore the followng dagram n whch exsts even f s not precomplete s commutatve : 1 2 COROLLARYN 4 The morphsm h s onto It s one-to-one f and only f for all A 1,, A k such that f (A 1,, A k ) then f ( sup A 1,, sup A k ) = sup f (A 1,, A k ) Proof : On one hand, f the condton holds, then tself satsfes ( ), hence π = Therefore = /π = On the other hand, suppose that h s one-to-one, and that A 1,, A k, f (A 1,, A k ) wth respectve lub s δ 1,, δ k, δ, and δ = f (δ 1,, δ k ) Obvously δ δ But δ π δ entals that 2 (δ) = 2 (δ ) Snce h s one-to-one, and the dagram commutes, 1 (δ) = 1 (δ ) Snce 1 s th ncluson, the same holds n : δ = δ, QED EXAPLE Let denote the F-magma N {α, β} ordered by j α β for j n N The only element of N s of arty one defned by { f () = f N, f (α) = f (β) = β, whch s not -contnuous Snce the doman of s -complete, as an ordered set, = But n order to have a contnuous f, one must dentfy α and β, thus obtanng wth doman N γ and h :, as shown by fgure 2 β α γ h 0 0 =
7 7 Fg 2 References [1] Brkhoff, G, Lattce theory, Amer ath Soc, Provdence 1967 [2] Blecher, N, et al, Permanence of denttes on algebras, Algebra Unversals 3 (1973), [3] Courcelle, B, Nvat,, Algebrac famles of nterpretatons, 17 th Symposum on FOCS, Houston 1976 [4] Goguen, J, et al, Intal algebra semantcs and contnuous algebras, J Assoc Comput ach 24 (1977), [5] Kleene, SC, Introducton to metamathematcs, Van Nostran, Prnceton 1952 [6] arkowsk G, Chan-complete posets and drected sets wth applcatons, Algebra Unv 6 (1976), [7] arkowsk G, Rosen, B, Bases for chan-complete posets, IB J Res Develop 20 (1976), [8] lner, R, Fullty abstract models of types lambda-calcul, Theoretcal Computer Scence 4 (1977), 1 22 [9] Plotkn, G, T ω as a unversal doman, JCSS 17 (1978), [10] Thatcher, J, Wagner, E, Wrght, J, A unform approach to nductve posets and nductble closure, Theoretcal Computer Scence 7 (1978), [11] Vullemn, J Syntaxe, sémantque et axomatque d un langage de programmaton smple, Brkhaüser, Basel 1975 References added n proof (June 1980) and not cted n the text : [12] Bshop, A, A unversal characterzaton of the completon by cuts, Algebra Unversals 8 (1978), [13] Courcelle, B, Nvat,, The algebrac semantcs of recursve program schemes, athematcal Foundatons of Computer Scence 78, Lec Notes Comput Sc 64 (1978), [14] eseguer, J, Completons, factorzatons and colmts for ω-posets, Proc of Coll Logc n Programmng, Salgotarjan, Hungary (1978) ; also Semantcs and computaton report 13, U C L A (revsed verson, June 1979)
Lecture 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationStates and exceptions are dual effects
States and exceptons are dual effects Jean-Gullaume Dumas, Domnque Duval, Laurent Fousse, Jean-Claude Reynaud LJK, Unversty of Grenoble August 29, 2010 Workshop on Categorcal Logc n Brno (ths s a long
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 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 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 informationMAT 578 Functional Analysis
MAT 578 Functonal Analyss John Qugg Fall 2008 Locally convex spaces revsed September 6, 2008 Ths secton establshes the fundamental propertes of locally convex spaces. Acknowledgment: although I wrote these
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 informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
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 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 informationAffine and Riemannian Connections
Affne and Remannan Connectons Semnar Remannan Geometry Summer Term 2015 Prof Dr Anna Wenhard and Dr Gye-Seon Lee Jakob Ullmann Notaton: X(M) space of smooth vector felds on M D(M) space of smooth functons
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 information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
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 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 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 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 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 informationSubset Topological Spaces and Kakutani s Theorem
MOD Natural Neutrosophc Subset Topologcal Spaces and Kakutan s Theorem W. B. Vasantha Kandasamy lanthenral K Florentn Smarandache 1 Copyrght 1 by EuropaNova ASBL and the Authors Ths book can be ordered
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 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 information2 MADALINA ROXANA BUNECI subset G (2) G G (called the set of composable pars), and two maps: h (x y)! xy : G (2)! G (product map) x! x ;1 [: G! G] (nv
An applcaton of Mackey's selecton lemma Madalna Roxana Bunec Abstract. Let G be a locally compact second countable groupod. Let F be a subset of G (0) meetng each orbt exactly once. Let us denote by df
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 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 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 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 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 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 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 informationProblem Set 9 Solutions
Desgn and Analyss of Algorthms May 4, 2015 Massachusetts Insttute of Technology 6.046J/18.410J Profs. Erk Demane, Srn Devadas, and Nancy Lynch Problem Set 9 Solutons Problem Set 9 Solutons Ths problem
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 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 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 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 informationSPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION
SPECTRAL PROPERTIES OF IMAGE MEASURES UNDER THE INFINITE CONFLICT INTERACTION SERGIO ALBEVERIO 1,2,3,4, VOLODYMYR KOSHMANENKO 5, MYKOLA PRATSIOVYTYI 6, GRYGORIY TORBIN 7 Abstract. We ntroduce the conflct
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 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 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 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 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 informationLecture 3 Relationships Between Sets and Types
Lecture 3 Relatonshps Between Sets and Types Marktoberdorf Summer School, 2003 From ITT (M-L 82) to CTT (Nuprl 2000) 1. subset types { x : A B } 1983 Math 2. quotent types A // E 1983 Math 3. drect computaton
More informationConvexity preserving interpolation by splines of arbitrary degree
Computer Scence Journal of Moldova, vol.18, no.1(52), 2010 Convexty preservng nterpolaton by splnes of arbtrary degree Igor Verlan Abstract In the present paper an algorthm of C 2 nterpolaton of dscrete
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 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 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 informationReview of metric spaces. 1. Metric spaces, continuous maps, completeness
(March 14, 2014) Revew of metrc spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [Ths document s http://www.math.umn.edu/ garrett/m/mfms/notes 2013-14/12a metrc spaces.pdf] We
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 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 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 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 informationRandom Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
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 informationCanonical transformations
Canoncal transformatons November 23, 2014 Recall that we have defned a symplectc transformaton to be any lnear transformaton M A B leavng the symplectc form nvarant, Ω AB M A CM B DΩ CD Coordnate transformatons,
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 informationModule 3 LOSSY IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur
Module 3 LOSSY IMAGE COMPRESSION SYSTEMS Verson ECE IIT, Kharagpur Lesson 6 Theory of Quantzaton Verson ECE IIT, Kharagpur Instructonal Objectves At the end of ths lesson, the students should be able to:
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 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 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 informationBallot Paths Avoiding Depth Zero Patterns
Ballot Paths Avodng Depth Zero Patterns Henrch Nederhausen and Shaun Sullvan Florda Atlantc Unversty, Boca Raton, Florda nederha@fauedu, ssull21@fauedu 1 Introducton In a paper by Sapounaks, Tasoulas,
More informationOn the Operation A in Analysis Situs. by Kazimierz Kuratowski
v1.3 10/17 On the Operaton A n Analyss Stus by Kazmerz Kuratowsk Author s note. Ths paper s the frst part slghtly modfed of my thess presented May 12, 1920 at the Unversty of Warsaw for the degree of Doctor
More informationFixed point. The function q revisited. Function q. graph F factorial graph factorial. factorial is a fixed point of F, since
CS571 Notes 21 Denotatonal Semantcs of Loops (contnued 1of 25 Generalzng the soluton Parameterze the factoral functon F = λ f.λ n. n equals zero one n tmes ( f ( n mnus one Ths means fac = + 1 F ( fac.e.
More informationOn fuzzification of algebraic and topological structures
On fuzzfcaton of algebrac and topologcal structures Sergejs Solovjovs Department of Mathematcs, Unversty of Latva 19 Rana Blvd., Rga LV-1586, Latva sergejs@lu.lv Abstract Gven a concrete category (A, U)
More informationBasic Regular Expressions. Introduction. Introduction to Computability. Theory. Motivation. Lecture4: Regular Expressions
Introducton to Computablty Theory Lecture: egular Expressons Prof Amos Israel Motvaton If one wants to descrbe a regular language, La, she can use the a DFA, Dor an NFA N, such L ( D = La that that Ths
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 informationCOUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES
COUNTABLE-CODIMENSIONAL SUBSPACES OF LOCALLY CONVEX SPACES by J. H. WEBB (Receved 9th December 1971) A barrel n a locally convex Hausdorff space E[x] s a closed absolutely convex absorbent set. A a-barrel
More informationR n α. . The funny symbol indicates DISJOINT union. Define an equivalence relation on this disjoint union by declaring v α R n α, and v β R n β
Readng. Ch. 3 of Lee. Warner. M s an abstract manfold. We have defned the tangent space to M va curves. We are gong to gve two other defntons. All three are used n the subject and one freely swtches back
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 informationCHAPTER-5 INFORMATION MEASURE OF FUZZY MATRIX AND FUZZY BINARY RELATION
CAPTER- INFORMATION MEASURE OF FUZZY MATRI AN FUZZY BINARY RELATION Introducton The basc concept of the fuzz matr theor s ver smple and can be appled to socal and natural stuatons A branch of fuzz matr
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 informationPerfect Competition and the Nash Bargaining Solution
Perfect Competton and the Nash Barganng Soluton Renhard John Department of Economcs Unversty of Bonn Adenauerallee 24-42 53113 Bonn, Germany emal: rohn@un-bonn.de May 2005 Abstract For a lnear exchange
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationTHERE ARE INFINITELY MANY FIBONACCI COMPOSITES WITH PRIME SUBSCRIPTS
Research and Communcatons n Mathematcs and Mathematcal Scences Vol 10, Issue 2, 2018, Pages 123-140 ISSN 2319-6939 Publshed Onlne on November 19, 2018 2018 Jyot Academc Press http://jyotacademcpressorg
More informationNUMERICAL DIFFERENTIATION
NUMERICAL DIFFERENTIATION 1 Introducton Dfferentaton s a method to compute the rate at whch a dependent output y changes wth respect to the change n the ndependent nput x. Ths rate of change s called the
More informationCollege of Computer & Information Science Fall 2009 Northeastern University 20 October 2009
College of Computer & Informaton Scence Fall 2009 Northeastern Unversty 20 October 2009 CS7880: Algorthmc Power Tools Scrbe: Jan Wen and Laura Poplawsk Lecture Outlne: Prmal-dual schema Network Desgn:
More informationOn Tiling for Some Types of Manifolds. and their Folding
Appled Mathematcal Scences, Vol. 3, 009, no. 6, 75-84 On Tlng for Some Types of Manfolds and ther Foldng H. Rafat Mathematcs Department, Faculty of Scence Tanta Unversty, Tanta Egypt hshamrafat005@yahoo.com
More informationCase Study of Markov Chains Ray-Knight Compactification
Internatonal Journal of Contemporary Mathematcal Scences Vol. 9, 24, no. 6, 753-76 HIKAI Ltd, www.m-har.com http://dx.do.org/.2988/cms.24.46 Case Study of Marov Chans ay-knght Compactfcaton HaXa Du and
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 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 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 informationON FIBRANT OBJECTS IN MODEL CATEGORIES
Theory and Applcatons o Categores, ol. 33, No. 3, 2018, pp. 43 66. ON FIBRANT OBJECTS IN MODEL CATEGORIES ALERY ISAE Abstract. In ths paper, we study propertes o maps between brant objects n model categores.
More informationA note on almost sure behavior of randomly weighted sums of φ-mixing random variables with φ-mixing weights
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 7, Number 2, December 203 Avalable onlne at http://acutm.math.ut.ee A note on almost sure behavor of randomly weghted sums of φ-mxng
More information