NUMERICAL MONOIDS (I)
|
|
- Harvey Goodman
- 5 years ago
- Views:
Transcription
1 Seminar Series in Mathematics: Algebra 2003, 1 8 NUMERICAL MONOIDS (I) Introduction The numerical monoids are simple to define and naturally appear in various parts of mathematics, e.g. as the values monoids of the algebroid branches of the plane algebraic curves or as supporting structures in the explicit computation of the cyclotomic polynomials or in combinatorial problems arising in the additive arithmetics. Important structural results in the general theory of the numerical monoids were obtained by Sylvester, Frobenius, Kunz, Herzog, Fröberg, Selmer, Rödseth, and the impact in geometry was studied by Abhyankar, Moh, Garsia, Stöhr, Waldi, Angemüller... However, in spite of their simple definition, the study of the numerical monoids proved difficult. For instance, except for a few particular cases, no general closed arithmetic formulas are known (they simple seem not to exist). Instead such formulas, various computing algorithms were developed and subsequently simplified. The aim of this lecture is to introduce the basic notions and tools in the study of the numerical monoids. 1 Numerical monoids Proposition 1.1. Let M be a submonoid of the additive monoid (N, +). The following are equivalent: (i) There exists n N such that n + N M. (ii) The complement M := N M is finite. (iii) M is finitely generated by a system of relatively prime natural numbers. (iv) M contains two consecutive nonzero natural numbers. This lecture was held by Şerban Bărcănescu Institute of Mathematics, Bucharest, Romania sbarcan@imar.ro 1
2 2 Numerical Monoids The obvious proof of the proposition is omitted. Definition 1.2. A monoid M verifying one of the equivalent conditions of Proposition 1.1 is called numerical. Proposition 1.3. Let M be a numerical monoid and put: Then: (i) ϕ M = f M + 1. f M = max M and ϕ M = min{n N n + N M}. (ii) For G M = {x M x < f M } we have: M = G M (ϕ M + N). (iii) M G M = and M G M = {0, 1, 2,..., f M }. Definition 1.4. With the above notations, f M is called the Frobenius number and ϕ M is called the Euler number of the numerical monoid M. Remarks 1.5. (i) In spite of the relation (i), Proposition 1.3, the numbers f M and ϕ M have different roles in the theory of the numerical monoids. (ii) The name of ϕ M is due to the fact that, in particular cases, it actually coincides with the value of the Euler totient function. (iii) The monoid (N, +) itself is numerical with f N = 1. Now, let M be a numerical monoid and K be a fixed field. The unique minimal generating system {g 1, g 2,..., g t } (t 2) of M (cf. (iii) Proposition 1.1) produces the following representations of the monoid algebra of M over K : (1) K[M] = K[X g 1, X g 2,..., X g t ] K[X] = k[n], showing that k[m] is a 1 dimensional Cohen-Macaulay domain. (2) Let ψ : K[Y 1, Y 2,..., Y t ] K[M] be the surjective K algebra homomorphism given by ψ(y j ) = X g i, j = 1, 2,..., t. ψ is graded for deg Y j = g j (all j s) so ker ψ is an homogeneous prime ideal called the toric ideal of M. It obviously contains among its generators the binomials Y g i d ij j g j d ij Yi, 1 i < j t,
3 Numerical Monoids 3 where d ij = gcd(g i, g j ). Therefore K[M] is a 1 dimensional affine K algebra, defining as such an algebraic curve Γ(M) A t K, called the monomial curve associated to M. Its name comes from the fact that, in an affine coordinate system (x 1,..., x t ), Γ(M) is parametrically given by monomials: x j = τ g j, τ K and j = 1, 2,..., t. The study of these curves (in particular, the fact that they are indeed toric varieties) is the geometric counterpart of the study of the numerical monoids and constitutes the subject of other lectures in this conference. 2 Zeta Functions A numerical monoid M has a subjacent combinatorial structure given by the partial order M defined by x, y M : x M y if and only if z M and x + z = y. Contrary to the natural order on the ambient N (which is an infinite chain, therefore gives N the structure of a generic distributive lattice), the order M on N is only a poset structure (not even a lattice, in general). The chain order obviously extends the order M, which therefore inherits the property of having finite descending subchains (i.e. is a good order on N). (M, M ) is not normally embedded in (N, ) (or else k[m] would be regular, which is the case for M = N only). To the monoidal order M we associate the reduced incidence algebra K[[M]], defined as the m adic completion of the localization k[m] m, m being the ideal generated by X g1, X g2,..., X gt. Obviously k[[m]] is a subalgebra of the power series algebra k[[x]]. The elements of k[[m]] are called incidence functions on M. The main incidence function on M is its zeta function defined by ζ M = α M X α. In this function many ennumerative properties of M are gathered: for instance ζ 1 M := µ M is the Möbius function on M (i.e. the reduced Euler characteristics of each chain complex (α), α M), ζ M 1 = λ M is the chain-ennumerating function on M, etc. The computation of ζ M is usually the first step in the study of the ennumerative structure of any monoid. In our context we have the following obvious expressions: Proposition 2.1. Let M be a numerical monoid with minimal generating system {g 1, g 2,..., g t }. Then ζ M is the power series development of any of the following rational functions:
4 4 Numerical Monoids (i) ζ M = α G M X α + X ϕ M 1 1 X, (ii) ζ M = f M j=0 Xj β M Xβ + X ϕ M 1 1 X, (iii) ζ M = 1 1 X β M Xβ, (iv) ζ M = P (X)(1 X) g1... (1 X) g t, for some P Z[X]. The expression (iv) of ζ M comes from the embedded representation (2), 1, of the monoid algebra K[M]. The relevance of the explicit computation for ζ M will become apparent in the following section. 3 Symmetric numerical monoids We are now ready to introduce one of the main objects of study in the whole theory of the numerical monoids. Proposition 3.1. Let M be a numerical monoid. The following are equivalent: (i) G M = M = 1 2 ϕ M. (ii) The function δ : M G M given by δ(β) = f M β is a decreasing bijection (in the natural order on N). (iii) The monoid algebra K[M] is Gorenstein. Proof. The equivalence of (i) and (ii) is obvious in virtue of Proposition 1.3 (iii), with the remark that {0, 1, 2,..., f M } = f M + 1 = ϕ M. To prove (ii) (iii) we use Stanley s criterion for Cohen-Macaulay graded domains, which, in this context, becomes: K[M] is Gorenstein if and only if h Z and ζ M (X 1 ) = ( 1) 1 X h ζ M (X), where 1 = dim K[M] (the undeterminacy of the integer h is due to the undeterminacy of the canonical module ω K[M] up to a shift in grading). Now, using Proposition 2.1, we immediately see that: ζ M (X 1 ) = ( 1) 1 X fm ( X f M β 1 ) + X ϕm. 1 X β M
5 Numerical Monoids 5 Comparing this with proposition 2.1 (i), it follows that K[M] is Gorenstein if and only if: X α = X f M β, α G M which is precisely (ii) in the enounce. β M Definition 3.2. A numerical monoid M verifying one of the equivalent conditions in Proposition 3.1 is called symmetric. Remarks 3.3. (i) The result of Proposition 3.1 is due to E. Kunz. (ii) If M is symmetric it necessarily follows that ϕ M is even. Therefore ϕ M odd M is not symmetric. Now, let α M + = M {0}. Then X α is a non-zerodivisor in k[m], therefore K[M]/(X α ) is a graded artinian algebra. Proposition 3.4. (Fröberg) Let and let T (M) = {β M β + γ M, γ M + } h : T (M) K[M]/(X α ), h(β) = X β+α ( mod X α ). Then Im h is a K linear basis in Soc(K[M]/(X α )). Proof. See [V], ch. 10, Thm Corollary 3.5. Let τ(m) be the type of the Cohen-Macaulay algebra K[M] (i.e. the rank of the canonical module ω K[M] ). Then τ(m) = dim K Soc(K[M]/(X α )) = T (M). Corollary 3.6. K[M] is Gorenstein (i.e. T (M) = 1 T (M) = {f M }. M is symmetric) if and only if 4 Principal residues We define now the notion of residue modulo a numerical monoid M, which proves useful in inductive arguments. Let us first remark that the abelian group generated by M is simply Z and the congruence x y( mod M) if and only if y x M is not an equivalence relation but an order relation, namely the monoidal order M. The definition of the classes mod M as x + M, x N, reduces the
6 6 Numerical Monoids congruence x + M = y + M to the equality x = y. Therefore we cannot define a quotient monoid N/M. What we can do is only to define a local independence mod M on the natural numbers, in the sense of their incompatibility in the monoidal order M and a local congruence mod M in the sense of the compatibility in M. The order M being good, each (maximal) chain has an initial vertex. The chains passing through some α M all have the initial verex in 0(zero), so only the chains passing through elements β M may contribute to the local congruence (independence) mod M. We have the following result: Proposition 4.1. Let g 1 be the least generator of M and put σ = g 1 1. Then: (i) The set {1, 2,..., σ} is an antichain of the monoidal order M. (ii) For any β M each maximal M vertex in {1, 2,..., σ}. chain through β has the initial Proof. (i) is immediate by the definition of σ. For (ii) it suffices to show that, given β M, there is a j β {1, 2,..., σ} such that j β M β. Suppose not: then β σ, β σ + 1,..., β are all in M and, obviously, β > g 1. If β σ < g 1 then β g 1 < σ and, since β = (β g 1 ) + g 1, we would have β g 1 M β, in contradiction with our hypothesis. Therefore g 1 β σ, so g 1 < β σ g β σ 2g 1 β. If β σ < 2g 1, since β = (β 2g 1 ) + 2g 1, we would again have a contradiction. Therefore 2g 1 < β σ 3g 1 β. Continuing inductively we would obtain ng 1 β for all n 1. Definition 4.2. With the notations in Proposition 4.1, the numbers {1, 2,..., σ} are called principal residues and their set is called the initial segment of the numerical monoid M. Fix now a numerical monoid M to which we adjoin a new generator w M, obtaining a new monoid H = Nw + M. Clearly M H, so H M and f H f M. In order to compare the Frobenius numbers f M and f H, we have first to compare M and H (since f M = max M and f H = max H). We have the following result: Proposition 4.3. With the above notations let (i) (M : w) is a numerical monoid. (ii) (M : w) = M : w. (M : w) = {m N mw M}.
7 Numerical Monoids 7 (iii) Let {1, 2,..., σ} be the initial segment of (M : w) (so σ + 1 = min{m N mw M}). Then H = M \ σ [(jw + M) M]. j=1 Proof. (i) is clear since there is m N such that mw > ϕ M therefore (m + N)w M. (ii) simply reads mw M if and only if m (M : w). To prove (iii) remark that H = M \ (H M) and that H = j 0 (jw + M). So we have to prove that: [(jw + M) M] = j 0 σ [jw + M) M]. This comes to show that each multiple mw wich belongs to M, either equals one of w, 2w,..., σw or is M than one of the principal mutiples. But: mw M m M : w m M : w and, according to Proposition 4.1 (ii), there exists j m {1, 2,..., σ} such that: j m (M,w) m i.e. α M : w such that j m + α = m. Then mw = j m w + αw and, since αw M, we get mw M j m w. 5 Arithmetic translation Finally, let us translate into arithmetic language the definition of the Frobenius number and the symmetry property of a numerical monoid. We omit the proofs of the following statements because they are mere reformulations of the previous ones. Proposition 5.1. Let M be a numerical monoid minimally generated by g 1, g 2,..., g t and let L M (X) = L M (X 1,..., X t ) be the associated linear form: Then j=1 L M (X) = X 1 g 1 + X 2 g X t g t Z[X 1,..., X t ]. f M = max{ν N the equation L M (X) = ν has no solution in N t } = = max{ ν N the equation L M (X) = ν+g g t has no solution in (N ) t }.
8 8 Numerical Monoids This result can be rephrased as follows: Proposition 5.2. Let ν N be a natural number such that: (i) the equation L M (X) = ν has no solution in N t, (ii) for each τ N, the equation L M (X) = ν + τ has solution in N t. Then ν = f M. By translating with g 1 + g g t the last characterization, we get: Proposition 5.3. Let ν N be a natural number such that: (i) the equation L M (X) = ν has no solution in (N ) t, (ii) for each τ N the equation L M (X) = ν + τ has solution in (N ) t. Then ν (g 1 + g g t ) = f M. Proposition 5.4. The following are equivalent: (i) The monoid M is symmetric, (ii) The equation L M (X) = f M β has solution in N t if and only if β M. Remarks 5.5. (i) In Proposition 5.4 (ii) the only if part may be dropped, since L M (X) = f M α obviously has no N t solutions for α M. (ii) In Proposition 5.2 (ii) the number N(τ) of the N t solutions for L M (X) = f M + τ is obviously finite (each component x j of a solution is (f M + τ)/g j, j = 1, 2,..., t). Therefore the ennumerative properties of M are also reflected in the Dirichlet-type series References D M (z) = N(τ) τ z, z C. τ N [H] J. Herzog, Generators and relations of Abelian Semigroups and Rings, Manuscripta Math., 3 (1970) [K1] E. Kunz, Ebene algebraische Kurven, Regensburger Trichter, 23(1991) [K2] E. Kunz, The values semigroups of a one-dimensional Gorenstein ring, Proc. AMS (1970) [V] R. H. Villareal, Monomial Algebras, Pure & Appl. Math. 238(2001).
Journal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
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 informationPseudo symmetric monomial curves
Pseudo symmetric monomial curves Mesut Şahin HACETTEPE UNIVERSITY Joint work with Nil Şahin (Bilkent University) Supported by Tubitak No: 114F094 IMNS 2016, July 4-8, 2016 Mesut Şahin (HACETTEPE UNIVERSITY)
More informationarxiv: v1 [math.ac] 6 Jan 2019
GORENSTEIN T-SPREAD VERONESE ALGEBRAS RODICA DINU arxiv:1901.01561v1 [math.ac] 6 Jan 2019 Abstract. In this paper we characterize the Gorenstein t-spread Veronese algebras. Introduction Let K be a field
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 informationLecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).
Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is
More informationOn intersections of complete intersection ideals
On intersections of complete intersection ideals Mircea Cimpoeaş I.M.A.R. mircea.cimpoeas@imar.ro joint work with Dumitru Stamate July 7, 2016, I.M.N.S., Levico Terme, Italy Overview 1 Introduction 2 Main
More informationCHOMP ON NUMERICAL SEMIGROUPS
CHOMP ON NUMERICAL SEMIGROUPS IGNACIO GARCÍA-MARCO AND KOLJA KNAUER ABSTRACT. We consider the two-player game chomp on posets associated to numerical semigroups and show that the analysis of strategies
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationRECTANGULAR SIMPLICIAL SEMIGROUPS
RECTANGULAR SIMPLICIAL SEMIGROUPS WINFRIED BRUNS AND JOSEPH GUBELADZE In [3] Bruns, Gubeladze, and Trung define the notion of polytopal semigroup ring as follows. Let P be a lattice polytope in R n, i.
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationCombinatorics of Valuations on Curve Singularities
Philipp Korell Combinatorics of Valuations on Curve Singularities Vom Fachbereich Mathematik der Technischen Universität Kaiserslautern zur Erlangung des akademischen Grades Doktor der Naturwissenschaften
More informationAssociated graded rings of one-dimensional analytically irreducible rings
Associated graded rings of one-dimensional analytically irreducible rings V. Barucci Dipartimento di matematica Università di Roma 1 Piazzale Aldo Moro 2 00185 Roma Italy email barucci@mat.uniroma1.it
More informationJournal of Pure and Applied Algebra
Journal of Pure and Applied Algebra 217 (2013) 230 237 Contents lists available at SciVerse ScienceDirect Journal of Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa On differential
More informationarxiv: v1 [math.ac] 31 Oct 2015
MESOPRIMARY DECOMPOSITION OF BINOMIAL SUBMODULES CHRISTOPHER O NEILL arxiv:1511.00161v1 [math.ac] 31 Oct 2015 Abstract. Recent results of Kahle and Miller give a method of constructing primary decompositions
More informationDESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY CHRISTEL ROTTHAUS (Communicated by Wolmer V. Vasconcelos)
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL NUMBERS. Ryan Gipson and Hamid Kulosman
International Electronic Journal of Algebra Volume 22 (2017) 133-146 DOI: 10.24330/ieja.325939 ATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationMATH 690 NOTES. 1. Associated graded rings
MATH 690 NOTES 1. Associated graded rings Question 1.1. Let G = k[g 1 ] = n 0 G n be a one-dimensional standard graded ring over the field k = G 0. What are necessary and sufficient conditions in order
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
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 informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationSome Algebraic and Combinatorial Properties of the Complete T -Partite Graphs
Iranian Journal of Mathematical Sciences and Informatics Vol. 13, No. 1 (2018), pp 131-138 DOI: 10.7508/ijmsi.2018.1.012 Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs Seyyede
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationABSTRACT NONSINGULAR CURVES
ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a
More informationarxiv: v1 [math.ac] 8 Sep 2014
SYZYGIES OF HIBI RINGS VIVIANA ENE arxiv:1409.2445v1 [math.ac] 8 Sep 2014 Abstract. We survey recent results on resolutions of Hibi rings. Contents Introduction 1 1. Hibi rings and their Gröbner bases
More informationMULTIPLICITIES OF MONOMIAL IDEALS
MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I
More informationALMOST GORENSTEIN RINGS
ALMOST GORENSTEIN RINGS SHIRO GOTO, NAOYUKI MATSUOKA, AND TRAN THI PHUONG Abstract. The notion of almost Gorenstein ring given by Barucci and Fröberg [2] in the case where the local rings are analytically
More informationBinomial Exercises A = 1 1 and 1
Lecture I. Toric ideals. Exhibit a point configuration A whose affine semigroup NA does not consist of the intersection of the lattice ZA spanned by the columns of A with the real cone generated by A.
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION
ON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION Gretchen L. Matthews 1 Department of Mathematical Sciences, Clemson University, Clemson, SC 9634-0975, USA gmatthe@clemson.edu Received:
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More information4.2 Chain Conditions
4.2 Chain Conditions Imposing chain conditions on the or on the poset of submodules of a module, poset of ideals of a ring, makes a module or ring more tractable and facilitates the proofs of deep theorems.
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationp-adic fields Chapter 7
Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify
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 informationLINKAGE CLASSES OF GRADE 3 PERFECT IDEALS
LINKAGE CLASSES OF GRADE 3 PERFECT IDEALS LARS WINTHER CHRISTENSEN, OANA VELICHE, AND JERZY WEYMAN Abstract. While every grade 2 perfect ideal in a regular local ring is linked to a complete intersection
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 informationDepth of some square free monomial ideals
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 117 124 Depth of some square free monomial ideals by Dorin Popescu and Andrei Zarojanu Dedicated to the memory of Nicolae Popescu (1937-2010)
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More informationA NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS
A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS RAVI JAGADEESAN AND AARON LANDESMAN Abstract. We give a new proof of Serre s result that a Noetherian local ring is regular if
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationQuantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians.
Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians. T.H. Lenagan and L. Rigal Abstract We study quantum analogues
More informationNUMERICAL SEMIGROUPS MINI-COURSE CONTENTS
NUMERICAL SEMIGROUPS MINI-COURSE P. A. GARCÍA-SÁNCHEZ CONTENTS Lecture 1. Three ways for representing a numerical semigroup. Generalities 2 1. Generators (first choice) 2 2. Multiplicity, Frobenius number,
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
More informationCriteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman
Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for
More informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
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 informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationRees Algebras of Modules
Rees Algebras of Modules ARON SIMIS Departamento de Matemática Universidade Federal de Pernambuco 50740-540 Recife, PE, Brazil e-mail: aron@dmat.ufpe.br BERND ULRICH Department of Mathematics Michigan
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 informationE. GORLA, J. C. MIGLIORE, AND U. NAGEL
GRÖBNER BASES VIA LINKAGE E. GORLA, J. C. MIGLIORE, AND U. NAGEL Abstract. In this paper, we give a sufficient condition for a set G of polynomials to be a Gröbner basis with respect to a given term-order
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationKrull Dimension and Going-Down in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
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 informationHomology of Newtonian Coalgebras
Homology of Newtonian Coalgebras Richard EHRENBORG and Margaret READDY Abstract Given a Newtonian coalgebra we associate to it a chain complex. The homology groups of this Newtonian chain complex are computed
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationON THE STANLEY DEPTH OF SQUAREFREE VERONESE IDEALS
ON THE STANLEY DEPTH OF SQUAREFREE VERONESE IDEALS MITCHEL T. KELLER, YI-HUANG SHEN, NOAH STREIB, AND STEPHEN J. YOUNG ABSTRACT. Let K be a field and S = K[x 1,...,x n ]. In 1982, Stanley defined what
More informationGENERALIZED BRAUER TREE ORDERS
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. 2 GENERALIZED BRAUER TREE ORDERS BY K. W. R O G G E N K A M P (STUTTGART) Introduction. p-adic blocks of integral group rings with cyclic defect
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
More informationMinimal free resolutions for certain affine monomial curves
Contemporary Mathematics Volume 555, 11 Minimal free resolutions for certain affine monomial curves Philippe Gimenez, Indranath Sengupta, and Hema Srinivasan This paper is dedicated to Wolmer V Vasconcelos
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationarxiv: v1 [math.ac] 18 Mar 2014
LINEARLY RELATED POLYOMINOES arxiv:1403.4349v1 [math.ac] 18 Mar 2014 VIVIANA ENE, JÜRGEN HERZOG, TAKAYUKI HIBI Abstract. We classify all convex polyomino ideals which are linearly related or have a linear
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationCitation Osaka Journal of Mathematics. 44(4)
TitleCohen-Macaulay local rings of embed Author(s) Wang, Hsin-Ju Citation Osaka Journal of Mathematics. 44(4) Issue 2007-2 Date Text Version publisher URL http://hdl.handle.net/094/0242 DOI Rights Osaka
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationINFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS
INFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS YONGWEI YAO Abstract. For any commutative ring R that is not a domain, there is a zerodivisor graph, denoted Γ(R), in which the vertices are the nonzero zero-divisors
More informationTotal binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg
Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg Setup Let k be a field. For computations we use k = Q. k[p] := k[p 1,..., p n ] the polynomial ring in n indeterminates
More informationCHARACTERIZATION OF GORENSTEIN STRONGLY KOSZUL HIBI RINGS BY F-INVARIANTS
CHARACTERIZATION OF GORENSTEIN STRONGLY KOSZUL HIBI RINGS BY F-INVARIANTS KAZUNORI MATSUDA Abstract. Hibi rings are a kind of graded toric ring on a finite distributive lattice D = J(P ), where P is a
More informationarxiv: v2 [math.ac] 19 Dec 2008
A combinatorial description of monomial algebras arxiv:0810.4836v2 [math.ac] 19 Dec 2008 Ignacio Oeda Universidad de Extremadura Departamento de Matemáticas e-mail: oedamc@unex.es March 22, 2009 Abstract
More informationPRIMARY DECOMPOSITION OF MODULES
PRIMARY DECOMPOSITION OF MODULES SUDHIR R. GHORPADE AND JUGAL K. VERMA Department of Mathematics, Indian Institute of Technology, Mumbai 400 076, India E-Mail: {srg, jkv}@math.iitb.ac.in Abstract. Basics
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
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 informationADDENDUM TO FROBENIUS AND CARTIER ALGEBRAS OF STANLEY-REISNER RINGS [J. ALGEBRA 358 (2012) ]
ADDENDUM TO FROBENIUS AND CARTIER ALGEBRAS OF STANLEY-REISNER RINGS [J. ALGEBRA 358 (2012) 162-177] JOSEP ÀLVAREZ MONTANER AND KOHJI YANAGAWA Abstract. We give a purely combinatorial characterization of
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
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 informationThe Hilbert functions which force the Weak Lefschetz Property
The Hilbert functions which force the Weak Lefschetz Property JUAN MIGLIORE Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556, USA E-mail: Juan.C.Migliore.1@nd.edu FABRIZIO ZANELLO
More informationSubrings of Finite Commutative Rings
Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish
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 informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/21-2010 KARL SCHWEDE 1. F -rationality Definition 1.1. Given (M, φ) as above, the module τ(m, φ) is called the test submodule of (M, φ). With Ψ R : F ω
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationON SEMINORMAL MONOID RINGS
ON SEMINORMAL MONOID RINGS WINFRIED BRUNS, PING LI, AND TIM RÖMER ABSTRACT. Given a seminormal affine monoid M we consider several monoid properties of M and their connections to ring properties of the
More informationGreen s Hyperplane Restriction Theorem: an extension to modules
Green s Hyperplane Restriction Theorem: an extension to modules Ornella Greco Royal Institute of Technology, Department of Mathematics, S-10044 Stockholm, Sweden. E-mail address: ogreco@kth.se Abstract
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More information