Pictures of Monomial Ideals - Loras...
Transcript of Pictures of Monomial Ideals - Loras...
![Page 1: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/1.jpg)
Pictures of Monomial Ideals
Angela Kohlhaas
Bi-State Math Colloquium
February 20, 2013
![Page 2: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/2.jpg)
Why study ideals?
O Solving Equations
O Linear
O Quadratic
O Cubic
O Higher degree?
O Systems of
Equations
O Several variables
O Linear
O Higher degree?
For now, think of ideals as sets of polynomials
![Page 3: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/3.jpg)
Ideals arise in Ring Theory
A ring 𝑹 (commutative, with identity) is a set
with the following properties:
O Closed under addition and multiplication
O Associative and commutative under
addition and multiplication
O Additive identity (0)
O Additive inverses
O Multiplicative identity (1)
O May NOT have multiplicative inverses
O If all nonzero elements do, it’s called a field.
![Page 4: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/4.jpg)
Examples of Rings
O ℝ, the set of real numbers
O ℚ, the set of rational numbers
O ℤ, the set of integers
O ℤ 𝑥 , polynomials in one variable with
integer coefficients
O ℝ 𝑥, 𝑦 , polynomials in two variables with
real coefficients
![Page 5: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/5.jpg)
Ideals
An ideal 𝑰 is a subset of a ring 𝑅
satisfying the following property:
O If 𝒇, 𝒈 are in 𝑰, then 𝒂𝒇 + 𝒃𝒈 is in 𝑰 for any 𝒂, 𝒃 in 𝑹.
O That is, 𝐼 is closed under linear combinations with
coefficients in the ring.
O Closed under addition
O Closed under “scalar” multiplication
![Page 6: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/6.jpg)
Examples of Ideals
O 𝑅 = ℤ, 𝐼 = 5
= 5𝑎 ∶ 𝑎 ∈ ℤ
O 𝑅 = ℝ 𝑥, 𝑦 , 𝐼 = 𝑥2 − 𝑥𝑦, 3𝑥 + 𝑦
= 𝑎 𝑥2 − 𝑥𝑦 + 𝑏 3𝑥 + 𝑦 ∶ 𝑎, 𝑏 ∈ 𝑅
O 𝑅 = ℝ 𝑥, 𝑦 , 𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5
= 𝑎𝑥2 + 𝑏𝑥𝑦3 + 𝑐𝑦5 ∶ 𝑎, 𝑏, 𝑐 ∈ 𝑅
O Each generator is a monomial, a single term
![Page 7: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/7.jpg)
Rings mimic the Integers
O Prime factorization / Primary decomposition
O In ℤ, factor 200
O In ℝ 𝑥, 𝑦 , factor 𝑥4𝑦 − 𝑥3𝑦2
O What about 200 and 𝑥2, 𝑥𝑦3, 𝑦5 ?
O Modular arithmetic / Quotient rings
O ℤ/(5) = 𝑎 + 5 ∶ 𝑎 ∈ ℤ
O ℝ 𝑥, 𝑦 /(𝑥2, 𝑥𝑦3, 𝑦5) = ?
O Allows us to find the dimension or “size”
![Page 8: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/8.jpg)
Pictures!
![Page 9: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/9.jpg)
𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5
![Page 10: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/10.jpg)
𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5
![Page 11: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/11.jpg)
Dimension of 𝑅/𝐼?
![Page 12: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/12.jpg)
Primary Decomposition
![Page 13: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/13.jpg)
𝐼 = x4, x3𝑦2, 𝑥2𝑦4, 𝑦5
![Page 14: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/14.jpg)
𝐼 = x4, x3𝑦2, 𝑥2𝑦4, 𝑦5
![Page 15: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/15.jpg)
Primary Decomposition?
![Page 16: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/16.jpg)
What if 𝑅 = ℝ 𝑥, 𝑦, 𝑧 ?
Let 𝐼 = 𝑥3, 𝑦4, 𝑧2, 𝑥𝑦2𝑧 .
O Diagram: think 𝑅/𝐼
O Dimension of 𝑅/𝐼?
O Primary Decomposition?
![Page 17: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/17.jpg)
Colon Ideals
Let 𝐻 and 𝐼 be ideals in a ring 𝑅
with 𝐻 contained in 𝐼.
O Then 𝐻: 𝐼 = 𝑎 ∈ 𝑅 ∶ 𝑎𝐼 ⊆ 𝐻
O That is, 𝐻: 𝐼 is the set of
elements of the ring which
move all elements of 𝐼 into 𝐻.
![Page 18: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/18.jpg)
𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5 𝐻 = 𝑥2, 𝑦5
![Page 19: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/19.jpg)
𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5 𝐻 = 𝑥2, 𝑦5
![Page 20: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/20.jpg)
𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5 𝐻 = 𝑥2, 𝑦5
![Page 21: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/21.jpg)
𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5 𝐻 = 𝑥2, 𝑦5
![Page 22: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/22.jpg)
𝐻: 𝐽 = 𝑥, 𝑦2
![Page 23: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/23.jpg)
𝐼 = 𝑥4, 𝑥3𝑦2, 𝑥2𝑦4, 𝑦5 𝐻 = 𝑥4, 𝑦5
![Page 24: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/24.jpg)
𝐼 = 𝑥4, 𝑥3𝑦2, 𝑥2𝑦4, 𝑦5 𝐻 = 𝑥4, 𝑦5
![Page 25: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/25.jpg)
𝐼 = 𝑥4, 𝑥3𝑦2, 𝑥2𝑦4, 𝑦5 𝐻 = 𝑥4, 𝑦5
![Page 26: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/26.jpg)
Reductions of Ideals
O Reductions are simpler ideals
contained in a larger ideal with
similar properties.
O “Simpler” usually means fewer
generators.
O Most minimal reductions are not
monomial, but their intersection is.
![Page 27: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/27.jpg)
The Core of an Ideal
O The core of an ideal 𝐼 is the
intersection of all reductions of 𝐼.
O If 𝐼 is monomial, so is core 𝐼 .
O Cores have symmetry similar to
colon ideals.
![Page 28: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/28.jpg)
𝐼 = 𝑥2, 𝑥𝑦3, 𝑦5 core 𝐼
![Page 29: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/29.jpg)
𝐼 = 𝑥4, 𝑥3𝑦2, 𝑥2𝑦4, 𝑦5 core(𝐼)
![Page 30: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/30.jpg)
𝐼 = 𝑥11, 𝑥9𝑦2, 𝑥6𝑦3, 𝑥5𝑦5, 𝑥4𝑦6, 𝑥2𝑦7, 𝑥𝑦9, 𝑦10
![Page 31: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/31.jpg)
𝐼 = 𝑥11, 𝑥9𝑦2, 𝑥6𝑦3, 𝑥5𝑦5, 𝑥4𝑦6, 𝑥2𝑦7, 𝑥𝑦9, 𝑦10
![Page 32: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/32.jpg)
𝐼 = 𝑥6, 𝑦4, 𝑧5, 𝑥2𝑦𝑧 core 𝐼
![Page 33: Pictures of Monomial Ideals - Loras Collegemyweb.loras.edu/ak265390/MonomialIdealColloquium.pdfIdeals arise in Ring Theory A ring 𝑹 (commutative, with identity) is a set with the](https://reader034.fdocuments.us/reader034/viewer/2022050103/5f4202f176060b2d7774802b/html5/thumbnails/33.jpg)
Why study monomial ideals?
O Can reduce more complicated ideals to
monomial ideals with similar properties
(Gröbner basis theory).
O Monomial ideals can be studied with
combinatorial methods, not just algebraic.
O They are algorithmic, easy to program.