Field of fractionsIn abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements. The field of fractions of an integral domain is sometimes denoted by or , and the construction is sometimes also called the fraction field, field of quotients, or quotient field of .
Formal power seriesIn mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.). A formal power series is a special kind of formal series, whose terms are of the form where is the th power of a variable ( is a non-negative integer), and is called the coefficient.
Localization of a categoryIn mathematics, localization of a category consists of adding to a inverse morphisms for some collection of morphisms, constraining them to become isomorphisms. This is formally similar to the process of localization of a ring; it in general makes objects isomorphic that were not so before. In homotopy theory, for example, there are many examples of mappings that are invertible up to homotopy; and so large classes of homotopy equivalent spaces. Calculus of fractions is another name for working in a localized category.
Support of a moduleIn commutative algebra, the support of a module M over a commutative ring A is the set of all prime ideals of A such that (that is, the localization of M at is not equal to zero). It is denoted by . The support is, by definition, a subset of the spectrum of A. if and only if its support is empty. Let be a short exact sequence of A-modules. Then Note that this union may not be a disjoint union. If is a sum of submodules , then If is a finitely generated A-module, then is the set of all prime ideals containing the annihilator of M.
Stalk (sheaf)The stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point. Sheaves are defined on open sets, but the underlying topological space consists of points. It is reasonable to attempt to isolate the behavior of a sheaf at a single fixed point of . Conceptually speaking, we do this by looking at small neighborhoods of the point. If we look at a sufficiently small neighborhood of , the behavior of the sheaf on that small neighborhood should be the same as the behavior of at that point.
Functor represented by a schemeIn algebraic geometry, a functor represented by a scheme X is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme S is (up to natural bijections) the set of all morphisms . The scheme X is then said to represent the functor and that classify geometric objects over S given by F. The best known example is the Hilbert scheme of a scheme X (over some fixed base scheme), which, when it exists, represents a functor sending a scheme S to a flat family of closed subschemes of .
Primary decompositionIn mathematics, the Lasker–Noether theorem states that every Noetherian ring is a Lasker ring, which means that every ideal can be decomposed as an intersection, called primary decomposition, of finitely many primary ideals (which are related to, but not quite the same as, powers of prime ideals). The theorem was first proven by for the special case of polynomial rings and convergent power series rings, and was proven in its full generality by .
