Multiplicatively closed setIn abstract algebra, a multiplicatively closed set (or multiplicative set) is a subset S of a ring R such that the following two conditions hold: for all . In other words, S is closed under taking finite products, including the empty product 1. Equivalently, a multiplicative set is a submonoid of the multiplicative monoid of a ring. Multiplicative sets are important especially in commutative algebra, where they are used to build localizations of commutative rings. A subset S of a ring R is called saturated if it is closed under taking divisors: i.
Glossary of algebraic geometryThis is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
Localization (commutative algebra)In commutative algebra and algebraic geometry, localization is a formal way to introduce the "denominators" to a given ring or module. That is, it introduces a new ring/module out of an existing ring/module R, so that it consists of fractions such that the denominator s belongs to a given subset S of R. If S is the set of the non-zero elements of an integral domain, then the localization is the field of fractions: this case generalizes the construction of the field of rational numbers from the ring of integers.
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 .