ALGEBRA HW 7 CLAY SHONKWILER
|
|
- Crystal Snow
- 5 years ago
- Views:
Transcription
1 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 π. For the others, explan why not. Z, Z (5), Z[1/5], R[x], R[x] (x 2), R[x, 1/(x 2)], Q[x] (x 2 +1), C[x, y] (x,y), ( R[x, y]/(x 2 + y 2 1) ) (x 1,y), ( R[x, y]/(y 2 x 3 ) ) (x,y). Answer: Z: Z s not a d.v.r., snce Z has maxmal deals (p) for p prme; that s, Z s not a local rng. Z (5) : Z (5) s a d.v.r., wth maxmal deal m = (5). The unformzer s π = 5, snce every deal s of the form (5 a ). The fracton feld K = frac Z (5) s { a } K = b : a, b Z (5), b 0 = Q. Fnally, the resdue feld s k = Z (5) /(5) = Z/5. Z[1/5]: Z[1/5] s not a d.v.r., snce Z[1/5] has maxmal deals (p) where p prme and p 5; that s, Z[1/5] s not local. R[x]: R[x] s not a d.v.r., snce (x a) s a maxmal deal of R[x] for all a; that s, R[x] s not a local rng. R[x] (x 2) : R[x] (x 2) s a d.v.r., wth maxmal deal m = (x 2). The unformzer s π = x 2. The fracton feld K = frac R[x] (x 2) s { } f(x) K = g(x) f(x), g(x) R[x] (x 2), g(x) 0 = R(x). The resdue feld s k = R[x] (x 2) /(x 2) = R. R[x, 1/(x 2)]: Ths s not a d.v.r., snce, n R[x, 1/(x 2)], (x a) s a maxmal deal for a 2; that s, R[x, 1/(x 2)] s not a local rng. Q[x] (x 2 +1): Ths s a d.v.r., wth maxmal deal m = (x 2 + 1). The unformzer s π = x The fracton feld K = frac Q[x] (x 2 +1) s K = { f g : f, g Q[x] (x 2 +1), g 0 The resdue feld s } = Q[x] (x 2 +1) k = Q[x] (x 2 +1)/(x 2 + 1) = Q[]. 1 ( 1 x ) = Q(x).
2 2 CLAY SHONKWILER C[x, y] (x,y) : C[x, y] (x,y) s not a d.v.r., snce t s not dmenson 1; specfcally, ( t s dmenson 2. R[x, y]/(x 2 + y 2 1) ) : Ths rng s a d.v.r., wth maxmal deal (x 1,y) m = (y). Ths s because x + 1 / (x 1, y), so 1 x+1 R and ( ) ( (x + 1)(x 1) x 2 ) ( ) 1 x 1 = = = y2 y x + 1 x + 1 x + 1 = y (y). x + 1 Hence, (x 1, y) = (y), so R s a d.v.r. wth unformzer π = y. Now, R(y) njects nto R and R(y)[x]/(x 2 + y 2 1) contans R. Snce x 2 + (y 2 1) s rreducble n R(y)[x], R(y)[x]/(x 2 + y 2 1) s a feld and so contans the fracton feld K = frac R. Now, K R(y) so, snce R(y)[x]/(x 2 + y 2 1) s a quadratc extenson of R(y), we see that ether K = R(y) or K = R(y)[x]/(x 2 + y 2 1). Clearly, R R(y), so we conclude that The resdue feld s K = R(y)[x]/(x 2 + y 2 1). k = ( R[x, y]/(x 2 + y 2 1) ) /(y) = R[x]/(x 1) = R. (x 1,y) ( R[x, y]/(y 2 x 3 ) ) (x,y) : As we saw n class, z = x y s n the ntegral closure of R, but s not contaned n R, so R s not ntegrally closed and, therefore, not a d.v.r. 2 Let R be a dscrete valuaton rng wth fracton feld K, maxmal deal m, and dscrete valuaton v. If a, b K, defne ρ(a, b) = 2 v(a b) f a b, and defne ρ(a, a) = 0. (a): Show that ρ defnes a metrc on K. Proof. Suppose ρ(a, b) = 0. Then 2 v(a b) = 0 or a = b. However, snce 2 c > 0 for all c Z, only the latter case obtans, so a = b. On the other hand, by defnton, ρ(a, a) = 0. To show symmetry, note frst that symmetry s trval n the case that a = b. Thus, suppose π s the unformzer of the dscrete valuaton. Then, for a, b K, a b, a b = uπ n where u R and v(a b) = n. Then b a = (a b) = uπ n ; snce u R, v(b a) = n = v(a b). Hence, so ρ s symmetrc. ρ(a, b) = 2 v(a b) = 2 v(b a) = ρ(b, a),
3 ALGEBRA HW 7 3 To see that ρ satsfes the trangle nequalty, suppose a, b, c K. If b = a or b = c, the trangle nequalty s trval, so suppose that b a and b c. Smlarly f a = c, then the trangle nequalty s trval, so assume a c. Then v(a c) = v(a b + b c) mn{v(a b), v(b c)}, so 2 v(a c) max { 2 v(a b), 2 v(b c)}. Hence, snce 2 n > 0 for all n Z, ρ(a, c) = 2 v(a c) 2 v(a b) + 2 v(b c) = ρ(a, b) + ρ(b, c). (b): Show that ρ s an ultrametrc (=non-archmedan metrc);.e., t satsfes the strong trangle nequalty ρ(a, c) max(ρ(a, b), ρ(b, c)). Proof. Let a, b, c K. If a = c, then ρ(a, c) = 0 max{ρ(a, b), ρ(b, c)} trvally. If b = a or b = c then ths statement s trval, so assume b a, b c, a c. Then n part (a) we saw that { ρ(a, c) = 2 v(a c) max 2 v(a b), 2 v(b c)} = max{ρ(a, b), ρ(b, c)}. (c): Show that (K, ρ) s a topologcal feld,.e. that t s a topologcal space n whch addton and multplcaton defne contnuous maps K K K. Proof. K s certanly a topologcal space under the metrc topology, and K K s a topologcal space under the product topology. Let (a, b) K K and let ɛ > 0. If (c, d) K K such that 0 < ρ(a, c) < ɛ and 0 < ρ(b, d) < ɛ, then, f a + b c + d, ρ(a + b, c + d) = 2 v((a+b) (c+d)) = 2 v((a c)+(b d)) max {2 v(a c), 2 v(b d)} = max{ρ(a, c), ρ(b, d)} < ɛ. Obvously f a + b = c + d, then ρ(a + b, c + d) = 0 < ɛ. Therefore, snce our choce of ɛ > 0 was arbtrary, we see that the functon defned by addton s contnuous at (a, b). Snce our choce of (a, b) was arbtrary, ths mples that addton, as a map K K K, s contnuous. Turnng to multplcaton, agan let (a, b) K K and let ɛ > 0. ɛ Let δ 1 = max{1,ρ(b,0)} and let δ ɛ 2 = max{δ 1,ρ(a,0)}. Now, f (c, d) K K such that ρ(a, c) < δ 1 and ρ(b, d) < δ 2, then, so long as ab cd (f ab = cd then ρ(ab, cd) = 0 < ɛ), (1) ρ(ab, cd) max {ρ(ab, cb), ρ(bc, cd)}.
4 4 CLAY SHONKWILER (2) (3) Now, f ab = cb, then ρ(ab, cb) = 0 < ɛ. If ab cb, then b 0 and a c. Hence, ρ(ab, cb) = 2 v(ab cb) = 2 v(b(a c)) = 2 (v(b)+v(a c)) = 2 v(b) 2 v(a c) = ρ(b, 0) ρ(a, c) < ρ(b, 0)δ 1 ɛ < ρ(b, 0) ρ(b, 0) = ɛ. Thus, ρ(ab, cb) < ɛ. On the other hand, f bc = cd, then ρ(bc, cd) = 0 < ɛ. If bc cd, then c 0 and b d. Hence, ρ(bc, cd) = 2 v(bc cd) = 2 v(c(b d)) = 2 (v(c)+v(b d)) = 2 v(c) 2 v(b d) = ρ(c, 0) ρ(b, d) (max{ρ(c, a), ρ(a, 0)}) ρ(b, d) = (max{δ 1, ρ(a, 0)}) ρ(b, d) ɛ < (max{δ 1, ρ(a, 0)}) max{δ 1, ρ(a, 0)} = ɛ. Thus, ρ(bc, cd) < ɛ. Therefore, combnng (1), (2) and (3), we see that ρ(ab, cd) max {ρ(ab, cb), ρ(bc, cd)} < ɛ. Snce our choce of ɛ was arbtrary, we see that the functon from K K K defned by multplcaton s contnuous at (a, b); snce our choce of (a, b) was arbtrary, we see that multplcaton s contnuous on all of K K. Thus, havng shown that K s a topologcal space and that addton and multplcaton defned contnuous functons K K K, we conclude that K s a topologcal feld. (d): Show that n K, the closed unt dsc about 0 s R and the open unt dsc about 0 s m. Proof. Recall that R = {a K : v(a) 0}. Then, for any a R, v(a) 0 and so 2 v(a) 1. ρ(0, a) = ρ(a, 0) = 2 v(a 0) = 2 v(a) 1.
5 ALGEBRA HW 7 5 So R = {a K : ρ(0, a) 1}, the closed unt dsc n K. Now, the maxmal deal m = {a R : v(a) > 0}. Hence, f a m, v(a) > 0, so 2 v(a) < 1, so ρ(0, a) = ρ(a, 0) = 2 v(a 0) = 2 v(a) < 1. Thus, m = {a K : ρ(0, a) < 1}, the open unt dsc n K. 3 Let K be a feld and let f(x) K[x] be a non-zero polynomal of degree n. (a): Show that f a K s a root of f, then (x a) dvdes f(x) n K[x]. Proof. We prove ths by nducton on the degree of f. Note that, snce we re n a feld, we may as well assume f s monc. If the degree of f s 1, then f(x) = x b, so f a s a root of f, a b = 0, so a = b. Now, suppose that, f a s a root of f mples (x a) dvdes f(x) for all polynomals such that deg(f) = k. Then, f f(x) K[x] such that deg(f) = k + 1 and a s a root of f, then f(x) = x k+1 + c k x k c 1 x + c 0. Consder the frst step of the dvson algorthm: x a Now, let ) x n 1 x n + c n 1 x n 1 + c n 2 x n c 1 x + c 0 x n ax n 1 (c n 1 a)x n 1 + c n 2 x n c 1 x + c 0 g(x) = f(x) x k (x a) = (c k + a)x k + c k 1 x k c 1 x + c 0. Then, f a s a root of f, g(a) = (c k +a)a k +c k 1 a k c 1 (a)+c 0 = a k+1 +c k a k +...+c 1 (a)+c 0 = f(a) = 0, so a s also a root of g. Now, snce deg(g) = k, we know, by the nducton hypothess, that (x a) dvdes g(x), so g(x) = (x a)h(x). Therefore, f(x) = x k (x a) + g(x) = x k (x a) + h(x)(x a) = (x k + h(x))(x a), so x a dvdes f(x). (b): Deduce that f has at most n roots n K.
6 6 CLAY SHONKWILER Proof. Let a 1 be a root of f. Then, by part (a), f(x) = (x a 1 )f 1 (x), for some f 1 (x) K[x] wth deg(f 1 ) = n 1. Then, f a 2 s another root of f, then a 2 must also be a root of f 1, so f(x) = (x a 1 )(x a 2 )f 2 (x) where deg(f 2 ) = n 2. Iteratng ths process, we see that we eventually factor f nto a product of rreducbles; n ths factorzaton, there can be at most n lnear factors, and, thus, at most n assocated roots of f. Snce K[x] s a UFD, ths factorzaton s unque up to multplcaton by a constant, so f s not dvsble by any lnear factors not appearng n ths factorzaton. Hence, f b s a root of f, then, by (a), x b must dvde f(x), so t must already appear n ths factorzaton. Therefore, we see that there are at most n roots of f. (c): Wll the argument and concluson of part (b) stll hold f K s replaced by a dvson algebra? Explan. Answer: If K s replaced by a dvson algebra, the result n part (b) no longer holds. To see why, consder the dvson algebra H and the polynomal x n H[x]. Then ±, ±j and ±k are all roots of x 2 + 1, so ths polynomal has at least sx roots n H despte only beng of degree 2. The reason (b) fals f K s replaced by a dvson algebra s that K[x] s not necessarly a UFD f K s a dvson algebra, and we defntely needed unque factorzaton n part (b). 4 Let R be a commutatve rng of characterstc p (where p s prme) and defne F : R R by a a p. (a): Show that F s a rng endomorphsm. Proof. Clearly, F (0) = 0 p = 0 and F (1) = 1 p = 1. Now, f a, b R, then F (ab) = (ab) p = a p b p = F (a)f (b). Also, ( ) ( ) p p F (a+b) = (a+b) p = a p + a p 1 b+...+ ab p 1 +b p = a p +b p = F (a)+f (b), 1 p 1 snce ( p k) s a multple of p for 1 k p 1. Therefore, we see that F preserves the denttes, addton and multplcaton, so F : R R s an endomorphsm.
7 ALGEBRA HW 7 7 (b): If R s a feld, determne whch elements le n the set {a R F (a) = a}. Answer: If a {a R F (a) = a}, then a s a root of the polynomal x p x. On the other hand, roots of ths polynomal are certanly n the set, so we see that {a R F (a) = a} = {a R a s a root of x p x}. Now, by 3(b) above, x p p has at most p roots n K. On the other hand, snce K s a feld of characterstc p, t contans the prme feld Z/p. Now, f a Z/p, then a = ; hence, a p = ( ) p = 1 p +( ) p =... = 1 p p = = a, so a s a root of x p x. Thus, all elements of Z/p are roots of ths polynomal, so there are at least p roots (snce there are p elements of Z/p). Therefore, we conclude that there are exactly p roots of x p p n R, the elements of Z/p. So Z/p = {a R F (a) = a} where Z/p s consdered as contaned n R. (c): If R s a feld, must F be njectve? surjectve? Answer: If R s a feld, then F : R R s an endomorphsm by (a), so ker F s an deal of R. Certanly F (1) = 1, so ker F R; the only other deal of R s (0), so ker F = (0). Hence, F s njectve. On the other hand, suppose R = Z/p(x). Then R s a feld. Consder the element x R. If x = F (a) = a p for some a R, then a = f(x) g(x) for f(x), g(x) Z/p[x] and ( ) f(x) p x = = (f(x))p g(x) (g(x)) p, so xg(x) p = f(x) p. If a n x n s the hghest-order term of g(x) and b m x m s the hghest-order term of f(x), then ths mples that a n x np+1 = b m x mp, so a n = b m and np + 1 = mp, whch s clearly mpossble, snce p > 1. Therefore, we see that there s no element of R mappng to x, so F : R R s not surjectve. (d): If R s a fnte feld, show that F s an automorphsm. Proof. We showed, n (c), that F : R R s an njecton. Snce an njectve map from a fnte set to tself must be surjectve, ths suffces to show that F : R R s a bjecton. Snce F s also an endomorphsm, ths mples that F s an automorphsm.
8 8 CLAY SHONKWILER 5 Let K be a feld and let G be a subgroup of the multplcatve group K = K {0}. (a): Show that f a, b K have fnte orders m, n, then there s a c K whose order s the least common multple of m, n. Proof. Frst, suppose m and n are relatvely prme. Then the l.c.m. of m and n s mn. Now, consder ab. Frst, note that (ab) mn = a mn b mn = (a m ) n (b n ) m = 1. Furthermore, f 1 = (ab) k = a k b k, then b k = ( a k) 1 = a k. Snce the order of a k dvdes m and the order of b k dvdes n and m and n are relatvely prme, we see that b k = a k has order 1;.e. a k = b k = 1. Hence, k s a multple of both m and n, and so k s a multple of mn. Therefore, we see that the order of ab s mn, the l.c.m. of m and n. More generally, f a and b have orders m and n, respectvely, let l be the l.c.m. of m and n. Then l = p α 1 1 pα k for p prme and m, then a m/(pα ) has order p α α N. Now, f p α p α n, then a n/(pα c K such that c has order p α k c = =1 k ) has order p α ; smlarly, f. Hence, for each, there exsts. Let c. Then, snce p α and p α j j are relatvely prme for all j, the result proved above demonstrates that c has order k p α = l. =1 (b): Show that f G s fnte then t s cyclc. Proof. Let l = the l.c.m. of the orders of the elements of G. Then #(G) s a multple of l. By 3(b), there are at most l roots of the polynomal x l 1 n K. On the other hand, f a G, then a l = 1 snce l s a multple of the order of a. Hence, each element of G s a root of x l 1, so #(G) = l and the elements of G are all the roots of x l 1. Now, by part (a), there exsts c K such that the order of c s l. Snce c s, thereby, a root of x l 1, c G. Snce all the powers of c are also solutons of x l 1, the l dstnct powers of c are precsely the elements of G, so we see that G = c s cyclc.
9 ALGEBRA HW 7 9 (c): Conclude that f K L s an extenson of fnte felds, then L = K[a] for some a K. Proof. Snce L s fnte, L s also fnte and so, by part (b) above, L s cyclc. Let a L be a generator of L ; then L = K[a]. DRL 3E3A, Unversty of Pennsylvana E-mal address: shonkwl@math.upenn.edu
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.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More 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 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 informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More 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 informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationp-adic Galois representations of G E with Char(E) = p > 0 and the ring R
p-adc Galos representatons of G E wth Char(E) = p > 0 and the rng R Gebhard Böckle December 11, 2008 1 A short revew Let E be a feld of characterstc p > 0 and denote by σ : E E the absolute Frobenus endomorphsm
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 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 informationThe Ramanujan-Nagell Theorem: Understanding the Proof By Spencer De Chenne
The Ramanujan-Nagell Theorem: Understandng the Proof By Spencer De Chenne 1 Introducton The Ramanujan-Nagell Theorem, frst proposed as a conjecture by Srnvasa Ramanujan n 1943 and later proven by Trygve
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationTHE CLASS NUMBER THEOREM
THE CLASS NUMBER THEOREM TIMUR AKMAN-DUFFY Abstract. In basc number theory we encounter the class group (also known as the deal class group). Ths group measures the extent that a rng fals to be a prncpal
More informationMath 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 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 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 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 information18.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 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 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 informationMTH 819 Algebra I S13. Homework 1/ Solutions. 1 if p n b and p n+1 b 0 otherwise ) = 0 if p q or n m. W i = rw i
MTH 819 Algebra I S13 Homework 1/ Solutons Defnton A. Let R be PID and V a untary R-module. Let p be a prme n R and n Z +. Then d p,n (V) = dm R/Rp p n 1 Ann V (p n )/p n Ann V (p n+1 ) Note here that
More 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 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 informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
More 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 informationSmarandache-Zero Divisors in Group Rings
Smarandache-Zero Dvsors n Group Rngs W.B. Vasantha and Moon K. Chetry Department of Mathematcs I.I.T Madras, Chenna The study of zero-dvsors n group rngs had become nterestng problem snce 1940 wth the
More informationExample: (13320, 22140) =? Solution #1: The divisors of are 1, 2, 3, 4, 5, 6, 9, 10, 12, 15, 18, 20, 27, 30, 36, 41,
The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no confuson
More 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 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 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 informationREAL ANALYSIS I HOMEWORK 1
REAL ANALYSIS I HOMEWORK CİHAN BAHRAN The questons are from Tao s text. Exercse 0.0.. If (x α ) α A s a collecton of numbers x α [0, + ] such that x α
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More 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 informationIDEAL FACTORIZATION. Theorem 1.2. For elements α and β in a commutative ring, α β as elements if and only if (α) (β) as ideals.
IDEAL FACTORIZATION KEITH CONRAD 1. Introducton We wll prove here the fundamental theorem of deal theory n number felds: every nonzero proper deal n the ntegers of a number feld admts unque factorzaton
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 information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
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 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 informationinv lve a journal of mathematics 2008 Vol. 1, No. 1 Divisibility of class numbers of imaginary quadratic function fields
nv lve a journal of mathematcs Dvsblty of class numbers of magnary quadratc functon felds Adam Merberg mathematcal scences publshers 2008 Vol. 1, No. 1 INVOLVE 1:1(2008) Dvsblty of class numbers of magnary
More 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 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 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 informationOn the Reducibility of Cyclotomic Polynomials over Finite Fields
On the Reducblty of Cyclotomc Polynomals over Fnte Felds Brett Harrson under the drecton of Mk Havlíčková Massachusetts Insttute of Technology Research Scence Insttute August 2, 2005 Abstract The rreducblty
More informationMath 261 Exercise sheet 2
Math 261 Exercse sheet 2 http://staff.aub.edu.lb/~nm116/teachng/2017/math261/ndex.html Verson: September 25, 2017 Answers are due for Monday 25 September, 11AM. The use of calculators s allowed. Exercse
More informationPolynomials. 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 informationNOTES 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 informationSTARK S CONJECTURE IN MULTI-QUADRATIC EXTENSIONS, REVISITED
STARK S CONJECTURE IN MULTI-QUADRATIC EXTENSIONS, REVISITED Davd S. Dummt 1 Jonathan W. Sands 2 Brett Tangedal Unversty of Vermont Unversty of Vermont Unversty of Charleston Abstract. Stark s conjectures
More information(2mn, m 2 n 2, m 2 + n 2 )
MATH 16T Homewk Solutons 1. Recall that a natural number n N s a perfect square f n = m f some m N. a) Let n = p α even f = 1,,..., k. be the prme factzaton of some n. Prove that n s a perfect square f
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
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 informationP.P. PROPERTIES OF GROUP RINGS. Libo Zan and Jianlong Chen
Internatonal Electronc Journal of Algebra Volume 3 2008 7-24 P.P. PROPERTIES OF GROUP RINGS Lbo Zan and Janlong Chen Receved: May 2007; Revsed: 24 October 2007 Communcated by John Clark Abstract. A rng
More informationPolynomial PSet Solutions
Polynomal PSet Solutons Note: Problems A, A2, B2, B8, C2, D2, E3, and E6 were done n class. (A) Values and Roots. Rearrange to get (x + )P (x) x = 0 for x = 0,,..., n. Snce ths equaton has roots x = 0,,...,
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 informationWe call V a Banach space if it is complete, that is to say every Cauchy sequences in V converges to an element of V. (a (k) a (l) n ) (a (l)
Queston 1 Part () Suppose (a n ) =. Then sup{ a N} =. But a for all, so t follows that a = for all, that s to say (a n ) =. Let (a n ) c and α C. Then αa = α α for each, so α(a n ) = (αa n ) = sup{ α a
More informationProblem 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 informationConstruction and number of self-dual skew codes over F _p 2
Constructon and number of self-dual skew codes over F _p 2 Delphne Boucher To cte ths verson: Delphne Boucher. Constructon and number of self-dual skew codes over F _p 2. Advances n Mathematcs of Communcatons,
More informationDifferential Polynomials
JASS 07 - Polynomals: Ther Power and How to Use Them Dfferental Polynomals Stephan Rtscher March 18, 2007 Abstract Ths artcle gves an bref ntroducton nto dfferental polynomals, deals and manfolds and ther
More 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 informationValuations compatible with a projection
ADERNOS DE MATEMÁTIA 05, 237 244 October (2004) ARTIGO NÚMERO SMA# 205 Valuatons compatble wth a projecton Fuensanta Aroca * Departamento de Matemátca, Insttuto de êncas Matemátcas e de omputação, Unversdade
More informationFactoring polynomials over Z4 and over certain Galois rings
Loughborough Unversty Insttutonal Repostory Factorng polynomals over Z4 and over certan Galos rngs Ths tem was submtted to Loughborough Unversty's Insttutonal Repostory by the/an author. Ctaton: SALAGEAN,
More informationSolutions for Tutorial 1
Toc 1: Sem-drect roducts Solutons for Tutoral 1 1. Show that the tetrahedral grou s somorhc to the sem-drect roduct of the Klen four grou and a cyclc grou of order three: T = K 4 (Z/3Z). 2. Show further
More informationCocyclic 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 informationOn the irreducibility of a truncated binomial expansion
On the rreducblty of a truncated bnomal expanson by Mchael Flaseta, Angel Kumchev and Dmtr V. Pasechnk 1 Introducton For postve ntegers k and n wth k n 1, defne P n,k (x = =0 ( n x. In the case that k
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #25 12/05/2013
18.782 Introducton to Arthmetc Geometry Fall 2013 Lecture #25 12/05/2013 25.1 Overvew of Mordell s theorem In the last lecture we proved that the torson subgroup of the ratonal ponts on an ellptc curve
More informationSection 3.6 Complex Zeros
04 Chapter Secton 6 Comple Zeros When fndng the zeros of polynomals, at some pont you're faced wth the problem Whle there are clearly no real numbers that are solutons to ths equaton, leavng thngs there
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationYong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )
Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often
More informationSome basic inequalities. Definition. Let V be a vector space over the complex numbers. An inner product is given by a function, V V C
Some basc nequaltes Defnton. Let V be a vector space over the complex numbers. An nner product s gven by a functon, V V C (x, y) x, y satsfyng the followng propertes (for all x V, y V and c C) (1) x +
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 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 informationErdős-Burgess constant of the multiplicative semigroup of the quotient ring off q [x]
Erdős-Burgess constant of the multplcatve semgroup of the quotent rng off q [x] arxv:1805.02166v1 [math.co] 6 May 2018 Jun Hao a Haol Wang b Lzhen Zhang a a Department of Mathematcs, Tanjn Polytechnc Unversty,
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More 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 information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
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 informationBasic Number Theory. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. Last revision: June 11, 2001
Basc Number Theory Instructor: Laszlo Baba Notes by Vncent Lucarell and the nstructor Last revson: June, 200 Notaton: Unless otherwse stated, all varables n ths note are ntegers. For n 0, [n] = {, 2,...,
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 informationOn the Nilpotent Length of Polycyclic Groups
JOURNAL OF ALGEBRA 203, 125133 1998 ARTICLE NO. JA977321 On the Nlpotent Length of Polycyclc Groups Gerard Endmon* C.M.I., Unerste de Proence, UMR-CNRS 6632, 39, rue F. Jolot-Cure, 13453 Marselle Cedex
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationTHE RING OF ARITHMETICAL FUNCTIONS WITH UNITARY CONVOLUTION: DIVISORIAL AND TOPOLOGICAL PROPERTIES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 40 (2004), 161 179 THE RING OF ARITHMETICAL FUNCTIONS WITH UNITARY CONVOLUTION: DIVISORIAL AND TOPOLOGICAL PROPERTIES JAN SNELLMAN Abstract. We study (A, +, ), the rng
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 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 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 informationSPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS
SPECIAL SUBSETS OF DIFFERENCE SETS WITH PARTICULAR EMPHASIS ON SKEW HADAMARD DIFFERENCE SETS ROBERT S. COULTER AND TODD GUTEKUNST Abstract. Ths artcle ntroduces a new approach to studyng dfference sets
More informationDIFFERENTIAL SCHEMES
DIFFERENTIAL SCHEMES RAYMOND T. HOOBLER Dedcated to the memory o Jerry Kovacc 1. schemes All rngs contan Q and are commutatve. We x a d erental rng A throughout ths secton. 1.1. The topologcal space. Let
More informationOn intransitive graph-restrictive permutation groups
J Algebr Comb (2014) 40:179 185 DOI 101007/s10801-013-0482-5 On ntranstve graph-restrctve permutaton groups Pablo Spga Gabrel Verret Receved: 5 December 2012 / Accepted: 5 October 2013 / Publshed onlne:
More informationFixed points of IA-endomorphisms of a free metabelian Lie algebra
Proc. Indan Acad. Sc. (Math. Sc.) Vol. 121, No. 4, November 2011, pp. 405 416. c Indan Academy of Scences Fxed ponts of IA-endomorphsms of a free metabelan Le algebra NAIME EKICI 1 and DEMET PARLAK SÖNMEZ
More informationTHE COMPLEXITY OF PRIMES IN COMPUTABLE UFDS
THE COMPLEXITY OF PRIMES IN COMPUTABLE UFDS DAMIR D. DZHAFAROV AND JOSEPH R. MILETI Abstract. In many smple ntegral domans, such as Z or Z[], there s a straghtforward procedure to determne f an element
More informationAlgebra of linear recurrence relations in arbitrary characteristic
Algebra of lnear recurrence relatons n arbtrary characterstc Nkola V. Ivanov Contents Preface 1. Dvded dervatves of polynomals 2. Sequences and dualty 3. Adjonts of the left shft and of dvded dervatves
More informationSolutions 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 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 informationMEM633 Lectures 7&8. Chapter 4. Descriptions of MIMO Systems 4-1 Direct Realizations. (i) x u. y x
MEM633 Lectures 7&8 Chapter 4 Descrptons of MIMO Systems 4- Drect ealzatons y() s s su() s y () s u () s ( s)( s) s y() s u (), s y() s u() s s s y() s u(), s y() s u() s ( s)( s) s () ( s ) y ( s) u (
More informationA p-adic PERRON-FROBENIUS THEOREM
A p-adic PERRON-FROBENIUS THEOREM ROBERT COSTA AND PATRICK DYNES Advsor: Clayton Petsche Oregon State Unversty Abstract We prove a result for square matrces over the p-adc numbers akn to the Perron-Frobenus
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 informationDigital Signal Processing
Dgtal Sgnal Processng Dscrete-tme System Analyss Manar Mohasen Offce: F8 Emal: manar.subh@ut.ac.r School of IT Engneerng Revew of Precedent Class Contnuous Sgnal The value of the sgnal s avalable over
More informationCharacter Degrees of Extensions of PSL 2 (q) and SL 2 (q)
Character Degrees of Extensons of PSL (q) and SL (q) Donald L. Whte Department of Mathematcal Scences Kent State Unversty, Kent, Oho 444 E-mal: whte@math.kent.edu July 7, 01 Abstract Denote by S the projectve
More informationSociété de Calcul Mathématique SA
Socété de Calcul Mathématque SA Outls d'ade à la décson Tools for decson help Probablstc Studes: Normalzng the Hstograms Bernard Beauzamy December, 202 I. General constructon of the hstogram Any probablstc
More informationSTEINHAUS PROPERTY IN BANACH LATTICES
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT STEINHAUS PROPERTY IN BANACH LATTICES DAMIAN KUBIAK AND DAVID TIDWELL SPRING 2015 No. 2015-1 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookevlle, TN 38505 STEINHAUS
More informationThe Second Anti-Mathima on Game Theory
The Second Ant-Mathma on Game Theory Ath. Kehagas December 1 2006 1 Introducton In ths note we wll examne the noton of game equlbrum for three types of games 1. 2-player 2-acton zero-sum games 2. 2-player
More informationHMMT February 2016 February 20, 2016
HMMT February 016 February 0, 016 Combnatorcs 1. For postve ntegers n, let S n be the set of ntegers x such that n dstnct lnes, no three concurrent, can dvde a plane nto x regons (for example, S = {3,
More information