|
Generalized Cohen–Macaulay Ring
In algebra, a generalized Cohen–Macaulay ring is a commutative Noetherian local ring (A, \mathfrak) of Krull dimension ''d'' > 0 that satisfies any of the following equivalent conditions: *For each integer i = 0, \dots, d - 1, the length of the ''i''-th local cohomology of ''A'' is finite: *:\operatorname_A(\operatorname^i_(A)) < \infty. * where the sup is over all s and is the of . *There is an - such ... [...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] |
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] |
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 them coinci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Cohomology
In algebraic geometry, local cohomology is an algebraic analogue of relative cohomology. Alexander Grothendieck introduced it in seminars in Harvard in 1961 written up by , and in 1961-2 at IHES written up as SGA2 - , republished as . Given a function (more generally, a section of a quasicoherent sheaf) defined on an open subset of an algebraic variety (or scheme), local cohomology measures the obstruction to extending that function to a larger domain. The rational function 1/x, for example, is defined only on the complement of 0 on the affine line \mathbb^1_K over a field K, and cannot be extended to a function on the entire space. The local cohomology module H^1_(K (where K /math> is the coordinate ring of \mathbb^1_K) detects this in the nonvanishing of a cohomology class /x/math>. In a similar manner, 1/xy is defined away from the x and y axes in the affine plane, but cannot be extended to either the complement of the x-axis or the complement of the y-axis alone (nor can it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parameter Ideal
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 . General references * References category:Commutative algebra Ideals (ring theory) {{algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplicity Of A Module
In abstract algebra, multiplicity theory concerns the multiplicity of a module ''M'' at an ideal ''I'' (often a maximal ideal) :\mathbf_I(M). The notion of the multiplicity of a module is a generalization of the degree of a projective variety. By Serre's intersection formula, it is linked to an intersection multiplicity in the intersection theory. The main focus of the theory is to detect and measure a singular point of an algebraic variety (cf. resolution of singularities). Because of this aspect, valuation theory, Rees algebras and integral closure are intimately connected to multiplicity theory. Multiplicity of a module Let ''R'' be a positively graded ring such that ''R'' is finitely generated as an ''R''0-algebra and ''R''0 is Artinian. Note that ''R'' has finite Krull dimension ''d''. Let ''M'' be a finitely generated ''R''-module and ''F''''M''(''t'') its Hilbert–Poincaré series. This series is a rational function of the form :\frac, where P(t) is a polynomial. By ... [...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 manner: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohen–Macaulay Ring
In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways. They are named for , who proved the unmixedness theorem for polynomial rings, and for , who proved the unmixedness theorem for formal power series rings. All Cohen–Macaulay rings have the unmixedness property. For Noetherian local rings, there is the following chain of inclusions. Definition For a commutative Noetherian local ring ''R'', a finite (i.e. finitely generated) ''R''-module M\neq 0 is a ''Cohen-Macaulay module'' if \mathrm(M) = \mathrm(M) (in general we have: \mathrm(M) \leq \mathrm(M), see Auslander–Buchsbaum formula for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Variety
In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables with coefficients in ''k'', that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of \mathbb^n. A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective space; in this case it is the set of zeros of a single homogeneous polynomial. If ''X'' is a projective variety defined by a homogeneous prime ideal ''I'', then the quotient ring :k _0, \ldots, x_nI is called the homogeneous coordinate ring of ''X''. Basic invariants of ''X'' such as the degree and the dim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Buchsbaum Ring
In mathematics, Buchsbaum rings are Noetherian local rings such that every system of parameters is a weak sequence. A sequence (a_1,\cdots,a_r) of the maximal ideal m is called a weak sequence if m\cdot((a_1,\cdots,a_)\colon a_i)\subset(a_1,\cdots,a_) for all i. They were introduced by and are named after David Buchsbaum David Alvin Buchsbaum (November 6, 1929 – January 8, 2021) was a mathematician at Brandeis University who worked on commutative algebra, homological algebra, and representation theory. He proved the Auslander–Buchsbaum formula and the Ausland .... Every Cohen–Macaulay local ring is a Buchsbaum ring. Every Buchsbaum ring is a generalized Cohen–Macaulay ring. References * * * * Commutative algebra Ring theory {{abstract-algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Projective Variety")