In mathematics, the Tsen rank of a field describes conditions under which a system of polynomial equations must have a solution in the field. The concept is named for C. C. Tsen, who introduced their study in 1936. We consider a system of mpolynomial equations in n variables over a field F. Assume that the equations all have constant term zero, so that is a common solution. We say that F is a Ti-field if every such system, of degrees d1, ..., dm has a common non-zero solution whenever The Tsen rank of F is the smallest i such that F is a Ti-field. We say that the Tsen rank of F is infinite if it is not a Ti-field for any i.
If F has Tsen rank i, then the rational function field F has Tsen rank at most i + 1.
If F has Tsen rank i, then an algebraic extension of F has Tsen rank at most i.
If F has Tsen rank i, then an extension of F of transcendence degreek has Tsen rank at most i + k.
There exist fields of Tsen rank i for every integer i ≥ 0.
Norm form
We define a norm form of level i on a field F to be a homogeneous polynomial of degreed in n=di variables with only the trivial zero over F. The existence of a norm form on level i on F implies that F is of Tsen rank at least i − 1. If E is an extension of F of finite degree n > 1, then the field norm form for E/F is a norm form of level 1. If F admits a norm form of level i then the rational function fieldF admits a norm form of level i + 1. This allows us to demonstrate the existence of fields of any given Tsen rank.
The Diophantine dimension of a field is the smallest natural numberk, if it exists, such that the field of is class Ck: that is, such that any homogeneous polynomial of degree d in N variables has a non-trivial zero whenever N > dk. Algebraically closed fields are of Diophantine dimension 0; quasi-algebraically closed fields of dimension 1. Clearly if a field is Ti then it is Ci, and T0 and C0 are equivalent, each being equivalent to being algebraically closed. It is not known whether Tsen rank and Diophantine dimension are equal in general.
