|
System Of Parameters
In mathematics, a system of parameters for a local ring, local Noetherian ring of Krull dimension ''d'' with maximal ideal ''m'' is a set of elements ''x''1, ..., ''x''''d'' that satisfies any of the following equivalent conditions: # ''m'' is a Minimal prime ideal, minimal prime over (''x''1, ..., ''x''''d''). # The radical of an ideal, radical of (''x''1, ..., ''x''''d'') is ''m''. # Some power of ''m'' is contained in (''x''1, ..., ''x''''d''). # (''x''1, ..., ''x''''d'') is primary ideal, ''m''-primary. Every local Noetherian ring admits a system of parameters. It is not possible for fewer than ''d'' elements to generate an ideal whose radical is ''m'' because then the dimension of ''R'' would be less than ''d''. If ''M'' is a ''k''-dimensional module over a local ring, then ''x''1, ..., ''x''''k'' is a system of parameters for ''M'' if the Length of a module, length of is finite. General references * References category:Commutative algebra Ideals (ring theory) {{com ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Ring
In mathematics, more specifically in 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 algebraic 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 ... [...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. Formally, 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 n such that I_=I_=\cdots. Equivalently, a ring is left-Noetherian (respectively right-Noetherian) if every left ideal (respectively 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 the Noetherian property ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krull Dimension
In commutative algebra, the Krull dimension of a commutative ring ''R'', named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules. The Krull dimension was introduced to provide an algebraic definition of the dimension of an algebraic variety: the dimension of the affine variety defined by an ideal ''I'' in a polynomial ring ''R'' is the Krull dimension of ''R''/''I''. A field ''k'' has Krull dimension 0; more generally, ''k'' 'x''1, ..., ''x''''n''has Krull dimension ''n''. A principal ideal domain that is not a field has Krull dimension 1. A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent. There are several other ways that have been used to define the dimension of a ring. Most of ... [...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. The set of maximal ideals of a unital commutative ring ''R'', typically equipped with the Zariski topology, is known as the maximal spectrum of ''R'' and is variously denoted m-Spec ''R'', Specm ''R'', MaxSpec ''R'', or Spm ''R''. 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Minimal Prime Ideal
In mathematics, especially in commutative algebra, certain prime ideals called minimal prime ideals play an important role in understanding rings and modules. The notion of height and Krull's principal ideal theorem use minimal prime ideals. Definition A prime ideal ''P'' is said to be a minimal prime ideal over an ideal ''I'' if it is minimal among all prime ideals containing ''I''. (Note: if ''I'' is a prime ideal, then ''I'' is the only minimal prime over it.) A prime ideal is said to be a minimal prime ideal if it is a minimal prime ideal over the zero ideal. A minimal prime ideal over an ideal ''I'' in a Noetherian ring ''R'' is precisely a minimal associated prime (also called isolated prime) of R/I; this follows for instance from the primary decomposition of ''I''. Examples * In a commutative Artinian ring, every maximal ideal is a minimal prime ideal. * In an integral domain, the only minimal prime ideal is the zero ideal. * In the ring Z of integers, the minimal pri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Radical Of An Ideal
Radical (from Latin: ', root) may refer to: Politics and ideology Politics * Classical radicalism, the Radical Movement that began in late 18th century Britain and spread to continental Europe and Latin America in the 19th century * Radical politics, the political intent of fundamental societal change * Radical Party (other), several political parties *Radicals (UK), a British and Irish grouping in the early to mid-19th century * Radicalization *Politicians from the Radical Civic Union Ideologies * Radical chic, a term coined by Tom Wolfe to describe the pretentious adoption of radical causes * Radical feminism, a perspective within feminism that focuses on patriarchy * Radical Islam, or Islamic extremism * Radical Christianity * Radical veganism, a radical interpretation of veganism, usually combined with anarchism * Radical Reformation, an Anabaptist movement concurrent with the Protestant Reformation Science and mathematics Science * Radical (chemistry), an atom, molec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Primary Ideal
In mathematics, specifically commutative algebra, a proper ideal ''Q'' of a commutative ring ''A'' is said to be primary if whenever ''xy'' is an element of ''Q'' then ''x'' or ''y''''n'' is also an element of ''Q'', for some ''n'' > 0. For example, in the ring of integers Z, (''p''''n'') is a primary ideal if ''p'' is a prime number. The notion of primary ideals is important in commutative ring theory because every ideal of a Noetherian ring has a primary decomposition, that is, can be written as an intersection of finitely many primary ideals. This result is known as the Lasker–Noether theorem. Consequently, an irreducible ideal of a Noetherian ring is primary. Various methods of generalizing primary ideals to noncommutative rings exist, but the topic is most often studied for commutative rings. Therefore, the rings in this article are assumed to be commutative rings with identity. Examples and properties * The definition can be rephrased in a more symmetric m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Length Of A Module
In algebra, the length of a module over a ring R is a generalization of the dimension of a vector space which measures its size. page 153 It is defined to be the length of the longest chain of submodules. For vector spaces (modules over a field), the length equals the dimension. If R is an algebra over a field k, the length of a module is at most its dimension as a k-vector space. In commutative algebra and algebraic geometry, a module over a Noetherian commutative ring R can have finite length only when the module has Krull dimension zero. Modules of finite length are finitely generated modules, but most finitely generated modules have infinite length. Modules of finite length are Artinian modules and are fundamental to the theory of Artinian rings. The degree of an algebraic variety inside an affine or projective space is the length of the coordinate ring of the zero-dimensional intersection of the variety with a generic linear subspace of complementary dimension. More gene ... [...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 ideal (ring theory), ideals, and module (mathematics), 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 number, ''p''-adic integers. Commutative algebra is the main technical tool of algebraic geometry, and many results and concepts of commutative algebra are strongly related with geometrical concepts. 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. Several concepts of commutative algebras have been developed in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
