|
Support Of A Module
In commutative algebra, the support of a module ''M'' over a commutative ring ''R'' is the set of all prime ideals \mathfrak of ''R'' such that M_\mathfrak \ne 0 (that is, the localization of ''M'' at \mathfrak is not equal to zero). It is denoted by \operatornameM. The support is, by definition, a subset of the spectrum of ''R''. Properties * M = 0 if and only if its support is empty. * Let 0 \to M' \to M \to M'' \to 0 be a short exact sequence of ''R''-modules. Then *:\operatornameM = \operatornameM' \cup \operatornameM''. :Note that this union may not be a disjoint union. * If M is a sum of submodules M_\lambda, then \operatornameM = \bigcup_\lambda \operatornameM_\lambda. * If M is a finitely generated ''R''-module, then \operatornameM is the set of all prime ideals containing the annihilator of ''M''. In particular, it is closed in the Zariski topology on Spec ''R''. *If M, N are finitely generated ''R''-modules, then *:\operatorname(M \otimes_R N) = \operatorname ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] [Amazon] |
Scheme (mathematics)
In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations and define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise '' Éléments de géométrie algébrique'' (EGA); one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Schemes elaborate the fundamental idea that an a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Support (mathematics)
In mathematics, the support of a real-valued function f is the subset of the function domain of elements that are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used widely in mathematical analysis. Formulation Suppose that f : X \to \R is a real-valued function whose domain is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. The notion of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Associated Prime
In abstract algebra, an associated prime of a module ''M'' over a ring ''R'' is a type of prime ideal of ''R'' that arises as an annihilator of a (prime) submodule of ''M''. The set of associated primes is usually denoted by \operatorname_R(M), and sometimes called the ''assassin'' or ''assassinator'' of (word play between the notation and the fact that an associated prime is an ''annihilator''). In commutative algebra, associated primes are linked to the Lasker–Noether primary decomposition of ideals in commutative Noetherian rings. Specifically, if an ideal ''J'' is decomposed as a finite intersection of primary ideals, the radicals of these primary ideals are prime ideals, and this set of prime ideals coincides with \operatorname_R(R/J). Also linked with the concept of "associated primes" of the ideal are the notions of isolated primes and embedded primes. Definitions A nonzero ''R''-module ''N'' is called a prime module if the annihilator \mathrm_R(N)=\mathrm_R(N')\, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] [Amazon] |
Integral Domain
In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element ''a'' has the cancellation property, that is, if , an equality implies . "Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity. Noncommutative integral domains are sometimes admitted. This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using " domain" for the general case including noncommutative rings. Some sources, notably Lang, use the term entire ring for integral domain ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Polynomial
In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addition, subtraction, multiplication and exponentiation to nonnegative integer powers, and has a finite number of terms. An example of a polynomial of a single indeterminate is . An example with three indeterminates is . Polynomials appear in many areas of mathematics and science. For example, they are used to form polynomial equations, which encode a wide range of problems, from elementary word problem (mathematics education), word problems to complicated scientific problems; they are used to define polynomial functions, which appear in settings ranging from basic chemistry and physics to economics and social science; and they are used in calculus and numerical analysis to approximate other functions. In advanced mathematics, polynomials are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Projective Variety
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety. 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 dimension can be read off the Hilbert polynomial of this graded ring. Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Smooth Scheme
In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...s in topology. Definition First, let ''X'' be an affine scheme of Glossary of scheme theory#finite, finite type over a field ''k''. Equivalently, ''X'' has a closed immersion into affine space ''An'' over ''k'' for some natural number ''n''. Then ''X'' is the closed subscheme defined by some equations ''g''1 = 0, ..., ''g''''r'' = 0, where each ''gi'' is in the polynomial ring ''k''[''x''1,..., ''x' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Divisor (algebraic Geometry)
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil by David Mumford). Both are derived from the notion of divisibility in the integers and algebraic number fields. Globally, every codimension-1 subvariety of projective space is defined by the vanishing of one homogeneous polynomial; by contrast, a codimension-''r'' subvariety need not be definable by only ''r'' equations when ''r'' is greater than 1. (That is, not every subvariety of projective space is a complete intersection.) Locally, every codimension-1 subvariety of a smooth variety can be defined by one equation in a neighborhood of each point. Again, the analogous statement fails for higher-codimension subvarieties. As a result of this property, much of algebraic geometry studies an arbitrary variety by analysing its codimension-1 subvarieti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Affine Scheme
In commutative algebra, the prime spectrum (or simply the spectrum) of a commutative ring R is the set of all prime ideals of R, and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with a sheaf of rings. Zariski topology For any ideal I of R, define V_I to be the set of prime ideals containing I. We can put a topology on \operatorname(R) by defining the collection of closed sets to be :\big\. This topology is called the Zariski topology. A basis for the Zariski topology can be constructed as follows: For f\in R, define D_f to be the set of prime ideals of R not containing f. Then each D_f is an open subset of \operatorname(R), and \big\ is a basis for the Zariski topology. \operatorname(R) is a compact space, but almost never Hausdorff: In fact, the maximal ideals in R are precisely the closed points in this topology. By the same reasoning, \operatorname(R) is not, in general, a T1 space. However, \operat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Sheaf Associated To A Module
In mathematics, a sheaf of ''O''-modules or simply an ''O''-module over a ringed space (''X'', ''O'') is a sheaf ''F'' such that, for any open subset ''U'' of ''X'', ''F''(''U'') is an ''O''(''U'')-module and the restriction maps ''F''(''U'') → ''F''(''V'') are compatible with the restriction maps ''O''(''U'') → ''O''(''V''): the restriction of ''fs'' is the restriction of ''f'' times the restriction of ''s'' for any ''f'' in ''O''(''U'') and ''s'' in ''F''(''U''). The standard case is when ''X'' is a scheme and ''O'' its structure sheaf. If ''O'' is the constant sheaf \underline, then a sheaf of ''O''-modules is the same as a sheaf of abelian groups (i.e., an abelian sheaf). If ''X'' is the prime spectrum of a ring ''R'', then any ''R''-module defines an ''O''''X''-module (called an associated sheaf) in a natural way. Similarly, if ''R'' is a graded ring and ''X'' is the Proj of ''R'', then any graded module defines an ''O''''X''-module in a natural way. ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
