Introduction |
|
xi | |
Overview |
|
xii | |
Audience |
|
xiii | |
Notes for the Instructor/Independent Reader |
|
xvii | |
Possible Course Outlines |
|
xviii | |
Acknowledgments |
|
xxiii | |
Part I Monomial Ideals |
|
|
1 Fundamental Properties of Monomial Ideals |
|
|
5 | (28) |
|
|
5 | (8) |
|
1.2 Integral Domains (optional) |
|
|
13 | (2) |
|
1.3 Generators of Monomial Ideals |
|
|
15 | (9) |
|
1.4 Noetherian Rings (optional) |
|
|
24 | (4) |
|
1.5 Exploration: Counting Monomials |
|
|
28 | (3) |
|
1.6 Exploration: Numbers of Generators |
|
|
31 | (2) |
|
2 Operations on Monomial Ideals |
|
|
33 | (48) |
|
2.1 Intersections of Monomial Ideals |
|
|
34 | (6) |
|
2.2 Unique Factorization Domains (optional) |
|
|
40 | (8) |
|
|
48 | (8) |
|
2.4 Exploration: Reduced Rings |
|
|
56 | (3) |
|
2.5 Colons of Monomial Ideals |
|
|
59 | (5) |
|
2.6 Bracket Powers of Monomial Ideals |
|
|
64 | (5) |
|
2.7 Exploration: Saturation |
|
|
69 | (4) |
|
2.8 Exploration: Generalized Bracket Powers |
|
|
73 | (4) |
|
2.9 Exploration: Comparing Bracket Powers and Ordinary Powers |
|
|
77 | (4) |
|
3 M-Irreducible Ideals and Decompositions |
|
|
81 | (34) |
|
3.1 M-Irreducible Monomial Ideals |
|
|
81 | (6) |
|
3.2 Irreducible Ideals (optional) |
|
|
87 | (8) |
|
3.3 M-Irreducible Decompositions |
|
|
95 | (7) |
|
3.4 Irreducible Decompositions (optional) |
|
|
102 | (4) |
|
3.5 Exploration: Decompositions in Two Variables, part I |
|
|
106 | (9) |
Part II Monomial Ideals and Other Areas |
|
|
4 Connections with Combinatorics |
|
|
115 | (46) |
|
4.1 Square-Free Monomial Ideals |
|
|
115 | (6) |
|
4.2 Graphs and Edge Ideals |
|
|
121 | (4) |
|
4.3 Decompositions of Edge Ideals |
|
|
125 | (6) |
|
4.4 Simplicial Complexes and Stanley-Reisner Ideals |
|
|
131 | (8) |
|
4.5 Decompositions of Stanley-Reisner Ideals |
|
|
139 | (7) |
|
4.6 Facet Ideals and Their Decompositions |
|
|
146 | (6) |
|
4.7 Exploration: Alexander Duality |
|
|
152 | (9) |
|
5 Connections with Other Areas |
|
|
161 | (60) |
|
|
161 | (4) |
|
5.2 Vertex Covers and PMU Placement |
|
|
165 | (10) |
|
5.3 Cohen-Macaulayness and the Upper Bound Theorem |
|
|
175 | (13) |
|
5.4 Hilbert Functions and Initial Ideals |
|
|
188 | (11) |
|
5.5 Resolutions of Monomial Ideals |
|
|
199 | (22) |
Part III Decomposing Monomial Ideals |
|
|
6 Parametric Decompositions of Monomial Ideals |
|
|
221 | (40) |
|
6.1 Parameter Ideals and Parametric Decompositions |
|
|
221 | (7) |
|
|
228 | (13) |
|
6.3 Finding Corner Elements in Two Variables |
|
|
241 | (5) |
|
6.4 Finding Corner Elements in General |
|
|
246 | (6) |
|
6.5 Exploration: Decompositions in Two Variables, part II |
|
|
252 | (1) |
|
6.6 Exploration: Decompositions of Some Powers of Ideals |
|
|
253 | (3) |
|
6.7 Exploration: Macaulay Inverse Systems |
|
|
256 | (5) |
|
7 Computing M-Irreducible Decompositions |
|
|
261 | (36) |
|
7.1 M-Irreducible Decompositions of Monomial Radicals |
|
|
261 | (3) |
|
7.2 M-Irreducible Decompositions of Bracket Powers |
|
|
264 | (3) |
|
7.3 M-Irreducible Decompositions of Sums |
|
|
267 | (4) |
|
7.4 M-Irreducible Decompositions of Colon Ideals |
|
|
271 | (5) |
|
7.5 Computing General M-Irreducible Decompositions |
|
|
276 | (7) |
|
7.6 Exploration: Edge, Stanley-Reisner, and Facet Ideals Revisited |
|
|
283 | (2) |
|
7.7 Exploration: Decompositions of Saturations |
|
|
285 | (2) |
|
7.8 Exploration: Decompositions of Generalized Bracket Powers |
|
|
287 | (2) |
|
7.9 Exploration: Decompositions of Products of Monomial Ideals |
|
|
289 | |
Part IV Commutative Algebra and Macaulay2 |
|
Appendix A: Foundational Concepts |
|
297 | (34) |
|
|
297 | (5) |
|
|
302 | (4) |
|
A.3 Ideals and Generators |
|
|
306 | (4) |
|
|
310 | (2) |
|
A.5 Products and Powers of Ideals |
|
|
312 | (3) |
|
|
315 | (1) |
|
|
316 | (3) |
|
|
319 | (4) |
|
A.9 Partial Orders and Monomial Orders |
|
|
323 | (4) |
|
A.10 Exploration: Algebraic Geometry |
|
|
327 | (4) |
Appendix B: Introduction to Macaulay2 |
|
331 | (24) |
|
|
331 | (2) |
|
|
333 | (2) |
|
B.3 Ideals and Generators |
|
|
335 | (2) |
|
|
337 | (1) |
|
B.5 Products and Powers of Ideals |
|
|
338 | (1) |
|
|
339 | (1) |
|
|
340 | (2) |
|
|
342 | (1) |
|
|
343 | (6) |
|
|
349 | (2) |
|
|
351 | (4) |
Index of Macaulay2 Commands, by Command |
|
355 | (6) |
Index of Macaulay2 Commands, by Description |
|
361 | (10) |
Index of Names |
|
371 | (2) |
Index of Symbols |
|
373 | (4) |
Index of Terminology |
|
377 | |