Assignments

Homework is assigned from the required textbook:

Cox, David, John Little, and Donal O'Shea. Ideals, Varieties, and Algorithms . 3rd ed. Undergraduate Texts in Mathematics. New York, NY: Springer, 2007. ISBN: 9780387356518.

Portions of the book are online.

Problems with numbers between braces are to be written up formally in TeX and passed in the week after they are assigned.

SES # TOPICS ASSIGNMENTS
1 Polynomials and affine space, affine varieties p. 5: 2, {6b}; p. 12: {6}, 8, 10
2 Parameterizations of affine varieties, ideals p. 22: 1, 3, 4, {11}; p. 34: 3b, {9}, 10
3 Polynomials of one variable, orderings on the monomials in k[x1,...,xn] p. 46: {9}, 10; p. 52: 5; p. 60: {2}, 10
4 A division algorithm in k[x1,...,xn], monomial ideals and Dickson's lemma p. 68: {1}; p. 73: 3, {9}
5 The Hilbert basis theorem and Groebner bases, properties of Groebner bases p. 80: {1}, 10; p. 87: 1, {12}
6 Buchberger's algorithm, first applications of Groebner bases p. 94: 2a, {3a}; p. 100: {1}, 7
7 The elimination and extension theorems, the geometry of elimination p. 121: 1, {6}; p. 127: {3}, 5
8 Implicitization, singular points and envelopes p. 135: 9, {11}; p. 148: 4, {10}
9 Unique factorization and resultants p. 159: 1, {4}; p. 159: 11, {17}
10 Resultants and the extension theorem, the nullstellensatz p. 166: {2}, 3, 8; p. 174: 1, {2}
11 Radical ideals and the ideal-variety correspondence, sums, products, and intersections of ideal p. 182: 2, {7a}; p. 191: 1, {11a-d}
12 Zariski closure and quotients of ideals, irreducible varieties and prime ideals p. 197: {1}, 4; p. 203: 5, {12}
13 Decomposition of a variety into irreducibles, polynomial mappings p. 209: 1, {9}; p. 220: 8, 10
14 Quotients of polynomials R, algorithmic computations in k[x1,...,xn]/I p. 228: 1, 6; p. 237: 6, {8}
15 The coordinate ring of an affine variety, rational functions on a variety p. 246: 8, 9; p. 256: {9}, 10
16 Proof of the Closure theory, geometric description of robots, the forward kinematics problem p. 263: {5}, 8; p. 269: 4; p. 277: {4}
17 The inverse kinematic problem and motion planning, automatic geometric theorem proving p. 287: {3}, 6; p. 303: 9, 13d
18 Wu's method, symmetric polynomials p. 315: 3, 6a; p. 324: {8}, 14
19 Finite matrix groups and rings of invariants, generators for the ring of invariants p. 333: 11, 14; p. 342: {5}, 7
20 Relations among generators and the geometry of orbits, the projective plane, projective space and projective varieties p. 354: 6, 13; p. 375: 4, {7}
21 The projective algebra-geometry dictionary, the projective closure of an affine variety p. 385: 15; p. 385:{10}; p. 391: {2}, 9
22 Projective elimination theory p. 406: 7, {9}; p. 406: 17, 18
23 The geometry of quadric hypersurfaces, the variety of a monomial ideal p. 419: 7, 10, {15}; p. 442: {2}, 5
24 The complement of a monomial ideal, the Hilbert function and the dimension of a variety p. 453: 3, 12; p. 465: 10, {12}
25 Elementary properties of dimension, dimension and algebraic independence p. 474: 6, 10; p. 482: 7, 13
26 Dimension and nonsingularity, the tangent cone p. 493: 13, 17; p. 504: 6, 13