Cohen Ring
In algebra, a Cohen ring is a field or a complete discrete valuation ring of mixed characteristic (0, p) whose maximal ideal is generated by ''p''. Cohen rings are used in the Cohen structure theorem for complete Noetherian local ring In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic n ...s. See also * Norm field References * Cohen's paper was written when "local ring" meant what is now called a "Noetherian local ring". * Commutative algebra {{abstract-algebra-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary algebra deals with the manipulation of variables (commonly represented by Roman letters) as if they were numbers and is therefore essential in all applications of mathematics. Abstract algebra is the name given, mostly in education, to the study of algebraic structures such as groups, rings, and fields (the term is no more in common use outside educational context). Linear algebra, which deals with linear equations and linear mappings, is used for modern presentations of geometry, and has many practical applications (in weather forecasting, for example). There are many areas of mathematics that belong to algebra, some having "algebra" in their name, such as commutative algebra, and some not, such as Galois theory. The word ''algebra'' is ... [...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]   |
|
Mixed Characteristic
In commutative algebra, a ring of mixed characteristic is a commutative ring R having characteristic zero and having an ideal I such that R/I has positive characteristic.. Examples * The integers \mathbb have characteristic zero, but for any prime number p, \mathbb_p=\mathbb/p\mathbb is a finite field with p elements and hence has characteristic p. * The ring of integers of any number field is of mixed characteristic * Fix a prime ''p'' and localize the integers at the prime ideal (''p''). The resulting ring Z(''p'') has characteristic zero. It has a unique maximal ideal ''p''Z(''p''), and the quotient Z(''p'')/''p''Z(''p'') is a finite field with ''p'' elements. In contrast to the previous example, the only possible characteristics for rings of the form are zero (when ''I'' is the zero ideal) and powers of ''p'' (when ''I'' is any other non-unit ideal); it is not possible to have a quotient of any other characteristic. * If P is a non-zero prime ideal of the ring \mathcal_ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Maximal Ideal
In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals contained between ''I'' and ''R''. Maximal ideals are important because the quotients of rings by maximal ideals are simple rings, and in the special case of unital commutative rings they are also fields. In noncommutative ring theory, a maximal right ideal is defined analogously as being a maximal element in the poset of proper right ideals, and similarly, a maximal left ideal is defined to be a maximal element of the poset of proper left ideals. Since a one sided maximal ideal ''A'' is not necessarily two-sided, the quotient ''R''/''A'' is not necessarily a ring, but it is a simple module over ''R''. If ''R'' has a unique maximal right ideal, then ''R'' is known as a local ring, and the maximal right ideal is also the unique maximal le ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cohen Structure Theorem
In mathematics, the Cohen structure theorem, introduced by , describes the structure of complete Noetherian local rings. Some consequences of Cohen's structure theorem include three conjectures of Krull: *Any complete regular equicharacteristic Noetherian local ring is a ring of formal power series over a field. (Equicharacteristic means that the local ring and its residue field have the same characteristic, and is equivalent to the local ring containing a field.) *Any complete regular Noetherian local ring that is not equicharacteristic but is unramified is uniquely determined by its residue field and its dimension. *Any complete Noetherian local ring is the image of a complete regular Noetherian local ring. Statement The most commonly used case of Cohen's theorem is when the complete Noetherian local ring contains some field. In this case Cohen's structure theorem states that the ring is of the form ''k'' ''x''1,...,''x''''n''/(''I'') for some ideal ''I'', where ''k'' is its ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Complete Ring
In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions ''R'' on a space ''X'' concentrates on a formal neighborhood of a point of ''X'': heuristically, this is a neighborhood so small that ''all'' Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in the case when ''R'' has a metric given by a non-Archimedean absolute value. General construction Suppose that ''E'' is an abelian group with a descending filtration : E = F^0 E \supset F^1 E \supset F^2 E \supset \cdots \, of s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Noetherian Ring
In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence I_1\subseteq I_2 \subseteq I_3 \subseteq \cdots of left (or right) ideals has a largest element; that is, there exists an such that: I_=I_=\cdots. Equivalently, a ring is left-Noetherian (resp. right-Noetherian) if every left ideal (resp. right-ideal) is finitely generated. A ring is Noetherian if it is both left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics are Noetherian (in particular the ring of integers, polynomial rings, and rings of algebraic integers in number fields), and many general theorems on rings rely heavily on Noetherian property (for example, the Laskerâ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Local Ring
In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal. The concept of local rings was introduced by Wolfgang Krull in 1938 under the name ''Stellenringe''. The English term ''local ring'' is due to Zariski. Definition and first consequences A ring ''R'' is a local ring if it has any one of the following equivalent properties: * ''R'' has a unique maximal left ideal. * ''R'' has a unique maximal right ideal. * 1 ≠0 and the sum of any two non-units in ''R'' is a non-unit. * 1 ≠0 and if ''x'' is any element of ''R ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Norm Field
Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the environment, such as uranium, thorium and potassium and any of their decay products, such as radium and radon. Produced water discharges and spills are a good example of entering NORMs into the surrounding environment. Natural radioactive elements are present in very low concentrations in Earth's crust, and are brought to the surface through human activities such as oil and gas exploration or mining, and through natural processes like leakage of radon gas to the atmosphere or through dissolution in ground water. Another example of TENORM is coal ash produced from coal burning in power plants. If radioactivity is much higher than background level, handling TENORM may cause problems in many industries and transportation. NORM in oil and gas e ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Transactions Of The American Mathematical Society
The ''Transactions of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. It was established in 1900. As a requirement, all articles must be more than 15 printed pages. See also * ''Bulletin of the American Mathematical Society'' * '' Journal of the American Mathematical Society'' * ''Memoirs of the American Mathematical Society'' * ''Notices of the American Mathematical Society'' * ''Proceedings of the American Mathematical Society'' External links * ''Transactions of the American Mathematical Society''on JSTOR JSTOR (; short for ''Journal Storage'') is a digital library founded in 1995 in New York City. Originally containing digitized back issues of academic journals, it now encompasses books and other primary sources as well as current issues of j ... American Mathematical Society academic journals Mathematics journals Publications established in 1900 {{math-journal-st ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |