ALGEBRA 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.

Size: px
Start display at page:

Download "ALGEBRA 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."

Transcription

1 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 smple tensors, then t wll have no non-zero torson elements. Defne φ : I I I, gven by (m, n) mn. Ths s certanly well-defned. Furthermore, f m, n, m 1, m 2, n 1, n 2 I and r R, then and φ(m 1 + m 2, n) = (m 1 + m 2 )n = m 1 n + m 2 n = φ(m 1, n) + φ(m 2, n), φ(m, n 1 + n 2 ) = m(n 1 + n 2 ) = mn 1 + mn 2 = φ(m, n 1 ) + φ(m, n 2 ) φ(mr, n) = mrn = φ(m, rn), so φ s a blnear map. Hence, by the unversal property of the tensor product, φ nduces a homomorphsm Φ : I R I I such that m n = mn. Now, suppose there exsts m n I R I and non-zero r R such that r(m n) = 0. Now, snce m, n I and I s prncpal, then m = r 1 a and n = r 2 a for some r 1, r 2 R, where a s the generator of the prncpal deal I. If a = 0, then ths proposton s trvally true, snce ths would mply that I s the zero deal and so I I s just the zero module. Therefore, we can assume a 0. Snce Φ s a homomorphsm, ths mples 0 = Φ(r(m n)) = Φ(r(r 1 a r 2 a)) = r(r 1 r 2 a 2 ). Snce R s an ntegral doman, ths mples that ether r 1 = 0 or r 2 = 0. Hence, m n = r 1 a r 2 a = 0 r 2 a = 0 or m n = r 1 a r 2 a = r 1 a 0 = 0. Snce our choce of the smple tensor m n was arbtrary, we see that I R I contans no non-zero torson elements. 1

2 2 CLAY SHONKWILER Prove that Z[] Z R C as rngs. 2 Proof. We can thnk of elements of Z[] as beng of the form a + b for some a, b Z. Now, defne a map φ : Z[] R C gven by (a + b, r) r(a + b). Then, for a + b, c + d Z[], r, r 1, r 2 R and n Z, φ(a+b+c+d, r) = r(a+b+c+d) = r(a+b)+r(c+d) = φ(a+b, r)+φ(c+d, r), φ(a+b, r 1 +r 2 ) = (r 1 +r 2 )(a+b) = r 1 (a+b)+r 2 (a+b) = φ(a+b, r 1 )+φ(a+b, r 2 ) and φ((a + b)n, r) = r((a + b)n) = nr(a + b) = φ(a + b, nr), so φ s a blnear map and, hence, nduces a Z-module homomorphsm Φ : Z[] Z R C. Now, we defne the map Ψ : C Z[] Z R gven by z + w 1 z + w and we want to show that Φ and Ψ are nverses. Certanly f z 1 + w 1, z 2 + w 2 C and n Z, then Ψ(n(z 1 + w 1 ) + z 2 + w 2 ) = Ψ((nz 1 + z 2 ) + (nw 1 + w 2 )) = 1 (nz 1 + z 2 ) + (nw 1 + w 2 ) = n(1 z 1 + w 1 ) + 1 z 2 + w 2 = nφ(z 1 + w 1 ) + φ(z 2 + w 2 ) so Ψ s a Z-module homomorphsm. Now, f (a + b) r Z[] Z R, then (Ψ Φ)((a + b) r) = Ψ(Φ((a + b) r) = Ψ(r(a + b)) = 1 ra + rb = a r + b r = (a + b) r. Smlarly, f z + w C, then (Φ Ψ)(z + w) = Φ(1 z + w) = Φ(1 z) + Φ( w) = z + w. Hence, we see that Φ and Ψ are nverses, so Φ : Z[] Z R C s a Z-module somorphsm, whch s to say an somorphsm of abelan groups. To see that t s, n fact, an somorphsm of rngs, we need only show that Φ respects the multplcatve structure. To see ths, let (a+b) r 1, (c+d) r 2 Z[] Z R. Then Φ([(a + b) r 1 ][(c + d) r 2 ]) = Φ([(ac bd) + (ad + bc)] r 1 r 2 ) = r 1 r 2 ((ac bd) + (ad + bc)) = r 1 r 2 (a + b)(c + d) = Φ((a + b) r 1 )Φ((c + d) r 2 ). Therefore, we conclude that Z[] Z R C as rngs.

3 Prove that C R C C C as rngs. ALGEBRA MID-TERM 3 3 Proof. Let φ : C C C C be the dentty map. Then φ s certanly R-blnear, so, by the unversal property of the tensor product, t nduces an R-module homomorphsm Φ : C R C C C. If we defne the map Ψ : C C C R C gven by (z, w) z w. Then we want to show that Φ Ψ = Id and Ψ Φ = Id, whch wll mean that Ψ s the nverse of Φ and so Φ s an somorphsm. If z w C R C, then (Ψ Φ)(z w) = Ψ(Φ(z w)) = Ψ(z, w) = z w and f (z, w) C C, then (Φ Ψ)(z, w) = Φ(Ψ(z, w)) = Φ(z w) = (z, w). Hence, we see that the R-module homomorphsm Φ s nvertble and so s an somorphsm. To see that t s a rng somorphsm, we must show that t s a rng homomorphsm and the the bjectvty wll follow from what we ve just shown. To that end, let z 1 w 1, z 2 w 2 C R C. Then Φ((z 1 w 1 )(z 2 w 2 )) = Φ(z 1 z 2 w 1 w 2 ) = (z 1 z 2, w 1 w 2 ) = (z 1, w 1 )(z 2, w 2 ) = Φ(z 1 w 1 )Φ(z 2 w 2 ). Hence, we conclude that C R C C C. Calculate the character table of S 3 S 3. Answer: See attached sheet. 4 If ρ s the character of V, show that Ind G H(ρ)(g) = 5 k ρ( gg ) where g 1,..., g k are representatves of the left cosets of H n G, and ρ( gg ) s defned to be 0 f gg s not n H. Proof. Let ψ be the representaton of H wth character ρ. We know that G = k g H.

4 4 CLAY SHONKWILER Hence, Therefore, [ k ] k C[G] = C g H = g C[H]. ( k ) Ind G H(V ) = C[G] C[H] V = g C[H] C[H] V = k (g C[H] C[H] V ) = k (g C[H] V ). Now, for each g G, gg = g j h for a sngle j = 1,..., k and some h H. Ths mples that gj 1 gg H for ths value of j and for no other. Snce gg = g j h, Ind G H(V )(g)(g C[H] V ) = gg C[H] V = g j h C[H] V = g j C[H] ψ(h)v = g j C[H] V. Hence, f j, whch s the same thng as sayng that g 1 gg / H, then there are no egenvalues of Ind H G (V )(g) n g C[H] V, meanng ths pece contrbutes nothng to Ind G H (ρ). On the other hand, f = j, then we see that and so gg H, Ind G H(V )(g)(g C[H] V ) = gg C[H] V = g gg C[H] V = g C[H] ψ( gg )V. Hence, any egenvalues n g V of Ind G H (V ) are precsely those gven by the acton of gg on V. Therefore, we see that whch we can rewrte as Ind G H(ρ) = gg H ρ( gg ), Ind G H(ρ) = k ρ( gg ) where we follow the conventon that ρ(g 1 gg ) = 0 f gg / H.

5 ALGEBRA MID-TERM 5 6 Let H G as above, and let ρ be a character of H, and χ a character of G. Prove the followng formula, called the Frobenus recprocty formula: χ H, ρ H = χ, Ind G H(ρ) G where χ H denotes the restrcton of χ to H. Proof. Recall, frst of all, that Ind G H(ρ)(g) = k ρ( gg ) as we showed n problem 5 above. Thus, χ, Ind G H(ρ) G = 1 χ(g)ind G H (ρ)(g) = 1 k χ(g) ρ( gg ). Now, snce χ s a class functon, we can re-arrange the summatons lke so: χ, Ind G H(ρ) G = 1 k χ(g 1 gg )ρ( gg ). Snce ρ( gg ) 0 only when g 1 gg H, ths s the same as χ, Ind G H(ρ) G = 1 χ(g 1 gg )ρ( gg ). gg H Now, for each g, there are exactly H elements of g H, so there are H elements g G such that gg g H. Furthermore, f g g, then gg g g, whch we can see smply by multplyng both sdes of ths expresson by. Hence, f we denote g g = g h then the h run over all of H. Hence, for each h H, we see that h = g 1 gg exactly once for each g, so Therefore, 1 gg H χ, Ind G H (ρ) G = 1 = 1 χ(g 1 gg )ρ( gg ) = k χ(h)ρ(h). h H = k = 1 H gvng us the desred result. gg H χ(g 1 gg )ρ( gg ) k h H χ(h)ρ(h) h H χ(h)ρ(h) h H χ(h)ρ(h) = χ H, ρ H,

6 6 CLAY SHONKWILER 7 Suppose that G = H K. Let V be a representaton of H. Prove that Ind G H (V ) = V R K, where R K denotes the regular representaton of K. Proof. Frst, note that, by hypothess, C[G] = C[H K]. Now, we showed n class (February 11) that F [G 1 G 2 ] F [G 1 ] F F [G 2 ] for any feld F and groups G 1 and G 2. Hence, C[G] = C[H K] C[H] C C[K] whch s, of course, somorphc to C[K] C C[H]. Therefore, we see that Ind G H(V ) = C[G] C[H] V (C[K] C C[H]) C[H] V. Snce C[H] s a (C, C[H])-bmodule, we know that ths expresson s assocatve; that s (C[K] C C[H]) C[H] V C[K] C (C[H] C[H] V ). In turn, t s certanly true that C[H] C[H] V V, so we see that, when we combne all of the above Ind G H(V ) = C[G] C[H] C[K] C (C[H] C[H] V ) C[K] C V. Snce C[K] s R K, we conclude that Ind G H(V ) R K C V V C R K. 8 (a) Let F p denote the fnte feld wth p elements. Suppose that [K : F p ] = n, prove that K has p n elements. Proof. Let a 1,..., a n K be such that K = F p (a 1,..., a n ) and {a 1,..., a n } forms a bass for K over F p. Then each element β K can be wrtten as β = β 1 a β n a n where β k F p. Snce there are p possble choces for each β k, we see that K can contan at most p n dstnct elements. Now, suppose there are fewer than p n dstnct elements n K. Ths means that, for some β 1,..., β n, γ 1,..., γ n F p, β 1 a β n a n = γ 1 a γ n a n, or (β 1 γ 1 )a (β n γ n )a n = 0. Now, snce the a k form a bass for K as a vector space over F p, ths mples that β k γ k = 0

7 ALGEBRA MID-TERM 7 for all k = 1,..., n. Hence, β k = γ k and we see that dstnct lnear combnatons of the bass elements correspond to dstnct elements of K, meanng that K contans at least p n elements. Snce we ve shown that K p n and K p n, we conclude that K contans exactly p n elements. (b) Prove that f(x) = x 5 ax 1 Z[x] s rreducble unless a = 0, 2, 1. Proof. If f s not rreducble, then there are two cases to consder: t has a lnear factor, or t s the product of an rreducble cubc polynomal wth an rreducble quadratc. If f has a lnear factor, then ths mples that f has a root r Z,.e., r 5 ar 1 = 0. Ths mples that 1 = r 5 ar = r(r 4 a), so t must be true that r dvdes 1; that s, r = ±1. If r = 1 s a root of f, then 0 = f(r) = f(1) = 1 5 a(1) 1 = 1 a 1 = a, so t must be the case that a = 0. On the other hand, f r = 1 s a root of f, then 0 = f(r) = f( 1) = ( 1) 5 a( 1) 1 = 1 + a 1 = a 2, so t must be the case that a = 2. Snce these are the only possble nteger roots of f, we conclude that f s rreducble or only reduces nto factors wth degree greater than 1 unless a = 0, 2. Now, suppose x 5 ax 1 = f(x) = (hx 2 + bx + c)(jx 3 + dx 2 + ex + g). Then ether h = j = 1 or h = j = 1; wthout loss of generalty, we may assume that h = j = 1, so x 5 ax 1 = (x 2 + bx + c)(x 3 + dx 2 + ex + g) = x 5 + (b + d)x 4 + (c + bd + e)x 3 + (cd + be + g)x 2 + (ce + bg)x + cg. Ths gves us the followng system of equatons: b + d = 0 c + bd + e = 0 cd + be + g = 0 ce + bg = a cg = 1. Hence, we can conclude mmedately that d = b and c = ±1. Now, suppose c = 1. Then g = 1 and the system above reduces to: 1 b 2 + e = 0 b + be 1 = 0 e b = a.

8 8 CLAY SHONKWILER Hence, by the second lne, b(e 1) = 1 b = 1 e 1. Snce b must be an nteger, ths mples e = 0, 2. If e = 2, then b = 1 and so, by the frst equaton, 0 = 1 b 2 + e = = 2 whch s certanly not true. If e = 0, then b = 1 and so, by the thrd equaton n our revsed system, a = 1. On the other hand, suppose c = 1. Then g = 1 and the orgnal system of equatons reduces to: Hence, by the second lne, 1 b 2 + e = 0 b + be + 1 = 0 b e = a b(e + 1) = 1 b = 1 e + 1. Snce b s an nteger, ths mples that b = ±1, whch means that b 2 = 1. By the frst equaton, then 0 = 1 b 2 + e = e = e 2 e = 2. However, f e = 2, then b = 1 e + 1 = = 1 / Z. 3 Hence, we conclude that c 1. Therefore, we see that f can only be factored nto the product of a cubc and a quadratc f a = 1. Combned wth our other two possble values of a that make f reducble, 0 and 2, we conclude that f s rreducble unless a = 0, 2, 1. DRL 3E3A, Unversty of Pennsylvana E-mal address: shonkwl@math.upenn.edu

FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP

FACTORIZATION 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 information

ALGEBRA HW 7 CLAY SHONKWILER

ALGEBRA 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 information

where 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

where 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 information

Math 101 Fall 2013 Homework #7 Due Friday, November 15, 2013

Math 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 information

THE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens

THE 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 information

APPENDIX A Some Linear Algebra

APPENDIX 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 information

where a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets

where 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 information

12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product

12 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 information

Inner Product. Euclidean Space. Orthonormal Basis. Orthogonal

Inner 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 information

MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS

MATH 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 information

Problem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?

Problem Do any of the following determine homomorphisms from GL n (C) to GL n (C)? Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2

More information

MTH 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/ 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 information

FINITELY-GENERATED MODULES OVER A PRINCIPAL IDEAL DOMAIN

FINITELY-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 information

An Introduction to Morita Theory

An 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 information

Lecture 14 - Isomorphism Theorem of Harish-Chandra

Lecture 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 information

THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.

THERE 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 information

Lectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix

Lectures - 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 information

SL n (F ) Equals its Own Derived Group

SL 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 information

Errata to Invariant Theory with Applications January 28, 2017

Errata to Invariant Theory with Applications January 28, 2017 Invarant Theory wth Applcatons Jan Drasma and Don Gjswjt http: //www.wn.tue.nl/~jdrasma/teachng/nvtheory0910/lecturenotes12.pdf verson of 7 December 2009 Errata and addenda by Darj Grnberg The followng

More information

LECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.

LECTURE 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 information

Representation theory and quantum mechanics tutorial Representation theory and quantum conservation laws

Representation 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 information

Quantum Mechanics for Scientists and Engineers. David Miller

Quantum Mechanics for Scientists and Engineers. David Miller Quantum Mechancs for Scentsts and Engneers Davd Mller Types of lnear operators Types of lnear operators Blnear expanson of operators Blnear expanson of lnear operators We know that we can expand functons

More information

REDUCTION 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. 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 information

Polynomials. 1 More properties of polynomials

Polynomials. 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 information

Fixed points of IA-endomorphisms of a free metabelian Lie algebra

Fixed 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 information

Restricted Lie Algebras. Jared Warner

Restricted 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 information

DISCRIMINANTS 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. 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 information

Affine transformations and convexity

Affine 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 information

Section 8.3 Polar Form of Complex Numbers

Section 8.3 Polar Form of Complex Numbers 80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the

More information

On the partial orthogonality of faithful characters. Gregory M. Constantine 1,2

On 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 information

COMPLEX NUMBERS AND QUADRATIC EQUATIONS

COMPLEX 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 information

Lecture Notes Introduction to Cluster Algebra

Lecture 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 information

Math 594. Solutions 1

Math 594. Solutions 1 Math 594. Solutons 1 1. Let V and W be fnte-dmensonal vector spaces over a feld F. Let G = GL(V ) and H = GL(W ) be the assocated general lnear groups. Let X denote the vector space Hom F (V, W ) of lnear

More information

Dirichlet s Theorem In Arithmetic Progressions

Dirichlet 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 information

Linear, affine, and convex sets and hulls In the sequel, unless otherwise specified, X will denote a real vector space.

Linear, 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 information

2 More examples with details

2 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 information

DIFFERENTIAL FORMS BRIAN OSSERMAN

DIFFERENTIAL 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 information

P.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen

P.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 information

DIFFERENTIAL SCHEMES

DIFFERENTIAL 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 information

a b a In case b 0, a being divisible by b is the same as to say that

a 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 information

1 Matrix representations of canonical matrices

1 Matrix representations of canonical matrices 1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:

More information

Differential Polynomials

Differential 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 information

Bezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0

Bezier curves. Michael S. Floater. August 25, These notes provide an introduction to Bezier curves. i=0 Bezer curves Mchael S. Floater August 25, 211 These notes provde an ntroducton to Bezer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of the

More information

Homework 1 Lie Algebras

Homework 1 Lie Algebras Homework 1 Le Algebras Joshua Ruter February 9, 018 Proposton 0.1 Problem 1.7a). Let A be a K-algebra, wth char K. Then A s alternatve f and only f the folowng two lnear) denttes hold for all a, b, y A.

More information

SUCCESSIVE MINIMA AND LATTICE POINTS (AFTER HENK, GILLET AND SOULÉ) M(B) := # ( B Z N)

SUCCESSIVE 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 information

Semilattices of Rectangular Bands and Groups of Order Two.

Semilattices 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 information

Week 2. This week, we covered operations on sets and cardinality.

Week 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 information

arxiv: v1 [math.ac] 17 Jun 2015

arxiv: v1 [math.ac] 17 Jun 2015 WHEN IS A SUBGROUP OF A RING AN IDEAL? arxv:1506.05513v1 [math.ac] 17 Jun 2015 SUNIL K. CHEBOLU AND CHRISTINA L. HENRY Abstract. Let R be a commutatve rng. When s a subgroup of (R,+) an deal of R? We nvestgate

More information

Difference Equations

Difference 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 information

However, since P is a symmetric idempotent matrix, of P are either 0 or 1 [Eigen-values

However, since P is a symmetric idempotent matrix, of P are either 0 or 1 [Eigen-values Fall 007 Soluton to Mdterm Examnaton STAT 7 Dr. Goel. [0 ponts] For the general lnear model = X + ε, wth uncorrelated errors havng mean zero and varance σ, suppose that the desgn matrx X s not necessarly

More information

SMARANDACHE-GALOIS FIELDS

SMARANDACHE-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 information

2.3 Nilpotent endomorphisms

2.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 information

n α 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

n α 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 information

C/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1

C/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1 C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned

More information

= s j Ui U j. i, j, then s F(U) with s Ui F(U) G(U) F(V ) G(V )

= 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 information

Polynomials. 1 What is a polynomial? John Stalker

Polynomials. 1 What is a polynomial? John Stalker Polynomals John Stalker What s a polynomal? If you thnk you already know what a polynomal s then skp ths secton. Just be aware that I consstently wrte thngs lke p = c z j =0 nstead of p(z) = c z. =0 You

More information

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 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 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 information

Module 2. Random Processes. Version 2 ECE IIT, Kharagpur

Module 2. Random Processes. Version 2 ECE IIT, Kharagpur Module Random Processes Lesson 6 Functons of Random Varables After readng ths lesson, ou wll learn about cdf of functon of a random varable. Formula for determnng the pdf of a random varable. Let, X be

More information

Restricted divisor sums

Restricted divisor sums ACTA ARITHMETICA 02 2002) Restrcted dvsor sums by Kevn A Broughan Hamlton) Introducton There s a body of work n the lterature on varous restrcted sums of the number of dvsors of an nteger functon ncludng

More information

Kuroda s class number relation

Kuroda s class number relation ACTA ARITMETICA XXXV (1979) Kurodas class number relaton by C. D. WALTER (Dubln) Kurodas class number relaton [5] may be derved easly from that of Brauer [2] by elmnatng a certan module of unts, but the

More information

8.1 Arc Length. What is the length of a curve? How can we approximate it? We could do it following the pattern we ve used before

8.1 Arc Length. What is the length of a curve? How can we approximate it? We could do it following the pattern we ve used before .1 Arc Length hat s the length of a curve? How can we approxmate t? e could do t followng the pattern we ve used before Use a sequence of ncreasngly short segments to approxmate the curve: As the segments

More information

Bézier curves. Michael S. Floater. September 10, These notes provide an introduction to Bézier curves. i=0

Bézier curves. Michael S. Floater. September 10, These notes provide an introduction to Bézier curves. i=0 Bézer curves Mchael S. Floater September 1, 215 These notes provde an ntroducton to Bézer curves. 1 Bernsten polynomals Recall that a real polynomal of a real varable x R, wth degree n, s a functon of

More information

28 Finitely Generated Abelian Groups

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 information

Genericity of Critical Types

Genericity 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 information

Foundations of Arithmetic

Foundations 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 information

GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n

GELFAND-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 information

PRIMES 2015 reading project: Problem set #3

PRIMES 2015 reading project: Problem set #3 PRIMES 2015 readng project: Problem set #3 page 1 PRIMES 2015 readng project: Problem set #3 posted 31 May 2015, to be submtted around 15 June 2015 Darj Grnberg The purpose of ths problem set s to replace

More information

12. The Hamilton-Jacobi Equation Michael Fowler

12. The Hamilton-Jacobi Equation Michael Fowler 1. The Hamlton-Jacob Equaton Mchael Fowler Back to Confguraton Space We ve establshed that the acton, regarded as a functon of ts coordnate endponts and tme, satsfes ( ) ( ) S q, t / t+ H qpt,, = 0, and

More information

D.K.M COLLEGE FOR WOMEN (AUTONOMOUS), VELLORE DEPARTMENT OF MATHEMATICS

D.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 information

POL VAN HOFTEN (NOTES BY JAMES NEWTON)

POL 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 information

BOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS

BOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all

More information

Solutions to the 71st William Lowell Putnam Mathematical Competition Saturday, December 4, 2010

Solutions to the 71st William Lowell Putnam Mathematical Competition Saturday, December 4, 2010 Solutons to the 7st Wllam Lowell Putnam Mathematcal Competton Saturday, December 4, 2 Kran Kedlaya and Lenny Ng A The largest such k s n+ 2 n 2. For n even, ths value s acheved by the partton {,n},{2,n

More information

HOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS. 1. Recollections and the problem

HOPF 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 information

8.6 The Complex Number System

8.6 The Complex Number System 8.6 The Complex Number System Earler n the chapter, we mentoned that we cannot have a negatve under a square root, snce the square of any postve or negatve number s always postve. In ths secton we want

More information

Lorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3

Lorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3 Lorentz Group Lng Fong L ontents Lorentz group. Generators............................................. Smple representatons..................................... 3 Lorentz group In the dervaton of Drac

More information

5 The Rational Canonical Form

5 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 information

7. Products and matrix elements

7. Products and matrix elements 7. Products and matrx elements 1 7. Products and matrx elements Based on the propertes of group representatons, a number of useful results can be derved. Consder a vector space V wth an nner product ψ

More information

Professor Terje Haukaas University of British Columbia, Vancouver The Q4 Element

Professor Terje Haukaas University of British Columbia, Vancouver  The Q4 Element Professor Terje Haukaas Unversty of Brtsh Columba, ancouver www.nrsk.ubc.ca The Q Element Ths document consders fnte elements that carry load only n ther plane. These elements are sometmes referred to

More information

Advanced Quantum Mechanics

Advanced Quantum Mechanics Advanced Quantum Mechancs Rajdeep Sensarma! sensarma@theory.tfr.res.n ecture #9 QM of Relatvstc Partcles Recap of ast Class Scalar Felds and orentz nvarant actons Complex Scalar Feld and Charge conjugaton

More information

INTERSECTION THEORY CLASS 13

INTERSECTION THEORY CLASS 13 INTERSECTION THEORY CLASS 13 RAVI VAKIL CONTENTS 1. Where we are: Segre classes of vector bundles, and Segre classes of cones 1 2. The normal cone, and the Segre class of a subvarety 3 3. Segre classes

More information

Cocyclic Butson Hadamard matrices and Codes over Z n via the Trace Map

Cocyclic Butson Hadamard matrices and Codes over Z n via the Trace Map Contemporary Mathematcs Cocyclc Butson Hadamard matrces and Codes over Z n va the Trace Map N. Pnnawala and A. Rao Abstract. Over the past couple of years trace maps over Galos felds and Galos rngs have

More information

9 Characteristic classes

9 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 information

Solutions to Problem Set 6

Solutions to Problem Set 6 Solutons to Problem Set 6 Problem 6. (Resdue theory) a) Problem 4.7.7 Boas. n ths problem we wll solve ths ntegral: x sn x x + 4x + 5 dx: To solve ths usng the resdue theorem, we study ths complex ntegral:

More information

SELECTED SOLUTIONS, SECTION (Weak duality) Prove that the primal and dual values p and d defined by equations (4.3.2) and (4.3.3) satisfy p d.

SELECTED SOLUTIONS, SECTION (Weak duality) Prove that the primal and dual values p and d defined by equations (4.3.2) and (4.3.3) satisfy p d. SELECTED SOLUTIONS, SECTION 4.3 1. Weak dualty Prove that the prmal and dual values p and d defned by equatons 4.3. and 4.3.3 satsfy p d. We consder an optmzaton problem of the form The Lagrangan for ths

More information

PHYS 705: Classical Mechanics. Calculus of Variations II

PHYS 705: Classical Mechanics. Calculus of Variations II 1 PHYS 705: Classcal Mechancs Calculus of Varatons II 2 Calculus of Varatons: Generalzaton (no constrant yet) Suppose now that F depends on several dependent varables : We need to fnd such that has a statonary

More information

Character Degrees of Extensions of PSL 2 (q) and SL 2 (q)

Character Degrees of Extensions of PSL 2 (q) and SL 2 (q) Character Degrees of Extensons of PSL (q) and SL (q) Donald L. Whte Department of Mathematcal Scences Kent State Unversty, Kent, Oho 444 E-mal: whte@math.kent.edu July 7, 01 Abstract Denote by S the projectve

More information

Math 205A Homework #2 Edward Burkard. Assume each composition with a projection is continuous. Let U Y Y be an open set.

Math 205A Homework #2 Edward Burkard. Assume each composition with a projection is continuous. Let U Y Y be an open set. Math 205A Homework #2 Edward Burkard Problem - Determne whether the topology T = fx;?; fcg ; fa; bg ; fa; b; cg ; fa; b; c; dgg s Hausdor. Choose the two ponts a; b 2 X. Snce there s no two dsjont open

More information

18.781: Solution to Practice Questions for Final Exam

18.781: Solution to Practice Questions for Final Exam 18.781: Soluton to Practce Questons for Fnal Exam 1. Fnd three solutons n postve ntegers of x 6y = 1 by frst calculatng the contnued fracton expanson of 6. Soluton: We have 1 6=[, ] 6 6+ =[, ] 1 =[,, ]=[,,

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.

( 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 information

Linear Approximation with Regularization and Moving Least Squares

Linear Approximation with Regularization and Moving Least Squares Lnear Approxmaton wth Regularzaton and Movng Least Squares Igor Grešovn May 007 Revson 4.6 (Revson : March 004). 5 4 3 0.5 3 3.5 4 Contents: Lnear Fttng...4. Weghted Least Squares n Functon Approxmaton...

More information

THE CLASS NUMBER THEOREM

THE 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 information

Lecture 6/7 (February 10/12, 2014) DIRAC EQUATION. The non-relativistic Schrödinger equation was obtained by noting that the Hamiltonian 2

Lecture 6/7 (February 10/12, 2014) DIRAC EQUATION. The non-relativistic Schrödinger equation was obtained by noting that the Hamiltonian 2 P470 Lecture 6/7 (February 10/1, 014) DIRAC EQUATION The non-relatvstc Schrödnger equaton was obtaned by notng that the Hamltonan H = P (1) m can be transformed nto an operator form wth the substtutons

More information

Maximizing the number of nonnegative subsets

Maximizing 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 information

First day August 1, Problems and Solutions

First 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 information

The Ramanujan-Nagell Theorem: Understanding the Proof By Spencer De Chenne

The 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 information

inv lve a journal of mathematics 2008 Vol. 1, No. 1 Divisibility of class numbers of imaginary quadratic function fields

inv 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 information

Quantum Mechanics I - Session 4

Quantum Mechanics I - Session 4 Quantum Mechancs I - Sesson 4 Aprl 3, 05 Contents Operators Change of Bass 4 3 Egenvectors and Egenvalues 5 3. Denton....................................... 5 3. Rotaton n D....................................

More information

Canonical transformations

Canonical 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 information

NOTES ON SIMPLIFICATION OF MATRICES

NOTES ON SIMPLIFICATION OF MATRICES NOTES ON SIMPLIFICATION OF MATRICES JONATHAN LUK These notes dscuss how to smplfy an (n n) matrx In partcular, we expand on some of the materal from the textbook (wth some repetton) Part of the exposton

More information

Recursion and growth estimates in quantum field theory

Recursion and growth estimates in quantum field theory Recurson and growth estmates n quantum feld theory Karen Yeats Boston Unversty Aprl 9, 2007 Johns Hopns Unversty Some recursve equatons Start n the mddle γ (x) = γ (x)( rx x )γ (x) γ,n = p(n) ( rj )γ,j

More information