Letterplace ideals and non-commutative Gröbner bases
|
|
- Sarah Black
- 5 years ago
- Views:
Transcription
1 Letterplace ideals and non-commutative Gröbner bases Viktor Levandovskyy and Roberto La Scala (Bari) RWTH Aachen , NOCAS, Passau, Niederbayern La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
2 Notations X = {x 0, x 1,...} a finite or countable set, K a field K X the free associative algebra generated by X I a two-sided ideal of K X All associative algebras, generated by a finite or countable number of elements, can be presented as K X /I. Examples algebras of finite or countable dimension (quantized) universal enveloping algebras of Lie algebras of finite or countable dimension relatively free algebras defined by the polynomial identities satified by an associative algebra etc. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
3 Notations X = {x 0, x 1,...} a finite or countable set, K a field K X the free associative algebra generated by X I a two-sided ideal of K X All associative algebras, generated by a finite or countable number of elements, can be presented as K X /I. Examples algebras of finite or countable dimension (quantized) universal enveloping algebras of Lie algebras of finite or countable dimension relatively free algebras defined by the polynomial identities satified by an associative algebra etc. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
4 Trivial surjective homomorphism K X F[X] 1-to-1 correspondence between all ideals J F[X] and a class of two-sided ideals I K X any ideal I contains all the commutators [x i, x j ] = x i x j x j x i Problem Is there a 1-to-1 correspondence between all two-sided ideals I K X and a class of ideals J F[Y ] for some Y? Is there a good correspondence given between generating sets? in particular, between their Gröbner bases? We propose a solution for the case I is an homogeneous ideal. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
5 Trivial surjective homomorphism K X F[X] 1-to-1 correspondence between all ideals J F[X] and a class of two-sided ideals I K X any ideal I contains all the commutators [x i, x j ] = x i x j x j x i Problem Is there a 1-to-1 correspondence between all two-sided ideals I K X and a class of ideals J F[Y ] for some Y? Is there a good correspondence given between generating sets? in particular, between their Gröbner bases? We propose a solution for the case I is an homogeneous ideal. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
6 Notations X the set of letters, P = N = {0, 1,...} the set of places (x i j) = (x i, j) element of the product set X P K [X P] the polynomial ring in the (commutative) variables (x i j) X the set of words, [X P] the set of letterplace monomials Multi-gradings K X µ := vector space, generated by the words of multidegree µ K [X P] µ,ν := vector space, generated by the monomials of multidegree µ for the letters and ν for the places. Example If m = (x 2 0)(x 0 0)(x 4 2)(x 2 4) K [X P], then µ(m) = (1, 0, 2, 0, 1) and ν(m) = (2, 0, 1, 0, 1). La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
7 Notations X the set of letters, P = N = {0, 1,...} the set of places (x i j) = (x i, j) element of the product set X P K [X P] the polynomial ring in the (commutative) variables (x i j) X the set of words, [X P] the set of letterplace monomials Multi-gradings K X µ := vector space, generated by the words of multidegree µ K [X P] µ,ν := vector space, generated by the monomials of multidegree µ for the letters and ν for the places. Example If m = (x 2 0)(x 0 0)(x 4 2)(x 2 4) K [X P], then µ(m) = (1, 0, 2, 0, 1) and ν(m) = (2, 0, 1, 0, 1). La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
8 Known ideas Equivalent representations Put V = n N K [X P],1 n ( = any, 1n = (1, 1,..., 1)). If m = #X, the groups GL m and S n act resp. from left and right over the spaces K X n and V n. One has the bijection (mentioned by Feynmann, Rota) ι : K X V w = x i1 x in (x i1 0) (x in n 1). Restricted map ι n : K X n V n is a module isomorphism. Clearly ι : K X V K [X P] is not a ring homomorphism. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
9 New Ideas Act by shift The monoid N has a faithful action over the graded algebra K [X P] (total degree). For each variable (x i j) and s N we put s (x i j) := (x i s + j) In other words, one has a monomorphism N End(K [X P]). Decompose by shift If m = (x i1 j 1 ) (x in j n ) [X P] we define the shift of m to be the integer sh(m) = min{j 1,..., j n }. K [X P] (s) space, gen. by the monomials with shift s N. One has K [X P] = s N K [X P] (s) s K [X P] (t) = K [X P] (s+t) La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
10 New Ideas Act by shift The monoid N has a faithful action over the graded algebra K [X P] (total degree). For each variable (x i j) and s N we put s (x i j) := (x i s + j) In other words, one has a monomorphism N End(K [X P]). Decompose by shift If m = (x i1 j 1 ) (x in j n ) [X P] we define the shift of m to be the integer sh(m) = min{j 1,..., j n }. K [X P] (s) space, gen. by the monomials with shift s N. One has K [X P] = s N K [X P] (s) s K [X P] (t) = K [X P] (s+t) La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
11 Example If m = (x 2 2)(x 1 2)(x 2 4) then sh(m) = 2. Moreover 3 m = (x 2 5)(x 1 5)(x 2 7) and sh(3 m) = 3 + sh(m) = 5. Definition An ideal J K [X P] is called place-multigraded, if J = ν J,ν with J,ν = J K [X P],ν shift-decomposable, if J = s J(s) with J (s) = J K [X P] (s). A place-multigraded ideal is also graded and shift-decomposable. Definition A shift-decomposable ideal J K [X P] is called shift-invariant if s J (t) = J (s+t) for all s, t N. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
12 Example If m = (x 2 2)(x 1 2)(x 2 4) then sh(m) = 2. Moreover 3 m = (x 2 5)(x 1 5)(x 2 7) and sh(3 m) = 3 + sh(m) = 5. Definition An ideal J K [X P] is called place-multigraded, if J = ν J,ν with J,ν = J K [X P],ν shift-decomposable, if J = s J(s) with J (s) = J K [X P] (s). A place-multigraded ideal is also graded and shift-decomposable. Definition A shift-decomposable ideal J K [X P] is called shift-invariant if s J (t) = J (s+t) for all s, t N. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
13 Proposition Let J be an ideal of K [X P]. We put I = ι 1 (J V ) K X. Proof. If J is shift-invariant, then I is a left ideal. If J is place-multigraded, then I is graded right ideal. Assume J is shift-invariant and let f I, w X. Denote g = ι(f ) J V and m = ι(w). If deg(w) = s we have clearly ι(wf ) = m(s g) J V and hence wf I. Suppose now that J is place-multigraded and hence graded. Since V is a graded subspace, it follows that J V = d (J d V ) and hence, setting I d = ι 1 (J d V ) we obtain I = d I d. Let f I d that is ι(f ) = g J d V. For all w X we have that ι(fw) = g(d m) J V that is fw I. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
14 Proposition Let J be an ideal of K [X P]. We put I = ι 1 (J V ) K X. Proof. If J is shift-invariant, then I is a left ideal. If J is place-multigraded, then I is graded right ideal. Assume J is shift-invariant and let f I, w X. Denote g = ι(f ) J V and m = ι(w). If deg(w) = s we have clearly ι(wf ) = m(s g) J V and hence wf I. Suppose now that J is place-multigraded and hence graded. Since V is a graded subspace, it follows that J V = d (J d V ) and hence, setting I d = ι 1 (J d V ) we obtain I = d I d. Let f I d that is ι(f ) = g J d V. For all w X we have that ι(fw) = g(d m) J V that is fw I. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
15 Proposition Let I be a left ideal of K X and put I = ι(i). Define J to be the ideal of K [X P] generated by s N s I. Then J is a shift-invariant ideal. Moreover, if I is graded then J is place-multigraded. Example If f = 2x 2 x 3 x 1 3x 3 x 1 x 3 I, all the following polynomials belong to J: ι(f ) = 2(x 2 0)(x 3 1)(x 1 2) 3(x 3 0)(x 1 1)(x 3 2) 1 ι(f ) = 2(x 2 1)(x 3 2)(x 1 3) 3(x 3 1)(x 1 2)(x 3 3) 2 ι(f ) = 2(x 2 2)(x 3 3)(x 1 4) 3(x 3 2)(x 1 3)(x 3 4) etc La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
16 Proposition Let I be a left ideal of K X and put I = ι(i). Define J to be the ideal of K [X P] generated by s N s I. Then J is a shift-invariant ideal. Moreover, if I is graded then J is place-multigraded. Example If f = 2x 2 x 3 x 1 3x 3 x 1 x 3 I, all the following polynomials belong to J: ι(f ) = 2(x 2 0)(x 3 1)(x 1 2) 3(x 3 0)(x 1 1)(x 3 2) 1 ι(f ) = 2(x 2 1)(x 3 2)(x 1 3) 3(x 3 1)(x 1 2)(x 3 3) 2 ι(f ) = 2(x 2 2)(x 3 3)(x 1 4) 3(x 3 2)(x 1 3)(x 3 4) etc La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
17 Definition Let I K X be a graded two-sided ideal. Denote ι(i) the shift-invariant ideal J K [X P] generated by s N s ι(i) and call J the letterplace analogue of the ideal I. Let J K [X P] be a shift-invariant place-multigraded ideal. Denote ι 1 (J) the graded two-sided ideal I = ι 1 (J V ) K X. Theorem The following inclusions hold: ι 1 ( ι(i)) = I, ι( ι 1 (J)) J, ι( ι 1 (J)) = J if and only if J is generated by s N s (J V ). La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
18 Definition Let I K X be a graded two-sided ideal. Denote ι(i) the shift-invariant ideal J K [X P] generated by s N s ι(i) and call J the letterplace analogue of the ideal I. Let J K [X P] be a shift-invariant place-multigraded ideal. Denote ι 1 (J) the graded two-sided ideal I = ι 1 (J V ) K X. Theorem The following inclusions hold: ι 1 ( ι(i)) = I, ι( ι 1 (J)) J, ι( ι 1 (J)) = J if and only if J is generated by s N s (J V ). La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
19 Definition A graded ideal J of K [X P] is called a letterplace ideal, if J is generated by s N s (J V ). In this case J is shift-invariant and place-multigraded. We obtain finally Corollary The map ι : K X V induces a 1-to-1 correspondence ι between graded two-sided ideals I of the free associative algebra K X and letterplace ideals J of the polynomial ring K [X P]. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
20 Definition A graded ideal J of K [X P] is called a letterplace ideal, if J is generated by s N s (J V ). In this case J is shift-invariant and place-multigraded. We obtain finally Corollary The map ι : K X V induces a 1-to-1 correspondence ι between graded two-sided ideals I of the free associative algebra K X and letterplace ideals J of the polynomial ring K [X P]. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
21 How generating sets behave under the ideal correspondence ι? Definition Let J be a letterplace ideal of K [X P] and H K [X P]. We say that H is a letterplace basis of J if H J V, H homogeneous and s H is a generating set of the ideal J. s N Proposition Let I be a graded two-sided ideal of K X and put J = ι(i). Moreover, let G I, G homogeneous and define H = ι(g) J V. Then G is a generating set of I as two-sided ideal if and only if H is a letterplace basis of J. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
22 How generating sets behave under the ideal correspondence ι? Definition Let J be a letterplace ideal of K [X P] and H K [X P]. We say that H is a letterplace basis of J if H J V, H homogeneous and s H is a generating set of the ideal J. s N Proposition Let I be a graded two-sided ideal of K X and put J = ι(i). Moreover, let G I, G homogeneous and define H = ι(g) J V. Then G is a generating set of I as two-sided ideal if and only if H is a letterplace basis of J. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
23 Higmans lemma Definitions A quasi-ordering is a binary relation, which is reflexive (a a) and transitive (a b, b c a c). An ordering is well-founded, if every nonempty set has a minimal element. A well-quasi-ordering is a well-founded quasi-ordering, such that there is no infinite sequence {x i } with x i x j for all i < j Higmans lemma (1952) The set of finite sequences over a well-quasi-ordered set of labels is itself well-quasi-ordered. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
24 Now, we enter the realm of Gröbner bases. A = K X or F[Y ] (Y = X P). M is the monoid of all monomials of A. A term-ordering on A is a total ordering on M which is a well-ordering, compatible with multiplication. Precisely one has: (i) either u v or v u, for any u, v M, u v; (ii) if u v then wu wv and uw vw, for all u, v, w M; (iii) every non-empty subset of M has a minimal element. Remark Even if the number of variables of the polynomial algebra A is infinite, there exist term-orderings. By Higman s lemma, any total ordering on M, which is compatible with multiplication and such that 1 x 0 x 1... holds, is a term-ordering. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
25 Now, we enter the realm of Gröbner bases. A = K X or F[Y ] (Y = X P). M is the monoid of all monomials of A. A term-ordering on A is a total ordering on M which is a well-ordering, compatible with multiplication. Precisely one has: (i) either u v or v u, for any u, v M, u v; (ii) if u v then wu wv and uw vw, for all u, v, w M; (iii) every non-empty subset of M has a minimal element. Remark Even if the number of variables of the polynomial algebra A is infinite, there exist term-orderings. By Higman s lemma, any total ordering on M, which is compatible with multiplication and such that 1 x 0 x 1... holds, is a term-ordering. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
26 Notations lm(f ) the leading (greatest) monomial of f K X, f 0 lm(g) = {lm(g) g G, g 0} with G K X LM(G) the two-sided ideal generated by lm(g) Definition Let I be a two-sided ideal of K X and G I. If lm(g) is a basis of LM(I) then G is called a Gröbner basis of I. In other words, for all f I \ {0} there are w 1, w 2 X, g G \ {0} such that lm(f ) = w 1 lm(g)w 2. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
27 Notations lm(f ) the leading (greatest) monomial of f K X, f 0 lm(g) = {lm(g) g G, g 0} with G K X LM(G) the two-sided ideal generated by lm(g) Definition Let I be a two-sided ideal of K X and G I. If lm(g) is a basis of LM(I) then G is called a Gröbner basis of I. In other words, for all f I \ {0} there are w 1, w 2 X, g G \ {0} such that lm(f ) = w 1 lm(g)w 2. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
28 Gröbner basis computation in K X : Example Let X = {x, y}. Consider f 1 = x 3 y 3 = xxx yyy, f 2 = xyx yxy and I = f 1, f 2 K X with respect to the graded left lexicographical ordering. We compute truncated Gröbner basis up to degree d = 5. Overlap Two words w, v X have an an overlap at word o, if w = ow and v = v o. We denote the overlapping below by v o w. Let G = {f 1, f 2 }. (f 1, f 1 ) : lm(f 1 ) = xxx, so there are two self-overlaps o 1 := o 1,1 = f 1 x xf 1 = xy 3 y 3 x, o 1,2 = f 1 x 2 x 2 f 1 = x 2 y 3 y 3 x 2. Moreover, o 1,2 xo 1,1 = xy 3 x y 3 x 2 = o 1,1 x, so o 1,2 reduces to 0. Hence G = G {o 1 }. (f 2, f 2 ) : lm(f 2 ) = xyx, there are two self-overlaps. Symmetry implies that both of them originate from the overlap xy x yx of lm(f 2 ). Then o 2 = f 2 yx xyf 2 = xyyxy yxyyx. So G = G {o 2 }. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
29 Gröbner basis in K X : Example continued (f 1, f 2 ) : lm(f 1 ) and lm(f 2 ) have two overlaps xx x yx and xy x xx, hence o 3,1 = f 1 yx xxf 2 = xxyxy y 4 x and o 3,2 = f 2 xx xyf 1 = xy 4 yxyxx. Performing reductions, we see that o 3,1 xf 2 y f 2 yy yo 1 = 0 and o 32 o 1 y + yf 2 x + yyf 2 = yyyxy yyyxy = 0. (f 1, o 1 ) has overlap xx x yyy, (f 2, o 1 ) has overlap xy x yyy, (f 1, o 2 ) has overlap xx x yyxy, (o 1, o 2 ) has overlap xyy xy yy, o 2 has a self-overlap xyy xy yxy and (f 2, o 2 ) has two overlaps xy x yyxy and xyy xy x. Since all these elements are of degree 6 and we are in the graded case, we conclude that G = {f 1, f 2, o 1, o 2 } is truncated Gröbner basis up to degree 5. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
30 In a similar way, the notion of Gröbner basis is defined for an ideal of the commutative polynomial ring F[Y ]. Definition Let G F[Y ], f F[Y ]. By definition f has a Gröbner representation with respect to G if f = 0 or there are f i F[Y ], g i G such that f = n i=1 f ig i, with f i g i = 0 or lm(f ) lm(f i )lm(g i ) otherwise. Proposition (Buchberger s criterion) Let G be a basis of an ideal J F[Y ]. Then G is a Gröbner basis of J if and only if for all f, g G \ {0}, f g the S-polynomial S(f, g) has a Gröbner representation with respect to G. This criterion implies a critical pair & completion algorithm, transforming a generating set G 0 into a Gröbner basis G. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
31 In a similar way, the notion of Gröbner basis is defined for an ideal of the commutative polynomial ring F[Y ]. Definition Let G F[Y ], f F[Y ]. By definition f has a Gröbner representation with respect to G if f = 0 or there are f i F[Y ], g i G such that f = n i=1 f ig i, with f i g i = 0 or lm(f ) lm(f i )lm(g i ) otherwise. Proposition (Buchberger s criterion) Let G be a basis of an ideal J F[Y ]. Then G is a Gröbner basis of J if and only if for all f, g G \ {0}, f g the S-polynomial S(f, g) has a Gröbner representation with respect to G. This criterion implies a critical pair & completion algorithm, transforming a generating set G 0 into a Gröbner basis G. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
32 If Y is infinite, then the ring F [Y ] is not noetherian. Hence, it is not guaranteed that G 0, G are finite sets, that is the procedure to terminate in a finite number of steps. If G 0 is a finite basis of the ideal J, then its Gröbner basis G is contained in F[Y ], where Y is the set of variables occuring in G 0. Therefore G is also finite by noetherianity of F[Y ]. Assume J is graded and has a finite number of generators of degree d. Then, the number of elements in the Gröbner basis of J of degree d is finite and the truncated algorithm terminates up to degree d. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
33 When a monoid S acts (by algebra endomorphisms) on a polynomial ring, one has the notion of Gröbner S-basis. In a paper by Drensky and La Scala (JSC, 2006), such notion has been introduced and applied to the ideal I K X defining the universal enveloping algebra of the free 2-nilpotent Lie algebra. The ideal I is generated by all commutators [x i, x j, x k ] and hence it is stable under the action of all endomorphisms x i x j. We introduced here this notion for the specific action of N over K [X P]. Definition Let J be an ideal of K [X P] and H J. Then H is said a shift-basis (resp. a Gröbner shift-basis) of J if s N s H is a basis (resp. a Gröbner basis) of J (then N J = J). If J is a letterplace ideal, then any letterplace basis of J is a shift-basis but not generally a Gröbner shift-basis of J. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
34 When a monoid S acts (by algebra endomorphisms) on a polynomial ring, one has the notion of Gröbner S-basis. In a paper by Drensky and La Scala (JSC, 2006), such notion has been introduced and applied to the ideal I K X defining the universal enveloping algebra of the free 2-nilpotent Lie algebra. The ideal I is generated by all commutators [x i, x j, x k ] and hence it is stable under the action of all endomorphisms x i x j. We introduced here this notion for the specific action of N over K [X P]. Definition Let J be an ideal of K [X P] and H J. Then H is said a shift-basis (resp. a Gröbner shift-basis) of J if s N s H is a basis (resp. a Gröbner basis) of J (then N J = J). If J is a letterplace ideal, then any letterplace basis of J is a shift-basis but not generally a Gröbner shift-basis of J. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
35 Problem Question: is it possible to reduce by symmetry the Buchberger algorithm with respect to the action by shifting? Answer: YES, if the term-ordering is compatible with such action. Definition A term-ordering on K [X P] is called shift-invariant, when u v if and only if s u s v for any u, v [X P] and s N. In this case, one has that lm(s f ) = s lm(f ) for all f K [X P] \ {0} and s N. It is clear that many of the usual term-orderings are shift-invariant. From now on we assume K [X P] endowed with a shift-invariant term-ordering. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
36 Problem Question: is it possible to reduce by symmetry the Buchberger algorithm with respect to the action by shifting? Answer: YES, if the term-ordering is compatible with such action. Definition A term-ordering on K [X P] is called shift-invariant, when u v if and only if s u s v for any u, v [X P] and s N. In this case, one has that lm(s f ) = s lm(f ) for all f K [X P] \ {0} and s N. It is clear that many of the usual term-orderings are shift-invariant. From now on we assume K [X P] endowed with a shift-invariant term-ordering. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
37 One proves immediately: Proposition Let J K [X P] be an ideal and H J. We have that H is a Gröbner shift-basis of J if and only if lm(h) is a shift-basis of LM(J). Lemma Let f 1, f 2 K [X P] \ {0}, f 1 f 2. Then S(s f 1, s f 2 ) = s S(f 1, f 2 ). It follows that we can reduce by symmetry the Buchberger s criterion with respect to the shift action. Proposition Let H be a shift-basis of an ideal J K [X P]. Then H is a Gröbner shift-basis of J if and only if for all f, g H \ {0}, s N, f s g the S-polynomial S(f, s g) has a Gröbner representation with respect to t N t H. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
38 One proves immediately: Proposition Let J K [X P] be an ideal and H J. We have that H is a Gröbner shift-basis of J if and only if lm(h) is a shift-basis of LM(J). Lemma Let f 1, f 2 K [X P] \ {0}, f 1 f 2. Then S(s f 1, s f 2 ) = s S(f 1, f 2 ). It follows that we can reduce by symmetry the Buchberger s criterion with respect to the shift action. Proposition Let H be a shift-basis of an ideal J K [X P]. Then H is a Gröbner shift-basis of J if and only if for all f, g H \ {0}, s N, f s g the S-polynomial S(f, s g) has a Gröbner representation with respect to t N t H. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
39 Proof. We have to prove now that G = s s H is a Gröbner basis of J, that is for any f, g H \ {0}, s, t N, s f t g the S-polynomial S(s f, t g) has a Gröbner representation with respect to G. Assume s t and put u = t s. By the previous lemma we have S(s f, t g) = S(s f, s (u g)) = s S(f, u g). By hypothesis, the S-polynomial S = S(f, u g) is zero or S = i f ig i, where f i K [X P], g i G and lm(s) lm(f i )lm(g i ) for all i such that f i g i 0. By acting with the shift s (algebra endomorphism), it is clear that s S has also a Gröbner representation with respect to G. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
40 By the above proposition, we obtain the correctness of the following Buchberger algorithm reduced by symmetry. Algorithm SGBASIS Input: H 0, a shift-basis of an ideal J K [X P]. Output: H, a Gröbner shift-basis of J. H := H 0 \ {0}; P := {(f, s g) f, g H, s N, f s g, gcd(lm(f ), lm(s g)) 1}; while P do choose (f, s g) P; P := P \ {(f, s g)}; h := REDUCE(S(f, s g), t t H); if h 0 then P := P {(h, s g) g H, s N, gcd(lm(h), lm(s g)) 1}; P := P {(s h, g) g H, s N, gcd(lm(s h), lm(g)) 1}; H := H {h}; return H. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
41 Let us see what happens when we apply this algorithm to letterplace ideals. Notations If ν = (ν k ) is a multidegree, denote ν = (η k ) the multidegree defined as η k = 1 if ν k > 0 and η k = 0 otherwise. Define then V = ν=1 n, n N K [X P],ν Example (x 2 0)(x 0 1)(x 4 1)(x 2 2) V, but (x 2 0)(x 0 1)(x 4 3)(x 2 4) / V. Proposition Let J K [X P] be a letterplace ideal. There exists a Gröbner shift-basis of J contained in ν J,ν V. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
42 Let us see what happens when we apply this algorithm to letterplace ideals. Notations If ν = (ν k ) is a multidegree, denote ν = (η k ) the multidegree defined as η k = 1 if ν k > 0 and η k = 0 otherwise. Define then V = ν=1 n, n N K [X P],ν Example (x 2 0)(x 0 1)(x 4 1)(x 2 2) V, but (x 2 0)(x 0 1)(x 4 3)(x 2 4) / V. Proposition Let J K [X P] be a letterplace ideal. There exists a Gröbner shift-basis of J contained in ν J,ν V. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
43 Definition Let J be a letterplace ideal of K [X P] and H J. We say that H is a Gröbner letterplace basis of J if H ν J,ν V and H is a Gröbner shift-basis of J. From such a basis we want to obtain a Gröbner basis of the graded two-sided ideal I = ι 1 (J). Definition Fix the term-orderings < on K X and on K [X P]. They are called compatible with ι, when v < w holds if and only if ι(v) ι(w) for any v, w X. In this case, it follows that lm(ι(f )) = ι(lm(f )) for all f K X \ {0}. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
44 Definition Let J be a letterplace ideal of K [X P] and H J. We say that H is a Gröbner letterplace basis of J if H ν J,ν V and H is a Gröbner shift-basis of J. From such a basis we want to obtain a Gröbner basis of the graded two-sided ideal I = ι 1 (J). Definition Fix the term-orderings < on K X and on K [X P]. They are called compatible with ι, when v < w holds if and only if ι(v) ι(w) for any v, w X. In this case, it follows that lm(ι(f )) = ι(lm(f )) for all f K X \ {0}. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
45 Assume: K X, K [X P] are endowed with term-orderings compatible with ι and the one of K [X P] is shift-invariant. Proposition Let I K X be a graded two-sided ideal and put J = ι(i). Moreover, let H be a Gröbner letterplace basis of J and put G = ι 1 (H V ). Then G is a Gröbner basis of I as two-sided ideal. Remark Let G 0 be a homogeneous basis of I. Then, the computation of a homogeneous Gröbner basis G of I can be done by applying the algorithm SGBASIS to H 0 = ι(g 0 ). If H = SGBASIS(H 0 ) then G = ι 1 (H V ), and hence one is interested to compute only the elements of H V. We prove: all such elements are obtained from S-polynomials S(f, s g) where f, g are already elements of V. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
46 Assume: K X, K [X P] are endowed with term-orderings compatible with ι and the one of K [X P] is shift-invariant. Proposition Let I K X be a graded two-sided ideal and put J = ι(i). Moreover, let H be a Gröbner letterplace basis of J and put G = ι 1 (H V ). Then G is a Gröbner basis of I as two-sided ideal. Remark Let G 0 be a homogeneous basis of I. Then, the computation of a homogeneous Gröbner basis G of I can be done by applying the algorithm SGBASIS to H 0 = ι(g 0 ). If H = SGBASIS(H 0 ) then G = ι 1 (H V ), and hence one is interested to compute only the elements of H V. We prove: all such elements are obtained from S-polynomials S(f, s g) where f, g are already elements of V. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
47 NCGBASIS Input: G 0, a homogeneous basis of a graded two-sided ideal I K X. Output: G, a homogeneous Gröbner basis of I. H := ι(g 0 \ {0}); P := {(f, s g) f, g H, s N, f s g, gcd(lm(f ), lm(s g)) 1, lcm(lm(f ), lm(s g)) V }; while P do choose (f, s g) P; P := P \ {(f, s g)}; h := REDUCE(S(f, s g), t t H); if h 0 then P := P {(h, s g) g H, s N, gcd(lm(h), lm(s g)) 1, lcm(lm(h), lm(s g)) V }; P := P {(s h, g) g H, s N, gcd(lm(s h), lm(g)) 1, lcm(lm(s h), lm(g)) V }; H := H {h}; G := ι 1 (H); return G La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
48 Remark The termination of a procedure that computes non-commutative (homogeneous) Gröbner bases is not provided in general, even if the set of variables X and a basis G 0 of I are both finite (K X is not noetherian). From the viewpoint of our method, this corresponds to the fact that the set of commutative variables X P is infinite, and the letterplace ideal J = ι(i) is generated by s N s ι(g 0) which is also an infinite set. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
49 Proposition Let I K X be a graded two-sided ideal and d > 0 an integer. If I has a finite number of homogeneous generators of degree d then the algorithm NCGBASIS computes in a finite number of steps all elements of degree d of a homogeneous Gröbner basis of I. Proof. Consider the elements f, g H V at the current step. If both these polynomials have degree d then the condition gcd(lm(h), lm(s g)) 1 implies that s d 1. It follows that the computation actually runs over the variables set X {0,..., d 1}, where X is the finite set of variables occurring in the generators of I of degree d. By noetherianity of the ring F[X {0,..., d 1}] we conclude that the truncated procedure, up to degree d, stops after a finite number of steps. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
50 Proposition Let I K X be a graded two-sided ideal and d > 0 an integer. If I has a finite number of homogeneous generators of degree d then the algorithm NCGBASIS computes in a finite number of steps all elements of degree d of a homogeneous Gröbner basis of I. Proof. Consider the elements f, g H V at the current step. If both these polynomials have degree d then the condition gcd(lm(h), lm(s g)) 1 implies that s d 1. It follows that the computation actually runs over the variables set X {0,..., d 1}, where X is the finite set of variables occurring in the generators of I of degree d. By noetherianity of the ring F[X {0,..., d 1}] we conclude that the truncated procedure, up to degree d, stops after a finite number of steps. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
51 Gröbner basis in K [X P]: Example Example (f 1 = x 3 y 3 = xxx yyy, f 2 = xyx yxy) In the case d = 5, one considers then the polynomial ring K [X P 5 ] = K [x(1), y(1),..., x(5), y(5)] and the polynomials f 1 = x(1)x(2)x(3) y(1)y(2)y(3), f 2 = 1 f 1 = x(2)x(3)x(4) y(2)y(3)y(4), f 3 = 2 f 1 = x(3)x(4)x(5) y(3)y(4)y(5), f 4 = x(1)y(2)x(3) y(1)x(2)y(3), f 5 = 1 f 4 = x(2)y(3)x(4) y(2)x(3)y(4), f 6 = 2 f 4 = x(3)y(4)x(5) y(3)x(4)y(5). We write (i, j) for the pair (i, j). There are 15 pairs to consider. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
52 Gröbner basis in K [X P]: Example continued Criteria the pairs (1, 4), (1, 5), (2, 4), (4, 5) are discarded by the V -criterion, since lcm s of their lm s are non-multilinear in places. the pairs (2, 3), (2, 5), (2, 6), (3, 5), (3, 6), (5, 6) are discarded by the V -criterion, since lcm s of their lm s have nonzero shift. (4, 5) and (5, 6) can also be discarded by the product criterion. Thus it remains to consider P = {(1, 2), (1, 3), (1, 6), (3, 4), (4, 6)}. Following the Algorithm NCGBasis, H := {f 1, f 4 }. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
53 Gröbner basis in K [X P]: Example continued Example (1, 2) : spoly(1, 2) = f 1 x(4) x(1)f 2 = x(1)y(2)y(3)y(4) y(1)y(2)y(3)x(4) =: g 1, hence H := H {g 1 } and g 2 := 1 spoly(1, 2) = x(2)y(3)y(4)y(5) y(2)y(3)y(4)x(5) is the only admissible shift of g 1. (1, 3) : spoly(1, 3) = f 1 x(4)x(5) x(1)x(2)f 3 = x(1)x(2)y(3)y(4)y(5) y(1)y(2)y(3)x(4)x(5) = x(1)g 2 + g 1 x(5) 0. Note, that since lm(f 2 ) lcm(lm(f 1 ), lm(f 3 )), by the Chain criterion we can skip the pair (1, 3) from the pairset (1, 2), (1, 3), (2, 3). The pair (2, 3) is skipped by the V -criterion above. (1, 6) : spoly(1, 6) = f 1 y(4)x(5) x(1)x(2)f 6 = x(1)x(2)y(3)x(4)x(5) x(1)x(2)x(3)y(4)x(5). Indeed, spoly(1, 6) = x(1)f 5 y(5) + f 4 y(4)y(5) + y(1)g 2 0. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
54 Gröbner basis in K [X P]: Example continued Example (3, 4) : spoly(3, 4) = f 4 x(4)x(5) x(1)y(2)f 3 = x(1)y(2)y(3)y(4)y(5) y(1)x(2)y(3)x(4)x(5) and spoly(3, 4) = g 1 y(5) y(1)f 5 x(5) y(1)y(2)f 6 0. (4, 6) : spoly(4, 6) = f 4 y(4)x(5) x(1)y(2)f 6 = x(1)y(2)y(3)x(4)y(5) y(1)x(2)y(3)y(4)x(5) cannot be reduced, hence g 3 := spoly(4, 6) and H becomes {f 1, f 4, g 1, g 3 }. Note, that there are no admissible shifts for g 3. The pairs (g 1, f 1 ),..., (g 1, f 6 ), (f 1, g 2 ), (f 4, g 2 ), which appear when g 1 enters H and (g 3, f 1 ),..., (g 3, f 6 ), (g 3, g 1 ), (g 3, g 2 ), which appear when g 3 enters H (note, that (f 1, g 3 ), (f 4, g 3 ), (g 1, g 3 ) are already included in the latter) are discarded by the V -criterion. Thus ι 1 ({f 1, f 4, g 1, g 3 }) is a truncated Gröbner basis up to degree 5. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
55 Implementation We have developed an implementation of the letterplace algorithm in the computer algebra system Singular: Our implementation consists of kernel part of SINGULAR the library freegb.lib in the SINGULAR language Even is the implementation can be improved much, the comparisons with the best implementations of non-commutative Gröbner bases (classic algorithm) are very encouraging. They show that, in addition to the interesting feature to be portable in any commutative computer algebra system, the proposed method is really feasible. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
56 Examples: Lie algebras Free nilpotent Lie algebra of class c The ideal I K X is generated by all (left-normed) commutators [x i1,..., x ic+1 ] of length c + 1. In particular, we study the case when the number of variables n = 5 and c = 3, 4. We called these examples nilp3 and nilp4. Free metabelian Lie algebra I K X is generated by all the commutators [[x i, x j ], [x k, x l ]]. We fix the dimension to be n = 5 and denote this example as metab5. 2-by-2 upper triangular matrices as PI algebra I K X is generated by polynomials [x i, x j ]w[x k, x l ], where w is an arbitrary word (including 1) of K X. Example tri4: the number of variables n = 4, the degree d = 7. La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
57 Examples: Serre s relations Let n N and A = (a ij ) Z n n be a square integer matrix. Suppose, that we have 1 a ij Z + for i j. The (i, j)-th Serre s relation associated to A is ad 1 a ij x j (x i ) = [x j, [... [x j, x i ]]...] = 0. We consider ideals S, generated by all Serre s relations associated to: Cartan matrices, which lead to simple Lie algebras. S has usually finite Gröbner basis. generalized Cartan matrices, which are used to define Kac-Moody algebras. S often has infinite Gröbner basis (therefore such algebras are very interesting to study). La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
58 Open problems Extend the letterplace method to the computation of non-homogeneous ideals (under development). One-sided Gröbner bases over fin. pres. algebras One- and two-sided syzygies and resolutions over f.p.a. Hilbert functions and dimensions (like Gel fand-kirillov) Homological algebra For ideals that are invariants under the actions of (semi)groups, algebras, etc, to integrate the methods of representation theory to Gröbner bases techniques. Do there exist letterplace analogues of Lie ideals? Of Gröbner-Shirshov bases? La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
59 Thank you for your attention! Please visit the SINGULAR homepage La Scala, Levandovskyy (RWTH) Letterplace ideals / 39
4 Hilbert s Basis Theorem and Gröbner basis
4 Hilbert s Basis Theorem and Gröbner basis We define Gröbner bases of ideals in multivariate polynomial rings and see how they work in tandem with the division algorithm. We look again at the standard
More informationNon commutative Computations with SINGULAR
Non commutative Computations with SINGULAR Viktor Levandovskyy SFB Project F1301 of the Austrian FWF Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz, Austria Special
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 informationNoncommutative Extensions of SINGULAR
Noncommutative Extensions of SINGULAR Viktor Levandovskyy RWTH Aachen 14.10.09, Kaiserslautern Levandovskyy (RWTH) SingNC 14.10.09 1 / 17 Outline 1 PLURAL: non-commutative GR-algebras 2 LOCAPAL: certain
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 information5 The existence of Gröbner basis
5 The existence of Gröbner basis We use Buchberger s criterion from the previous section to give an algorithm that constructs a Gröbner basis of an ideal from any given set of generators Hilbert s Basis
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 informationGröbner bases for the polynomial ring with infinite variables and their applications
Gröbner bases for the polynomial ring with infinite variables and their applications Kei-ichiro Iima and Yuji Yoshino Abstract We develop the theory of Gröbner bases for ideals in a polynomial ring with
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationAbstract Algebra for Polynomial Operations. Maya Mohsin Ahmed
Abstract Algebra for Polynomial Operations Maya Mohsin Ahmed c Maya Mohsin Ahmed 2009 ALL RIGHTS RESERVED To my students As we express our gratitude, we must never forget that the highest appreciation
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 informationLecture 15: Algebraic Geometry II
6.859/15.083 Integer Programming and Combinatorial Optimization Fall 009 Today... Ideals in k[x] Properties of Gröbner bases Buchberger s algorithm Elimination theory The Weak Nullstellensatz 0/1-Integer
More informationConfluence Algebras and Acyclicity of the Koszul Complex
Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
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 informationInfinite-Dimensional Triangularization
Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
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 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 informationCounting Zeros over Finite Fields with Gröbner Bases
Counting Zeros over Finite Fields with Gröbner Bases Sicun Gao May 17, 2009 Contents 1 Introduction 2 2 Finite Fields, Nullstellensatz and Gröbner Bases 5 2.1 Ideals, Varieties and Finite Fields........................
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 informationTHE THEOREM OF THE HIGHEST WEIGHT
THE THEOREM OF THE HIGHEST WEIGHT ANKE D. POHL Abstract. Incomplete notes of the talk in the IRTG Student Seminar 07.06.06. This is a draft version and thought for internal use only. The Theorem of the
More informationCommutativity Theorems Examples in Search of Algorithms
Commutativity Theorems Examples in Search of Algorithms John J Wavrik Dept of Math Univ of Calif - San Diego La Jolla, CA 92093 jjwavrik@ucsd.edu 1 Introduction dedicated to the memory of John Hunter Commutativity
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 informationDimension Computations in Non-Commutative Associative Algebras
Dimension Computations in Non-Commutative Associative Algebras by Grischa Studzinski Diploma thesis in mathematics submitted to Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westfälischen
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More information1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function
1 Hilbert function 1.1 Graded rings Let G be a commutative semigroup. A commutative ring R is called G-graded when it has a (weak direct sum decomposition R = i G R i (that is, the R i are additive subgroups,
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 informationGröbner Bases. eliminating the leading term Buchberger s criterion and algorithm. construct wavelet filters
Gröbner Bases 1 S-polynomials eliminating the leading term Buchberger s criterion and algorithm 2 Wavelet Design construct wavelet filters 3 Proof of the Buchberger Criterion two lemmas proof of the Buchberger
More informationHomotopy-theory techniques in commutative algebra
Homotopy-theory techniques in commutative algebra Department of Mathematical Sciences Kent State University 09 January 2007 Departmental Colloquium Joint with Lars W. Christensen arxiv: math.ac/0612301
More informationNon-commutative reduction rings
Revista Colombiana de Matemáticas Volumen 33 (1999), páginas 27 49 Non-commutative reduction rings Klaus Madlener Birgit Reinert 1 Universität Kaiserslautern, Germany Abstract. Reduction relations are
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More information8. Prime Factorization and Primary Decompositions
70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings
More 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 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 informationA GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis
International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated
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 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 informationTangent cone algorithm for homogenized differential operators
Tangent cone algorithm for homogenized differential operators Michel Granger a Toshinori Oaku b Nobuki Takayama c a Université d Angers, Bd. Lavoisier, 49045 Angers cedex 01, France b Tokyo Woman s Christian
More informationGrobner Bases: Degree Bounds and Generic Ideals
Clemson University TigerPrints All Dissertations Dissertations 8-2014 Grobner Bases: Degree Bounds and Generic Ideals Juliane Golubinski Capaverde Clemson University, julianegc@gmail.com Follow this and
More informationM3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS
M3P23, M4P23, M5P23: COMPUTATIONAL ALGEBRA & GEOMETRY REVISION SOLUTIONS (1) (a) Fix a monomial order. A finite subset G = {g 1,..., g m } of an ideal I k[x 1,..., x n ] is called a Gröbner basis if (LT(g
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 informationPOLYNOMIAL DIVISION AND GRÖBNER BASES. Samira Zeada
THE TEACHING OF MATHEMATICS 2013, Vol. XVI, 1, pp. 22 28 POLYNOMIAL DIVISION AND GRÖBNER BASES Samira Zeada Abstract. Division in the ring of multivariate polynomials is usually not a part of the standard
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
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 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 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 informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
More informationTensor Product of modules. MA499 Project II
Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI
More informationTEST GROUPS FOR WHITEHEAD GROUPS
TEST GROUPS FOR WHITEHEAD GROUPS PAUL C. EKLOF, LÁSZLÓ FUCHS, AND SAHARON SHELAH Abstract. We consider the question of when the dual of a Whitehead group is a test group for Whitehead groups. This turns
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 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 informationINTRODUCTION TO SEMIGROUPS AND MONOIDS
INTRODUCTION TO SEMIGROUPS AND MONOIDS PETE L. CLARK We give here some basic definitions and very basic results concerning semigroups and monoids. Aside from the mathematical maturity necessary to follow
More informationUNIVERSAL DERIVED EQUIVALENCES OF POSETS
UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 2.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 2. 2. More examples. Ideals. Direct products. 2.1. More examples. 2.1.1. Let k = R, L = R 3. Define [x, y] = x y the cross-product. Recall that the latter is defined
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 informationSection Projective Morphisms
Section 2.7 - Projective Morphisms Daniel Murfet October 5, 2006 In this section we gather together several topics concerned with morphisms of a given scheme to projective space. We will show how a morphism
More informationV (f) :={[x] 2 P n ( ) f(x) =0}. If (x) ( x) thenf( x) =
20 KIYOSHI IGUSA BRANDEIS UNIVERSITY 2. Projective varieties For any field F, the standard definition of projective space P n (F ) is that it is the set of one dimensional F -vector subspaces of F n+.
More informationCurrent Advances. Open Source Gröbner Basis Algorithms
Current Advances in Open Source Gröbner Basis Algorithms My name is Christian Eder I am from the University of Kaiserslautern 3 years ago Christian Eder, Jean-Charles Faugère A survey on signature-based
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 informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationEndomorphism rings generated using small numbers of elements arxiv:math/ v2 [math.ra] 10 Jun 2006
Endomorphism rings generated using small numbers of elements arxiv:math/0508637v2 [mathra] 10 Jun 2006 Zachary Mesyan February 2, 2008 Abstract Let R be a ring, M a nonzero left R-module, and Ω an infinite
More informationKiddie Talk - The Diamond Lemma and its applications
Kiddie Tal - The Diamond Lemma and its applications April 22, 2013 1 Intro Start with an example: consider the following game, a solitaire. Tae a finite graph G with n vertices and a function e : V (G)
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30
ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects
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 informationGröbner Bases and Systems Theory
Multidimensional Systems and Signal Processing, 12, 223 251, 2001 # 2001 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Gröbner Bases and Systems Theory BRUNO BUCHBERGER buchberger@risc.uni-linz.ac.at
More informationGröbner Bases for Noncommutative Polynomials
Gröbner Bases for Noncommutative Polynomials Arjeh M. Cohen 8 January 2007 first lecture of Three aspects of exact computation a tutorial at Mathematics: Algorithms and Proofs (MAP) Leiden, January 8 12,
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationCOMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.
COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb,
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 informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
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 information3. Abstract Boolean Algebras
3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,
More informationMODULES OVER A PID. induces an isomorphism
MODULES OVER A PID A module over a PID is an abelian group that also carries multiplication by a particularly convenient ring of scalars. Indeed, when the scalar ring is the integers, the module is precisely
More informationGroebner Bases and Applications
Groebner Bases and Applications Robert Hines December 16, 2014 1 Groebner Bases In this section we define Groebner Bases and discuss some of their basic properties, following the exposition in chapter
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 information10 Excision and applications
22 CHAPTER 1. SINGULAR HOMOLOGY be a map of short exact sequences of chain complexes. If two of the three maps induced in homology by f, g, and h are isomorphisms, then so is the third. Here s an application.
More informationArtin-Schelter regular algebras and the Steenrod algebra
Artin-Schelter regular algebras and the Steenrod algebra J. H. Palmieri and J. J. Zhang University of Washington Los Angeles, 10 October 2010 Exercise Let A(1) be the sub-hopf algebra of the mod 2 Steenrod
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 informationGröbner Complexes and Tropical Bases
Gröbner Complexes and Tropical Bases Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu Graduate
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 D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials. Jorge Martín-Morales
Introduction to D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials Jorge Martín-Morales Centro Universitario de la Defensa de Zaragoza Academia General Militar Differential Algebra and
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationCHAPTER III NORMAL SERIES
CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors
More information1. Quivers and their representations: Basic definitions and examples.
1 Quivers and their representations: Basic definitions and examples 11 Quivers A quiver Q (sometimes also called a directed graph) consists of vertices and oriented edges (arrows): loops and multiple arrows
More informationArithmetic Analogues of Derivations
JOURNAL OF ALGEBRA 198, 9099 1997 ARTICLE NO. JA977177 Arithmetic Analogues of Derivations Alexandru Buium Department of Math and Statistics, Uniersity of New Mexico, Albuquerque, New Mexico 87131 Communicated
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Joint with Ellen Kirkman, W. Frank Moore, Robert Won Invariant Theory Throughout,
More informationS-Polynomials and Buchberger s Algorithm
S-Polynomials and Buchberger s Algorithm J.M. Selig Faculty of Business London South Bank University, London SE1 0AA, UK 1 S-Polynomials As we have seen in previous talks one of the problems we encounter
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
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 informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationCoding Theory: A Gröbner Basis Approach
Eindhoven University of Technology Department of Mathematics and Computer Science Coding Theory: A Gröbner Basis Approach Master s Thesis by D.W.C. Kuijsters Supervised by Dr. G.R. Pellikaan February 6,
More informationIntroduction to Algebraic Geometry. Jilong Tong
Introduction to Algebraic Geometry Jilong Tong December 6, 2012 2 Contents 1 Algebraic sets and morphisms 11 1.1 Affine algebraic sets.................................. 11 1.1.1 Some definitions................................
More information