id sid tid token lemma pos mg74qj74z7p 1 1 in in ADP mg74qj74z7p 1 2 this this DET mg74qj74z7p 1 3 dissertation dissertation NOUN mg74qj74z7p 1 4 , , PUNCT mg74qj74z7p 1 5 we we PRON mg74qj74z7p 1 6 describe describe VERB mg74qj74z7p 1 7 the the DET mg74qj74z7p 1 8 cores core NOUN mg74qj74z7p 1 9 of of ADP mg74qj74z7p 1 10 several several ADJ mg74qj74z7p 1 11 classes class NOUN mg74qj74z7p 1 12 of of ADP mg74qj74z7p 1 13 monomial monomial ADJ mg74qj74z7p 1 14 ideals ideal NOUN mg74qj74z7p 1 15 . . PUNCT mg74qj74z7p 2 1 we we PRON mg74qj74z7p 2 2 also also ADV mg74qj74z7p 2 3 find find VERB mg74qj74z7p 2 4 bounds bound NOUN mg74qj74z7p 2 5 on on ADP mg74qj74z7p 2 6 the the DET mg74qj74z7p 2 7 reduction reduction NOUN mg74qj74z7p 2 8 numbers number NOUN mg74qj74z7p 2 9 of of ADP mg74qj74z7p 2 10 these these DET mg74qj74z7p 2 11 ideals ideal NOUN mg74qj74z7p 2 12 . . PUNCT mg74qj74z7p 3 1 the the DET mg74qj74z7p 3 2 first first ADJ mg74qj74z7p 3 3 class class NOUN mg74qj74z7p 3 4 of of ADP mg74qj74z7p 3 5 ideals ideal NOUN mg74qj74z7p 3 6 which which PRON mg74qj74z7p 3 7 we we PRON mg74qj74z7p 3 8 consider consider VERB mg74qj74z7p 3 9 is be AUX mg74qj74z7p 3 10 one one NUM mg74qj74z7p 3 11 coming come VERB mg74qj74z7p 3 12 from from ADP mg74qj74z7p 3 13 graph graph NOUN mg74qj74z7p 3 14 theory theory NOUN mg74qj74z7p 3 15 , , PUNCT mg74qj74z7p 3 16 the the DET mg74qj74z7p 3 17 strongly strongly ADV mg74qj74z7p 3 18 stable stable ADJ mg74qj74z7p 3 19 ideals ideal NOUN mg74qj74z7p 3 20 of of ADP mg74qj74z7p 3 21 degree degree NOUN mg74qj74z7p 3 22 two two NUM mg74qj74z7p 3 23 . . PUNCT mg74qj74z7p 4 1 we we PRON mg74qj74z7p 4 2 prove prove VERB mg74qj74z7p 4 3 that that SCONJ mg74qj74z7p 4 4 a a DET mg74qj74z7p 4 5 strongly strongly ADV mg74qj74z7p 4 6 stable stable ADJ mg74qj74z7p 4 7 ideal ideal NOUN mg74qj74z7p 4 8 i i PRON mg74qj74z7p 4 9 of of ADP mg74qj74z7p 4 10 degree degree NOUN mg74qj74z7p 4 11 two two NUM mg74qj74z7p 4 12 in in ADP mg74qj74z7p 4 13 k[x_1, k[x_1, SPACE mg74qj74z7p 4 14 ... ... PUNCT mg74qj74z7p 4 15 ,x_d ,x_d PUNCT mg74qj74z7p 4 16 ] ] PUNCT mg74qj74z7p 4 17 has have VERB mg74qj74z7p 4 18 the the DET mg74qj74z7p 4 19 g_d g_d PROPN mg74qj74z7p 4 20 property property NOUN mg74qj74z7p 4 21 if if SCONJ mg74qj74z7p 4 22 and and CCONJ mg74qj74z7p 4 23 only only ADV mg74qj74z7p 4 24 if if SCONJ mg74qj74z7p 4 25 x_{g-1}x_d x_{g-1}x_d PROPN mg74qj74z7p 4 26 is be AUX mg74qj74z7p 4 27 in in ADP mg74qj74z7p 4 28 i i PRON mg74qj74z7p 4 29 , , PUNCT mg74qj74z7p 4 30 where where SCONJ mg74qj74z7p 4 31 g g PROPN mg74qj74z7p 4 32 is be AUX mg74qj74z7p 4 33 the the DET mg74qj74z7p 4 34 height height NOUN mg74qj74z7p 4 35 of of ADP mg74qj74z7p 4 36 i. i. NOUN mg74qj74z7p 4 37 we we PRON mg74qj74z7p 4 38 also also ADV mg74qj74z7p 4 39 prove prove VERB mg74qj74z7p 4 40 that that SCONJ mg74qj74z7p 4 41 any any DET mg74qj74z7p 4 42 strongly strongly ADV mg74qj74z7p 4 43 stable stable ADJ mg74qj74z7p 4 44 ideal ideal NOUN mg74qj74z7p 4 45 of of ADP mg74qj74z7p 4 46 degree degree NOUN mg74qj74z7p 4 47 two two NUM mg74qj74z7p 4 48 in in ADP mg74qj74z7p 4 49 k[x_1, k[x_1, SPACE mg74qj74z7p 4 50 ... ... PUNCT mg74qj74z7p 4 51 ,x_d ,x_d PUNCT mg74qj74z7p 4 52 ] ] X mg74qj74z7p 4 53 which which PRON mg74qj74z7p 4 54 has have VERB mg74qj74z7p 4 55 the the DET mg74qj74z7p 4 56 g_d g_d PROPN mg74qj74z7p 4 57 property property NOUN mg74qj74z7p 4 58 satisfies satisfie NOUN mg74qj74z7p 4 59 the the DET mg74qj74z7p 4 60 artin artin ADJ mg74qj74z7p 4 61 - - PUNCT mg74qj74z7p 4 62 nagata nagata NOUN mg74qj74z7p 4 63 property property NOUN mg74qj74z7p 4 64 an_{d-1 an_{d-1 NOUN mg74qj74z7p 4 65 } } PUNCT mg74qj74z7p 4 66 . . PUNCT mg74qj74z7p 5 1 we we PRON mg74qj74z7p 5 2 then then ADV mg74qj74z7p 5 3 show show VERB mg74qj74z7p 5 4 that that SCONJ mg74qj74z7p 5 5 the the DET mg74qj74z7p 5 6 core core NOUN mg74qj74z7p 5 7 of of ADP mg74qj74z7p 5 8 such such DET mg74qj74z7p 5 9 an an DET mg74qj74z7p 5 10 ideal ideal NOUN mg74qj74z7p 5 11 i i PRON mg74qj74z7p 5 12 is be AUX mg74qj74z7p 5 13 given give VERB mg74qj74z7p 5 14 by by ADP mg74qj74z7p 5 15 core(i)=i core(i)=i ADJ mg74qj74z7p 5 16 m^{g-1 m^{g-1 NOUN mg74qj74z7p 5 17 } } PUNCT mg74qj74z7p 5 18 , , PUNCT mg74qj74z7p 5 19 where where SCONJ mg74qj74z7p 5 20 g g PROPN mg74qj74z7p 5 21 is be AUX mg74qj74z7p 5 22 the the DET mg74qj74z7p 5 23 height height NOUN mg74qj74z7p 5 24 of of ADP mg74qj74z7p 5 25 i i PRON mg74qj74z7p 5 26 , , PUNCT mg74qj74z7p 5 27 and and CCONJ mg74qj74z7p 5 28 m m VERB mg74qj74z7p 5 29 is be AUX mg74qj74z7p 5 30 the the DET mg74qj74z7p 5 31 homogeneous homogeneous ADJ mg74qj74z7p 5 32 maximal maximal ADJ mg74qj74z7p 5 33 ideal ideal NOUN mg74qj74z7p 5 34 ( ( PUNCT mg74qj74z7p 5 35 x_1, x_1, PROPN mg74qj74z7p 5 36 ... ... PUNCT mg74qj74z7p 5 37 ,x_d ,x_d PUNCT mg74qj74z7p 5 38 ) ) PUNCT mg74qj74z7p 5 39 . . PUNCT mg74qj74z7p 6 1 we we PRON mg74qj74z7p 6 2 also also ADV mg74qj74z7p 6 3 show show VERB mg74qj74z7p 6 4 that that SCONJ mg74qj74z7p 6 5 the the DET mg74qj74z7p 6 6 reduction reduction NOUN mg74qj74z7p 6 7 number number NOUN mg74qj74z7p 6 8 r(i r(i SPACE mg74qj74z7p 6 9 ) ) PUNCT mg74qj74z7p 6 10 is be AUX mg74qj74z7p 6 11 at at ADP mg74qj74z7p 6 12 most most ADJ mg74qj74z7p 6 13 g-1 g-1 NOUN mg74qj74z7p 6 14 . . PUNCT mg74qj74z7p 7 1 specifically specifically ADV mg74qj74z7p 7 2 , , PUNCT mg74qj74z7p 7 3 we we PRON mg74qj74z7p 7 4 prove prove VERB mg74qj74z7p 7 5 that that SCONJ mg74qj74z7p 7 6 an an DET mg74qj74z7p 7 7 ideal ideal ADJ mg74qj74z7p 7 8 j j NOUN mg74qj74z7p 7 9 = = NOUN mg74qj74z7p 7 10 j_i j_i X mg74qj74z7p 7 11 whose whose DET mg74qj74z7p 7 12 elements element NOUN mg74qj74z7p 7 13 correspond correspond VERB mg74qj74z7p 7 14 to to ADP mg74qj74z7p 7 15 diagonals diagonal NOUN mg74qj74z7p 7 16 in in ADP mg74qj74z7p 7 17 the the DET mg74qj74z7p 7 18 tableau tableau NOUN mg74qj74z7p 7 19 associated associate VERB mg74qj74z7p 7 20 to to ADP mg74qj74z7p 7 21 i i PRON mg74qj74z7p 7 22 is be AUX mg74qj74z7p 7 23 a a DET mg74qj74z7p 7 24 minimal minimal ADJ mg74qj74z7p 7 25 reduction reduction NOUN mg74qj74z7p 7 26 of of ADP mg74qj74z7p 7 27 i i PRON mg74qj74z7p 7 28 , , PUNCT mg74qj74z7p 7 29 and and CCONJ mg74qj74z7p 7 30 that that SCONJ mg74qj74z7p 7 31 r_j(i r_j(i SPACE mg74qj74z7p 7 32 ) ) PUNCT mg74qj74z7p 7 33 < < X mg74qj74z7p 7 34 g. g. PROPN mg74qj74z7p 7 35 the the DET mg74qj74z7p 7 36 other other ADJ mg74qj74z7p 7 37 classes class NOUN mg74qj74z7p 7 38 of of ADP mg74qj74z7p 7 39 ideals ideal NOUN mg74qj74z7p 7 40 which which PRON mg74qj74z7p 7 41 we we PRON mg74qj74z7p 7 42 consider consider VERB mg74qj74z7p 7 43 are be AUX mg74qj74z7p 7 44 zero zero NUM mg74qj74z7p 7 45 - - PUNCT mg74qj74z7p 7 46 dimensional dimensional ADJ mg74qj74z7p 7 47 monomial monomial ADJ mg74qj74z7p 7 48 ideals ideal NOUN mg74qj74z7p 7 49 in in ADP mg74qj74z7p 7 50 the the DET mg74qj74z7p 7 51 polynomial polynomial ADJ mg74qj74z7p 7 52 ring ring NOUN mg74qj74z7p 7 53 r r NOUN mg74qj74z7p 7 54 = = NOUN mg74qj74z7p 7 55 k[x_1, k[x_1, SPACE mg74qj74z7p 7 56 ... ... PUNCT mg74qj74z7p 7 57 ,x_d ,x_d PUNCT mg74qj74z7p 7 58 ] ] PUNCT mg74qj74z7p 7 59 . . PUNCT mg74qj74z7p 8 1 we we PRON mg74qj74z7p 8 2 show show VERB mg74qj74z7p 8 3 that that SCONJ mg74qj74z7p 8 4 , , PUNCT mg74qj74z7p 8 5 if if SCONJ mg74qj74z7p 8 6 such such DET mg74qj74z7p 8 7 an an DET mg74qj74z7p 8 8 ideal ideal NOUN mg74qj74z7p 8 9 i i PRON mg74qj74z7p 8 10 is be AUX mg74qj74z7p 8 11 an an DET mg74qj74z7p 8 12 almost almost ADV mg74qj74z7p 8 13 complete complete ADJ mg74qj74z7p 8 14 intersection intersection NOUN mg74qj74z7p 8 15 , , PUNCT mg74qj74z7p 8 16 then then ADV mg74qj74z7p 8 17 the the DET mg74qj74z7p 8 18 core core NOUN mg74qj74z7p 8 19 of of ADP mg74qj74z7p 8 20 i i PRON mg74qj74z7p 8 21 satisfies satisfy VERB mg74qj74z7p 8 22 a a DET mg74qj74z7p 8 23 ( ( PUNCT mg74qj74z7p 8 24 d+1)-fold d+1)-fold ADJ mg74qj74z7p 8 25 symmetry symmetry NOUN mg74qj74z7p 8 26 property property NOUN mg74qj74z7p 8 27 coming come VERB mg74qj74z7p 8 28 from from ADP mg74qj74z7p 8 29 the the DET mg74qj74z7p 8 30 generators generator NOUN mg74qj74z7p 8 31 of of ADP mg74qj74z7p 8 32 i i PRON mg74qj74z7p 8 33 , , PUNCT mg74qj74z7p 8 34 and and CCONJ mg74qj74z7p 8 35 hence hence ADV mg74qj74z7p 8 36 that that SCONJ mg74qj74z7p 8 37 the the DET mg74qj74z7p 8 38 shape shape NOUN mg74qj74z7p 8 39 of of ADP mg74qj74z7p 8 40 core(i core(i PROPN mg74qj74z7p 8 41 ) ) PUNCT mg74qj74z7p 8 42 is be AUX mg74qj74z7p 8 43 closely closely ADV mg74qj74z7p 8 44 related related ADJ mg74qj74z7p 8 45 to to ADP mg74qj74z7p 8 46 the the DET mg74qj74z7p 8 47 shape shape NOUN mg74qj74z7p 8 48 of of ADP mg74qj74z7p 8 49 i. i. PROPN mg74qj74z7p 8 50 using use VERB mg74qj74z7p 8 51 this this DET mg74qj74z7p 8 52 symmetry symmetry NOUN mg74qj74z7p 8 53 property property NOUN mg74qj74z7p 8 54 , , PUNCT mg74qj74z7p 8 55 we we PRON mg74qj74z7p 8 56 completely completely ADV mg74qj74z7p 8 57 describe describe VERB mg74qj74z7p 8 58 the the DET mg74qj74z7p 8 59 shape shape NOUN mg74qj74z7p 8 60 of of ADP mg74qj74z7p 8 61 core(i core(i PROPN mg74qj74z7p 8 62 ) ) PUNCT mg74qj74z7p 8 63 in in ADP mg74qj74z7p 8 64 the the DET mg74qj74z7p 8 65 case case NOUN mg74qj74z7p 8 66 where where SCONJ mg74qj74z7p 8 67 i i PRON mg74qj74z7p 8 68 has have VERB mg74qj74z7p 8 69 a a DET mg74qj74z7p 8 70 monomial monomial ADJ mg74qj74z7p 8 71 minimal minimal ADJ mg74qj74z7p 8 72 reduction reduction NOUN mg74qj74z7p 8 73 . . PUNCT mg74qj74z7p 9 1 then then ADV mg74qj74z7p 9 2 , , PUNCT mg74qj74z7p 9 3 in in ADP mg74qj74z7p 9 4 the the DET mg74qj74z7p 9 5 two two NUM mg74qj74z7p 9 6 - - PUNCT mg74qj74z7p 9 7 dimensional dimensional ADJ mg74qj74z7p 9 8 case case NOUN mg74qj74z7p 9 9 , , PUNCT mg74qj74z7p 9 10 we we PRON mg74qj74z7p 9 11 give give VERB mg74qj74z7p 9 12 an an DET mg74qj74z7p 9 13 algorithm algorithm NOUN mg74qj74z7p 9 14 for for ADP mg74qj74z7p 9 15 computing compute VERB mg74qj74z7p 9 16 the the DET mg74qj74z7p 9 17 core core NOUN mg74qj74z7p 9 18 of of ADP mg74qj74z7p 9 19 i i PRON mg74qj74z7p 9 20 which which PRON mg74qj74z7p 9 21 allows allow VERB mg74qj74z7p 9 22 us we PRON mg74qj74z7p 9 23 to to PART mg74qj74z7p 9 24 prove prove VERB mg74qj74z7p 9 25 that that SCONJ mg74qj74z7p 9 26 the the DET mg74qj74z7p 9 27 minimal minimal ADJ mg74qj74z7p 9 28 number number NOUN mg74qj74z7p 9 29 of of ADP mg74qj74z7p 9 30 generators generator NOUN mg74qj74z7p 9 31 of of ADP mg74qj74z7p 9 32 core(i core(i PROPN mg74qj74z7p 9 33 ) ) PUNCT mg74qj74z7p 9 34 is be AUX mg74qj74z7p 9 35 2r+2 2r+2 PROPN mg74qj74z7p 9 36 , , PUNCT mg74qj74z7p 9 37 where where SCONJ mg74qj74z7p 9 38 r r NOUN mg74qj74z7p 9 39 is be AUX mg74qj74z7p 9 40 the the DET mg74qj74z7p 9 41 reduction reduction NOUN mg74qj74z7p 9 42 number number NOUN mg74qj74z7p 9 43 of of ADP mg74qj74z7p 9 44 i. i. PROPN mg74qj74z7p 9 45 we we PRON mg74qj74z7p 9 46 prove prove VERB mg74qj74z7p 9 47 that that SCONJ mg74qj74z7p 9 48 this this DET mg74qj74z7p 9 49 result result NOUN mg74qj74z7p 9 50 holds hold VERB mg74qj74z7p 9 51 even even ADV mg74qj74z7p 9 52 for for ADP mg74qj74z7p 9 53 ideals ideal NOUN mg74qj74z7p 9 54 which which PRON mg74qj74z7p 9 55 do do AUX mg74qj74z7p 9 56 not not PART mg74qj74z7p 9 57 have have VERB mg74qj74z7p 9 58 a a DET mg74qj74z7p 9 59 minimal minimal ADJ mg74qj74z7p 9 60 reduction reduction NOUN mg74qj74z7p 9 61 which which PRON mg74qj74z7p 9 62 is be AUX mg74qj74z7p 9 63 monomial monomial ADJ mg74qj74z7p 9 64 . . PUNCT mg74qj74z7p 10 1 we we PRON mg74qj74z7p 10 2 also also ADV mg74qj74z7p 10 3 describe describe VERB mg74qj74z7p 10 4 the the DET mg74qj74z7p 10 5 core core NOUN mg74qj74z7p 10 6 of of ADP mg74qj74z7p 10 7 an an DET mg74qj74z7p 10 8 ideal ideal NOUN mg74qj74z7p 10 9 i i PRON mg74qj74z7p 10 10 in in ADP mg74qj74z7p 10 11 k[x k[x PROPN mg74qj74z7p 10 12 , , PUNCT mg74qj74z7p 10 13 y y PROPN mg74qj74z7p 10 14 ] ] PUNCT mg74qj74z7p 10 15 having have VERB mg74qj74z7p 10 16 more more ADJ mg74qj74z7p 10 17 generators generator NOUN mg74qj74z7p 10 18 , , PUNCT mg74qj74z7p 10 19 in in ADP mg74qj74z7p 10 20 the the DET mg74qj74z7p 10 21 case case NOUN mg74qj74z7p 10 22 where where SCONJ mg74qj74z7p 10 23 i i PRON mg74qj74z7p 10 24 has have VERB mg74qj74z7p 10 25 a a DET mg74qj74z7p 10 26 monomial monomial ADJ mg74qj74z7p 10 27 minimal minimal ADJ mg74qj74z7p 10 28 reduction reduction NOUN mg74qj74z7p 10 29 . . PUNCT mg74qj74z7p 11 1 finally finally ADV mg74qj74z7p 11 2 , , PUNCT mg74qj74z7p 11 3 we we PRON mg74qj74z7p 11 4 consider consider VERB mg74qj74z7p 11 5 a a DET mg74qj74z7p 11 6 strongly strongly ADV mg74qj74z7p 11 7 stable stable ADJ mg74qj74z7p 11 8 ideal ideal NOUN mg74qj74z7p 11 9 i i PRON mg74qj74z7p 11 10 in in ADP mg74qj74z7p 11 11 k[x k[x PROPN mg74qj74z7p 11 12 , , PUNCT mg74qj74z7p 11 13 y y PROPN mg74qj74z7p 11 14 ] ] PUNCT mg74qj74z7p 11 15 having have VERB mg74qj74z7p 11 16 a a DET mg74qj74z7p 11 17 monomial monomial ADJ mg74qj74z7p 11 18 minimal minimal ADJ mg74qj74z7p 11 19 reduction reduction NOUN mg74qj74z7p 11 20 j. j. PROPN mg74qj74z7p 11 21 we we PRON mg74qj74z7p 11 22 prove prove VERB mg74qj74z7p 11 23 that that SCONJ mg74qj74z7p 11 24 r_j(i r_j(i SPACE mg74qj74z7p 11 25 ) ) PUNCT mg74qj74z7p 11 26 leq leq PROPN mg74qj74z7p 11 27 mu(i)-2 mu(i)-2 PROPN mg74qj74z7p 11 28 , , PUNCT mg74qj74z7p 11 29 and and CCONJ mg74qj74z7p 11 30 we we PRON mg74qj74z7p 11 31 give give VERB mg74qj74z7p 11 32 an an DET mg74qj74z7p 11 33 algorithm algorithm NOUN mg74qj74z7p 11 34 for for ADP mg74qj74z7p 11 35 obtaining obtain VERB mg74qj74z7p 11 36 the the DET mg74qj74z7p 11 37 core core NOUN mg74qj74z7p 11 38 of of ADP mg74qj74z7p 11 39 i i PRON mg74qj74z7p 11 40 via via ADP mg74qj74z7p 11 41 its its PRON mg74qj74z7p 11 42 first first ADJ mg74qj74z7p 11 43 coefficient coefficient NOUN mg74qj74z7p 11 44 ideal ideal NOUN mg74qj74z7p 11 45 . . PUNCT