NUMERICAL MONOIDS (I)

Size: px
Start display at page:

Download "NUMERICAL MONOIDS (I)"

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

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

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

Pseudo symmetric monomial curves

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

arxiv: v1 [math.ac] 6 Jan 2019

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

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

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

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

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

On intersections of complete intersection ideals

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

CHOMP ON NUMERICAL SEMIGROUPS

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

12. Hilbert Polynomials and Bézout s Theorem

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

NOTES ON FINITE FIELDS

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

RECTANGULAR SIMPLICIAL SEMIGROUPS

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

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

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

MATH 361: NUMBER THEORY FOURTH LECTURE

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

Combinatorics of Valuations on Curve Singularities

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

Associated graded rings of one-dimensional analytically irreducible rings

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

Journal of Pure and Applied Algebra

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

arxiv: v1 [math.ac] 31 Oct 2015

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

DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY

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

Math 145. Codimension

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

INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA

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

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

ATOMIC 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

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

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

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

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

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

MATH 690 NOTES. 1. Associated graded rings

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

Algebraic function fields

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

Injective Modules and Matlis Duality

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

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

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

Math 711: Lecture of September 7, Symbolic powers

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

Some Algebraic and Combinatorial Properties of the Complete T -Partite Graphs

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

1 Absolute values and discrete valuations

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

ABSTRACT NONSINGULAR CURVES

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

arxiv: v1 [math.ac] 8 Sep 2014

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

MULTIPLICITIES OF MONOMIAL IDEALS

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

ALMOST GORENSTEIN RINGS

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

Binomial Exercises A = 1 1 and 1

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

COHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9

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

ON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION

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

Lecture 8: The Field B dr

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

4.2 Chain Conditions

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

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

p-adic fields Chapter 7

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

MATH 326: RINGS AND MODULES STEFAN GILLE

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

LINKAGE CLASSES OF GRADE 3 PERFECT IDEALS

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

Formal power series rings, inverse limits, and I-adic completions of rings

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

Depth of some square free monomial ideals

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

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES

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

HILBERT FUNCTIONS. 1. Introduction

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

A NEW PROOF OF SERRE S HOMOLOGICAL CHARACTERIZATION OF REGULAR LOCAL RINGS

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

Notes on p-divisible Groups

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

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

NUMERICAL SEMIGROUPS MINI-COURSE CONTENTS

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

Polynomials, Ideals, and Gröbner Bases

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

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

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

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

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

On the vanishing of Tor of the absolute integral closure

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

Rees Algebras of Modules

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

Analytically Unramified One-dimensional Semilocal Rings and their Value Semigroups

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

E. GORLA, J. C. MIGLIORE, AND U. NAGEL

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

Part II. Number Theory. Year

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

Krull Dimension and Going-Down in Fixed Rings

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

A Polarization Operation for Pseudomonomial Ideals

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

Homology of Newtonian Coalgebras

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

How many units can a commutative ring have?

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

ON THE STANLEY DEPTH OF SQUAREFREE VERONESE IDEALS

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

GENERALIZED BRAUER TREE ORDERS

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

Lecture 2: Elliptic curves

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

Factorization in Integral Domains II

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

Minimal free resolutions for certain affine monomial curves

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

STABLE MODULE THEORY WITH KERNELS

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

Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals

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

LECTURE 2 FRANZ LEMMERMEYER

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

arxiv: v1 [math.ac] 18 Mar 2014

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

Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

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

Citation Osaka Journal of Mathematics. 44(4)

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

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

INFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS

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

Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg

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

CHARACTERIZATION OF GORENSTEIN STRONGLY KOSZUL HIBI RINGS BY F-INVARIANTS

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

arxiv: v2 [math.ac] 19 Dec 2008

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

PRIMARY DECOMPOSITION OF MODULES

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

5 Dedekind extensions

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

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS

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

ADDENDUM 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) ] 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 information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

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

Integral closure of powers of the graded maximal ideal in a monomial ring

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

The Hilbert functions which force the Weak Lefschetz Property

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

Subrings of Finite Commutative Rings

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

An Algebraic Interpretation of the Multiplicity Sequence of an Algebraic Branch

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

Homological Methods in Commutative Algebra

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

F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/

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

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

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

ON SEMINORMAL MONOID RINGS

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

Green s Hyperplane Restriction Theorem: an extension to modules

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

Rings and groups. Ya. Sysak

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

NOTES IN COMMUTATIVE ALGEBRA: PART 2

NOTES 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