Search results
Results from the WOW.Com Content Network
The localization of a commutative ring R by a multiplicatively closed set S is a new ring whose elements are fractions with numerators in R and denominators in S.. If the ring is an integral domain the construction generalizes and follows closely that of the field of fractions, and, in particular, that of the rational numbers as the field of fractions of the integers.
The definition of a polynomial ring can be generalised by relaxing the requirement that the algebraic structure R be a field or a ring to the requirement that R only be a semifield or rig; the resulting polynomial structure/extension R[X] is a polynomial rig.
More generally, if F is a local ring and n is a positive integer, then the quotient ring F[X]/(X n) is local with maximal ideal consisting of the classes of polynomials with constant term belonging to the maximal ideal of F, since one can use a geometric series to invert all other polynomials modulo X n.
The ring of Laurent polynomials [,] is an extension of the polynomial ring [] obtained by "inverting ". More rigorously, it is the localization of the polynomial ring in the multiplicative set consisting of the non-negative powers of . Many properties of the Laurent polynomial ring follow from the general properties of localization.
Informally, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.
Such a ring is necessarily a reduced ring, [5] and this is sometimes included in the definition. In general, if A is a Noetherian ring whose localizations at maximal ideals are all domains, then A is a finite product of domains. [6] In particular if A is a Noetherian, normal ring, then the domains in the product are integrally closed domains. [7]
The question of when this happens is rather subtle: for example, for the localization of k[x, y, z]/(x 2 + y 3 + z 5) at the prime ideal (x, y, z), both the local ring and its completion are UFDs, but in the apparently similar example of the localization of k[x, y, z]/(x 2 + y 3 + z 7) at the prime ideal (x, y, z) the local ring is a UFD but ...
More generally, a Prüfer ring is a commutative ring in which every non-zero finitely generated ideal containing a non-zero-divisor is invertible (that is, projective). A commutative ring is said to be arithmetical if for every maximal ideal m in R, the localization R m of R at m is a chain ring. With this definition, a Prüfer domain is an ...