What is a hereditary algebra?
|
|
- Paula Simpson
- 6 years ago
- Views:
Transcription
1 What is a hrditary algbra? (On Ext 2 and th vanishing of Ext 2 ) Claus Michal Ringl At th Münstr workshop 2011, thr short lcturs wr arrangd in th styl of th rgular column in th Notics of th AMS: What is? Th following txt is a slightly xpandd vrsion of my rport I should strss that th titl may b considrd as bing slightly odd, it bttr should rad: What is a hrditary ring? sinc for bing hrditary, it is only th ring structur of an algbra which plays a rol But qustions about rings in gnral ar considrd now-a-days as bing obsolt W ar going to outlin a numbr of quivalnt conditions, th most comprhndibl sms to us condition (9); but unfortunatly, this condition hids th origin of th naming thus w bttr start with condition (1) W also will draw attntion to on class of xampls: th path algbras of finit quivrs In th ralm of commutativ algbra, only fw rings ar hrditary, th most prominnt ons ar th Ddkind domains 1 So, whn a ring R is said to b hrditary? Th proprty which is inhritd is th projctivity which is passd down from a modul to its submoduls: A ring R is hrditary if and only if any submodul of a projctiv modul is projctiv, and thr is also th dual proprty: injctivity is passd down to factor moduls: R is hrditary if and only if any factor modul of an injctiv modul is injctiv Submoduls of projctiv moduls ar somtims calld torsionlss, factor moduls of injctiv moduls ar calld divisibl, thus w can rformulat th two conditions by saying that torsionlss moduls ar projctiv, or that divisibl moduls ar injctiv A furthr quivalnt condition is th following: for any R-modul M, thr is an xact squnc 0 P 1 P 0 M 0 with P 0,P 1 projctiv Namly, on th on hand, givn M, thr is a fr (thus projctiv) modul P 0 which maps onto M, and if R is hrditary, thn th krnl P 1 of this map has to b projctiv, as wll On th othr hand, if U is a submodul of a projctiv modul P, lt M = P/U and us Schanul s lmma in ordr to conclud that U is projctiv Of cours, w also hav th dual condition: for any R-modul M, thr is an xact squnc 0 M I 0 I 1 0 with I 0,I 1 injctiv It is usual in homological algbra, instad of looking at an R-modul M, to look at a projctiv rsolution 0 P 1 P 0 0, this is a complx of projctiv moduls with a uniqu homology group, and this homology group is prcisly M Now such projctiv rsolutions ar usd in ordr to calculat drivd functors, for xampl th functors Ext i On obsrvs quit asily: R is a hrditary ring if and only if Ext 2 R = 0 1
2 Th quivalnc of th first two assrtions mntiond abov (that torisonlss moduls ar projctiv and that divisibl moduls ar injctiv) is usually shown by using as intrmdiat condition this vanishing of Ext 2 On th othr hand, th vanishing of Ext 2 is a convnint condition for dfining hrdity in mor gnral sttings, say for daling with ablian catgoris in gnral which may not hav sufficintly many projctiv (or injctiv) objcts To work with Ext 2 is somtims considrd as a burdn (latr w will try to show that on can handl th lmnts of Ext 2 quit asily), thus on oftn tris to avoid Ext 2 In trms of Ext 1, on gts th following rformulations: If g: Y Y is a surjctiv modul homomorphism, thn th inducd map Ext 1 (X,g) is surjctiv, for any modul X If f: X X is an injctiv modul homomorphism, thn th inducd map Ext 1 (f,z) is surjctiv, for any modul Z Bfor w continu, a warning is ncssary Up to now, w hav mntiond moduls without spcifying whthr w man lft moduls or right moduls, and indd in th formulations abov, w always hav to considr both lft moduls and right moduls If w only ar intrstd in say lft moduls, w arriv at th notion of a lft hrditary ring 2 Lft hrditary rings Lt us collct again th various proprtis which w hav listd abov, whr now all th moduls considrd ar lft moduls W also insrt som additional conditions A ring R is said to b lft hrditary providd th following quivalnt proprtis ar satisfid: (1) any submodul of a projctiv modul is projctiv, (1 ) any lft idal is projctiv, (2) any factor modul of an injctiv modul is injctiv (3) for any R-modul M, thr xists an xact squnc 0 P 1 P 0 M 0 with P 0,P 1 projctiv (4) for any R-modul M, thr xists an xact squnc 0 M I 0 I 1 0 with I 0,I 1 injctiv (5) Any lmnt of th drivd catgory D b (modr) (or vn D(ModR)) is isomorphic to its homology (6) Ext 2 R = 0 (7) If g: Z Z is a surjctiv modul homomorphism, thn th inducd map Ext 1 (X,g) is surjctiv, for any modul X (8) If f: X X is an injctiv modul homomorphism, thn th inducd map Ext 1 (f,z) is surjctiv, for any modul Z Condition (1 ) (a thorm of M Auslandr) assrts that in ordr to chck whthr R is hrditary, it is sufficint to considr in (1) just on singl projctiv modul, namly RR, th fr modul of rank 1 It was askd in Cartan-Eilnbrg (1956) whthr lft hrditary rings ar also right hrditary Th first countr xampl was givn by Kaplansky in 1958, asir xampls wr givn latr (1961) by Small, for xampl th matrix ring R = [ Q Q 0 Z 2 ],
3 with condition (1 ) on asily shows that R is lft hrditary Howvr, th opposit ring R op = [ ] Z Q, 0 Q is not lft hrditary, sinc th radical of R op is (flat, but) not projctiv But on should know that a lft and right nothrian ring is lft hrditary if and only if it is right hrditary 3 Path algbras of finit quivrs Lt k b a fild Claim: Th path algbra kq of a finit quivr Q is hrditary Thr ar various ways to prov this Lt us outlin a proof using th condition (7) Thus, ltq = (Q 0,Q 1,s,t)bafinitquivr, hrq 0,Q 1 arfinitstsands,t: Q 1 Q 0 arst-maps RcallthatarprsntationofQisofthformM = (M x,m α,withvctor spacsm x forallx Q 0 andlinarmapsm α : M s(α) M t(α) IfM,M arrprsntations of Q, a homomorphism f = (f x ): M M is givn by a family of linar maps f x with x Q 0 satisfying crtaincommutativityrlations To b prcis, th homomorphism spac Hom(M,M ) is th krnl of th following map x Q 0 Hom k (M x,m x ) α Q 1 Hom k (M s(α),m t(α) ), (f x ) x (M αf s(α) f t(α) M α ) α and it turns out (and is not difficult to s) that th cokrnl is prcisly Ext 1 (M,M ) Thus, w dal with th following xact squnc: 0 Hom(M,M ) x Q 0 Hom k (M x,m x) α Q 1 Hom k (M s(α),m t(α) ) Ext1 (M,M ) 0 Now assum that thr is givn a furthr rprsntation M of Q and a surjctiv homomorphism g = (g x ) x : M M (and th surjctivity mans that all th vctor spac maps g x ar surjctiv), thn w obtain th following commutativ diagram with xact rows: α Q 1 Hom k (M s(α),m t(α) ) Ext1 (M,M ) 0 Hom(M s(α),g t(α) ) Ext 1 (M,g) α Q 1 Hom k (M s(α),m t(α) ) Ext1 (M,M ) 0 Th vrtical map Hom(M s(α),g t(α) ) on th lft is surjctiv, thus also Ext 1 (M,g) is surjctiv 4 What is Ext 2? It is wll-known and oftn usd that for any ablian catgory th first drivd functor Ext 1 of th Hom-functor can b dfind using quivalnc classs of short xact squncs: th Bar-dfinition of Ext 1 (not that th Bar dfinition assums that w obtain rally a st, not a class but othrwis w go to anothr univrs ) 3
4 Similarly (at last for small catgoris), thr is a Bar dfinition of Ext n, for n 2 using long xact squncs For xampl, for Ext 2 (and this is what hr w ar intrstd in), w us long xact squncs of th form 0 Z M 2 X 0, again, w nd quivalnc classs givn by maps btwn such squncs which ar th idntity on X and on Z But not: such maps ar no longr invrtibl, thus w hav to tak maps in both possibl dirctions this is th origin of th construction of th drivd catgory (calculus of fractions), and to look at Ext 2 is a convnint playing ground for gtting familiar with quasi-isomorphisms Lt m strss that daling with such xact squncs is nothing ls than looking just at morphisms f: M 2 in th catgory (th clumsy notation of writing down a long xact squnc givs nams to th krnl and th cokrnl), or, to formulat it mor fancy, w considr complxs of th form with on map f and othrwis using zro moduls and ( 0 M 2 0 ) with fixd homology) Thus, lt us dscrib th vanishing of Ext 2 in trms of maps f: M 2 Hr it is: A ring R is lft hrditary if and only if (9) for any homomorphism f: M 2 with pi-mono-factorization Y u M2, thr is a pushout-pullback diagram of th form Y u u M M 2 Bfor w look at th proof, lt us indicat som way of visualizing of what is going on: Givn th map f: M 2, dnot by Z its krnl, by Y th imag and by X th cokrnl Thus, w dal with two short xact squncs 0 X Y 0, and 0 Y u M2 Z 0 and f = u W may dpict this as shown on th lft And w ar looking for a modul M and maps u, as shown on th right: X Y M 2 Y Z f = u X Y M Z M 2 Y Z u Now, w show th quivalnc of (8) and (9) First, lt us start with a homomorphism f: M 2 with pi-mono-factorization Y u M2 and dnot by Z th krnl 4
5 of f, thus of If th condition (8) holds, thn th lmnt [0 X Y 0] of Ext 1 (Y,Z) is in th imag of Ext 1 (Z,u), thus thr is a commutativ diagram of th form 0 Z Y 0 u u 0 Z M M 2 0, this provids th rquird pushout-pullback diagram Convrsly, assum condition (9) is satisfid, lt u: M M b an injctiv homomorphism W want to show that Ext 1 (u,z) is surjctiv Thus tak an lmnt [0 Z M 0] in Ext 1 (M,Z) and apply condition (9) to th map u: M with its givn pi-mono-factorization: w obtain a pushout-pullback-diagram u M M u M If w add on th lft Z as th krnl of both and, w obtain th following commutativ diagram with xact rows 0 Z M 0 u u 0 Z M M 0, which shows that th uppr squnc is th imag of th lowr squnc undr Ext 1 (u,z) Mor prcisly, on ss: Ext 2 (X,Z) = 0 if and only if (9) is satisfid for all maps f with krnl Z and cokrnl X It may b instructiv to point out in which way a pushout-pullback diagram as givn in condition (9) provids diffrnt rprsntativs of an lmnt of Ext 2 (X,Z) Thus, considr th following pushout-pullback diagram u M Y u M 2, and thrfor 0 Z Y 0 u u 0 Z M M 2 0, with xact rows In addition, thr is also th xact squnc (0 Y u M 2 Z 0) If w form th xact squnc inducd from it by u, w obtain an xact squnc which is split xact: 0 Y u 0 M 2 N u M 2 X 0 5 p X 0
6 (hr, p is a split pimorphism) Concatnation of th xact squncs yilds 0 Z M 2 X 0 0 Z M N p X 0, in this way w s that th two rows yild th sam lmnt in Ext 2 (X,Z), and sinc p is split pi, this is th zro lmnt of Ext 2 (X,Z) 5 Moduls of finit lngth Sinc th functor Ext 2 is half xact in both variabls, th vanishing Ext 2 (T,S) = 0 for all simpl moduls S,T implis that on has Ext 2 (X,Z) for all finit lngth moduls X,Z So what dos it man that Ext 2 (T,S) = 0 for simpl moduls S,T? Lt I(S) b th injctiv nvlop of S and lt us assum from now on that thr xists a projctiv covr P(T) (this holds tru in cas w dal with an artinian ring, or mor gnrally, a smi-prfct ring) Lmma Any lmnt in Ext 2 (T,S) has a rprsntativ 0 S M 2 T 0, whr is a (non-zro) submodul of I(S), and M 2 is a (non-zro) factor modul of P(T) To say that is a non-zro submodul of I(S) mans that is a modul with simpl ssntial socl S; dually, to say that M 2 is a non-zro factor modul of P(T) mans that M 2 is a modul with a small maximal submodul with factor modul T Proof: W start with th xact squnc 0 S m f q M2 T 0, and th inclusion v: S I(S) Sinc m is a monomorphism and I(S) is injctiv, thr is v : I(S) with v = v m Lt v = v h, whr h: is surjctiv and v : I(S) is injctiv Sinc v hm = v m = v is a monomorphism, also hm is a monomorphism Thus, thr is th following commutativ diagram with xact rows m 0 S h 0 S hm M 1 Y 0 which w can complt by insrting a cokrnl Y of hm to obtain: m 0 S h 0 S Y 0 h hm M 1 Y 0 6
7 Sinc by assumption h is surjctiv, also h is surjctiv Nxt, w start with th xact squnc 0 Y u M 2 T 0 and form th squnc inducd by h : m 0 Y M 2 h h 0 Y M 2 T 0 T 0 By concatnation, w obtain th following commutativ diagram with xact rows: m f 0 S M 2 T 0 h h 0 S hm M 1 M 2 T 0, thus, th two squncs yild th sam lmnt of Ext 2 (T,S) This shows that w can rplac th uppr squnc by th lowr squnc: hr, is a submodul of I(S) and in addition, M 2 is a factor modul of M 2 By duality, w similarly s that w can rplac th scond sris by a third on 0 S M 1 M 2 T 0, whr M 2 is a factor modul of P(T) and whr M 1 is a submodul of M 1, thus of I(S) This complts th proof It rmains to analyz th vanishing of Ext 2 (T,S) As w just hav sn, w hav to look at maps f: M 2 with krnl S and cokrnl T such that S is an ssntial submodul of and th imag of f is a small submodul of M 2 If th condition (9) holds, w obtain a modul M with as a submodul, such that M/S is isomorphic to M 2 Lt us assum in addition that f is non-zro: thn M is indcomposabl It is vn what w call a diamond: a modul M with submoduls M M such that both M and M/M ar simpl and such that any propr non-zro submodul of M contains M and is containd in M (Proof: Tak M = and M = soc, thn clarly both M and M/M ar simpl Lt N b a propr non-zro submodul of M Considr M N If M N = 0, thn N must b simpl and M = M N, and thrfor M 2 = M/M = M /M N But by assumption, M 2 is a modul with a small maximal submodul, thrfor M /M = 0, but thn f = 0, in contrast to our assumption This shows that M N 0, and thrfor N contains th socl M of M Th dual argumnt shows that N is containd in M ) W can rphras th prvious considrations as follows: Th vanishing of Ext 2 (T,S) mans th xistnc of all possibl diamonds with socl S and top T Convrsly, w strss that if Ext 2 (T,S) 0, this may kill not only on, but usually a lot of diamonds Finally, on should b awar that whn daling with quivrs with rlations, th rlations in qustion just corrspond to non-zro lmnts of Ext 2 (so that in this cas th 7
8 vanishing of Ext 2 may b dscribd by saying that thr ar no rlations) Rcall that a rlation ρ for th quivr Q is by dfinition a non-zro linar combination ρ of paths of lngth at last 2 starting in som vrtx x and nding in som vrtx y (such a rlation is an lmnt of th path algbra kq) For xampl, if ρ is a singl path, thn this is calld a monomial rlation or also a zro rlation; if ρ is th diffrnc of two paths, on says that ρ is a commutativity rlation 8
The Matrix Exponential
Th Matrix Exponntial (with xrciss) by D. Klain Vrsion 207.0.05 Corrctions and commnts ar wlcom. Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix A A k I + A + k!
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by Dan Klain Vrsion 28928 Corrctions and commnts ar wlcom Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix () A A k I + A + k!
More informationThus, because if either [G : H] or [H : K] is infinite, then [G : K] is infinite, then [G : K] = [G : H][H : K] for all infinite cases.
Homwork 5 M 373K Solutions Mark Lindbrg and Travis Schdlr 1. Prov that th ring Z/mZ (for m 0) is a fild if and only if m is prim. ( ) Proof by Contrapositiv: Hr, thr ar thr cass for m not prim. m 0: Whn
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013
18.782 Introduction to Arithmtic Gomtry Fall 2013 Lctur #20 11/14/2013 20.1 Dgr thorm for morphisms of curvs Lt us rstat th thorm givn at th nd of th last lctur, which w will now prov. Thorm 20.1. Lt φ:
More informationCS 361 Meeting 12 10/3/18
CS 36 Mting 2 /3/8 Announcmnts. Homwork 4 is du Friday. If Friday is Mountain Day, homwork should b turnd in at my offic or th dpartmnt offic bfor 4. 2. Homwork 5 will b availabl ovr th wknd. 3. Our midtrm
More informationBasic Polyhedral theory
Basic Polyhdral thory Th st P = { A b} is calld a polyhdron. Lmma 1. Eithr th systm A = b, b 0, 0 has a solution or thr is a vctorπ such that π A 0, πb < 0 Thr cass, if solution in top row dos not ist
More informationAddition of angular momentum
Addition of angular momntum April, 0 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat th
More informationHigher order derivatives
Robrto s Nots on Diffrntial Calculus Chaptr 4: Basic diffrntiation ruls Sction 7 Highr ordr drivativs What you nd to know alrady: Basic diffrntiation ruls. What you can larn hr: How to rpat th procss of
More informationMATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES
MATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES JESSE BURKE AND MARK E. WALKER Abstract. W study matrix factorizations of locally fr cohrnt shavs on a schm. For a schm that is projctiv ovr an affin schm,
More informationCOHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.
MTH rviw part b Lucian Mitroiu Th LOG and EXP functions Th ponntial function p : R, dfind as Proprtis: lim > lim p Eponntial function Y 8 6 - -8-6 - - X Th natural logarithm function ln in US- log: function
More informationWeek 3: Connected Subgraphs
Wk 3: Connctd Subgraphs Sptmbr 19, 2016 1 Connctd Graphs Path, Distanc: A path from a vrtx x to a vrtx y in a graph G is rfrrd to an xy-path. Lt X, Y V (G). An (X, Y )-path is an xy-path with x X and y
More informationu 3 = u 3 (x 1, x 2, x 3 )
Lctur 23: Curvilinar Coordinats (RHB 8.0 It is oftn convnint to work with variabls othr than th Cartsian coordinats x i ( = x, y, z. For xampl in Lctur 5 w mt sphrical polar and cylindrical polar coordinats.
More informationAddition of angular momentum
Addition of angular momntum April, 07 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat
More informationCPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming
CPSC 665 : An Algorithmist s Toolkit Lctur 4 : 21 Jan 2015 Lcturr: Sushant Sachdva Linar Programming Scrib: Rasmus Kyng 1. Introduction An optimization problm rquirs us to find th minimum or maximum) of
More informationSCHUR S THEOREM REU SUMMER 2005
SCHUR S THEOREM REU SUMMER 2005 1. Combinatorial aroach Prhas th first rsult in th subjct blongs to I. Schur and dats back to 1916. On of his motivation was to study th local vrsion of th famous quation
More informationECE602 Exam 1 April 5, You must show ALL of your work for full credit.
ECE62 Exam April 5, 27 Nam: Solution Scor: / This xam is closd-book. You must show ALL of your work for full crdit. Plas rad th qustions carfully. Plas chck your answrs carfully. Calculators may NOT b
More informationcycle that does not cross any edges (including its own), then it has at least
W prov th following thorm: Thorm If a K n is drawn in th plan in such a way that it has a hamiltonian cycl that dos not cross any dgs (including its own, thn it has at last n ( 4 48 π + O(n crossings Th
More informationSection 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation.
MAT 444 H Barclo Spring 004 Homwork 6 Solutions Sction 6 Lt H b a subgroup of a group G Thn H oprats on G by lft multiplication Dscrib th orbits for this opration Th orbits of G ar th right costs of H
More informationChapter 10. The singular integral Introducing S(n) and J(n)
Chaptr Th singular intgral Our aim in this chaptr is to rplac th functions S (n) and J (n) by mor convnint xprssions; ths will b calld th singular sris S(n) and th singular intgral J(n). This will b don
More informationThat is, we start with a general matrix: And end with a simpler matrix:
DIAGON ALIZATION OF THE STR ESS TEN SOR INTRO DUCTIO N By th us of Cauchy s thorm w ar abl to rduc th numbr of strss componnts in th strss tnsor to only nin valus. An additional simplification of th strss
More informationMATH 319, WEEK 15: The Fundamental Matrix, Non-Homogeneous Systems of Differential Equations
MATH 39, WEEK 5: Th Fundamntal Matrix, Non-Homognous Systms of Diffrntial Equations Fundamntal Matrics Considr th problm of dtrmining th particular solution for an nsmbl of initial conditions For instanc,
More informationQuasi-Classical States of the Simple Harmonic Oscillator
Quasi-Classical Stats of th Simpl Harmonic Oscillator (Draft Vrsion) Introduction: Why Look for Eignstats of th Annihilation Oprator? Excpt for th ground stat, th corrspondnc btwn th quantum nrgy ignstats
More informationRecall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1
Chaptr 11 Th singular sris Rcall that by Thorms 10 and 104 togthr provid us th stimat 9 4 n 2 111 Rn = SnΓ 2 + on2, whr th singular sris Sn was dfind in Chaptr 10 as Sn = q=1 Sq q 9, with Sq = 1 a q gcda,q=1
More informationMATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES
Homology, Homotopy and Applications, vol. 14(2), 212, pp.37 61 MATRIX FACTORIZATIONS OVER PROJECTIVE SCHEMES JESSE BURKE and MARK E. WALKER (communicatd by Charls A. Wibl) Abstract W study matrix factorizations
More informationEinstein Equations for Tetrad Fields
Apiron, Vol 13, No, Octobr 006 6 Einstin Equations for Ttrad Filds Ali Rıza ŞAHİN, R T L Istanbul (Turky) Evry mtric tnsor can b xprssd by th innr product of ttrad filds W prov that Einstin quations for
More informationPropositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018
Propositional Logic Combinatorial Problm Solving (CPS) Albrt Olivras Enric Rodríguz-Carbonll May 17, 2018 Ovrviw of th sssion Dfinition of Propositional Logic Gnral Concpts in Logic Rduction to SAT CNFs
More informationConstruction of asymmetric orthogonal arrays of strength three via a replacement method
isid/ms/26/2 Fbruary, 26 http://www.isid.ac.in/ statmath/indx.php?modul=prprint Construction of asymmtric orthogonal arrays of strngth thr via a rplacmnt mthod Tian-fang Zhang, Qiaoling Dng and Alok Dy
More informationSECTION where P (cos θ, sin θ) and Q(cos θ, sin θ) are polynomials in cos θ and sin θ, provided Q is never equal to zero.
SETION 6. 57 6. Evaluation of Dfinit Intgrals Exampl 6.6 W hav usd dfinit intgrals to valuat contour intgrals. It may com as a surpris to larn that contour intgrals and rsidus can b usd to valuat crtain
More informationCombinatorial Networks Week 1, March 11-12
1 Nots on March 11 Combinatorial Ntwors W 1, March 11-1 11 Th Pigonhol Principl Th Pigonhol Principl If n objcts ar placd in hols, whr n >, thr xists a box with mor than on objcts 11 Thorm Givn a simpl
More information(Upside-Down o Direct Rotation) β - Numbers
Amrican Journal of Mathmatics and Statistics 014, 4(): 58-64 DOI: 10593/jajms0140400 (Upsid-Down o Dirct Rotation) β - Numbrs Ammar Sddiq Mahmood 1, Shukriyah Sabir Ali,* 1 Dpartmnt of Mathmatics, Collg
More informationON RIGHT(LEFT) DUO PO-SEMIGROUPS. S. K. Lee and K. Y. Park
Kangwon-Kyungki Math. Jour. 11 (2003), No. 2, pp. 147 153 ON RIGHT(LEFT) DUO PO-SEMIGROUPS S. K. L and K. Y. Park Abstract. W invstigat som proprtis on right(rsp. lft) duo po-smigroups. 1. Introduction
More informationFourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.
Lur 7 Fourir Transforms and th Wav Euation Ovrviw and Motivation: W first discuss a fw faturs of th Fourir transform (FT), and thn w solv th initial-valu problm for th wav uation using th Fourir transform
More informationA Propagating Wave Packet Group Velocity Dispersion
Lctur 8 Phys 375 A Propagating Wav Packt Group Vlocity Disprsion Ovrviw and Motivation: In th last lctur w lookd at a localizd solution t) to th 1D fr-particl Schrödingr quation (SE) that corrsponds to
More informationEEO 401 Digital Signal Processing Prof. Mark Fowler
EEO 401 Digital Signal Procssing Prof. Mark Fowlr Dtails of th ot St #19 Rading Assignmnt: Sct. 7.1.2, 7.1.3, & 7.2 of Proakis & Manolakis Dfinition of th So Givn signal data points x[n] for n = 0,, -1
More informationAbstract Interpretation: concrete and abstract semantics
Abstract Intrprtation: concrt and abstract smantics Concrt smantics W considr a vry tiny languag that manags arithmtic oprations on intgrs valus. Th (concrt) smantics of th languags cab b dfind by th funzcion
More informationCOUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM
COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM Jim Brown Dpartmnt of Mathmatical Scincs, Clmson Univrsity, Clmson, SC 9634, USA jimlb@g.clmson.du Robrt Cass Dpartmnt of Mathmatics,
More informationCOMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.
C:\Dallas\0_Courss\03A_OpSci_67\0 Cgh_Book\0_athmaticalPrliminaris\0_0 Combath.doc of 8 COPUTER GENERATED HOLOGRAS Optical Scincs 67 W.J. Dallas (onday, April 04, 005, 8:35 A) PART I: CHAPTER TWO COB ATH
More information1 Isoparametric Concept
UNIVERSITY OF CALIFORNIA BERKELEY Dpartmnt of Civil Enginring Spring 06 Structural Enginring, Mchanics and Matrials Profssor: S. Govindj Nots on D isoparamtric lmnts Isoparamtric Concpt Th isoparamtric
More informationThe Equitable Dominating Graph
Intrnational Journal of Enginring Rsarch and Tchnology. ISSN 0974-3154 Volum 8, Numbr 1 (015), pp. 35-4 Intrnational Rsarch Publication Hous http://www.irphous.com Th Equitabl Dominating Graph P.N. Vinay
More informationLecture 37 (Schrödinger Equation) Physics Spring 2018 Douglas Fields
Lctur 37 (Schrödingr Equation) Physics 6-01 Spring 018 Douglas Filds Rducd Mass OK, so th Bohr modl of th atom givs nrgy lvls: E n 1 k m n 4 But, this has on problm it was dvlopd assuming th acclration
More informationu x v x dx u x v x v x u x dx d u x v x u x v x dx u x v x dx Integration by Parts Formula
7. Intgration by Parts Each drivativ formula givs ris to a corrsponding intgral formula, as w v sn many tims. Th drivativ product rul yilds a vry usful intgration tchniqu calld intgration by parts. Starting
More informationDifferential Equations
Prfac Hr ar m onlin nots for m diffrntial quations cours that I tach hr at Lamar Univrsit. Dspit th fact that ths ar m class nots, th should b accssibl to anon wanting to larn how to solv diffrntial quations
More informationSupplementary Materials
6 Supplmntary Matrials APPENDIX A PHYSICAL INTERPRETATION OF FUEL-RATE-SPEED FUNCTION A truck running on a road with grad/slop θ positiv if moving up and ngativ if moving down facs thr rsistancs: arodynamic
More informationTitle: Vibrational structure of electronic transition
Titl: Vibrational structur of lctronic transition Pag- Th band spctrum sn in th Ultra-Violt (UV) and visibl (VIS) rgions of th lctromagntic spctrum can not intrprtd as vibrational and rotational spctrum
More informationHomework #3. 1 x. dx. It therefore follows that a sum of the
Danil Cannon CS 62 / Luan March 5, 2009 Homwork # 1. Th natural logarithm is dfind by ln n = n 1 dx. It thrfor follows that a sum of th 1 x sam addnd ovr th sam intrval should b both asymptotically uppr-
More information2.3 Matrix Formulation
23 Matrix Formulation 43 A mor complicatd xampl ariss for a nonlinar systm of diffrntial quations Considr th following xampl Exampl 23 x y + x( x 2 y 2 y x + y( x 2 y 2 (233 Transforming to polar coordinats,
More informationREPRESENTATIONS OF LIE GROUPS AND LIE ALGEBRAS
REPRESENTATIONS OF LIE GROUPS AND LIE ALGEBRAS JIAQI JIANG Abstract. This papr studis th rlationship btwn rprsntations of a Li group and rprsntations of its Li algbra. W will mak th corrspondnc in two
More informationDerangements and Applications
2 3 47 6 23 Journal of Intgr Squncs, Vol. 6 (2003), Articl 03..2 Drangmnts and Applications Mhdi Hassani Dpartmnt of Mathmatics Institut for Advancd Studis in Basic Scincs Zanjan, Iran mhassani@iasbs.ac.ir
More informationStrongly Connected Components
Strongly Connctd Componnts Lt G = (V, E) b a dirctd graph Writ if thr is a path from to in G Writ if and is an quivalnc rlation: implis and implis s quivalnc classs ar calld th strongly connctd componnts
More informationperm4 A cnt 0 for for if A i 1 A i cnt cnt 1 cnt i j. j k. k l. i k. j l. i l
h 4D, 4th Rank, Antisytric nsor and th 4D Equivalnt to th Cross Product or Mor Fun with nsors!!! Richard R Shiffan Digital Graphics Assoc 8 Dunkirk Av LA, Ca 95 rrs@isidu his docunt dscribs th four dinsional
More informationFunction Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0
unction Spacs Prrquisit: Sction 4.7, Coordinatization n this sction, w apply th tchniqus of Chaptr 4 to vctor spacs whos lmnts ar functions. Th vctor spacs P n and P ar familiar xampls of such spacs. Othr
More informationEECE 301 Signals & Systems Prof. Mark Fowler
EECE 301 Signals & Systms Prof. Mark Fowlr ot St #21 D-T Signals: Rlation btwn DFT, DTFT, & CTFT 1/16 W can us th DFT to implmnt numrical FT procssing This nabls us to numrically analyz a signal to find
More informationNIL-BOHR SETS OF INTEGERS
NIL-BOHR SETS OF INTEGERS BERNARD HOST AND BRYNA KRA Abstract. W study rlations btwn substs of intgrs that ar larg, whr larg can b intrprtd in trms of siz (such as a st of positiv uppr dnsity or a st with
More informationComputing and Communications -- Network Coding
89 90 98 00 Computing and Communications -- Ntwork Coding Dr. Zhiyong Chn Institut of Wirlss Communications Tchnology Shanghai Jiao Tong Univrsity China Lctur 5- Nov. 05 0 Classical Information Thory Sourc
More informationThe second condition says that a node α of the tree has exactly n children if the arity of its label is n.
CS 6110 S14 Hanout 2 Proof of Conflunc 27 January 2014 In this supplmntary lctur w prov that th λ-calculus is conflunt. This is rsult is u to lonzo Church (1903 1995) an J. arkly Rossr (1907 1989) an is
More informationCHAPTER 1. Introductory Concepts Elements of Vector Analysis Newton s Laws Units The basis of Newtonian Mechanics D Alembert s Principle
CHPTER 1 Introductory Concpts Elmnts of Vctor nalysis Nwton s Laws Units Th basis of Nwtonian Mchanics D lmbrt s Principl 1 Scinc of Mchanics: It is concrnd with th motion of matrial bodis. odis hav diffrnt
More information10. The Discrete-Time Fourier Transform (DTFT)
Th Discrt-Tim Fourir Transform (DTFT Dfinition of th discrt-tim Fourir transform Th Fourir rprsntation of signals plays an important rol in both continuous and discrt signal procssing In this sction w
More informationRoadmap. XML Indexing. DataGuide example. DataGuides. Strong DataGuides. Multiple DataGuides for same data. CPS Topics in Database Systems
Roadmap XML Indxing CPS 296.1 Topics in Databas Systms Indx fabric Coopr t al. A Fast Indx for Smistructurd Data. VLDB, 2001 DataGuid Goldman and Widom. DataGuids: Enabling Qury Formulation and Optimization
More informationν a (p e ) p e fpt(a) = lim
THE F -PURE THRESHOLD OF AN ELLIPTIC CURVE BHARGAV BHATT ABSTRACT. W calculat th F -pur thrshold of th affin con on an lliptic curv in a fixd positiv charactristic p. Th mthod mployd is dformation-thortic,
More informationBackground: We have discussed the PIB, HO, and the energy of the RR model. In this chapter, the H-atom, and atomic orbitals.
Chaptr 7 Th Hydrogn Atom Background: W hav discussd th PIB HO and th nrgy of th RR modl. In this chaptr th H-atom and atomic orbitals. * A singl particl moving undr a cntral forc adoptd from Scott Kirby
More informationComposition and Bhargava's Cubes
Composition and Bhargava's Cubs Florian Bouyr 0807637 Contnts 1 Introduction 1 A classical viw on Gauss composition.1 Som dnitions......................................... Rduction of positiv dnit forms..............................
More informationThe van der Waals interaction 1 D. E. Soper 2 University of Oregon 20 April 2012
Th van dr Waals intraction D. E. Sopr 2 Univrsity of Orgon 20 pril 202 Th van dr Waals intraction is discussd in Chaptr 5 of J. J. Sakurai, Modrn Quantum Mchanics. Hr I tak a look at it in a littl mor
More informationANALYSIS IN THE FREQUENCY DOMAIN
ANALYSIS IN THE FREQUENCY DOMAIN SPECTRAL DENSITY Dfinition Th spctral dnsit of a S.S.P. t also calld th spctrum of t is dfind as: + { γ }. jτ γ τ F τ τ In othr words, of th covarianc function. is dfind
More information1 Minimum Cut Problem
CS 6 Lctur 6 Min Cut and argr s Algorithm Scribs: Png Hui How (05), Virginia Dat: May 4, 06 Minimum Cut Problm Today, w introduc th minimum cut problm. This problm has many motivations, on of which coms
More informationLie Groups HW7. Wang Shuai. November 2015
Li roups HW7 Wang Shuai Novmbr 015 1 Lt (π, V b a complx rprsntation of a compact group, show that V has an invariant non-dgnratd Hrmitian form. For any givn Hrmitian form on V, (for xampl (u, v = i u
More informationLINEAR SYSTEMS OF DIFFERENTIAL EQUATIONS DONE RIGHT KYLE ORMSBY
LINEAR SYSTEMS OF DIFFERENTIAL EQUATIONS DONE RIGHT KYLE ORMSBY INTRODUCTION TO THE PROBLEM Considr a continous function F : R n R n W will think of F as a vctor fild, and can think of F x as a vlocity
More informationFirst order differential equation Linear equation; Method of integrating factors
First orr iffrntial quation Linar quation; Mtho of intgrating factors Exampl 1: Rwrit th lft han si as th rivativ of th prouct of y an som function by prouct rul irctly. Solving th first orr iffrntial
More information3 Finite Element Parametric Geometry
3 Finit Elmnt Paramtric Gomtry 3. Introduction Th intgral of a matrix is th matrix containing th intgral of ach and vry on of its original componnts. Practical finit lmnt analysis rquirs intgrating matrics,
More informationPROBLEM SET Problem 1.
PROLEM SET 1 PROFESSOR PETER JOHNSTONE 1. Problm 1. 1.1. Th catgory Mat L. OK, I m not amiliar with th trminology o partially orr sts, so lt s go ovr that irst. Dinition 1.1. partial orr is a binary rlation
More informationProblem Set 6 Solutions
6.04/18.06J Mathmatics for Computr Scinc March 15, 005 Srini Dvadas and Eric Lhman Problm St 6 Solutions Du: Monday, March 8 at 9 PM in Room 3-044 Problm 1. Sammy th Shark is a financial srvic providr
More informationComplex Powers and Logs (5A) Young Won Lim 10/17/13
Complx Powrs and Logs (5A) Copyright (c) 202, 203 Young W. Lim. Prmission is grantd to copy, distribut and/or modify this documnt undr th trms of th GNU Fr Documntation Licns, Vrsion.2 or any latr vrsion
More informationEEO 401 Digital Signal Processing Prof. Mark Fowler
EEO 401 Digital Signal Procssing Prof. Mark Fowlr ot St #18 Introduction to DFT (via th DTFT) Rading Assignmnt: Sct. 7.1 of Proakis & Manolakis 1/24 Discrt Fourir Transform (DFT) W v sn that th DTFT is
More informationEquidistribution and Weyl s criterion
Euidistribution and Wyl s critrion by Brad Hannigan-Daly W introduc th ida of a sunc of numbrs bing uidistributd (mod ), and w stat and prov a thorm of Hrmann Wyl which charactrizs such suncs. W also discuss
More informationEXST Regression Techniques Page 1
EXST704 - Rgrssion Tchniqus Pag 1 Masurmnt rrors in X W hav assumd that all variation is in Y. Masurmnt rror in this variabl will not ffct th rsults, as long as thy ar uncorrlatd and unbiasd, sinc thy
More informationLOCAL STRUCTURE OF ALGEBRAIC MONOIDS
LOCAL STRUCTURE OF ALEBRAIC MONOIDS MICHEL BRION Abstract. W dscrib th local structur of an irrducibl algbraic monoid M at an idmpotnt lmnt. Whn is minimal, w show that M is an inducd varity ovr th krnl
More informationLINEAR DELAY DIFFERENTIAL EQUATION WITH A POSITIVE AND A NEGATIVE TERM
Elctronic Journal of Diffrntial Equations, Vol. 2003(2003), No. 92, pp. 1 6. ISSN: 1072-6691. URL: http://jd.math.swt.du or http://jd.math.unt.du ftp jd.math.swt.du (login: ftp) LINEAR DELAY DIFFERENTIAL
More informationBifurcation Theory. , a stationary point, depends on the value of α. At certain values
Dnamic Macroconomic Thor Prof. Thomas Lux Bifurcation Thor Bifurcation: qualitativ chang in th natur of th solution occurs if a paramtr passs through a critical point bifurcation or branch valu. Local
More informationBrief Introduction to Statistical Mechanics
Brif Introduction to Statistical Mchanics. Purpos: Ths nots ar intndd to provid a vry quick introduction to Statistical Mchanics. Th fild is of cours far mor vast than could b containd in ths fw pags.
More information4. Money cannot be neutral in the short-run the neutrality of money is exclusively a medium run phenomenon.
PART I TRUE/FALSE/UNCERTAIN (5 points ach) 1. Lik xpansionary montary policy, xpansionary fiscal policy rturns output in th mdium run to its natural lvl, and incrass prics. Thrfor, fiscal policy is also
More informationOn spanning trees and cycles of multicolored point sets with few intersections
On spanning trs and cycls of multicolord point sts with fw intrsctions M. Kano, C. Mrino, and J. Urrutia April, 00 Abstract Lt P 1,..., P k b a collction of disjoint point sts in R in gnral position. W
More information1 General boundary conditions in diffusion
Gnral boundary conditions in diffusion Πρόβλημα 4.8 : Δίνεται μονοδιάτατη πλάκα πάχους, που το ένα άκρο της κρατιέται ε θερμοκραία T t και το άλλο ε θερμοκραία T 2 t. Αν η αρχική θερμοκραία της πλάκας
More informationThere is an arbitrary overall complex phase that could be added to A, but since this makes no difference we set it to zero and choose A real.
Midtrm #, Physics 37A, Spring 07. Writ your rsponss blow or on xtra pags. Show your work, and tak car to xplain what you ar doing; partial crdit will b givn for incomplt answrs that dmonstrat som concptual
More informationFinding low cost TSP and 2-matching solutions using certain half integer subtour vertices
Finding low cost TSP and 2-matching solutions using crtain half intgr subtour vrtics Sylvia Boyd and Robrt Carr Novmbr 996 Introduction Givn th complt graph K n = (V, E) on n nods with dg costs c R E,
More information10. Limits involving infinity
. Limits involving infinity It is known from th it ruls for fundamntal arithmtic oprations (+,-,, ) that if two functions hav finit its at a (finit or infinit) point, that is, thy ar convrgnt, th it of
More informationDifferentiation of Exponential Functions
Calculus Modul C Diffrntiation of Eponntial Functions Copyright This publication Th Northrn Albrta Institut of Tchnology 007. All Rights Rsrvd. LAST REVISED March, 009 Introduction to Diffrntiation of
More informationSelf-Adjointness and Its Relationship to Quantum Mechanics. Ronald I. Frank 2016
Ronald I. Frank 06 Adjoint https://n.wikipdia.org/wiki/adjoint In gnral thr is an oprator and a procss that dfin its adjoint *. It is thn slf-adjoint if *. Innr product spac https://n.wikipdia.org/wiki/innr_product_spac
More informationu r du = ur+1 r + 1 du = ln u + C u sin u du = cos u + C cos u du = sin u + C sec u tan u du = sec u + C e u du = e u + C
Tchniqus of Intgration c Donald Kridr and Dwight Lahr In this sction w ar going to introduc th first approachs to valuating an indfinit intgral whos intgrand dos not hav an immdiat antidrivativ. W bgin
More informationLecture 6.4: Galois groups
Lctur 6.4: Galois groups Matthw Macauly Dpartmnt of Mathmatical Scincs Clmson Univrsity http://www.math.clmson.du/~macaul/ Math 4120, Modrn Algbra M. Macauly (Clmson) Lctur 6.4: Galois groups Math 4120,
More informationInternational Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN
Intrnational Journal of Scintific & Enginring Rsarch, Volum 6, Issu 7, July-25 64 ISSN 2229-558 HARATERISTIS OF EDGE UTSET MATRIX OF PETERSON GRAPH WITH ALGEBRAI GRAPH THEORY Dr. G. Nirmala M. Murugan
More informationFirst derivative analysis
Robrto s Nots on Dirntial Calculus Chaptr 8: Graphical analysis Sction First drivativ analysis What you nd to know alrady: How to us drivativs to idntiy th critical valus o a unction and its trm points
More informationOn the irreducibility of some polynomials in two variables
ACTA ARITHMETICA LXXXII.3 (1997) On th irrducibility of som polynomials in two variabls by B. Brindza and Á. Pintér (Dbrcn) To th mmory of Paul Erdős Lt f(x) and g(y ) b polynomials with intgral cofficints
More informationCoupled Pendulums. Two normal modes.
Tim Dpndnt Two Stat Problm Coupld Pndulums Wak spring Two normal mods. No friction. No air rsistanc. Prfct Spring Start Swinging Som tim latr - swings with full amplitud. stationary M +n L M +m Elctron
More informationAnswer Homework 5 PHA5127 Fall 1999 Jeff Stark
Answr omwork 5 PA527 Fall 999 Jff Stark A patint is bing tratd with Drug X in a clinical stting. Upon admiion, an IV bolus dos of 000mg was givn which yildd an initial concntration of 5.56 µg/ml. A fw
More informationSome remarks on Kurepa s left factorial
Som rmarks on Kurpa s lft factorial arxiv:math/0410477v1 [math.nt] 21 Oct 2004 Brnd C. Kllnr Abstract W stablish a connction btwn th subfactorial function S(n) and th lft factorial function of Kurpa K(n).
More informationSeparating principles below Ramsey s Theorem for Pairs
Sparating principls blow Ramsy s Thorm for Pairs Manul Lrman, Rd Solomon, Hnry Towsnr Fbruary 4, 2013 1 Introduction In rcnt yars, thr has bn a substantial amount of work in rvrs mathmatics concrning natural
More informationMor Tutorial at www.dumblittldoctor.com Work th problms without a calculator, but us a calculator to chck rsults. And try diffrntiating your answrs in part III as a usful chck. I. Applications of Intgration
More informationBINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES
BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES DONALD M. DAVIS Abstract. If p is a prim (implicit in notation and n a positiv intgr, lt ν(n dnot th xponnt of p in n, and U(n n/p ν(n, th unit
More informationDeift/Zhou Steepest descent, Part I
Lctur 9 Dift/Zhou Stpst dscnt, Part I W now focus on th cas of orthogonal polynomials for th wight w(x) = NV (x), V (x) = t x2 2 + x4 4. Sinc th wight dpnds on th paramtr N N w will writ π n,n, a n,n,
More informationCramér-Rao Inequality: Let f(x; θ) be a probability density function with continuous parameter
WHEN THE CRAMÉR-RAO INEQUALITY PROVIDES NO INFORMATION STEVEN J. MILLER Abstract. W invstigat a on-paramtr family of probability dnsitis (rlatd to th Parto distribution, which dscribs many natural phnomna)
More informationSOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH.
SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH. K VASUDEVAN, K. SWATHY AND K. MANIKANDAN 1 Dpartmnt of Mathmatics, Prsidncy Collg, Chnnai-05, India. E-Mail:vasu k dvan@yahoo.com. 2,
More information