|
Intersection Number
In mathematics, and especially in algebraic geometry, the intersection number generalizes the intuitive notion of counting the number of times two curves intersect to higher dimensions, multiple (more than 2) curves, and accounting properly for tangent, tangency. One needs a definition of intersection number in order to state results like Bézout's theorem. The intersection number is obvious in certain cases, such as the intersection of the ''x''- and ''y''-axes in a plane, which should be one. The complexity enters when calculating intersections at points of tangency, and intersections which are not just points, but have higher dimension. For example, if a plane is tangent to a surface along a line, the intersection number along the line should be at least two. These questions are discussed systematically in intersection theory. Definition for Riemann surfaces Let ''X'' be a Riemann surface. Then the intersection number of two closed curves on ''X'' has a simple definition in ... [...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] |
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] |
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] |
Structure Sheaf
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets. Among ringed spaces, especially important and prominent is a locally ringed space: a ringed space in which the analogy between the stalk at a point and the ring of germs of functions at a point is valid. Ringed spaces appear in analysis as well as complex algebraic geometry and the scheme theory of algebraic geometry. Note: In the definition of a ringed space, most expositions tend to restrict the rings to be commutative rings, including Hartshorne and Wikipedia. '' Éléments de géométrie algébrique'', on the other hand, does not impose the commutativity assumption, although the book mostly c ... [...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] |
Regular Local Ring
In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let A be any Noetherian local ring with unique maximal ideal \mathfrak, and suppose a_1,\cdots,a_n is a minimal set of generators of \mathfrak. Then Krull's principal ideal theorem implies that n\geq\dim A, and A is regular whenever n=\dim A. The concept is motivated by its geometric meaning. A point x on an algebraic variety X is nonsingular (a smooth point) if and only if the local ring \mathcal_ of germs at x is regular. (See also: regular scheme.) Regular local rings are ''not'' related to von Neumann regular rings. For Noetherian local rings, there is the following chain of inclusions: Characterizations There are a number of useful definitions of a regular local ring, one of which is mentioned above. In particular, if A is a Noetherian local ring with maximal ideal \mathfrak, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homological Conjectures In Commutative Algebra
In mathematics, homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties of a commutative ring to its internal ring structure, particularly its Krull dimension and depth. The following list given by Melvin Hochster is considered definitive for this area. In the sequel, A, R, and S refer to Noetherian commutative rings; R will be a local ring with maximal ideal m_R, and M and N are finitely generated R-modules. # The Zero Divisor Theorem. If M \ne 0 has finite projective dimension and r \in R is not a zero divisor on M, then r is not a zero divisor on R. # Bass's Question. If M \ne 0 has a finite injective resolution, then R is a Cohen–Macaulay ring. # The Intersection Theorem. If M \otimes_R N \ne 0 has finite length, then the Krull dimension of ''N'' (i.e., the dimension of ''R'' modulo the annihilator of ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tor Functor
In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to construct invariants of algebraic structures. The homology of groups, Lie algebras, and associative algebras can all be defined in terms of Tor. The name comes from a relation between the first Tor group Tor1 and the torsion subgroup of an abelian group. In the special case of abelian groups, Tor was introduced by Eduard Čech (1935) and named by Samuel Eilenberg around 1950. It was first applied to the Künneth theorem and universal coefficient theorem in topology. For modules over any ring, Tor was defined by Henri Cartan and Eilenberg in their 1956 book ''Homological Algebra''. Definition Let ''R'' be a ring. Write ''R''-Mod for the category of left ''R''-modules and Mod-''R'' for the category of right ''R''-modules. (If ''R'' is comm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homological Algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of module (mathematics), modules and Syzygy (mathematics), syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of category theory. A central concept is that of chain complexes, which can be studied through their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariant (mathematics), invariants of ring (mathematics), rings, modules, topological spaces, and other "tangible ... [...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] |
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, to pharmacist parents, Serre was educated at the Lycée de Nîmes. Then he studied at the École Normale Supérieure in Paris from 1945 to 1948. 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 D ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moving Lemma
In algebraic geometry, Chow's moving lemma, proved by , states: given algebraic cycles ''Y'', ''Z'' on a nonsingular quasi-projective variety ''X'', there is another algebraic cycle ''Z' '' which is rationally equivalent to ''Z'' on ''X,'' such that ''Y'' and ''Z' '' intersect properly. The lemma is one of the key ingredients in developing intersection theory and the Chow ring In algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so ..., as it is used to show the uniqueness of the theory. Even if ''Z'' is an effective cycle, it is not, in general, possible to choose ''Z' '' to be effective. References * * * Theorems in algebraic geometry Zhou, Weiliang {{math-hist-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
