SEMIGROUPS OF VALUATIONS DOMINATING LOCAL DOMAINS
|
|
- Prudence Barton
- 5 years ago
- Views:
Transcription
1 SEMIGROUPS OF VALUATIONS DOMINATING LOCAL DOMAINS STEVEN DALE CUTKOSKY Let (R, m R ) be a equicharacteristic local domai, with quotiet field K. Suppose that ν is a valuatio of K with valuatio rig (V, m V ). Suppose that ν domiates R; that is, R V ad m V R = m R. The possible value groups Γ of ν have bee extesively studied ad classified, icludig i the papers MacLae [8], MacLae ad Schillig [9], Zariski ad Samuel [12], ad Kuhlma [7]. The most basic fact is that there is a order preservig embeddig of Γ ito R with the lex order, where is the dimesio of R. The semigroup S R (ν) = {ν(f) f m R {0} is however ot well uderstood, although it is kow to ecode importat iformatio about the topology, resolutio of sigularities ad ideal theory of R. I Zariski ad Samuel s classic book o Commutative Algebra [12], two geeral facts about the semigroup S R (ν) are prove (Appedix 3 to Volume II). 1. S R (ν) is a well ordered subset of the positive part of the value group Γ of ν of ordial type at most ω h, where ω is the ordial type of the well ordered set N, ad h is the rak of the valuatio. 2. The ratioal rak of ν plus the trascedece degree of V/m V over R/m R is less tha or equal to the dimesio of R. The secod coditio is the Abhyakar iequality [1]. Prior to this paper, o other geeral costraits were kow o value semigroups S R (ν). I fact, it was eve ukow if the above coditios 1 ad 2 characterize value semigroups. I this paper, we costruct a example of a well ordered subsemigroup of Q + of ordial type ω, which is ot a value semigroup of a equicharacteristic oetheria local domai. This shows that the above coditios 1 ad 2 do ot characterize value semigroups o equicharacteristic oetheria local domais. We costuct this i Example 2.3 by fidig a ew costrait, Theorem 2.1, o a semigroup beig a value semigroup of a equidimesioal oetheria local domai of dimesio. I Corollary 2.2, we give a stroger costrait o regular local rigs. I [4], Teissier ad the author give some examples showig that some surprisig semigroups of rak > 1 ca occur as semigroups of valuatios o oetheria domais, ad raise the geeral questio of fidig ew costraits o value semigroups ad classifyig semigroups which occur as value semigroups. The oly semigroups which are realized by a valuatio o a oe dimesioal regular local rig are isomorphic to the atural umbers. The semigroups which are realized by a valuatio o a regular local rig of dimesio 2 with algebraically closed residue field are much more complicated, but are completely classified by Spivakovsky i [10]. A differet proof is give by Favre ad Josso i [5], ad the theorem is formulated i the cotext of semigroups by Cutkosky ad Teissier [4]. However, very little is kow i higher dimesios. The classificatio of semigroups of valuatios o regular local rigs of The author was partially supported by NSF. 1
2 dimesio two does suggest that there may be costraits o the rate of growth of the umber of ew geerators o semigroups of valuatios domiatig a oetheria domai. We prove that there is such a costrait, givig a ew ecessary coditio for a semigroup to be a value semigroup. This is accomplished i Theorem 2.1 ad Corollary 2.2. The costrait is far from sharp, eve for oe dimesioal regular local rigs. The criterio of Theorem 2.1 is however sufficietly strog to allow us to give a very simple example, Example 2.3, of a well ordered subsemigroup S of Q + of ordial type ω which is ot the semigroup of a valuatio domiatig a equidimesioal oetheria local domai. 1. Semigroups of valuatios domiatig polyomial rigs Give a set T, T will deote the cardiality of T. If S is a totally ordered abelia semigroup, S + will deote the set of positive elemets of S. Let k be a field, be a positive iteger, ad A = k[x 1,..., x ] be a polyomial rig i variables. Let m be the maximal ideal m = (x 1,..., x ) of A. A is aturally a k vector space. Let F,d be the k subspace of m of polyomials of degree d with 0 as the costat term. Suppose that ν is a valuatio of the quotiet field of A with valuatio rig V. Suppose A V ad m V A = m. Let Γ be the value group of ν. Let Ψ be the covex subgroup of real rak 1 of Γ, so that Ψ is order isomorphic to a subgroup of R. Let S(ν) = ν(m {0}) Ψ. If S(ν), the S(ν) is a well ordered semigroup of ordial type ω, by the first coditio stated i the itroductio, sice S(ν) is a value semigroup o the quotiet A/{f A ν(f) Ψ}. Let the smallest elemet of S(ν) be s 0. Let S d (ν) = ν(f d, {0}). Lemma 1.1. The upper boud holds for all d N. ( ) + d S d (ν) < Proof. For λ Γ, the set C λ = {f F d, ν(f) > λ} is a k subspace of F d,. Sice S d (ν) is well ordered ad dim k F d, = ( ) +d d 1, the lemma follows. For a, b Ψ, let [a, b) = {c Ψ a c < b}. Lemma 1.2. For all d N, ( ) + d S(ν) [0, (d + 1)s 0 ) <. Proof. Sice every elemet of m has value s 0, every elemet of m d+1 has value (d + 1)s 0. For f m, we have a expressio f = g + h with g F d, ad h m d+1. If ν(f) < (d+1)s 0, we must have ν(f) = ν(g). Thus S(ν) [0, (d+1)s 0 ) = S d (ν) [0, (d+1)s 0 ). Example 1.3. There exists a well ordered subsemigroup U of Q + such that U has ordial type ω ad U S(ν) for ay valuatio ν as above. Proof. Let T be ay subset of Q + such that 1 is the smallest elemet of T ad ( ) 2 T [, + 1) = 2
3 for all 1. For all positive itegers r, let rt = {a a r a 1,..., a r T }. Let U = ωt = r=1rt be the semigroup geerated by T. By our costructio, U [0, r) < for all r N. Thus U is well ordered ad has ordial type ω. Suppose that there exists a field k, a positive iteger, ad a valuatio ν such that S(ν) = U. We have ( ) ( ) 2 2 = T [, + 1) U [, + 1) U [0, + 1) 1, where the last iequality is by Lemma 1.2, which is a cotradictio. 2. Semigroups of valuatios domiatig local domais Let ν be a valuatio of a field K. Let V be the valuatio rig of ν, ad let m V be the maximal ideal of V. Suppose that R is a oetheria local domai with quotiet field K such that ν domiates R; that is, R V ad m V R = m R is the maximal ideal of R. Let Γ be the value group of ν. Γ has fiite rak, sice ν domiates the oetheria local rig R, ad by the secod coditio stated i the itroductio. Let Ψ be the covex subgroup of real rak 1 of Γ. Defie a semigroup of real rak 1 by S R (ν) = ν(m R {0}) Ψ. For a, b Ψ, let [a, b) = {c Ψ a c < b}. Let ˆR be the m R -adic completio of R, which aturally cotais R. The there exists a prime ideal Q of ˆR such that the valuatio ν iduces uiquely a valuatio ν of the quotiet field of ˆR/Q which domiates ˆR/Q, ν has rak 1, S ˆR/Q (ν) = S R (ν), ad s 0 = mi{ν(f) f m ˆR/Q }. We will call Q the prime ideal of elemets of  of ifiite value. The costructio of Q ad related cosideratios are discussed i Spivakovsky [10], Heizer ad Sally [6], Cutkosky [2], Cutkosky ad Ghezzi [3] ad Teissier [11]. We will outlie the costructio of Q i the followig paragraph. Let α = mi{ν(g) g m R }. Suppose that f ˆR. The for ay Cauchy sequece {g i } i R which coverges to f, exactly oe of the followig two coditios must hold. 1) There exists N such that ν(g i ) α for all i 0 or 2) For all N, there exists i N such that ν(g i ) > α. Moreover, either coditio 1) holds for all Cauchy sequeces {g i } i R which coverge to f or coditio 2) hold for all Cauchy sequeces {g i } i R which coverge to f. If coditio 1) holds for f, the there exists λ S R (ν) such that for ay Cauchy sequece {g i } i R which coverges to f, there exists N (which depeds o the Cauchy sequece) such that ν(g i ) = λ for all i. I this, way may exted ν to a fuctio o ˆR, defiig for f ˆR, ν(f) = λ if 1) holds, ad ν(f) = if 2) holds. Let Q = {f ˆR ν(f) = }. Q is a prime ideal i ˆR. We exted ν to a valuatio ν of the quotiet field of ˆR/Q with the desired properties by defiig ν(f + Q) = ν(f) for f ˆR. If Γ has rak 1, we have Q R = (0), ad we have a iclusio R ˆR/Q. Theorem 2.1. Suppose that A is a equicharacteristic local domai, ad ν is a valuatio which domiates A. Let s 0 = mi{ν(f) f m A } ad = dim A/mA m A /m 2 A. The ( ) + d (1) S A (ν) [0, (d + 1)s 0 ) < 3
4 for all d N. Proof. Let  be the m A-adic completio of A, with atural iclusio A Â. Let Q be the prime ideal of elemets of  of ifiite value, ad let ν be the valuatio of the quotiet field of Â/Q iduced by ν which domiates Â/Q, so that SÂ/Q (ν) = S A (ν), ad s 0 = mi{ν(f) f mâ/q }. Let k be a coefficiet field of Â/Q. There exists a power series rig R = k[[x 1,..., x ]], ad a surjective k-algebra homomorphism ϕ : R Â/Q. Let P be the kerel of ϕ, so that R/P = Â/Q. We may thus idetify ν with a rak 1 valuatio of the quotiet field of R/P domiatig R/P such that S R/P (ν) = SÂ/Q (ν), ad s 0 = mi{ν(f) f m R/P }. Let ν 1 be a valuatio of the quotiet field of R which domiates R P, ad let µ be the composite valuatio of ν 1 ad ν. For f R, we have that ν 1 (f) = 0 if ad oly if f P, ad S R (µ) = µ(m R P ) = ν(m R/P {0}) = S R/P (ν). We also have that s 0 = mi{µ(f) f m R }. R cotais the polyomial rig A = k[x 1,..., x ]. Suppose that f m R P. There exists a Cauchy sequece {g i } i A (for the m R -adic topology) that coverges to f. Sice ν has rak 1, ad ν 1 (f) = 0, there exists l N such that µ(h) > µ(f) wheever h m l R. Further, sice {g i } is a Cauchy sequece, there exists e N such that f g i m l R wheever i e. Thus µ(f) = µ(g e ). It follows that S (A)m (µ ) = S R (µ) = S A (ν) where µ is the restrictio of µ to A, ad s 0 = mi{µ (f) f m }. The coclusios of the theorem ow follow from Lemma 1.2. Whe ν has rak 1, S A (ν) = ν(m A {0}) is the semigroup of ν o A. Thus (1) gives us a ecessary coditio for a subsemigroup S of R + to be the semigroup of a valuatio o a equicharacteristic local domai R. Whe A is a regular local rig, the i the theorem is the dimesio of A. Thus we have the followig Corollary, which gives a ecessary coditio for a subsemigroup of R + to be the subsemigroup of a valutio o a equidimesioal regular local rig. Corollary 2.2. Suppose that A is a equicharacteristic regular local rig of dimesio, ad ν is a rak 1 valuatio which domiates A. Let s 0 = mi{ν(f) f m A }. The ( ) + d (2) ν(m A {0}) [0, (d + 1)s 0 ) < for all d N. The ecessary coditio (2) is far from givig a sufficiet coditio for a subsemigroup of R + to be the semigroup of a valuatio o a equidimesioal regular local rig A, eve i the case whe A has dimesio = 1. Suppose that ν is a valuatio domiatig a equidimesioal regular local rig A of dimesio = 1. ν must the be equivalet to the m A -adic valuatio of A, ad we thus have that ν(m A {0}) = s 0 N. Thus ν(m A {0}) [0, (d + 1)s 0 ) = d for all d 1, which is sigificatly less tha the boud ( ) 1+d 1 = d 2 + d of the corollary. The criterio of the theorem is strog eough to give us a simple method of costructig well ordered semigroups of ordial type ω which are ot value semigroups. The existece of such examples was ot previously kow. 4
5 Example 2.3. There exists a well ordered subsemigroup U of Q + such that U has ordial type ω ad U ν(m A {0}) for ay valuatio ν domiatig a equicharacteristic oetheria local domai A. Proof. Let U be the semigroup costructed i Example 1.3. By Theorem 2.1 ad the proof of Example 1.3, U caot be a semigroup of a valuatio domiatig a equicharacteristic local domai. Refereces [1] Abhyakar, S., O the valuatios cetered i a local domai, Amer. J. Math. 78 (1956), [2] S.D. Cutkosky, Local factorizatio ad moomializatio of morphisms, Astérisque 260, [3] S.D. Cutkosky ad L. Ghezzi, Completios of valuatio rigs, Cotemp. math. 386 (2005), [4] S.D Cutkosky ad B. Teissier, Semigroups of valuatios o local rigs, to appear i Mich. Math. J. [5] C. Favre ad M. Josso The valuative tree, Lecture Notes i Mathematics 1853, Spriger Verlag, Berli, Heidelberg, New York, [6] W. Heizer, W. ad J. Sally, Extesios of valuatios to the completio of a local domai, Joural of Pure ad Applied Algebra 71 (1991), [7] F.-V. Kuhlma, Value groups, residue fields, ad bad places of algebraic fuctio fields, Tras. Amer. Math. Soc. 356 (2004), [8] S. MacLae, A costructio for absolute values i polyomial rigs, Tras. Amer. Math. Soc. 40 (1936), [9] S. MacLae ad O, Schillig, Zero-dimesioal braces of rak 1 o algebraic varieties, Aals of Math. 40 (1939), [10] M. Spivakovsky, Valuatios i fuctio fields of surfaces, Amer. J. Math. 112 (1990), [11] B. Teissier, Valuatios, deformatios, ad toric geometry, Proceedigs of the Saskatoo Coferece ad Workshop o valuatio theory (secod volume), F-V. Kuhlma, S. Kuhlma, M. Marshall, editors, Fields Istitute Commuicatios, 33, 2003, [12] O. Zariski ad P. Samuel, Commutative Algebra Volume II, D. Va Nostrad, Priceto,
Modern Algebra. Previous year Questions from 2017 to Ramanasri
Moder Algebra Previous year Questios from 017 to 199 Ramaasri 017 S H O P NO- 4, 1 S T F L O O R, N E A R R A P I D F L O U R M I L L S, O L D R A J E N D E R N A G A R, N E W D E L H I. W E B S I T E
More informationA REMARK ON A PROBLEM OF KLEE
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 1 A REMARK ON A PROBLEM OF KLEE BY N. J. K A L T O N (COLUMBIA, MISSOURI) AND N. T. P E C K (URBANA, ILLINOIS) This paper treats a property
More informationChain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1
CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES. ANDREW SALCH 1. The Jacobia criterio for osigularity. You have probably oticed by ow that some poits o varieties are smooth i a sese somethig
More informationA NOTE ON LEBESGUE SPACES
Volume 6, 1981 Pages 363 369 http://topology.aubur.edu/tp/ A NOTE ON LEBESGUE SPACES by Sam B. Nadler, Jr. ad Thelma West Topology Proceedigs Web: http://topology.aubur.edu/tp/ Mail: Topology Proceedigs
More informationON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX0000-0 ON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS MARCH T. BOEDIHARDJO AND WILLIAM B. JOHNSON 2
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationLecture 4: Grassmannians, Finite and Affine Morphisms
18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,
More informationHigher inverse Limits
Higher iverse Limits M.Ziegler Jue 1999 Let I be a totally ordered set. A projective system is a I-idexed family (A α ) of abelia groups together with a commutative system of homomorphisms π αβ : A β A
More informationThe random version of Dvoretzky s theorem in l n
The radom versio of Dvoretzky s theorem i l Gideo Schechtma Abstract We show that with high probability a sectio of the l ball of dimesio k cε log c > 0 a uiversal costat) is ε close to a multiple of the
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationA Note on Matrix Rigidity
A Note o Matrix Rigidity Joel Friedma Departmet of Computer Sciece Priceto Uiversity Priceto, NJ 08544 Jue 25, 1990 Revised October 25, 1991 Abstract I this paper we give a explicit costructio of matrices
More informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More informationGROWTH OF RANK 1 VALUATION SEMIGROUPS
GROWTH OF RANK 1 VALUATION SEMIGROUPS STEVEN DALE CUTKOSKY, KIA DALILI AND OLGA KASHCHEYEVA Let (R, m R ) be a local domain, with quotient field K. Suppose that ν is a valuation of K with valuation ring
More informationREGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS
REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationOn Involutions which Preserve Natural Filtration
Proceedigs of Istitute of Mathematics of NAS of Ukraie 00, Vol. 43, Part, 490 494 O Ivolutios which Preserve Natural Filtratio Alexader V. STRELETS Istitute of Mathematics of the NAS of Ukraie, 3 Tereshchekivska
More informationSh. Al-sharif - R. Khalil
Red. Sem. Mat. Uiv. Pol. Torio - Vol. 62, 2 (24) Sh. Al-sharif - R. Khalil C -SEMIGROUP AND OPERATOR IDEALS Abstract. Let T (t), t
More informationand each factor on the right is clearly greater than 1. which is a contradiction, so n must be prime.
MATH 324 Summer 200 Elemetary Number Theory Solutios to Assigmet 2 Due: Wedesday July 2, 200 Questio [p 74 #6] Show that o iteger of the form 3 + is a prime, other tha 2 = 3 + Solutio: If 3 + is a prime,
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS
ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary
More informationTENSOR PRODUCTS AND PARTIAL TRACES
Lecture 2 TENSOR PRODUCTS AND PARTIAL TRACES Stéphae ATTAL Abstract This lecture cocers special aspects of Operator Theory which are of much use i Quatum Mechaics, i particular i the theory of Quatum Ope
More informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More informationMetric Space Properties
Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All
More informationTEACHER CERTIFICATION STUDY GUIDE
COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra
More informationROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS. 1. Introduction
t m Mathematical Publicatios DOI: 10.1515/tmmp-2016-0033 Tatra Mt. Math. Publ. 67 (2016, 93 98 ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS Otokar Grošek Viliam Hromada ABSTRACT. I this paper we study
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationMachine Learning Theory Tübingen University, WS 2016/2017 Lecture 11
Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract We will itroduce the otio of reproducig kerels ad associated Reproducig Kerel Hilbert Spaces (RKHS). We will cosider couple
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationPRELIM PROBLEM SOLUTIONS
PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationSolving Algebraic Equations in Commutative Rings Hideyuki Matsumura Nagoya University
s 0 Itroductio Solvig Algebraic Equatios i Commutative Rigs Hideyuki Matsumura Nagoya Uiversity Let A be a commutative Rig, ad let f(x) = ( f 1,..., f,) be a vector of polyomials i X 1,, X with coefficiets
More informationsin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =
60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
More informationRelations Among Algebras
Itroductio to leee Algebra Lecture 6 CS786 Sprig 2004 February 9, 2004 Relatios Amog Algebras The otio of free algebra described i the previous lecture is a example of a more geeral pheomeo called adjuctio.
More informationMATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)
MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The
More informationSome remarks for codes and lattices over imaginary quadratic
Some remarks for codes ad lattices over imagiary quadratic fields Toy Shaska Oaklad Uiversity, Rochester, MI, USA. Caleb Shor Wester New Eglad Uiversity, Sprigfield, MA, USA. shaska@oaklad.edu Abstract
More informationCARLEMAN INTEGRAL OPERATORS AS MULTIPLICATION OPERATORS AND PERTURBATION THEORY
Kragujevac Joural of Mathematics Volume 41(1) (2017), Pages 71 80. CARLEMAN INTEGRAL OPERATORS AS MULTIPLICATION OPERATORS AND PERTURBATION THEORY S. M. BAHRI 1 Abstract. I this paper we itroduce a multiplicatio
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationLecture 3 : Random variables and their distributions
Lecture 3 : Radom variables ad their distributios 3.1 Radom variables Let (Ω, F) ad (S, S) be two measurable spaces. A map X : Ω S is measurable or a radom variable (deoted r.v.) if X 1 (A) {ω : X(ω) A}
More informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
More informationTranscendental extensions of a valuation domain of rank one
accepted for publicatio i the Proc. Amer. Math. Soc. (2016). Trascedetal extesios of a valuatio domai of rak oe Giulio Perugielli 11 May 2016 Abstract Let V be a valuatio domai of rak oe ad quotiet field
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More informationFORMAL GROUPS OVER DISCRETE VALUATION RINGS. Contents
FORMAL GROUPS OVER DISCRETE VALUATION RINGS GEUNHO GIM Cotets 1. The ivariat differetial 1 2. The formal logarithm 2 3. Formal groups over discrete valuatio rigs 3 Refereces 5 1. The ivariat differetial
More informationLECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS
LECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS I the previous sectio we used the techique of adjoiig cells i order to costruct CW approximatios for arbitrary spaces Here we will see that the same techique
More informationSequences and Series
Sequeces ad Series Sequeces of real umbers. Real umber system We are familiar with atural umbers ad to some extet the ratioal umbers. While fidig roots of algebraic equatios we see that ratioal umbers
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More informationMath 341 Lecture #31 6.5: Power Series
Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
More information1 Elliptic Curves Over Finite Fields
1 Elliptic Curves Over Fiite Fields 1.1 Itroductio Defiitio 1.1. Elliptic curves ca be defied over ay field K; the formal defiitio of a elliptic curve is a osigular (o cusps, self-itersectios, or isolated
More informationMachine Learning Theory Tübingen University, WS 2016/2017 Lecture 12
Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract I this lecture we derive risk bouds for kerel methods. We will start by showig that Soft Margi kerel SVM correspods to miimizig
More informationLecture XVI - Lifting of paths and homotopies
Lecture XVI - Liftig of paths ad homotopies I the last lecture we discussed the liftig problem ad proved that the lift if it exists is uiquely determied by its value at oe poit. I this lecture we shall
More informationSome p-adic congruences for p q -Catalan numbers
Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet
More informationFundamental Theorem of Algebra. Yvonne Lai March 2010
Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex
More information11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.
11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although
More informationNBHM QUESTION 2007 Section 1 : Algebra Q1. Let G be a group of order n. Which of the following conditions imply that G is abelian?
NBHM QUESTION 7 NBHM QUESTION 7 NBHM QUESTION 7 Sectio : Algebra Q Let G be a group of order Which of the followig coditios imply that G is abelia? 5 36 Q Which of the followig subgroups are ecesarily
More informationOn groups of diffeomorphisms of the interval with finitely many fixed points II. Azer Akhmedov
O groups of diffeomorphisms of the iterval with fiitely may fixed poits II Azer Akhmedov Abstract: I [6], it is proved that ay subgroup of Diff ω +(I) (the group of orietatio preservig aalytic diffeomorphisms
More informationLinear Elliptic PDE s Elliptic partial differential equations frequently arise out of conservation statements of the form
Liear Elliptic PDE s Elliptic partial differetial equatios frequetly arise out of coservatio statemets of the form B F d B Sdx B cotaied i bouded ope set U R. Here F, S deote respectively, the flux desity
More informationThe normal subgroup structure of ZM-groups
arxiv:1502.04776v1 [math.gr] 17 Feb 2015 The ormal subgroup structure of ZM-groups Marius Tărăuceau February 17, 2015 Abstract The mai goal of this ote is to determie ad to cout the ormal subgroups of
More informationMATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006
MATH 34 Summer 006 Elemetary Number Theory Solutios to Assigmet Due: Thursday July 7, 006 Departmet of Mathematical ad Statistical Scieces Uiversity of Alberta Questio [p 74 #6] Show that o iteger of the
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationf(w) w z =R z a 0 a n a nz n Liouville s theorem, we see that Q is constant, which implies that P is constant, which is a contradiction.
Theorem 3.6.4. [Liouville s Theorem] Every bouded etire fuctio is costat. Proof. Let f be a etire fuctio. Suppose that there is M R such that M for ay z C. The for ay z C ad R > 0 f (z) f(w) 2πi (w z)
More information2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.
CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.
More informationDANIELL AND RIEMANN INTEGRABILITY
DANIELL AND RIEMANN INTEGRABILITY ILEANA BUCUR We itroduce the otio of Riema itegrable fuctio with respect to a Daiell itegral ad prove the approximatio theorem of such fuctios by a mootoe sequece of Jorda
More informationChapter 7 Isoperimetric problem
Chapter 7 Isoperimetric problem Recall that the isoperimetric problem (see the itroductio its coectio with ido s proble) is oe of the most classical problem of a shape optimizatio. It ca be formulated
More informationAN ARC-LIKE CONTINUUM THAT ADMITS A HOMEOMORPHISM WITH ENTROPY FOR ANY GIVEN VALUE
AN ARC-LIKE CONTINUUM THAT ADMITS A HOMEOMORPHISM WITH ENTROPY FOR ANY GIVEN VALUE CHRISTOPHER MOURON Abstract. A arc-like cotiuum X is costructed with the followig properties: () for every ɛ [0, ] there
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationUniversity of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!
Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad
More informationZeros of Polynomials
Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More informationMATHEMATICS: CONCEPTS, AND FOUNDATIONS Vol. I - Algebraic Geometry and Applications - Tadao ODA
MTHEMTICS: CONCEPTS ND FOUNDTIONS Vol I - lgebraic Geometry ad pplicatios - Tadao OD LGEBRIC GEOMETRY ND PPLICTIONS Tadao OD Tohoku Uiversity Japa Keywords: algebraic set maximal ideal space Hilbert s
More informationHÖLDER SUMMABILITY METHOD OF FUZZY NUMBERS AND A TAUBERIAN THEOREM
Iraia Joural of Fuzzy Systems Vol., No. 4, (204 pp. 87-93 87 HÖLDER SUMMABILITY METHOD OF FUZZY NUMBERS AND A TAUBERIAN THEOREM İ. C. ANAK Abstract. I this paper we establish a Tauberia coditio uder which
More informationMath 113 Exam 3 Practice
Math Exam Practice Exam will cover.-.9. This sheet has three sectios. The first sectio will remid you about techiques ad formulas that you should kow. The secod gives a umber of practice questios for you
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationEquivalent Banach Operator Ideal Norms 1
It. Joural of Math. Aalysis, Vol. 6, 2012, o. 1, 19-27 Equivalet Baach Operator Ideal Norms 1 Musudi Sammy Chuka Uiversity College P.O. Box 109-60400, Keya sammusudi@yahoo.com Shem Aywa Maside Muliro Uiversity
More informationSome sufficient conditions of a given. series with rational terms converging to an irrational number or a transcdental number
Some sufficiet coditios of a give arxiv:0807.376v2 [math.nt] 8 Jul 2008 series with ratioal terms covergig to a irratioal umber or a trascdetal umber Yu Gao,Jiig Gao Shaghai Putuo college, Shaghai Jiaotog
More informationArkansas Tech University MATH 2924: Calculus II Dr. Marcel B. Finan
Arkasas Tech Uiversity MATH 94: Calculus II Dr Marcel B Fia 85 Power Series Let {a } =0 be a sequece of umbers The a power series about x = a is a series of the form a (x a) = a 0 + a (x a) + a (x a) +
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More informationLecture 23: Minimal sufficiency
Lecture 23: Miimal sufficiecy Maximal reductio without loss of iformatio There are may sufficiet statistics for a give problem. I fact, X (the whole data set) is sufficiet. If T is a sufficiet statistic
More informationHomework 2. Show that if h is a bounded sesquilinear form on the Hilbert spaces X and Y, then h has the representation
omework 2 1 Let X ad Y be ilbert spaces over C The a sesquiliear form h o X Y is a mappig h : X Y C such that for all x 1, x 2, x X, y 1, y 2, y Y ad all scalars α, β C we have (a) h(x 1 + x 2, y) h(x
More informationMathematical Induction
Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a
More informationThe ladder construction of Prüfer modules.
SS 26 Selected Topics CMR The ladder costructio of Prüfer modules Claus Michael Rigel Let R be ay rig We deal ith (left) R-modules Our aim is to cosider pairs of maps, : V ith a proper moomorphism Let
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationFINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulleti of the Iraia Mathematical Society Vol. 39 No. 2 203), pp 27-280. FINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES R. BARZGAR, A. ERFANIAN AND M. FARROKHI D. G. Commuicated by Ali Reza Ashrafi
More informationThe Choquet Integral with Respect to Fuzzy-Valued Set Functions
The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More information