Formal Definition
Fix an arbitrary field k and let Fields/k denote the category of finitely generated field extensions of k with inclusions as morphisms. Consider a (covariant) functor F : Fields/k → Set. For a field extension K/k and an element a of F(K/k) a field of definition of a is an intermediate field K/L/k such that a is contained in the image of the map F(L/k) → F(K/k) induced by the inclusion of L in K.
The essential dimension of a, denoted by ed(a), is the least transcendence degree (over k) of a field of definition for a. The essential dimension of the functor F, denoted by ed(F), is the supremum of ed(a) taken over all elements a of F(K/k) and objects K/k of Fields/k.
Read more about this topic: Essential Dimension
Famous quotes containing the words formal and/or definition:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)