MIT Algebraic techniques and semidefinite optimization February 16, Lecture 4

Similar documents
Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

Basic facts and definitions

MIT Algebraic techniques and semidefinite optimization May 9, Lecture 21. Lecturer: Pablo A. Parrilo Scribe:???

ALGEBRA QUALIFYING EXAM SPRING 2012

Rings and groups. Ya. Sysak

Hilbert s Nullstellensatz

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

Convex Optimization. (EE227A: UC Berkeley) Lecture 28. Suvrit Sra. (Algebra + Optimization) 02 May, 2013

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Rings. EE 387, Notes 7, Handout #10

Algebraic Varieties. Chapter Algebraic Varieties

Algebra Homework, Edition 2 9 September 2010

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

GRÖBNER BASES AND POLYNOMIAL EQUATIONS. 1. Introduction and preliminaries on Gróbner bases

Many of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation.

ABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n

Math 40510, Algebraic Geometry

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12


Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Math 418 Algebraic Geometry Notes

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

The Geometry-Algebra Dictionary

WEAK NULLSTELLENSATZ

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

A Generalization of Wilson s Theorem

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

MATHEMATICS 217: HONORS LINEAR ALGEBRA Spring Term, First Week, February 4 8

4.4 Noetherian Rings

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Polynomials, Ideals, and Gröbner Bases

List of topics for the preliminary exam in algebra

0.2 Vector spaces. J.A.Beachy 1

TROPICAL SCHEME THEORY. Idempotent semirings

8 Appendix: Polynomial Rings

R S. with the property that for every s S, φ(s) is a unit in R S, which is universal amongst all such rings. That is given any morphism

Summer Project. August 10, 2001

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

THE ALGEBRAIC GEOMETRY DICTIONARY FOR BEGINNERS. Contents

2 so Q[ 2] is closed under both additive and multiplicative inverses. a 2 2b 2 + b

Projective Varieties. Chapter Projective Space and Algebraic Sets

The Group Structure of Elliptic Curves Defined over Finite Fields

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

DIVISORS ON NONSINGULAR CURVES

Lecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]

MATH 326: RINGS AND MODULES STEFAN GILLE

1 Absolute values and discrete valuations

CHAPTER 14. Ideals and Factor Rings

On Invariants of Complex Filiform Leibniz Algebras ABSTRACT INTRODUCTION

Chapter 1 : The language of mathematics.

2. Intersection Multiplicities

INTERSECTION NUMBER OF PLANE CURVES

An explicit construction of distinguished representations of polynomials nonnegative over finite sets

9. Integral Ring Extensions

SYMMETRIC POLYNOMIALS

10. Noether Normalization and Hilbert s Nullstellensatz

Algebraic Geometry: MIDTERM SOLUTIONS

Rings, Integral Domains, and Fields

Hilbert Nullstellensatz & Quantifier Elimination

Dimension Theory. Mathematics 683, Fall 2013

Algebra Exam Syllabus

Exploring the Exotic Setting for Algebraic Geometry

Characterizations of Strongly Regular Graphs: Part II: Bose-Mesner algebras of graphs. Sung Y. Song Iowa State University

SOLVING SOLVABLE QUINTICS. D. S. Dummit

Lecture 5. 1 Goermans-Williamson Algorithm for the maxcut problem

Counting Zeros over Finite Fields with Gröbner Bases

Summer Algebraic Geometry Seminar

4. Noether normalisation

Rings and Fields Theorems

ABOUT THE CLASS AND NOTES ON SET THEORY

4-1 The Algebraic-Geometric Dictionary P. Parrilo and S. Lall, ECC

Algebraic function fields

Lecture 2: Groups. Rajat Mittal. IIT Kanpur

Chapter 0: Preliminaries

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

Introduction to Algebraic Geometry. Jilong Tong

Homework 5 M 373K Mark Lindberg and Travis Schedler

Chapter 1 Hilbert s Nullstellensatz

Krull Dimension and Going-Down in Fixed Rings

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

10. Smooth Varieties. 82 Andreas Gathmann

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

ABSTRACT NONSINGULAR CURVES

MODEL ANSWERS TO THE FIRST HOMEWORK

Groebner Bases and Applications

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.

* 8 Groups, with Appendix containing Rings and Fields.

Mathematics for Cryptography

The Topology and Algebraic Functions on Affine Algebraic Sets Over an Arbitrary Field

HOMEWORK Graduate Abstract Algebra I May 2, 2004

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

1. Group Theory Permutations.

MTH310 EXAM 2 REVIEW

Groebner Bases, Toric Ideals and Integer Programming: An Application to Economics. Tan Tran Junior Major-Economics& Mathematics

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Transcription:

MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract algebra. We also introduce and begin studying the main objects of our considerations, multivariate polynomials. 1 Review: groups, rings, fields We present here standard background material on abstract algebra. Most of the definitions are from [Lan71, CLO97, DF91, BCR98]. Definition 1 A group consists of a set G and a binary operation defined on G, for which the following conditions are satisfied: 1. Associative: (a b) c = a (b c), for all a, b, c G. 2. Identity: There exist 1 G such that a 1 = 1 a = a, for all a G. 3. Inverse: Given a G, there exists b G such that a b = b a = 1. For example, the integers Z form a group under addition, but not under multiplication. Another example is the set GL(n, R) of real nonsingular n n matrices, under matrix multiplication. If we drop the condition on the existence of an inverse, we obtain a monoid. Note that a monoid always has at least one element, the identity. As an example, given a set S, then the set of all strings of elements of S is a monoid, where the monoid operation is string concatenation and the identity is the empty string λ. Another example is given by N 0, with the operation being addition (in this case, the identity is the zero). Monoids are also known as semigroups with identity. In a group we only have one binary operation ( multiplication ). We will introduce another operation ( addition ), and study the structure that results from their interaction. Definition 2 A commutative ring (with identity) consists of a set k and two binary operations and +, defined on k, for which the following conditions are satisfied: 1. Associative: (a + b) + c = a + (b + c) and (a b) c = a (b c), for all a, b, c k. 2. Commutative: a + b = b + a and a b = b a, for all a, b k. 3. Distributive: a (b + c) = a b + a c, for all a, b, c k. 4. Identities: There exist 0, 1 k such that a + 0 = a 1 = a, for all a k. 5. Additive inverse: Given a k, there exists b k such that a + b = 0. A simple example of a ring are the integers Z under the usual operations. After formally introducing polynomials, we will see a few more examples of rings. If we add a requirement for the existence of multiplicative inverses, we obtain fields. Definition 3 A field consists of a set k and two binary operations and +, defined on k, for which the following conditions are satisfied: 1. Associative: (a + b) + c = a + (b + c) and (a b) c = a (b c), for all a, b, c k. 2. Commutative: a + b = b + a and a b = b a, for all a, b k. 3. Distributive: a (b + c) = a b + a c, for all a, b, c k. 4 1

4. Identities: There exist 0, 1 k, where 0 = 1, such that a + 0 = a 1 = a, for all a k. 5. Additive inverse: Given a k, there exists b k such that a + b = 0. 6. Multiplicative inverse: Given a k, a = 0, there exists c k such that a c = 1. Any field is obviously a commutative ring. Some commonly used fields are the rationals Q, the reals R and the complex numbers C. There are also Galois or finite fields (the set k has a finite number of elements), such as Z p, the set of integers modulo p, where p is a prime. Another important field is given by k(x 1,..., x n ), the set of rational functions with coefficients in the field k, with the natural operations. 2 Polynomials and ideals Consider a given field k, and let x 1,..., x n be indeterminates. We can then define polynomials. Definition 4 A polynomial f in x 1,..., x n with coefficients in a field k is a finite linear combination of monomials: α 1 α f = c n α x α = c α x 1... x n, c α k, (1) α α where the sum is over a finite number of n tuples α = (α 1,..., α n ), α i N 0. The set of all polynomials in x 1,..., x n with coefficients in k is denoted k[x 1,..., x n ]. It follows from the previous definitions that k[x 1,..., x n ], i.e., the set of polynomials in n variables with coefficients in k, is a commutative ring with identity. We also notice that it is possible (and sometimes, convenient) to define polynomials where the coefficients belong to a ring with identity, not necessarily to a field. Definition 5 A form is a polynomial where all the monomials have the same degree d := i α i. In this case, the polynomial is homogeneous of degree d, since it satisfies f(λx 1,..., λx n ) = λ d f(x 1,..., x n ). A commutative ring is called an integral domain if it has no zero divisors, i.e. a = 0, b = 0 a b = 0. Every field is also an integral domain (why?). Two examples of rings that are not integral domains are the set of matrices R n n, and the set of integers modulo n, when n is a composite number (with the usual operations). If k is an integral domain, then so is k[x 1,..., x n ]. Remark 6 Another important example of a ring (in this case, non commutative) appears in systems and control theory, through the ring M(s) of stable proper rational functions. This is the set of matrices (of fixed dimension) whose entries are rational functions of s (i.e., in the field C(s)), are bounded at infinity, and have all poles in the strict left half plane. In this algebraic setting (usually called coprime factorization approach ), the question of finding a stabilizing controller is exactly equivalent to the solvability of a Diophantine equation ax + by = 1. 2.1 Algebraically closed and formally real fields A very important property of a univariate polynomial p is the existence of a root, i.e., an element x 0 for which p(x 0 ) = 0. Depending on the solvability of these equations, we can characterize a particular nice class of fields. Definition 7 A field k is algebraically closed if every nonconstant polynomial in k[x] has a root in k. 4 2

If a field is algebraically closed, then it has an infinite number of elements (why?). What can we say about the most usual fields, C and R? The Fundamental Theorem of Algebra ( every univariate polynomial has at least one complex root ) shows that C is an algebraically closed field. However, this is clearly not the case of R, since for instance the polynomial x 2 + 1 does not have any real root. The lack of algebraic closure of R is one of the main sources of complications when dealing with systems of polynomial equations and inequalities. To deal with the case when the base field is not algebraically closed, the Artin Schreier theory of formally real fields was introduced. The starting point is one of the intrinsic properties of R: n 2 x i = 0 = x 1 =... = x n = 0. (2) i=1 A field will be called formally real if it satisfies the above condition (clearly, R and Q are formally real, but C is not). As we can see from the definition, the theory of formally real fields has very strong connections with sums of squares, a notion that will reappear in several forms later in the course. For example, an alternative (but equivalent) statement of (2) is to say that a field is formally real if and only if the element 1 is not a sum of squares. A related important notion is that of an ordered field: Definition 8 A field k is said to be ordered if a relation > is defined on k, that satisfies 1. If a, b k, then either a > b or a = b or b > a. 2. If a > b, c k, c > 0 then ac > bc. 3. If a > b, c k, then a + c > b + c. A crucial result relating these two notions is the following: Lemma 9 A field can be ordered if and only if it is formally real. For a field to be ordered (or equivalently, formally real), it necessarily must have an infinite number of elements. This is somewhat unfortunate, since this rules out several modular methods for dealing with real solutions to polynomial inequalities. 2.2 Ideals We consider next ideals, which are subrings with an absorbent property: Definition 10 Let R be a commutative ring. A subset I R is an ideal if it satisfies: 1. 0 I. 2. If a, b I, then a + b I. 3. If a I and b R, then a b I. A simple example of an ideal is the set of even integers, considered as a subset of the integer ring Z. Also, notice that if the ideal I contains the multiplicative identity 1, then I = R. To introduce another important example of ideals, we need to define the concept of an algebraic variety as the zero set of a set of polynomial equations: Definition 11 Let k be a field, and let f 1,..., f s be polynomials in k[x 1,..., x n ]. Let the set V be n V(f 1,..., f s ) = {(a 1,..., a n ) k : f i (a 1,..., a n ) = 0 1 i s}. We call V(f 1,..., f s ) the affine variety defined by f 1,..., f s. 4 3

Then, the set of polynomials that vanish in a given variety, i.e., I(V ) = {f k[x 1,..., x n ] : f(a 1,..., a n ) = 0 (a 1,..., a n ) V }, is an ideal, called the ideal of V. By Hilbert s Basis Theorem [CLO97], k[x 1,..., x n ] is a Noetherian ring, i.e., every ideal I k[x 1,..., x n ] is finitely generated. In other words, there always exists a finite set f 1,..., f s k[x 1,..., x n ] s such that for every f I, we can find g i k[x 1,..., x n ] that verify f = i=1 g if i. We also define the radical of an ideal: Definition 12 Let I k[x 1,..., x n ] be an ideal. The radical of I, denoted I, is the set {f f k I for some integer k 1}. It is clear that I I, and it can be shown that I is also a polynomial ideal. A very important result, that we will see later in some detail, is the following: Theorem 13 (Hilbert s Nullstellensatz) If I is a polynomial ideal, then I(V(I)) = I. 2.3 Associative algebras Another important notion, that we will encounter at least twice later in the course, is that of an associative algebra. Definition 14 An associative algebra A over C is a vector space with a C bilinear operation : A A A that satisfies x (y z) = (x y) z, x, y, z A. In general, associative algebras do not need to be commutative (i.e., x y = y x). However, that is an important special case, with many interesting properties. We list below several examples of finite dimensional associative algebras. Full matrix algebra C n n, standard product. The subalgebra of square matrices with equal row and column sums. The n dimensional algebra generated by a single n n matrix. The group algebra: formal C linear combination of group elements. Polynomial multiplication modulo a zero dimensional ideal. The Bose Mesner algebra of an association scheme. We will discuss the last three in more detail later in the course. 3 Questions about polynomials There are many natural questions that we may want to answer about polynomials, even in the univariate case. Among them, we mention: When does a univariate polynomial have only real roots? What conditions must it satisfy for all roots to be real? When does a polynomial satisfy p(x) 0 for all x? We will answer many of these next week. 4 4

References [BCR98] J. Bochnak, M. Coste, and M F. Roy. Real Algebraic Geometry. Springer, 1998. [CLO97] D. A. Cox, J. B. Little, and D. O Shea. Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra. Springer, 1997. [DF91] D. S. Dummit and R. M. Foote. Abstract algebra. Prentice Hall Inc., Englewood Cliffs, NJ, 1991. [Lan71] S. Lang. Algebra. Addison Wesley, 1971. 4 5