Completely Integrally Closed
In commutative algebra, an integrally closed domain ''A'' is an integral domain whose integral closure in its field of fractions is ''A'' itself. Spelled out, this means that if ''x'' is an element of the field of fractions of ''A'' which is a root of a monic polynomial with coefficients in ''A,'' then ''x'' is itself an element of ''A.'' Many well-studied domains are integrally closed: fields, the ring of integers Z, unique factorization domains and regular local rings are all integrally closed. Note that integrally closed domains appear in the following chain of class inclusions: Basic properties Let ''A'' be an integrally closed domain with field of fractions ''K'' and let ''L'' be a field extension of ''K''. Then ''x''∈''L'' is integral over ''A'' if and only if it is algebraic over ''K'' and its minimal polynomial over ''K'' has coefficients in ''A''. In particular, this means that any element of ''L'' integral over ''A'' is root of a monic polynomial in ''A'' 'X'' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and ''p''-adic integers. Commutative algebra is the main technical tool in the local study of schemes. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. In algebraic number theory, the rings of algebraic integers are Dedekind rings, which constitute therefore an important class of commutative rings. Considerations related to modular arithmetic have led to the no ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Principal Ideal Domain
In mathematics, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element. More generally, a principal ideal ring is a nonzero commutative ring whose ideals are principal, although some authors (e.g., Bourbaki) refer to PIDs as principal rings. The distinction is that a principal ideal ring may have zero divisors whereas a principal ideal domain cannot. Principal ideal domains are thus mathematical objects that behave somewhat like the integers, with respect to divisibility: any element of a PID has a unique decomposition into prime elements (so an analogue of the fundamental theorem of arithmetic holds); any two elements of a PID have a greatest common divisor (although it may not be possible to find it using the Euclidean algorithm). If and are elements of a PID without common divisors, then every element of the PID can be written in the form . Principal ideal domains are noetherian, they are integra ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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 \frac, 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 \Q of rational numbers from the ring \Z of integers. The technique has become fundamental, particularly in algebraic geometry, as it provides a natural link to sheaf theory. In fact, the term ''localization'' originated in algebraic geometry: if ''R'' is a ring of functions defined on some geometric object (algebraic variety) ''V'', and one wants to study this variety "locally" near a point ''p'', then one considers the set ''S'' of all functions that are not zero at ''p'' and localizes ''R'' wi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the inaugural Abel Prize in 2003. Biography Personal life Born in Bages, Pyrénées-Orientales, France, to pharmacist parents, Serre was educated at the Lycée de Nîmes and then from 1945 to 1948 at the École Normale Supérieure in Paris. He was awarded his doctorate from the Sorbonne in 1951. From 1948 to 1954 he held positions at the Centre National de la Recherche Scientifique in Paris. In 1956 he was elected professor at the Collège de France, a position he held until his retirement in 1994. His wife, Professor Josiane Heulot-Serre, was a chemist; she also was the director of the Ecole Normale Supérieure de Jeunes Filles. Their daughter is the former French diplomat, historian and writer Claudine Monteil. The French mathematician Denis S ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Valuation Ring
In abstract algebra, a valuation ring is an integral domain ''D'' such that for every element ''x'' of its field of fractions ''F'', at least one of ''x'' or ''x''−1 belongs to ''D''. Given a field ''F'', if ''D'' is a subring of ''F'' such that either ''x'' or ''x''−1 belongs to ''D'' for every nonzero ''x'' in ''F'', then ''D'' is said to be a valuation ring for the field ''F'' or a place of ''F''. Since ''F'' in this case is indeed the field of fractions of ''D'', a valuation ring for a field is a valuation ring. Another way to characterize the valuation rings of a field ''F'' is that valuation rings ''D'' of ''F'' have ''F'' as their field of fractions, and their ideals are totally ordered by inclusion; or equivalently their principal ideals are totally ordered by inclusion. In particular, every valuation ring is a local ring. The valuation rings of a field are the maximal elements of the set of the local subrings in the field partially ordered by dominance or refin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Krull Domain
In commutative algebra, a Krull ring, or Krull domain, is a commutative ring with a well behaved theory of prime factorization. They were introduced by Wolfgang Krull in 1931. They are a higher-dimensional generalization of Dedekind domains, which are exactly the Krull domains of dimension at most 1. In this article, a ring is commutative and has unity. Formal definition Let A be an integral domain and let P be the set of all prime ideals of A of height one, that is, the set of all prime ideals properly containing no nonzero prime ideal. Then A is a Krull ring if # A_ is a discrete valuation ring for all \mathfrak \in P , # A is the intersection of these discrete valuation rings (considered as subrings of the quotient field of A ). #Any nonzero element of A is contained in only a finite number of height 1 prime ideals. It is also possible to characterize Krull rings by mean of valuations only: An integral domain A is a Krull ring if there exists a family \ _ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Discrete Valuation Ring
In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non-zero maximal ideal. This means a DVR is an integral domain ''R'' which satisfies any one of the following equivalent conditions: # ''R'' is a local principal ideal domain, and not a field. # ''R'' is a valuation ring with a value group isomorphic to the integers under addition. # ''R'' is a local Dedekind domain and not a field. # ''R'' is a Noetherian local domain whose maximal ideal is principal, and not a field.https://mathoverflow.net/a/155639/114772 # ''R'' is an integrally closed Noetherian local ring with Krull dimension one. # ''R'' is a principal ideal domain with a unique non-zero prime ideal. # ''R'' is a principal ideal domain with a unique irreducible element ( up to multiplication by units). # ''R'' is a unique factorization domain with a unique irreducible element (up to multiplication by units). # ''R'' is Noetherian, not a field, and every nonzero fractio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Singular Point Of A Curve
In geometry, a singular point on a curve is one where the curve is not given by a smooth embedding of a parameter. The precise definition of a singular point depends on the type of curve being studied. Algebraic curves in the plane Algebraic curves in the plane may be defined as the set of points satisfying an equation of the form f(x,y) = 0, where is a polynomial function If is expanded as f = a_0 + b_0 x + b_1 y + c_0 x^2 + 2c_1 xy + c_2 y^2 + \cdots If the origin is on the curve then . If then the implicit function theorem guarantees there is a smooth function so that the curve has the form near the origin. Similarly, if then there is a smooth function so that the curve has the form near the origin. In either case, there is a smooth map from to the plane which defines the curve in the neighborhood of the origin. Note that at the origin b_0 = \frac, \; b_1 = \frac, so the curve is non-singular or ''regular'' at the origin if at least one of the partial derivatives o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Square-free Polynomial
In mathematics, a square-free polynomial is a polynomial defined over a field (or more generally, an integral domain) that does not have as a divisor any square of a non-constant polynomial. A univariate polynomial is square free if and only if it has no multiple root in an algebraically closed field containing its coefficients. This motivates that, in applications in physics and engineering, a square-free polynomial is commonly called a polynomial with no repeated roots. In the case of univariate polynomials, the product rule implies that, if divides , then divides the formal derivative of . The converse is also true and hence, f is square-free if and only if 1 is a greatest common divisor of the polynomial and its derivative. A square-free decomposition or square-free factorization of a polynomial is a factorization into powers of square-free polynomials : f = a_1 a_2^2 a_3^3 \cdots a_n^n =\prod_^n a_k^k\, where those of the that are non-constant are pairwise coprime squar ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Symmetric Algebra
In mathematics, the symmetric algebra (also denoted on a vector space over a field is a commutative algebra over that contains , and is, in some sense, minimal for this property. Here, "minimal" means that satisfies the following universal property: for every linear map from to a commutative algebra , there is a unique algebra homomorphism such that , where is the inclusion map of in . If is a basis of , the symmetric algebra can be identified, through a canonical isomorphism, to the polynomial ring , where the elements of are considered as indeterminates. Therefore, the symmetric algebra over can be viewed as a "coordinate free" polynomial ring over . The symmetric algebra can be built as the quotient of the tensor algebra by the two-sided ideal generated by the elements of the form . All these definitions and properties extend naturally to the case where is a module (not necessarily a free one) over a commutative ring. Construction From tensor algebra It is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dedekind Domain
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains that are sometimes taken as the definition: see below. A field is a commutative ring in which there are no nontrivial proper ideals, so that any field is a Dedekind domain, however in a rather vacuous way. Some authors add the requirement that a Dedekind domain not be a field. Many more authors state theorems for Dedekind domains with the implicit proviso that they may require trivial modifications for the case of fields. An immediate consequence of the definition is that every principal ideal domain (PID) is a Dedekind domain. In fact a Dedekind domain is a unique factorization domain (UFD) if and only if it is a PID. Th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |