skip to content

Non-negative solvability of linear equations in ordered groups

Presented by: 
P Scowcroft [Wesleyan]
Thursday 12th May 2005 - 11:30 to 12:45
INI Seminar Room 2

Over an ordered field, the class of solution sets of finite systems of homogeneous weak linear inequalities is closed under projection, and this fact yields a simple proof of Farkas' theorem characterizing the nonnegative solvability of systems of linear equations. If one generalizes the notion of inequality to that of congruence inequality--which combines an inequality with a congruence in a special way--then one may exploit techniques from model theory to prove that over any ordered Abelian group, the class of solution sets of finite systems of congruence inequalities is closed under projection. Thus ordered rings other than fields obey versions of Farkas' theorem, and this talk will describe such results for dense subrings of the reals and for the integers.

University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons