I. Duality. Macaulay F. S., The Algebraic Theory of Modular Systems, Cambridge Univ. Press (1916);
|
|
- Maude Miles
- 5 years ago
- Views:
Transcription
1 I. Duality Macaulay F. S., On the Resolution of a given Modular System into Primary Systems including some Properties of Hilbert Numbers, Math. Ann. 74 (1913), ; Macaulay F. S., The Algebraic Theory of Modular Systems, Cambridge Univ. Press (1916); Gröbner W., Moderne Algebraische Geometrie, Springer (1949); Möller H.M., Systems of Algebraic Equations Solved by Means of Endomorphisms, L. N. Comp. Sci. 673 (1993), 43 56, Springer; Marinari M.G., Möller H.M., On multiplicities in Polynomial System Solvin. Trans. AMS, 348 (1996), ; Alonso M.E., Marinari M.G., The big Mother of all Dualities 2: Macaulay Bases, J AAECC To appear 1
2 P := k[x 1,..., X n ], L := {l 1,..., l r } P be a linearly indipendent set of k-linear functionals such that L := Span k (L) is a P-module so that I := P(L) is a zero-dimensional ideal; N(I) := {t 1,..., t r }, q := {q 1,..., q r } P the set triangular to L, obtained via Möller s Algorithm; ( q (h) ij ) k r2, 1 k r be the matrices defined by X h q i = j q (h) ij q j mod I, Λ := {λ 1,..., λ r } be the set biorthogonal to q, which can be trivially deduced by Gaussian reduction Then X h λ j = r i=1 q (h) ij λ i, i, j, h. 2
3 P := k[x 1,..., X n ]; T := {X a 1 1 Xa n n : (a 1,..., a n ) N n }; m := (X 1,..., X n ) be the maximal at the origin; I P an ideal; the m-closuse of I is the ideal d I + m d ; I is m-closed iff I = d I + m d ; For each τ T, denote M(τ) : P k the morphism defined by M(τ) = c(f, τ), f = t T c(f, t)t P. Denoting M := {M(τ) : τ T } for all f := t T a t t P and l := it holds l(f) = t T a t c t. τ T c τ M(τ) k[[m]] = P τ T, X i M(τ) = M( τ X i ) if X i τ 0 if X i τ A k-vector subspace Λ Span k (M) is called stable if λ Λ = X i λ Λ i.e. Λ is a P-module. 3
4 Clealy P = k[[m]]; however in order to have reasonable duality we must restrict ourselves to Span k (M) = k[m]. For each k-vector subspace Λ Span k (M) denote I(Λ) := P(Λ) = {f P : l(f) = 0, l Λ} and for each k-vector subspace P P denote M(P ) := L(P ) Span K (M) = {l Span K (M) : l(f) = 0, f P }. The mutually inverse maps I( ) and M( ) give a biunivocal, inclusion reversing, correspondence between the set of the m-closed ideals I P and the set of the stable k-vector subspaces Λ Span k (M). They are the restriction of, respectively, P( ) to m-closed ideals I P, and L( ) to stable k-vector subspaces Λ Span k (M). Moreover, for any m-primary ideal q P, M(q) is finite k-dimensional and we have deg(q) = dim K (M(q)); conversely for any finite k-dim. stable k-vector subspace Λ Span K (M), I(Λ) is an m-primary ideal and we have dim k (Λ) = deg(i(λ)). 4
5 II. Macaulay Bases Macaulay F. S., On the Resolution of a given Modular System into Primary Systems including some Properties of Hilbert Numbers, Math. Ann. 74 (1913), ; Macaulay F. S., The Algebraic Theory of Modular Systems, Cambridge Univ. Press (1916); Gröbner W., Moderne Algebraische Geometrie, Springer (1949); Möller H.M., Systems of Algebraic Equations Solved by Means of Endomorphisms, L. N. Comp. Sci. 673 (1993), 43 56, Springer; Marinari M.G., Möller H.M., On multiplicities in Polynomial System Solvin. Trans. AMS, 348 (1996), ; Alonso M.E., Marinari M.G., The big Mother of all Dualities 2: Macaulay Bases, J AAECC To appear 5
6 Let < be a semigroup ordering on T and I P an m-closed ideal. Can(t, I, <) =: τ N < (I) so that t τ N < (I) γ(t, τ, <)τ I, t < τ = γ(t, τ, <) = 0. γ(t, τ, <)τ k[[n < (I)]] k[[x 1,..., X n ]] Define, for each τ N < (I), l(τ) := M(τ) + t T < (I) γ(t, τ, <)M(t) k[[m]]. Remark that l(τ) M(I) requires l(τ) k[m] which holds iff {t : γ(t, τ, <) 0} is finite and is granted if {t : t > τ} is finite. To obtain this we must choose as < a standard ordering i.e. such that X i < 1, i, for each infinite decreasing sequence in T τ 1 > τ 2 > τ ν > and each τ T there is ν : τ > τ n. In this setting the generalization of the notion of Gröbner basis is called Hironoka/standard basis and deals with series instead of polynomials. The choice of this setting is natural, since a Hironaka basis of an ideal I returns its m-closure. 6
7 Let < be a standard ordering on T and let I P an m-closed ideal. Denote Can(t, I, <) =: τ N < (I) and, for each τ N < (I), l(τ) := M(τ) + t T < (I) γ(t, τ, <)τ k[[n < (I)]] γ(t, τ, <)M(t) k[m]. Then M(I) = Span k {l(τ), τ N < (I)}. The set {l(τ), τ N < (I)} is called the Macaulay Basis of I. There is an algorithm which, given a finite basis (not necessarily Gröbner/standard) of an m- primary ideal I, computes its Macaulay Basis. Such algorithm becomes an infinite procedure which, given a finite basis of an ideal I m, returns the infinite Macaulay Basis of its m-closure. 7
8 III. Cerlienco Mureddu Correspondence Cerlienco, L, Mureddu, M. Algoritmi combinatori per l interpolazione polinomiale in dimensione 2. Preprint (1990) Cerlienco L., Mureddu M., From algebraic sets to monomial linear bases by means of combinatorial algorithms Discrete Math., 139 (1995), Cerlienco L., Mureddu M., Multivariate Interpolation and Standard Bases for Macaulay Modules, J. Algebra 251 (2002), Problem 1 Given a finite set of points, {a 1,..., a s } k n, a i := (a i1,..., a in ), to compute N < (I) w.r.t. the lexicographical ordering < induced by X 1 < < X n where I := {f P : f(a i ) = 0, 1 i s}. 8
9 Cerlienco Mureddu Algorithm, to each ordered finite set of points X := {a 1,..., a s } k n, a i := (a i1,..., a in ), associates an order ideal N := N(X) and a bijection Φ := Φ(X) : X N which satisfies Theorem 1 N(I) = N(X) holds for each finite set of points X k n. Since they do so by induction on s = #(X) let us consider the subset X := {a 1,..., a s 1 }, and the corresponding order ideal N := N(X ) and bijection Φ := Φ(X ). If s = 1 the only possible solution is N = {1}, Φ(a 1 ) = 1. 9
10 T [1, m] := T k[x 1,..., X m ] = {X a 1 1 Xa m m : (a 1,..., a m ) N m }, π m : k n k m, π m (x 1,..., x n ) = (x 1,..., x m ), π m : T = N n N m = T [1, m], π m (X a 1 1 Xa n n ) = X a 1 1 Xa m m. With this notation, let us set m := max ( j : i < s : π j (a i ) = π j (a s ) ) ; d := #{a i, i < s : π m (a i ) = π m (a s )}; W := {a i : Φ (a i ) = τ i X d m+1, τ i T [1, m]} {a s }; Z := π m (W); τ := Φ(Z)(π m (a s )); t s := τx d m+1 ; where N(Z) and Φ(Z) are the result of the application of the present algorithm to Z, which can be inductively applied since #(Z) s 1. We then define N := N {t s }, Φ(a i ) := Φ (a i ) t s i < s i = s 10
11 a 1 := (0, 0, 1), Φ(a 1 ) := t 1 := 1; a 2 := (0, 1, 2), m = 1, d = 1, W = {(0, 1)}, τ = 1, Φ(a 2 ) := t 2 := X 2, a 3 := (2, 0, 2), m = 0, d = 1, W = {(2, 0)}, τ = 1, Φ(a 3 ) := t 3 := X 1, a 4 := (0, 2, 2), m = 1, d = 2, W = {(0, 2)}, τ = 1, Φ(a 4 ) := t 4 := X 2 2, a 5 := (1, 0, 3), m = 0, d = 2, W = {(1, 0)}, τ = 1, Φ(a 5 ) := t 5 := X 2 1, a 6 := (1, 1, 3), m = 1, d = 1, W = {(0, 1), (1, 1)}, τ = X 1, Φ(a 6 ) := t 6 := X 1 X 2. (0, 2, 2) (0, 1, 2) (1, 1, 3) (0, 0, 1) (2, 0, 2) (1, 0, 3) 11
12 a 7 := (1, 1, 1), m = 2, d = 1, W = {(1, 1, 1)}, τ = 1, Φ(a 7 ) := t 7 := X 3. a 8 := (2, 0, 1), m = 2, d = 1, W = {(1, 1, 1), (2, 0, 1)}, τ = X 1, Φ(a 8 ) := t 8 := X 1 X 3, a 9 := (2, 0, 0), m = 2, d = 2, W = {(2, 0, 0))}, τ = 1, Φ(a 9 ) := t 9 := X 2 3, (0, 2, 2) (0, 1, 2) (1, 1, 3) (0, 0, 1) (2, 0, 2) (1, 0, 3) 12
13 Gao S., Rodrigues V.M., Stroomer J., Gröbner basis structure of finite sets of points Preprint (2003) A combinatorial reformulation which builds a tree on the basis of the point coordinates, cominatorially recombines the tree, reeds on this tree the monomial structure. It returns N but not Φ; more important: it is not iterative. Marinari M.G., Cerlienco Mureddu Correpondence and Lazard Structural Theorem. Investigaciones Mathematicas (2006). To appear. Extends Cerlienco Mureddu Algorithm to multiple points described via Macaulay Bases 13
14 IV. Macaulay s Algorithm Macaulay F. S., On the Resolution of a given Modular System into Primary Systems including some Properties of Hilbert Numbers, Math. Ann. 74 (1913), ; Macaulay F. S., The Algebraic Theory of Modular Systems, Cambridge Univ. Press (1916); Gröbner W., Moderne Algebraische Geometrie, Springer (1949); Alonso M.E., Marinari M.G., The big Mother of all Dualities 2: Macaulay Bases, J AAECC To appear 14
15 m = (X 1,..., X n ) P := k[x 1,..., X n ], T := {X a 1 1 Xa n n : (a 1,..., a n ) N n }, a standard-ordering < on T, an m-closed ideal I, the finite corner set C < (I) := {ω 1,..., ω s }, the (not-necessarily finite) set N < (I), the Macaulay basis {l(τ) : τ N < (I)}, the k-vectorspace Λ Span k (M) generated by it
16 q q j = M(q ) Λ j. 16 m = (X 1,..., X n ) P := k[x 1,..., X n ], T := {X a 1 1 Xa n n : (a 1,..., a n ) N n }, a standard-ordering < on T, an m-closed ideal I, the finite corner set C < (I) := {ω 1,..., ω s }, the (not-necessarily finite) set N < (I), the Macaulay basis {l(τ) : τ N < (I)}, Λ := Span k {l(τ) : τ N < (I)} Span k (M); j, 1 j s, Λ j := Span k {υ l(ω j ) : υ T }. j, 1 j s, q j := I(Λ j ). Let J {1,..., s} be the set such that {q j : j J} is the set of the minimal elements of {q j : 1 j s} and remark that q i q j Λ i Λ j. Lemma 1 (Macaulay) With the notation above, for each j, denoting we have Λ j := Span K{υ l(ω j ) : υ T m} dim K (Λ j ) = dim K(Λ j ) 1, l(ω j ) / Λ j = M(q j : m),
17 m = (X 1,..., X n ) P := k[x 1,..., X n ], T := {X a 1 1 Xa n n : (a 1,..., a n ) N n }, a standard-ordering < on T, an m-closed ideal I, the finite corner set C < (I) := {ω 1,..., ω s }, the (not-necessarily finite) set N < (I), the Macaulay basis {l(τ) : τ N < (I)}, Λ := Span k {l(τ) : τ N < (I)} Span k (M); j, 1 j s, Λ j := Span k {υ l(ω j ) : υ T }. j, 1 j s, q j := I(Λ j ). Let J {1,..., s} be the set such that {q j : j J} is the set of the minimal elements of {q j : 1 j s} and remark that q i q j Λ i Λ j. Theorem 2 (Gröbner) If I is m-primary, then: 1. each Λ j is a finite-dim. stable vectorspace; 2. each q j is an m-primary ideal, 3. is reduced 4. and irreducible. 5. I := j J q j is a reduced representation of I. 17
18 V. Reduced Irreducible Decomposition Noether Noether E. Idealtheorie in Ringbereichen, Math. Annalen, 83 (1921), Macaulay F. S., On the Resolution of a given Modular System into Primary Systems including some Properties of Hilbert Numbers, Math. Ann. 74 (1913), ; Macaulay F. S., The Algebraic Theory of Modular Systems, Cambridge Univ. Press (1916); Gröbner W., Moderne Algebraische Geometrie, Springer (1949); Renschuch. B, Elementare und praktische Idealtheorie, Deutscher Verlag der Wissenschaften (1976); Alonso M.E., Marinari M.G., The big Mother of all Dualities 2: Macaulay Bases, J AAECC To appear 18
19 (Lasker-Noether) In a noetherian ring R, every ideal a R is a finite intersection of irreducible ideals. (Noether) A representation a = r j=1 i j of an ideal a in a noetherian ring R as intersection of finitely many irreducible ideals is called a reduced representation if j {1,..., r}, i j r and h=1 j h there is no irreducible ideal i j i j such that a = r h=1 j h i h i j. (Noether) In a noetherian ring R, each ideal a = r i=1 i h q i a R has a reduced representation as intersection of finitely many irreducible ideals. A primary component q j of an ideal a contained in a noetherian ring R, is called reduced if there is no primary ideal q j q j such that a = r i=1 j i q i q j. In an irredundant primary decomposition of an ideal of a noetherian ring, each primary component can be chosen to be reduced. 19
20 The decomposition (X 2, XY ) = (X) (X 2, XY, Y λ ), λ N, λ 1, where (X 2, XY, Y λ ) = (X, Y ) (X), shows that embedded components are not unique; however, (X 2, XY, Y ) = (X 2, Y ) (X 2, XY, Y λ ), λ > 1, shows that (X 2, Y ) is a reduced embedded irreducible component and that (X 2, XY ) = (X) (X 2, Y ) is a reduced representation. The decompositions (X 2, XY ) = (X) (X 2, Y + ax), a Q, where (X 2, Y + ax) = (X, Y ) (X) and, clearly, each (X 2, Y + ax) is reduced, show that also reduced representations are not unique; remark that, setting a = 0, we find again the previous one (X 2, XY ) = (X) (X 2, Y ). 20
21 If I is not m-primary, let ρ := max{deg(ω j ) + 1 : ω j C(I)} so that q := I + m ρ is an m-primary component of I; I = r i=1 q i an irredundant primary representation of I with q 1 = m; b := I : m = r i=2 q i; b = u i=1 Q i, a reduced representation of b; q 1 := s j=1 q j a reduced representation of q 1 which is wlog ordered so that q i b i > t; q := t j=1 q j. Then 1. q is a reduced m-primary component of I, 2. q := t j=1 q j is a reduced representation of q, 3. I = u i=1 Q i t j=1 q j is a reduced representation of I. I := (X 2, XY ), Λ = Span k {M(1), M(X)} {M(Y i ), i N}; ρ = 2, M(I + m 2 ) = {M(1), M(X), M(Y )}, ω 1 := X, Λ 1 = {M(1), M(X))}, q 1 = (X 2, Y ), ω 2 := Y, Λ 2 = {M(1), M(Y )}, q 2 = (X, Y 2 ), I : m = (X) (X, Y 2 ), (X 2, XY ) = (X) (X 2, Y ). 21
22 I := (X 2, XY ), Λ = Span k {M(1), M(X)} {M(Y i ), i N}; ρ = 2, M(I + m 2 ) = {M(1), M(X), M(Y )}, ω 1 := X, Λ 1 = {M(1), M(X))}, q 1 = (X 2, Y ), ω 2 := Y, Λ 2 = {M(1), M(Y )}, q 2 = (X, Y 2 ), I : m = (X) (X, Y 2 ), (X 2, XY ) = (X) (X 2, Y ). Both the reduced representation and the notion of Macaulay basis strongly depend on the choice of a frame of coordinates. In fact, considering, for each a Q, a 0, Λ = Span k {M(1), M(X) am(y )} {M(Y i ), i N}, we obtain ρ = 2, M(I + m 2 ) = {M(1), M(X) am(y ), M(Y )}, ω 1 := X, Λ 1 = {M(1), M(X) am(y )}, q 1 = (X 2, Y + ax), ω 2 := Y, Λ 2 = {M(1), M(Y )}, q 2 = (X, Y 2 ), I : m = (X) (X, Y 2 ), (X 2, XY ) = (X) (X 2, Y + ax). 22
23 VI. Lazard Structural Theorem Lazard D., Ideal Basis and Primary Decomposition: Case of two variables J. Symb. Comp. 1 (1985) Theorem 3 Let P := k[x 1, X 2 ] and let < be the lex. ordering induced by X 1 < X 2. Let I P be an ideal and let {f 0, f 1,..., f k } be a Gröbner basis of I ordered so that Then T(f 0 ) < T(f 1 ) < < T(f k ). f 0 = P G 1 G k+1, f j = P H j G j+1 G k+1, 1 j < k, f k = P H k G k+1, where P is the primitive part of f 0 k[x 1 ][X 2 ]; G i k[x 1 ], 1 i k + 1; H i k[x 1 ][X 2 ] is a monic polynomial of degree d(i), for each i; d(1) < d(2) < < d(k); H i+1 (G 1 G i,..., H j G j+1 G i,..., H i 1 G i, H i ), i. 23
24 VII. Axis-of-Evil Theorem Marinari M.G., Mora T., A remark on a remark by Macaulay or Enhancing Lazard Structural Theorem. Bull. of the Iranian Math. Soc., 29 (2003), ; Marinari M.G., Mora T. Some Comments on Cerlienco Mureddu Algorithm and Enhanced Lazard Structural Theorem. Rejected by ISSAC-2004 (2004) Marinari M.G., Mora T. Cerlienco Mureddu Correpondence and Lazard Structural Theorem. Investigaciones Mathematicas (2006). To appear. 24
25 Description of the combinatorial structure [Gröbner and border basis, linear and Gröbner representation] of a 0-dimensional ideal I = q i P, q i = (X 1 a i1,, X n a in ) in terms of a Macaualy representation, i.e. of its roots (a i1,, a in ) and of the Macaulay basis of each q i. It is summarized into 22 statements. The description is algorithmical in terms of elementary combinatorial tools and linear interpolation. It extends Cerlienco Mureddu Correspondence and Lazard s Structural Theorem. The proof is essentially a direct application of Möller s Algorithm. in honour of Trythemius, the founder of cryptography (Steganographia [1500], Polygraphia [1508]) which introdiced in german the 22 th letter W in order to perform german gematria. 25
26 Let I P be a zero-dimensional radical ideal; Z := {a 1,..., a s } k n its roots; N := N(I); G < (I) := {t 1,..., t r }, t 1 < t 2 <... < t r, t i := X d(i) 1 1 X d(i) n n basis of its associated monomial ideal T < (I); the minimal G := {f 1,..., f r }, T(f i ) = t i i, the unique reduced lexicographical Gröbner basis of I. There is a combinatorial algorithm which, given Z, returns sets of points Z mδi k m, m, δ, i : 1 i r, 1 m n, 1 δ d (i) m, thus allowing to compute by means of Cerlienco Mureddu Algorithm the corresponding order ideal F mδi := N(Z mδi ) T k[x 1,..., X m 1 ] and, by interpolation unique polynomials which satisfy the relation Moreover, setting f i = m γ mδi := X m δ γ mδi ω F mδi c ω ω (mod (f 1,..., f i 1 ) i. ν the maximal value such that d (i) ν k[x 1,..., X ν ] \ k[x 1,..., X ν 1 ], ν 1 L i := m=1 δ γ mδi and 0, d (i) m = 0, m > ν so that f i P i := δ γ νδi we have f i = L i P i where L i is the leading polynomial of f i. X m (a) = ω F mδi c ω ω(a), a Z mδi. 26
De Nugis Groebnerialium 5: Noether, Macaulay, Jordan
De Nugis Groebnerialium 5: Noether, Macaulay, Jordan ACA 2018 Santiago de Compostela Re-reading Macaulay References Macaulay F. S., On the Resolution of a given Modular System into Primary Systems including
More informationMöller s Algorithm. the algorithm developed in [14] was improved in [18] and applied in order to solve the FGLM-problem;
Möller s Algorithm Teo Mora (theomora@disi.unige.it) Duality was introduced in Commutative Algebra in 1982 by the seminal paper [14] but the relevance of this result became clear after the same duality
More informationarxiv: v1 [math.ac] 8 Aug 2012
A simplified version of the Axis of Evil Theorem for distinct points. arxiv:1208.1695v1 [math.ac] 8 Aug 2012 Michela Ceria Università degli Studi di Torino. michela.ceria@unito.it Abstract Given a finite
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationPrimary Decomposition
Primary Decomposition p. Primary Decomposition Gerhard Pfister pfister@mathematik.uni-kl.de Departement of Mathematics University of Kaiserslautern Primary Decomposition p. Primary Decomposition:References
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 informationOn the BMS Algorithm
On the BMS Algorithm Shojiro Sakata The University of Electro-Communications Department of Information and Communication Engineering Chofu-shi, Tokyo 182-8585, JAPAN Abstract I will present a sketch of
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
More informationPrimary Decompositions of Powers of Ideals. Irena Swanson
Primary Decompositions of Powers of Ideals Irena Swanson 2 Department of Mathematics, University of Michigan Ann Arbor, Michigan 48109-1003, USA iswanson@math.lsa.umich.edu 1 Abstract Let R be a Noetherian
More informationBOREL IDEALS IN THREE AND (FOUR) VARIABLES
BOREL IDEALS IN THREE AND (FOUR) VARIABLES FRANCESCA CIOFFI, MARIA GRAZIA MARINARI, AND LUCIANA RAMELLA Fixed any term-ordering < on the set T(n) of terms in n variables x 1,..., x n, we study homogeneous
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 informationRota-Baxter Type Operators, Rewriting Systems, and Gröbner-Shirshov Bases, Part II
Rota-Baxter Type Operators, Rewriting Systems, and Gröbner-Shirshov Bases, Part II William Sit 1 The City College of The City University of New York Kolchin Seminar in Differential Algebra December 9,
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationWORKING WITH MULTIVARIATE POLYNOMIALS IN MAPLE
WORKING WITH MULTIVARIATE POLYNOMIALS IN MAPLE JEFFREY B. FARR AND ROMAN PEARCE Abstract. We comment on the implementation of various algorithms in multivariate polynomial theory. Specifically, we describe
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationMultivariate Polynomial System Solving Using Intersections of Eigenspaces
J. Symbolic Computation (2) 32, 53 53 doi:.6/jsco.2.476 Available online at http://www.idealibrary.com on Multivariate Polynomial System Solving Using Intersections of Eigenspaces H. MICHAEL MÖLLER AND
More information4.4 Noetherian Rings
4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)
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 information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
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 information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationChange of Ordering for Regular Chains in Positive Dimension
Change of Ordering for Regular Chains in Positive Dimension X. Dahan, X. Jin, M. Moreno Maza, É. Schost University of Western Ontario, London, Ontario, Canada. École polytechnique, 91128 Palaiseau, France.
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationComputations with Differential Rational Parametric Equations 1)
MM Research Preprints,23 29 No. 18, Dec. 1999. Beijing 23 Computations with Differential Rational Parametric Equations 1) Xiao-Shan Gao Institute of Systems Science Academia Sinica, Beijing, 100080 Abstract.
More informationSome D-module theoretic aspects of the local cohomology of a polynomial ring
Some D-module theoretic aspects of the local cohomology of a polynomial ring Toshinori Oaku Tokyo Woman s Christian University July 6, 2015, MSJ-SI in Osaka Toshinori Oaku (Tokyo Woman s Christian University)
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationarxiv: v1 [math.ra] 10 Nov 2018
arxiv:1811.04243v1 [math.ra] 10 Nov 2018 BURNSIDE S THEOREM IN THE SETTING OF GENERAL FIELDS HEYDAR RADJAVI AND BAMDAD R. YAHAGHI Abstract. We extend a well-known theorem of Burnside in the setting of
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 informationComputing Minimal Polynomial of Matrices over Algebraic Extension Fields
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 2, 2013, 217 228 Computing Minimal Polynomial of Matrices over Algebraic Extension Fields by Amir Hashemi and Benyamin M.-Alizadeh Abstract In this
More informationYuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99
Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by
More informationLEXIFYING IDEALS. Abstract: This paper is on monomial quotients of polynomial rings over which Hilbert functions are attained by lexicographic ideals.
LEXIFYING IDEALS Jeffrey Mermin Irena Peeva Department of Mathematics, Cornell University, Ithaca, NY 14853, USA. Abstract: This paper is on monomial quotients of polynomial rings over which Hilbert functions
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 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 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationMathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch
Mathematical Research Letters 3, 619 627 (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION Hanspeter Kraft and Frank Kutzschebauch Abstract. We show that every algebraic action of a linearly reductive
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationComputation of the Minimal Associated Primes
Computation of the Minimal Associated Primes Santiago Laplagne Departamento de Matemática, Universidad de Buenos Aires Buenos Aires, Argentina slaplagn@dm.uba.ar Abstract. We propose a new algorithm for
More informationGRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases
GRÖBNER BASES AND POLYNOMIAL EQUATIONS J. K. VERMA 1. Introduction and preliminaries on Gróbner bases Let S = k[x 1, x 2,..., x n ] denote a polynomial ring over a field k where x 1, x 2,..., x n are indeterminates.
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 informationGröbner-Shirshov Bases for Free Product of Algebras and beyond
Southeast Asian Bulletin of Mathematics (2006) 30: 811 826 Southeast Asian Bulletin of Mathematics c SEAMS. 2003 Gröbner-Shirshov Bases for Free Product of Algebras and beyond Yuqun Chen School of Mathematical
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 informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
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 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 informationLEXLIKE SEQUENCES. Jeffrey Mermin. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic segments.
LEXLIKE SEQUENCES Jeffrey Mermin Department of Mathematics, Cornell University, Ithaca, NY 14853, USA. Abstract: We study sets of monomials that have the same Hilbert function growth as initial lexicographic
More informationCompatibly split subvarieties of Hilb n (A 2 k)
Compatibly split subvarieties of Hilb n (A 2 k) Jenna Rajchgot MSRI Combinatorial Commutative Algebra December 3-7, 2012 Throughout this talk, let k be an algebraically closed field of characteristic p
More informationIntegral closure of rings of integer-valued polynomials on algebras
Integral closure of rings of integer-valued polynomials on algebras Giulio Peruginelli Nicholas J. Werner July 4, 013 Abstract Let D be an integrally closed domain with quotient field K. Let A be a torsion-free
More informationOil Fields and Hilbert Schemes
Oil Fields and Hilbert Schemes Lorenzo Robbiano Università di Genova Dipartimento di Matematica Lorenzo Robbiano (Università di Genova) Oil Fields and Hilbert Schemes March, 2008 1 / 35 Facts In the realm
More informationJosé Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high
On the order of points on curves over finite fields José Felipe Voloch Abstract: We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their
More informationPolynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes
Polynomial interpolation over finite fields and applications to list decoding of Reed-Solomon codes Roberta Barbi December 17, 2015 Roberta Barbi List decoding December 17, 2015 1 / 13 Codes Let F q be
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 informationON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes
ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals
More informationCOMMUTATIVE/NONCOMMUTATIVE RANK OF LINEAR MATRICES AND SUBSPACES OF MATRICES OF LOW RANK
Séminaire Lotharingien de Combinatoire 52 (2004), Article B52f COMMUTATIVE/NONCOMMUTATIVE RANK OF LINEAR MATRICES AND SUBSPACES OF MATRICES OF LOW RANK MARC FORTIN AND CHRISTOPHE REUTENAUER Dédié à notre
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationSHUHONG GAO, DAQING WAN AND MINGSHENG WANG
PRIMARY DECOMPOSITION OF ZERO-DIMENSIONAL IDEALS OVER FINITE FIELDS SHUHONG GAO, DAQING WAN AND MINGSHENG WANG Abstract. A new algorithm is presented for computing primary decomposition of zero-dimensional
More informationA QUICK REVIEW OF COMMUTATIVE ALGEBRA. Contents 1. Basic Constructions 2 2. Noetherian Rings 4 3. Modules 7 4. Integral Extensions 8 References 13
A QUICK REVIEW OF COMMUTATIVE ALGEBRA SUDHIR R. GHORPADE Department of Mathematics, Indian Institute of Technology, Mumbai 400076, India E-Mail : srg@math.iitb.ac.in Abstract. These notes attempt to give
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
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 informationCW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.
CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationD-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More information55 Separable Extensions
55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple
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 informationCompatibly split subvarieties of Hilb n (A 2 k)
Compatibly split subvarieties of Hilb n (A 2 k) Jenna Rajchgot (Supervised by Allen Knutson) Department of Mathematics, Cornell University Southern Ontario Groups and Geometry Fields Institute April 1-2,
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 informationA FORMULA FOR THE -core OF AN IDEAL
A FORMULA FOR THE -core OF AN IDEAL LOUIZA FOULI, JANET C. VASSILEV, AND ADELA N. VRACIU Abstract. Expanding on the work of Fouli and Vassilev [FV], we determine a formula for the -core for ideals in two
More informationSkew Polynomial Rings
Skew Polynomial Rings NIU November 14, 2018 Bibliography Beachy, Introductory Lectures on Rings and Modules, Cambridge Univ. Press, 1999 Goodearl and Warfield, An Introduction to Noncommutative Noetherian
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 informationarxiv:math/ v1 [math.ag] 24 Nov 1998
Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme
More informationPrimitivity of finitely presented monomial algebras
Primitivity of finitely presented monomial algebras Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Dr. Burnaby, BC V5A 1S6. CANADA jpb@math.sfu.ca Pinar Pekcagliyan Department
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationTHE REGULAR ELEMENT PROPERTY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 7, July 1998, Pages 2123 2129 S 0002-9939(98)04257-9 THE REGULAR ELEMENT PROPERTY FRED RICHMAN (Communicated by Wolmer V. Vasconcelos)
More informationOn the Complexity of Gröbner Basis Computation for Regular and Semi-Regular Systems
On the Complexity of Gröbner Basis Computation for Regular and Semi-Regular Systems Bruno.Salvy@inria.fr Algorithms Project, Inria Joint work with Magali Bardet & Jean-Charles Faugère September 21st, 2006
More informationDONG QUAN NGOC NGUYEN
REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the
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 informationDiscrete Series Representations of Unipotent p-adic Groups
Journal of Lie Theory Volume 15 (2005) 261 267 c 2005 Heldermann Verlag Discrete Series Representations of Unipotent p-adic Groups Jeffrey D. Adler and Alan Roche Communicated by S. Gindikin Abstract.
More informationThe generic Gröbner walk
The generic Gröbner walk K. Fukuda, A. N. Jensen, N. Lauritzen, R. Thomas May 23, 2006 arxiv:math.ac/0501345 v3 13 Oct 2005 Abstract The Gröbner walk is an algorithm for conversion between Gröbner bases
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationOn Antichains in Product Posets
On Antichains in Product Posets Sergei L. Bezrukov Department of Math and Computer Science University of Wisconsin - Superior Superior, WI 54880, USA sb@mcs.uwsuper.edu Ian T. Roberts School of Engineering
More informationEmmy Noether, Symmetry, and Women in Mathematics
Emmy Noether, Symmetry, and Women in Mathematics Cheryl E Praeger Centre for the Mathematics of Symmetry and Computation LMS-IMA Joint Meeting, London, September 2018 Noether Celebration Emmy Noether s
More informationJournal of Computational and Applied Mathematics. A bivariate preprocessing paradigm for the Buchberger Möller algorithm
Journal of Computational and Applied Mathematics 234 (2010) 3344 3355 Contents lists available at ScienceDirect Journal of Computational and Applied Mathematics journal homepage: wwwelseviercom/locate/cam
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationJournal 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 informationPOLYNOMIAL INTERPOLATION, IDEALS AND APPROXIMATION ORDER OF MULTIVARIATE REFINABLE FUNCTIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 POLYNOMIAL INTERPOLATION, IDEALS AND APPROXIMATION ORDER OF MULTIVARIATE REFINABLE FUNCTIONS THOMAS
More informationPrimal, completely irreducible, and primary meet decompositions in modules
Bull. Math. Soc. Sci. Math. Roumanie Tome 54(102) No. 4, 2011, 297 311 Primal, completely irreducible, and primary meet decompositions in modules by Toma Albu and Patrick F. Smith Abstract This paper was
More informationTWO IDEAS FROM INTERSECTION THEORY
TWO IDEAS FROM INTERSECTION THEORY ALEX PETROV This is an expository paper based on Serre s Local Algebra (denoted throughout by [Ser]). The goal is to describe simple cases of two powerful ideas in intersection
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 informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationGROWTH OF RANK 1 VALUATION SEMIGROUPS
GROWTH OF RANK 1 VALUATION SEMIGROUPS STEVEN DALE CUTKOSKY, KIA DALILI AND OLGA KASHCHEYEVA Let (R, m R ) be a local domain, with quotient field K. Suppose that ν is a valuation of K with valuation ring
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationALGORITHMS FOR ALGEBRAIC CURVES
ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite
More informationEigenvalues of Random Matrices over Finite Fields
Eigenvalues of Random Matrices over Finite Fields Kent Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu September 5, 999 Abstract
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 informationk k would be reducible. But the zero locus of f in A n+1
Math 145. Bezout s Theorem Let be an algebraically closed field. The purpose of this handout is to prove Bezout s Theorem and some related facts of general interest in projective geometry that arise along
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 informationDifferential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases
1 Differential Type Operators, Rewriting Systems and Gröbner-Shirshov Bases Li GUO (joint work with William Sit and Ronghua Zhang) Rutgers University at Newark Motivation: Classification of Linear Operators
More informationOn the minimal free resolution of a monomial ideal.
On the minimal free resolution of a monomial ideal. Caitlin M c Auley August 2012 Abstract Given a monomial ideal I in the polynomial ring S = k[x 1,..., x n ] over a field k, we construct a minimal free
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
More information