Zariski Tangent Space - Definition

Definition

The cotangent space of a local ring R, with maximal ideal m is defined to be

m/m2

It is a vector space over the residue field k := R/m. Its dual (as a k-vector space) is called tangent space of R.

This definition is a generalization of the above example to higher dimensions: suppose given an affine algebraic variety V and a point v of V. Morally, modding out m2 corresponds to dropping the non-linear terms from the equations defining V inside some affine space, therefore giving a system of linear equations that define the tangent space.

(One often defines the tangent and cotangent spaces for a manifold in the analogous manner.)

Read more about this topic:  Zariski Tangent Space

Famous quotes containing the word definition:

    ... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.
    George Eliot [Mary Ann (or Marian)

    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)

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)