|
Acyclic Resolution
In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of objects of an abelian category) that is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions. However, a finite resolution is one where only finitely many of the objects in the sequence are non-zero; it is usually represented by a finite exact sequence in which the leftmost object (for resolutions) or the rightmost object (for coresolutions) is the zero-object. Generally, the objects in the sequence are restricted to have some property ''P'' (for example to be free). Thus one speaks of a ''P resolution''. In particular, every module has free resolutions, projective resolut ... [...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] |
Chain Homotopy
A chain is a serial assembly of connected pieces, called links, typically made of metal, with an overall character similar to that of a rope in that it is flexible and curved in compression but linear, rigid, and load-bearing in tension. A chain may consist of two or more links. Chains can be classified by their design, which can be dictated by their use: * Those designed for lifting, such as when used with a hoist; for pulling; or for securing, such as with a bicycle lock, have links that are torus-shaped, which make the chain flexible in two dimensions (the fixed third dimension being a chain's length). Small chains serving as jewellery are a mostly decorative analogue of such types. * Those designed for transferring power in machines have links designed to mesh with the teeth of the sprockets of the machine, and are flexible in only one dimension. They are known as roller chains, though there are also non-roller chains such as block chains. Two distinct chains can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Algebra
In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups R_i such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading. A graded module is defined similarly (see below for the precise definition). It generalizes graded vector spaces. A graded module that is also a graded ring is called a graded algebra. A graded ring could also be viewed as a graded -algebra. The associativity is not important (in fact not used at all) in the definition of a graded ring; hence, the notion applies to non-associative algebras as well; e.g., one can consider a graded Lie algebra. First properties Generally, the index set of a graded ring is assumed to be the set of nonnegative integers, unless otherwise explicitly specified. This is the case in this article. A graded r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graded Module
Grade most commonly refers to: * Grading in education, a measurement of a student's performance by educational assessment (e.g. A, pass, etc.) * A designation for students, classes and curricula indicating the number of the year a student has reached in a given educational stage (e.g. first grade, second grade, K–12, etc.) * Grade (slope), the steepness of a slope * Graded voting Grade or grading may also refer to: Music * Grade (music), a formally assessed level of profiency in a musical instrument * Grade (band), punk rock band * Grades (producer), British electronic dance music producer and DJ Science and technology Biology and medicine * Grading (tumors), a measure of the aggressiveness of a tumor in medicine * The Grading of Recommendations Assessment, Development and Evaluation (GRADE) approach * Evolutionary grade, a paraphyletic group of organisms Geology * Graded bedding, a description of the variation in grain size through a bed in a sedimentary rock * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Von Neumann Regular Ring
In mathematics, a von Neumann regular ring is a ring ''R'' (associative, with 1, not necessarily commutative) such that for every element ''a'' in ''R'' there exists an ''x'' in ''R'' with . One may think of ''x'' as a "weak inverse" of the element ''a''; in general ''x'' is not uniquely determined by ''a''. Von Neumann regular rings are also called absolutely flat rings, because these rings are characterized by the fact that every left ''R''-module is flat. Von Neumann regular rings were introduced by under the name of "regular rings", in the course of his study of von Neumann algebras and continuous geometry. Von Neumann regular rings should not be confused with the unrelated regular rings and regular local rings of commutative algebra. An element ''a'' of a ring is called a von Neumann regular element if there exists an ''x'' such that . An ideal \mathfrak is called a (von Neumann) regular ideal if for every element ''a'' in \mathfrak there exists an element ''x'' in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Ring
In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient. The structure of Artinian semisimple rings is well understood by the Artin–Wedderburn theorem, which exhibits these rings as finite direct products of matrix rings. For a group-theory analog of the same notion, see ''Semisimple representation''. Definition A module over a (not necessarily commutative) ring is said to be semisimple (or completely reducible) if it is the direct sum of simple (irreducible) submodules. For a module ''M'', the following are equivalent: # ''M'' is semisimple; i.e., ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weak Global Dimension
In abstract algebra, the weak dimension of a nonzero right module ''M'' over a ring ''R'' is the largest number ''n'' such that the Tor group \operatorname_n^R(M,N) is nonzero for some left ''R''-module ''N'' (or infinity if no largest such ''n'' exists), and the weak dimension of a left ''R''-module is defined similarly. The weak dimension was introduced by . The weak dimension is sometimes called the flat dimension as it is the shortest length of the resolution of the module by flat modules. The weak dimension of a module is, at most, equal to its projective dimension. The weak global dimension of a ring is the largest number ''n'' such that \operatorname_n^R(M,N) is nonzero for some right ''R''-module ''M'' and left ''R''-module ''N''. If there is no such largest number ''n'', the weak global dimension is defined to be infinite. It is at most equal to the left or right global dimension of the ring ''R''. Examples *The module \Q of rational numbers over the ring \Z of int ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Global Dimension
In ring theory and homological algebra, the global dimension (or global homological dimension; sometimes just called homological dimension) of a ring ''A'' denoted gl dim ''A'', is a non-negative integer or infinity which is a homological invariant of the ring. It is defined to be the supremum of the set of projective dimensions of all ''A''- modules. Global dimension is an important technical notion in the dimension theory of Noetherian rings. By a theorem of Jean-Pierre Serre, global dimension can be used to characterize within the class of commutative Noetherian local rings those rings which are regular. Their global dimension coincides with the Krull dimension, whose definition is module-theoretic. When the ring ''A'' is noncommutative, one initially has to consider two versions of this notion, right global dimension that arises from consideration of the right , and left global dimension that arises from consideration of the left . For an arbitrary ring ''A'' the right an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flat Dimension
In abstract algebra, the weak dimension of a nonzero right module ''M'' over a ring ''R'' is the largest number ''n'' such that the Tor group \operatorname_n^R(M,N) is nonzero for some left ''R''-module ''N'' (or infinity if no largest such ''n'' exists), and the weak dimension of a left ''R''-module is defined similarly. The weak dimension was introduced by . The weak dimension is sometimes called the flat dimension as it is the shortest length of the resolution of the module by flat modules. The weak dimension of a module is, at most, equal to its projective dimension. The weak global dimension of a ring is the largest number ''n'' such that \operatorname_n^R(M,N) is nonzero for some right ''R''-module ''M'' and left ''R''-module ''N''. If there is no such largest number ''n'', the weak global dimension is defined to be infinite. It is at most equal to the left or right global dimension of the ring ''R''. Examples *The module \Q of rational numbers over the ring \Z of inte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Injective Dimension
In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module ''Q'' that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if ''Q'' is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module ''Y'', any module homomorphism from this submodule to ''Q'' can be extended to a homomorphism from all of ''Y'' to ''Q''. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook . Injective modules have been heavily studied, and a variety of additional notions are defined in terms of them: Injective cogenerators are injective modules that faithfully represent the entire category of modules. Injective resolutions measure how far from injective a module is in terms of the injective dimension and represent modules in the derived category. Injective ... [...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] |
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] |
