|
Noether's Normalization Lemma
In mathematics, the Noether normalization lemma is a result of commutative algebra, introduced by Emmy Noether in 1926. It states that for any field ''k'', and any finitely generated commutative ''k''-algebra ''A'', there exists a non-negative integer ''d'' and algebraically independent elements ''y''1, ''y''2, ..., ''y''''d'' in ''A'' such that ''A'' is a finitely generated module over the polynomial ring ''S'' = ''k'' 'y''1, ''y''2, ..., ''y''''d'' The integer ''d'' above is uniquely determined; it is the Krull dimension of the ring ''A''. When ''A'' is an integral domain, ''d'' is also the transcendence degree of the field of fractions of ''A'' over ''k''. The theorem has a geometric interpretation. Suppose ''A'' is integral. Let ''S'' be the coordinate ring of the ''d''-dimensional affine space \mathbb A^d_k, and let ''A'' be the coordinate ring of some other ''d''-dimensional affine variety ''X''. Then the inclusion map ''S'' → ''A'' induces a surjective ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Affine Varieties
In algebraic geometry, an affine variety, or affine algebraic variety, over an algebraically closed field is the zero-locus in the affine space of some finite family of polynomials of variables with coefficients in that generate a prime ideal. If the condition of generating a prime ideal is removed, such a set is called an (affine) algebraic set. A Zariski open subvariety of an affine variety is called a quasi-affine variety. Some texts do not require a prime ideal, and call ''irreducible'' an algebraic variety defined by a prime ideal. This article refers to zero-loci of not necessarily prime ideals as affine algebraic sets. In some contexts, it is useful to distinguish the field in which the coefficients are considered, from the algebraically closed field (containing ) over which the zero-locus is considered (that is, the points of the affine variety are in ). In this case, the variety is said ''defined over'' , and the points of the variety that belong to are said ''-r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nachrichten Von Der Gesellschaft Der Wissenschaften Zu Göttingen
''Nachrichten'' ('News') was a Volga German communist newspaper, published between 1918 and 1941.Geschichte der Wolgadeutschen"НАХРИХТЕН"/ref> ''Nachrichten'' was the organ of the Communist Party in the Volga German Autonomous Soviet Socialist Republic. The newspaper was founded under the name ''Vorwärts'' ('Forward') by the German Commissariat in Saratov in March 1918. ''Vorwärts'' was the first Bolshevik newspaper directed towards the Volga German colonists. It carried the by-line 'Organ of the Socialists in the German Volga territory' (''Organ der Sozialisten des deutschen Wolgagebiets'').Geschichte der Wolgadeutschen. Schiller, Franz P., Literatur zur Geschichte und Volkskunde der deutschen Kolonien in der Sowjetunion für die Jahre 1764 – 1926' The name was changed to ''Nachrichten'' in June 1918, as the Bolsheviks wanted to avoid any association with the SPD organ ''Vorwärts''.Heitman, Sidney. Germans from Russia in Colorado'. Fort Collins, Colo: Western Social S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Texts In Mathematics
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard size (with variable numbers of pages). The GTM series is easily identified by a white band at the top of the book. The books in this series tend to be written at a more advanced level than the similar Undergraduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. List of books #''Introduction to Axiomatic Set Theory'', Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ) #''Measure and Category – A Survey of the Analogies between Topological and Measure Spaces'', John C. Oxtoby (1980, 2nd ed., ) #''Topological Vector Spaces'', H. H. Schaefer, M. P. Wolff (1999, 2nd ed., ) #''A Course in Homological Algebra'', Peter Hilton, Urs Stammbac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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')\, f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fraction Field
In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements. The field of fractions of R is sometimes denoted by \operatorname(R) or \operatorname(R), and the construction is sometimes also called the fraction field, field of quotients, or quotient field of R. All four are in common usage, but are not to be confused with the quotient of a ring by an ideal, which is a quite different concept. For a commutative ring which is not an integral domain, the analogous construction is called the localization or ring of quotients. Definition Given an integral domain and letting R^* = R \setminus \, we define an equivalence relation on R \times R^* by letting (n,d) \sim (m,b) whenever nb = md. We denote the equivale ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generic Freeness
In algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf (mathematics), sheaf of module (mathematics), modules on a scheme (mathematics), scheme is flat morphism, flat or free module, free. They are due to Alexander Grothendieck. Generic flatness states that if ''Y'' is an integral locally noetherian scheme, is a finite type morphism of schemes, and ''F'' is a coherent ''O''''X''-module, then there is a non-empty open subset ''U'' of ''Y'' such that the restriction of ''F'' to ''u''−1(''U'') is flat over ''U''. Because ''Y'' is integral, ''U'' is a dense open subset of ''Y''. This can be applied to deduce a variant of generic flatness which is true when the base is not integral. Suppose that ''S'' is a noetherian scheme, is a finite type morphism, and ''F'' is a coherent ''O''''X'' module. Then there exists a partition of ''S'' into locally closed subsets ''S''1, ..., ''S''''n'' with the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nagata's Altitude Formula
In mathematics, dimension theory is the study in terms of commutative algebra of the notion dimension of an algebraic variety (and by extension that of a scheme). The need of a ''theory'' for such an apparently simple notion results from the existence of many definitions of the dimension that are equivalent only in the most regular cases (see Dimension of an algebraic variety). A large part of dimension theory consists in studying the conditions under which several dimensions are equal, and many important classes of commutative rings may be defined as the rings such that two dimensions are equal; for example, a regular ring is a commutative ring such that the homological dimension is equal to the Krull dimension. The theory is simpler for commutative rings that are finitely generated algebras over a field, which are also quotient rings of polynomial rings in a finite number of indeterminates over a field. In this case, which is the algebraic counterpart of the case of affine algebr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Catenary Ring
In mathematics, a commutative ring ''R'' is catenary if for any pair of prime ideals :''p'', ''q'', any two strictly increasing chains :''p''=''p''0 ⊂''p''1 ... ⊂''p''''n''= ''q'' of prime ideals are contained in maximal strictly increasing chains from ''p'' to ''q'' of the same (finite) length. In a geometric situation, in which the dimension of an algebraic variety attached to a prime ideal will decrease as the prime ideal becomes bigger, the length of such a chain ''n'' is usually the difference in dimensions. A ring is called universally catenary if all finitely generated algebras over it are catenary rings. The word 'catenary' is derived from the Latin word ''catena'', which means "chain". There is the following chain of inclusions. Dimension formula Suppose that ''A'' is a Noetherian domain and ''B'' is a domain containing ''A'' that is finitely generated over ''A''. If ''P'' is a prime ideal of ''B'' and ''p'' its intersection with ''A'', then :\text(P)\l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Incomparability Property (commutative Algebra)
In commutative algebra, a branch of mathematics, going up and going down are terms which refer to certain properties of chains of prime ideals in integral extensions. The phrase going up refers to the case when a chain can be extended by "upward inclusion", while going down refers to the case when a chain can be extended by "downward inclusion". The major results are the Cohen–Seidenberg theorems, which were proved by Irvin S. Cohen and Abraham Seidenberg. These are known as the going-up and going-down theorems. Going up and going down Let ''A'' ⊆ ''B'' be an extension of commutative rings. The going-up and going-down theorems give sufficient conditions for a chain of prime ideals in ''B'', each member of which lies over members of a longer chain of prime ideals in ''A'', to be able to be extended to the length of the chain of prime ideals in ''A''. Lying over and incomparability First, we fix some terminology. If \mathfrak and \mathfrak are prime ideals of '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dimension Theory (algebra)
In mathematics, dimension theory is the study in terms of commutative algebra of the notion dimension of an algebraic variety (and by extension that of a scheme). The need of a ''theory'' for such an apparently simple notion results from the existence of many definitions of the dimension that are equivalent only in the most regular cases (see Dimension of an algebraic variety). A large part of dimension theory consists in studying the conditions under which several dimensions are equal, and many important classes of commutative rings may be defined as the rings such that two dimensions are equal; for example, a regular ring is a commutative ring such that the homological dimension is equal to the Krull dimension. The theory is simpler for commutative rings that are finitely generated algebras over a field, which are also quotient rings of polynomial rings in a finite number of indeterminates over a field. In this case, which is the algebraic counterpart of the case of affine algebr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
