Minimal reductions of monomial ideals
|
|
- Brandon Allison
- 5 years ago
- Views:
Transcription
1 ISSN: Minimal reductions of monomial ideals Veronica Crispin Quiñonez Research Reports in Mathematics Number 10, 2004 Department of Mathematics Stocholm Universit
2 Electronic versions of this document are available at Date of publication: November 23, Mathematics Subject Classification: Primar 13C05. Kewords: reduction, monomial ideal, integrall closed ideal. Postal address: Department of Mathematics Stocholm Universit S Stocholm Sweden Electronic addresses:
3 Minimal reductions of monomial ideals Veronica Crispin Quiñonez Department of Mathematics Stocholm Universit S Stocholm Sweden 1 Introduction For an ideal I in a ring R a reduction is defined as an ideal J I such that JI l = I l+1 for some integer l. An ideal which is minimal with respect to this propert is called minimal reduction, and the least integer l for these ideals is called the reduction number of I. Further, J is a reduction of I if and onl if I is integral over J. To a monomial ideal I in [x 1,..., x n ] or [[x 1,... x n ]] we associate the set log I which consists of the exponents of all monomials belonging to I, that is, log I = {(a 1,... a n ) x a1 1 xan n I}. It is proved ([2], [3], [6]) that the integral closure of I is the integrall closed monomial ideal, Ī, generated b all the monomials with exponents in the convex hull of log I in N n. In this paper we determine minimal reductions of an monomial ideal in the ring [[x, ]] using the relation between reduction and integral closure. 2 Monomial ideals Consider the two-dimensional local ring R = [[x, ]] and an ideal of dimension two in it. According to the general theor for minimal reductions, a minimal reduction of the ideal will be generated b two elements in the ring, if the residue field is infinite. However, the results that will follow are valid for an field in [[x, ]]. An monomial ideal I in R is of the form I = mi, where m is a monomial and I an m-primar monomial ideal. An ideal mj is a reduction of mi if and onl if J is a reduction of I. Thus, we ma assume that I is m-primar, that is, that x a and b belong to I for some a and b. For a moment we ma let the ring R be the polnomial ring also. Let I = x Ai Bi 0 i s [x, ] or [[x, ]] where A i < A i+1, B i > B i+1 and A 0 = B s = 0. We will construct a monomial ideal, which we call I lmr, having the same integral closure as I, and show that it is the unique smallest one. In other words, conv(log I lmr ) = log Ī. 1
4 Definition 2.1. Let I = x Ai Bi. Define I lmr = x Ai j B ij as follows: i 0 = 0, i 1 be the greatest i such that the minimal value of the expression obtained, A i A ij 1 for j 2 let i j = max { i > i j 1 ; B ij 1 B i is minimal }. A i B 0 B i Graphicall we define the generators of I lmr in N 2 recursivel b starting with (0, B 0 ) and choosing the greatest index i such that (A i, B i ) gives the steepest slope between the two points. Taing this exponent as our new starting point we repeat the procedure. Example 2.2. Let I = 12, x 11, x 2 7, x 5 4, x 8. Then the integral closure is Ī = 12, x 10, x 2 7, x 3 6, x 4 4, x 5 3, x 6, x 8 and the least monomial reduction of both ideals is I lmr = 12, x 2 7, x 6, x 8, the generators of which are mared b empt circles. is I Ī Ī lmr = I lmr x x It is clear that among all monomial ideals with integral closure Ī the ideal I lmr is the least one. Equivalentl, among all monomial ideals which are reductions of Ī, the ideal I lmr is least. We call it least monomial reduction. Moreover, I lmr is the least monomial reduction of an ideal ling between itself and Ī. Remar 2.3. An integrall closed monomial ideal is a product of blocs (Theorem 3.8 in [2]), where we b an (a, b)-bloc mean the unique simple integrall closed monomial ideal containing the elements x a and b in its minimal generating set, that is, x a, b where a and b are relativel prime. (We recall that an ideal is called simple if it cannot be written as a product of two proper ideals.) The product of s number of (a i, b i )-blocs satisfing the condition ai b i the integrall closed ideal s x ai, bi = i=1 s i=1 x ai+1 b i+1 (x i 1 i =1 a i s i =i+1 b i ) x ai, bi. (2.1) In N 2 we illustrate this product as the vertices (a 1 + +a i, b i b s ) = (a i, b i ), 0 i s, and the diagonal lines between two consecutive vertices. Then is 2
5 conv( (a i, b i )+N 2 ) constitutes the log-set of the product. If we eep onl those vertices (a j, b j ) that satisf the condition ai b i < ai+1 b i+1, then the convex hull of (a i, b i ) + N 2 will also constitute the desired log-set. Thus, the generators of the minimal monomial reduction are illustrated b such vertices (a j, b j ) that < aj+1 aj b j b j+1. a j a j 1 b j 1 b j Example 2.4. The ideal Ī in the previous example is a product of the blocs x 2, 5, x 2, 3, x 2, 3, x 2,. It is depicted b the vertices (12,0), (2,7), (4,4), (6,1) and (8,0), where (4,4) is omitted to give the least monomial reduction, since 12, x 2 7, x 6, x 8 = Ī. The reduction number of an integrall closed ideal is two (Theorem 5.1 [4]). Hence, I lmr Ī = Ī2. Proposition 2.5. An power of a simple and m-primar integrall closed monomial ideal in [[x, ]] (or [x, ])) has the ideal b, x a as its minimal reduction, where b denotes the highest power of and a the highest power of x in the minimal set of generators. Proof. There are two tpes of such ideals [2]. Let I = x j Bj 0 j s where B j = s j s B 0. Theorem 3.8 in [2] states that I 2 = x j B0+Bj, x s+j Bj and it is obvious that I B0, x s = I 2. Let I = x Ai r i 0 i r where A i = i Ar r. Then I2 = x Ai 2r i, x Ar+Ai r i and the result follows similarl. Assume that the integral closure of a monomial ideal is some power of a bloc. Then the least monomial reduction is generated b two monomials and is, of course, a minimal reduction itself. Suppose that the least monomial reduction of an ideal is generated b more than two monomials. Then the generators satisf a certain condition which we at first will demonstrate b an example. Example 2.6. Let I lmr = 12, x 2 7, x 6, x 8 = m j 0 j 3 as previousl. m 0 m 0 m 1 I lmr m 1 I lmr m 2 m 2 m 3 x m 3 x 3
6 It is clearl seen that moving m 1 either verticall or horisontall it will intersect the line between m 0 and m 2.The same is valid for m 2 and the line between m 1 and m 3. The pictures correspond to certain relations between an three consecutive generators. We have m 3 1 m 2 0m 2 and m 3 2 m 1 m 2 3. (2.2) In (2.2) we could as well have chosen x instead of and get: m 5 1x m 3 0m 2 2 and m 4 2x m 1 m 3 3. (2.3) An I lmr is constructed in such a wa that there are relations similar to (2.2) between the generators. Let I lmr = x Aj Bj = m j 0 j r. Let further c j = A j+1 A j and l j = A j+1 A j 1. Then we can easil deduce that { lj A j = c j A j 1 + (l j c j )A j+1 l j B j + 1 c j B j 1 + (l j c j )B j+1, that is, m lj j mcj j 1 mlj cj j+1. (2.4) Remar 2.7. The results that will follow will depend on the ring being local. Henceforth we will consider onl the formal power series ring. Often we can choose smaller l j, compared to Example 2.6 where c 1 = 4 and l 1 = 6 to start with. In the local ring with the maximal ideal m = x, the expression (1.4) sas m cj j 1 mlj cj j+1 m lj j m. (2.5) B taing l = lcm(l j ), we can assume that all l j are equal. The relation between three consecutive generators can be extended to three arbitrar generators. For example, for an 0 < j < r 2 we have: m cjl j 1 (mcj+1 j m l cj+1 j+2 ) l cj (m cj j 1 ml cj j+1 )l m m l2 j m. The power products m j are nonzerodivisors, hence m c j 1m l c j+2 ml j m. This small result is worth generalizing in a lemma. Lemma 2.8. Let (R, m) be a local integral domain and I = m j 0 j r an ideal in R. Suppose that the generators fulfil (2.5). Then, for each triple of indices i < i < j there are positive integers c and l, c < l, such that m c i m l c j m l i m. (2.6) There is an alternative wa to express (2.6). For an pair of indices i and j, j i 2, there are positive integers c and l, c < l, such that m c i ml c j I l m. Multipling b a proper power of some of the two generators we can formulate the following result. 4
7 Proposition 2.9. Let I lmr = m i be a least monomial reduction of some ideal I in [[x, ]]. Assume that its generators are ordered b descending powers of (or x). Then there is an integer l such that m l i ml j I2l m for an two indices i and j such that j i 2. In the next section we determine minimal reductions for a class of ideals in an local commutative ring and will show that the least monomial reductions we have defined belong to this class. In that wa we will be able to determine a minimal reduction J of an monomial ideal I in [[x, ]], because J I lmr I Ī where I lmr is integral over J. Hence, J is a minimal reduction of an ideal between J and Ī. 3 Minimal reductions Let (R, m) be a local ring and I = m i 0 i r an ideal in it. Suppose that the generators are ordered in such wa that the satisf the condition m l im l j I 2l m (3.1) for some integer l if j i 2. A reduction of an ideal, the generators of which satisf (3.1), can be expressed in a quite convenient wa. Before we prove our theorem we need two lemmas. The first one is found on p.147 in [6]. Lemma 3.1. Let J I be ideals. Then J is a reduction of I if and onl if J + Im is a reduction of I. Proof. If JI l = I l+1, then (J + Im)I l = JI l + I l+1 m = I l+1. If (J + Im)I l = I l+1, then we use Naaama s lemma on m(i l+1 /JI l ) = (I l+1 m + JI l )/JI l = I l+1 /JI l which gives us I l+1 /JI l = 0 and, hence, I l+1 = JI l. The proof is complete. Lemma 3.2. Let I = m i 0 i r be an ideal. Assume further that m l i JIl 1 + I l m for all i and some integer l. Then J is a reduction of I. Proof. Let l = (l 1)r, then I l +1 = r i=0 mli i r i=0 l i = l + 1. For ever generator (product) there is some index such that l l, according to the pigeon hole principle. Then m l (JI l 1 + I l m)i l l and, hence, r i=0 mli i = m l ( ) i mli i JI l + I l +1 m. Thus, I l +1 JI l + I l +1 m and we are done due to Lemma 3.1. Theorem 3.3. Let I = m i 0 i r be an ideal in (R, m). Assume that there is a partition {0,... r} = 0 α s S α, where s r, such that if i, j S α, i j, then m l i ml j I2l m for some integer l. Let J = i S α m i 0 α s, then J is a reduction of I. 5
8 Proof. In the case when ever S α = 1, the ideal J = I is triviall a reduction. Suppose that S α 2 for some α. For that α define p α = i S α m i and fix a S α. B assumption m l ml i I2l m for all i S α. Let l = S α (l 1). Then for an t, 0 t l + l 1 we have m l+l t (p α m ) t+1 + m l+l t 1 (p α m ) t+2 = = m l+l t 1 (p α m ) t+1 p α I l+l J. Using this we can rewrite the zero element in the quotient ring R/JI l+l (3.2) as: [m l+l p α ] = [m l+l +1 + m l+l (p α m )] (1.8) = [m l+l = [m l+l +1 ± m l (p α m ) l +1 ] = [m l+l +1 ± m l m l+l 1 (p α m ) 2 ] =... ( ( )) β... ], l i= l +1 l j i m i, i S α (3.3) where the β... s are the multinomial coefficients. According to the pigeon hole principle there is some in each product m li i such that l l. For that we have m l ( ) m li i I 2l mi l +1 l = I l+l +1 m. (3.4) i, l i=l +1 From (3.3) and (3.4) we can deduce that m l+l +1 JI l+l + I l+l +1 m. Since the index was chosen arbitraril it follows easil that there is an integer L such that m L i JI L 1 + I L m for all i. Lemma 3.2 completes the proof. Example 3.4. Let I = x 3 z 2, x 2 2 z, x 3 z, 4 z 2 = m i 0 i 3 R = [[x,, z]]. The partition of the indices is {0, 2} {1, 3}, since m 0 m 2 m 2 1m and m 1 m 3 m 2 2 m. Appling Theorem 3.3 gives us a minimal reduction of I which is x3 z 2 + x 3 z, x 2 2 z + 4 z 2. Example 3.5. Let I = x 4, x 2, 4, 2 z, z 4, z 2 x = m i 0 i 5 R = [[x,, z]]. This is an m-primar ideal, so the number of the generators of a reduction of it must be at least three. We see that (x 2 ) 2 z (x 4 )( 2 z) or, equivalentl, m 0 m 3 (x 2 2 )m. B smmetr there are similar relations for the other generators. Hence, we get a partition {0, 3} {2, 5} {1, 4} and a minimal reduction x z, 4 + z 2 x, z 4 + x 2. We return to the monomial ideals in [[x, ]]. The minimal reductions of an m-primar ideal is generated b two elements in this ring. Corollar 3.6. Let I = m j 0 j s be a monomial ideal in [[x, ]] and I lmr = m i 0 i r its monomial reduction where the generators are ordered in such wa that the powers of (or x) are descending. Then J = even i m i, odd i m i is a minimal reduction of I. Moreover, if J is a minimal reduction of an ideal between J and Ī. 6
9 Proof. We have shown that the relation (3.1) is valid for all the generators of I lmr except for an two consecutive. Since two consecutive generators must lie in different subsets of the partition, a split into even and odd indices is the onl one. The rest follows from the theorem. Example 3.7. Consider Example 2.2. The ideal J = 12 + x 6, x x 8 is a minimal reduction of all ideals ling between J and Ī. References [1] M. F. Atiah, I. G. Macdonald, Introduction to Commutative Algebra, Addison-Wesle, [2] V. Crispin Quiñonez, Integrall Closed Monomial Ideals and Powers of Ideals, Research Reports in Mathematics 7, Department of Mathematics, Stochom Universit, [3] D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometr, Springer Verlag, [4] C. Hunee, Complete Ideals in Two-Dimensional Regular Local Rings, Commutative Algebra: Proceedings from a microprogram held June 15 - Jul 2, 1987 (M. Hochster, C. Hunee, J. Sall, eds), , Springer-Verlag, [5] D. G. Northcott, D. Rees, Reductions of Ideals in Local Rings, Proc. Cambridge Philos. Soc. 50 (1954), [6] R. Villarreal, Monomial Algebras, Marcel Deer, [7] O. Zarisi, P. Samuel, Commutative Algebra. Vol. 2, Van Nostrand,
Section 3.1. ; X = (0, 1]. (i) f : R R R, f (x, y) = x y
Paul J. Bruillard MATH 0.970 Problem Set 6 An Introduction to Abstract Mathematics R. Bond and W. Keane Section 3.1: 3b,c,e,i, 4bd, 6, 9, 15, 16, 18c,e, 19a, 0, 1b Section 3.: 1f,i, e, 6, 1e,f,h, 13e,
More informationReview Topics for MATH 1400 Elements of Calculus Table of Contents
Math 1400 - Mano Table of Contents - Review - page 1 of 2 Review Topics for MATH 1400 Elements of Calculus Table of Contents MATH 1400 Elements of Calculus is one of the Marquette Core Courses for Mathematical
More informationPowers and Products of Monomial Ideals
U.U.D.M. Project Report 6: Powers and Products of Monomial Ideals Melker Epstein Examensarbete i matematik, 5 hp Handledare: Veronica Crispin Quinonez Examinator: Jörgen Östensson Juni 6 Department of
More informationEnumeration of Concave Integer Partitions
3 47 6 3 Journal of Integer Sequences, Vol. 7 (004), Article 04..3 Enumeration of Concave Integer Partitions Jan Snellman and Michael Paulsen Department of Mathematics Stockholm University SE-069 Stockholm,
More informationIntegral closure of powers of the graded maximal ideal in a monomial ring
ISSN: 1401-5617 Integral closure of powers of the graded maximal ideal in a monomial ring Vincenzo Micale Research Reports in Mathematics Number 1, 003 Department of Mathematics Stockholm University Electronic
More informationLECTURE NOTES IN EQUIVARIANT ALGEBRAIC GEOMETRY. Spec k = (G G) G G (G G) G G G G i 1 G e
LECTURE NOTES IN EQUIVARIANT ALEBRAIC EOMETRY 8/4/5 Let k be field, not necessaril algebraicall closed. Definition: An algebraic group is a k-scheme together with morphisms (µ, i, e), k µ, i, Spec k, which
More informationYou don't have to be a mathematician to have a feel for numbers. John Forbes Nash, Jr.
Course Title: Real Analsis Course Code: MTH3 Course instructor: Dr. Atiq ur Rehman Class: MSc-II Course URL: www.mathcit.org/atiq/fa5-mth3 You don't have to be a mathematician to have a feel for numbers.
More informationarxiv:math/ v1 [math.ac] 11 Nov 2005
A note on Rees algebras and the MFMC property arxiv:math/0511307v1 [math.ac] 11 Nov 2005 Isidoro Gitler, Carlos E. Valencia and Rafael H. Villarreal 1 Departamento de Matemáticas Centro de Investigación
More informationOrientations of digraphs almost preserving diameter
Orientations of digraphs almost preserving diameter Gregor Gutin Department of Computer Science Roal Hollowa, Universit of London Egham, Surre TW20 0EX, UK, gutin@dcs.rhbnc.ac.uk Anders Yeo BRICS, Department
More informationTensor products in Riesz space theory
Tensor products in Riesz space theor Jan van Waaij Master thesis defended on Jul 16, 2013 Thesis advisors dr. O.W. van Gaans dr. M.F.E. de Jeu Mathematical Institute, Universit of Leiden CONTENTS 2 Contents
More informationMathematics of Cryptography Part I
CHAPTER 2 Mathematics of Crptograph Part I (Solution to Practice Set) Review Questions 1. The set of integers is Z. It contains all integral numbers from negative infinit to positive infinit. The set of
More informationThe Maze Generation Problem is NP-complete
The Mae Generation Problem is NP-complete Mario Alviano Department of Mathematics, Universit of Calabria, 87030 Rende (CS), Ital alviano@mat.unical.it Abstract. The Mae Generation problem has been presented
More informationA PARTIAL CHARACTERIZATION OF THE COCIRCUITS OF A SPLITTING MATROID
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT A PARTIAL CHARACTERIZATION OF THE COCIRCUITS OF A SPLITTING MATROID DR. ALLAN D. MILLS MAY 2004 No. 2004-2 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, TN 38505
More informationSecond Proof: Every Positive Integer is a Frobenius Number of Three Generators
International Mathematical Forum, Vol., 5, no. 5, - 7 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.988/imf.5.54 Second Proof: Ever Positive Integer is a Frobenius Number of Three Generators Firu Kamalov
More information2.5. Infinite Limits and Vertical Asymptotes. Infinite Limits
. Infinite Limits and Vertical Asmptotes. Infinite Limits and Vertical Asmptotes In this section we etend the concept of it to infinite its, which are not its as before, but rather an entirel new use of
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationExample 2: Let R be any commutative ring with 1, fix a R, and let. I = ar = {ar : r R},
25. Ideals and quotient rings We continue our study of rings by making analogies with groups. The next concept we introduce is that of an ideal of a ring. Ideals are ring-theoretic counterparts of normal
More informationAn Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch
An Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch Une Interprétation Algébrique de la Suite des Ordres de Multiplicité d une Branche Algébrique Proc. London Math. Soc. (2),
More information6. This sum can be rewritten as 4( ). We then recall the formula n =
. c = 9b = 3 b = 3 a 3 = a = = 6.. (3,, ) = 3 + + 3 = 9 + + 3 = 6 6. 3. We see that this is equal to. 3 = ( +.) 3. Using the fact that (x + ) 3 = x 3 + 3x + 3x + and replacing x with., we find that. 3
More informationSection 1.2: A Catalog of Functions
Section 1.: A Catalog of Functions As we discussed in the last section, in the sciences, we often tr to find an equation which models some given phenomenon in the real world - for eample, temperature as
More informationNEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS
NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS M. R. POURNAKI, S. A. SEYED FAKHARI, AND S. YASSEMI Abstract. Let be a simplicial complex and χ be an s-coloring of. Biermann and Van
More information2.5 CONTINUITY. a x. Notice that Definition l implicitly requires three things if f is continuous at a:
SECTION.5 CONTINUITY 9.5 CONTINUITY We noticed in Section.3 that the it of a function as approaches a can often be found simpl b calculating the value of the function at a. Functions with this propert
More informationArithmetic Funtions Over Rings with Zero Divisors
BULLETIN of the Bull Malaysian Math Sc Soc (Second Series) 24 (200 81-91 MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Arithmetic Funtions Over Rings with Zero Divisors 1 PATTIRA RUANGSINSAP, 1 VICHIAN LAOHAKOSOL
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationLESSON #42 - INVERSES OF FUNCTIONS AND FUNCTION NOTATION PART 2 COMMON CORE ALGEBRA II
LESSON #4 - INVERSES OF FUNCTIONS AND FUNCTION NOTATION PART COMMON CORE ALGEBRA II You will recall from unit 1 that in order to find the inverse of a function, ou must switch and and solve for. Also,
More informationTHE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I
J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More information1.2 Functions and Their Properties PreCalculus
1. Functions and Their Properties PreCalculus 1. FUNCTIONS AND THEIR PROPERTIES Learning Targets for 1. 1. Determine whether a set of numbers or a graph is a function. Find the domain of a function given
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 1. Tropical ideals The idea of tropical scheme theor in general is the following. An ideal I K[ 1,..., n ] gives rise to a variet V (I) A n K a variet. With classical tropicalization
More informationAn analytic proof of the theorems of Pappus and Desargues
Note di Matematica 22, n. 1, 2003, 99 106. An analtic proof of the theorems of Pappus and Desargues Erwin Kleinfeld and Tuong Ton-That Department of Mathematics, The Universit of Iowa, Iowa Cit, IA 52242,
More informationLimits and Continuous Functions. 2.2 Introduction to Limits. We first interpret limits loosely. We write. lim f(x) = L
2 Limits and Continuous Functions 2.2 Introduction to Limits We first interpret limits loosel. We write lim f() = L and sa the limit of f() as approaches c, equals L if we can make the values of f() arbitraril
More informationAPPENDIXES. B Coordinate Geometry and Lines C. D Trigonometry E F. G The Logarithm Defined as an Integral H Complex Numbers I
APPENDIXES A Numbers, Inequalities, and Absolute Values B Coordinate Geometr and Lines C Graphs of Second-Degree Equations D Trigonometr E F Sigma Notation Proofs of Theorems G The Logarithm Defined as
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 2, 2014 m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV ABSTRACT. We generalize the notion of m-full and basically
More informationTimed Watson-Crick Online Tessellation Automaton
Annals of Pure and Applied Mathematics Vol. 8, No. 2, 204, 75-82 ISSN: 2279-087X (P), 2279-0888(online) Published on 7 December 204 www.researchmathsci.org Annals of Timed Watson-Cric Online Tessellation
More informationP-Ideals and PMP-Ideals in Commutative Rings
Journal of Mathematical Extension Vol. 10, No. 4, (2016), 19-33 Journal ISSN: 1735-8299 of Mathematical Extension Vol. URL: 10, http://www.ijmex.com No. 4, (2016), 19-33 ISSN: 1735-8299 URL: http://www.ijmex.com
More informationSubfield value sets over finite fields
Subfield value sets over finite fields Wun-Seng Chou Institute of Mathematics Academia Sinica, and/or Department of Mathematical Sciences National Chengchi Universit Taipei, Taiwan, ROC Email: macws@mathsinicaedutw
More informationLines and Planes 1. x(t) = at + b y(t) = ct + d
1 Lines in the Plane Lines and Planes 1 Ever line of points L in R 2 can be epressed as the solution set for an equation of the form A + B = C. Will we call this the ABC form. Recall that the slope-intercept
More informationarxiv: v1 [math.rt] 4 Jan 2016
IRREDUCIBLE REPRESENTATIONS OF THE CHINESE MONOID LUKASZ KUBAT AND JAN OKNIŃSKI Abstract. All irreducible representations of the Chinese monoid C n, of any rank n, over a nondenumerable algebraically closed
More informationLecture 6. s S} is a ring.
Lecture 6 1 Localization Definition 1.1. Let A be a ring. A set S A is called multiplicative if x, y S implies xy S. We will assume that 1 S and 0 / S. (If 1 / S, then one can use Ŝ = {1} S instead of
More informationLaurie s Notes. Overview of Section 3.5
Overview of Section.5 Introduction Sstems of linear equations were solved in Algebra using substitution, elimination, and graphing. These same techniques are applied to nonlinear sstems in this lesson.
More informationUNIVERSIDAD CARLOS III DE MADRID MATHEMATICS II EXERCISES (SOLUTIONS )
UNIVERSIDAD CARLOS III DE MADRID MATHEMATICS II EXERCISES (SOLUTIONS ) CHAPTER : Limits and continuit of functions in R n. -. Sketch the following subsets of R. Sketch their boundar and the interior. Stud
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationMobius transformations and AdS 3 geometry
Mobius transformations and AdS 3 geometr Jeffre Danciger September 1, 010 1 PSL (R + Rτ) and its action on AdS 3 Let B be the real algebra generated b an element τ, with τ = +1. As a vector space B = R
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV Abstract. We generalize the notion of m- full and basically full ideals in the setting of tight closure and demonstrate some
More informationGraph the linear system and estimate the solution. Then check the solution algebraically.
(Chapters and ) A. Linear Sstems (pp. 6 0). Solve a Sstem b Graphing Vocabular Solution For a sstem of linear equations in two variables, an ordered pair (x, ) that satisfies each equation. Consistent
More informationReference Material /Formulas for Pre-Calculus CP/ H Summer Packet
Reference Material /Formulas for Pre-Calculus CP/ H Summer Packet Week # 1 Order of Operations Step 1 Evaluate expressions inside grouping symbols. Order of Step 2 Evaluate all powers. Operations Step
More information4Cubic. polynomials UNCORRECTED PAGE PROOFS
4Cubic polnomials 4.1 Kick off with CAS 4. Polnomials 4.3 The remainder and factor theorems 4.4 Graphs of cubic polnomials 4.5 Equations of cubic polnomials 4.6 Cubic models and applications 4.7 Review
More informationGlossary. Also available at BigIdeasMath.com: multi-language glossary vocabulary flash cards. An equation that contains an absolute value expression
Glossar This student friendl glossar is designed to be a reference for ke vocabular, properties, and mathematical terms. Several of the entries include a short eample to aid our understanding of important
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
The Indices of Torsion-Free Subgroups of Fuchsian Groups Author(s): R. G. Burns and Donald Solitar Source: Proceedings of the American Mathematical Society, Vol. 89, No. 3 (Nov., 1983), pp. 414-418 Published
More informationON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb
ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal
More informationFuzzy Topology On Fuzzy Sets: Regularity and Separation Axioms
wwwaasrcorg/aasrj American Academic & Scholarl Research Journal Vol 4, No 2, March 212 Fuzz Topolog n Fuzz Sets: Regularit and Separation Aioms AKandil 1, S Saleh 2 and MM Yakout 3 1 Mathematics Department,
More informationAnalytically Unramified One-dimensional Semilocal Rings and their Value Semigroups
Analytically Unramified One-dimensional Semilocal Rings and their Value Semigroups V. Barucci M. D Anna R. Fröberg April 1, 2003 Abstract In a one-dimensional local ring R with finite integral closure
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More informationMAT 1275: Introduction to Mathematical Analysis. Graphs and Simplest Equations for Basic Trigonometric Functions. y=sin( x) Function
MAT 275: Introduction to Mathematical Analsis Dr. A. Rozenblum Graphs and Simplest Equations for Basic Trigonometric Functions We consider here three basic functions: sine, cosine and tangent. For them,
More informationMath 121. Practice Questions Chapters 2 and 3 Fall Find the other endpoint of the line segment that has the given endpoint and midpoint.
Math 11. Practice Questions Chapters and 3 Fall 01 1. Find the other endpoint of the line segment that has the given endpoint and midpoint. Endpoint ( 7, ), Midpoint (, ). Solution: Let (, ) denote the
More informationWeek 15-16: Combinatorial Design
Week 15-16: Combinatorial Design May 8, 2017 A combinatorial design, or simply a design, is an arrangement of the objects of a set into subsets satisfying certain prescribed properties. The area of combinatorial
More informationGENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES
Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February
More informationarxiv: v1 [math.ac] 7 Feb 2009
MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of
More informationProvable intractability. NP-completeness. Decision problems. P problems. Algorithms. Two causes of intractability:
Provable intractabilit -completeness Selected from Computer and Intractabilit b MR Gare and DS Johnson (979) Two causes of intractabilit: The problem is so difficult that an exponential amount of time
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationSection 1.5 Formal definitions of limits
Section.5 Formal definitions of limits (3/908) Overview: The definitions of the various tpes of limits in previous sections involve phrases such as arbitraril close, sufficientl close, arbitraril large,
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationreview math0410 (1-174) and math 0320 ( ) aafinm mg
Eam Name review math04 (1-174) and math 0320 (17-243) 03201700aafinm0424300 mg MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Simplif. 1) 7 2-3 A)
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationON MATCHINGS IN GROUPS
ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality
More informationBetti Numbers of Splittable Graphs
Betti Numbers of Splittable Graphs Brittany Burns Dept. of Mathematical Sciences Shawnee State University, Portsmouth, OH 45662 USA Haley Mansfield Dept. of Mathematics Kansas State University, Manhattan,
More informationM ath. Res. Lett. 15 (2008), no. 2, c International Press 2008 JOINT REDUCTIONS OF MONOMIAL IDEALS AND MULTIPLICITY OF COMPLEX ANALYTIC MAPS
M ath. Res. Lett. 15 (2008), no. 2, 389 407 c International Press 2008 JOINT REDUCTIONS OF MONOMIAL IDEALS AND MULTIPLICITY OF COMPLEX ANALYTIC MAPS Carles Bivià-Ausina Abstract. We characterize the joint
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationarxiv: v2 [math.ac] 24 Jun 2014
Hilbert-Samuel Multiplicity of a Bipartite Graph arxiv:1406.2603v2 [math.ac] 24 Jun 2014 Abstract Priya Das 1, Himadri Mukherjee IISER Kolkata, Mohanpur Campus Let G be a bipartite graph and I(G the toric
More informationMath 030 Review for Final Exam Revised Fall 2010 RH/ DM 1
Math 00 Review for Final Eam Revised Fall 010 RH/ DM 1 1. Solve the equations: (-1) (7) (-) (-1) () 1 1 1 1 f. 1 g. h. 1 11 i. 9. Solve the following equations for the given variable: 1 Solve for. D ab
More informationMATH Line integrals III Fall The fundamental theorem of line integrals. In general C
MATH 255 Line integrals III Fall 216 In general 1. The fundamental theorem of line integrals v T ds depends on the curve between the starting point and the ending point. onsider two was to get from (1,
More informationA function from a set D to a set R is a rule that assigns a unique element in R to each element in D.
1.2 Functions and Their Properties PreCalculus 1.2 FUNCTIONS AND THEIR PROPERTIES Learning Targets for 1.2 1. Determine whether a set of numbers or a graph is a function 2. Find the domain of a function
More informationQUADRATIC FUNCTION REVIEW
Name: Date: QUADRATIC FUNCTION REVIEW Linear and eponential functions are used throughout mathematics and science due to their simplicit and applicabilit. Quadratic functions comprise another ver important
More informationNew types of bipolar fuzzy sets in -semihypergroups
Songlanaarin J. Sci. Technol. 38 (2) 119-127 Mar. - pr. 2016 http://www.sjst.psu.ac.th Original rticle New tpes of bipolar fu sets in -semihpergroups Naveed Yaqoob 1 * Muhammad slam 2 Inaatur Rehman 3
More informationMathematics 309 Conic sections and their applicationsn. Chapter 2. Quadric figures. ai,j x i x j + b i x i + c =0. 1. Coordinate changes
Mathematics 309 Conic sections and their applicationsn Chapter 2. Quadric figures In this chapter want to outline quickl how to decide what figure associated in 2D and 3D to quadratic equations look like.
More informationIdeals Of The Ring Of Higher Dimensional Dual Numbers
Journal of Advances in Algebra (AA). ISSN 0973-6964 Volume 9, Number 1 (2016), pp. 1 8 Research India Publications http://www.ripublication.com/aa.htm Ideals Of The Ring Of Higher Dimensional Dual Numbers
More informationOn Invariants of Complex Filiform Leibniz Algebras ABSTRACT INTRODUCTION
Malaysian Journal of Mathematical Sciences (): 47-59 (009) Isamiddin S.Rakhimov Department of Mathematics Faculty of Science and Institute for Mathematical Research Universiti Putra Malaysia 4400 UPM Serdang
More informationA GENERALIZATION OF BI IDEALS IN SEMIRINGS
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 123-133 DOI: 10.7251/BIMVI1801123M Former BULLETIN
More informationCHAPTER 3. Number Theory
CHAPTER 3 Number Theory 1. Factors or not According to Carl Friedrich Gauss (1777-1855) mathematics is the queen of sciences and number theory is the queen of mathematics, where queen stands for elevated
More informationConstant 2-labelling of a graph
Constant 2-labelling of a graph S. Gravier, and E. Vandomme June 18, 2012 Abstract We introduce the concept of constant 2-labelling of a graph and show how it can be used to obtain periodic sphere packing.
More informationELA
Volume 16, pp 171-182, July 2007 http://mathtechnionacil/iic/ela SUBDIRECT SUMS OF DOUBLY DIAGONALLY DOMINANT MATRICES YAN ZHU AND TING-ZHU HUANG Abstract The problem of when the k-subdirect sum of a doubly
More informationM ath. Res. Lett. 15 (2008), no. 3, c International Press 2008 SOME CASES OF THE EISENBUD-GREEN-HARRIS CONJECTURE
M ath. Res. Lett. 15 (2008), no. 3, 427 433 c International Press 2008 SOME CASES OF THE EISENBUD-GREEN-HARRIS CONJECTURE Giulio Caviglia and Diane Maclagan Abstract. The Eisenbud-Green-Harris conjecture
More informationTHE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationLESSON #28 - POWER FUNCTIONS COMMON CORE ALGEBRA II
1 LESSON #8 - POWER FUNCTIONS COMMON CORE ALGEBRA II Before we start to analze polnomials of degree higher than two (quadratics), we first will look at ver simple functions known as power functions. The
More informationLecture 5. Equations of Lines and Planes. Dan Nichols MATH 233, Spring 2018 University of Massachusetts.
Lecture 5 Equations of Lines and Planes Dan Nichols nichols@math.umass.edu MATH 233, Spring 2018 Universit of Massachusetts Februar 6, 2018 (2) Upcoming midterm eam First midterm: Wednesda Feb. 21, 7:00-9:00
More informationIdentifying second degree equations
Chapter 7 Identifing second degree equations 71 The eigenvalue method In this section we appl eigenvalue methods to determine the geometrical nature of the second degree equation a 2 + 2h + b 2 + 2g +
More informationA Polarization Operation for Pseudomonomial Ideals
A Polarization Operation for Pseudomonomial Ideals Jeffrey Sun September 7, 2016 Abstract Pseudomonomials and ideals generated by pseudomonomials (pseudomonomial ideals) are a central object of study in
More informationarxiv:math/ v1 [math.ra] 9 Jun 2006
Noetherian algebras over algebraically closed fields arxiv:math/0606209v1 [math.ra] 9 Jun 2006 Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Drive Burnaby, BC, V5A 1S6
More informationCombinatorial Method in the Coset Enumeration. of Symmetrically Generated Groups II: Monomial Modular Representations
International Journal of Algebra, Vol. 1, 2007, no. 11, 505-518 Combinatorial Method in the Coset Enumeration of Symmetrically Generated Groups II: Monomial Modular Representations Mohamed Sayed Department
More informationCommuting nilpotent matrices and pairs of partitions
Commuting nilpotent matrices and pairs of partitions Roberta Basili Algebraic Combinatorics Meets Inverse Systems Montréal, January 19-21, 2007 We will explain some results on commuting n n matrices and
More informationPolynomial and Rational Functions
Name Date Chapter Polnomial and Rational Functions Section.1 Quadratic Functions Objective: In this lesson ou learned how to sketch and analze graphs of quadratic functions. Important Vocabular Define
More informationarxiv:math/ v2 [math.ac] 9 Mar 2007
A note on Rees algebras and the MFMC property arxiv:math/0511307v2 [math.ac] 9 Mar 2007 Isidoro Gitler 1, Carlos E. Valencia and Rafael H. Villarreal Departamento de Matemáticas Centro de Investigación
More informationWeek 3 September 5-7.
MA322 Weekl topics and quiz preparations Week 3 September 5-7. Topics These are alread partl covered in lectures. We collect the details for convenience.. Solutions of homogeneous equations AX =. 2. Using
More informationMonomial transformations of the projective space
Monomial transformations of the projective space Olivier Debarre and Bodo Lass Abstract We prove that, over any field, the dimension of the indeterminacy locus of a rational map f : P n P n defined by
More informationGeometric Aspects of SL(2)-Invariant Second Order Ordinary Differential Equations
Seminar Sophus Lie 3 (1993) 31 36 Version of Jul 15, 1995 Geometric Aspects of SL()-Invariant Second Order Ordinar Differential Equations Günter Czichowski 1. Actions of SL() on the Real Plane With respect
More information