|
Zariski's Lemma
In algebra, Zariski's lemma, proved by , states that, if a field is finitely generated as an associative algebra over another field , then is a finite field extension of (that is, it is also finitely generated as a vector space). An important application of the lemma is a proof of the weak form of Hilbert's Nullstellensatz: if ''I'' is a proper ideal of k _1, ..., t_n/math> (''k'' an algebraically closed field), then ''I'' has a zero; i.e., there is a point ''x'' in k^n such that f(x) = 0 for all ''f'' in ''I''. (Proof: replacing ''I'' by a maximal ideal \mathfrak, we can assume I = \mathfrak is maximal. Let A = k _1, ..., t_n/math> and \phi: A \to A / \mathfrak be the natural surjection. By the lemma A / \mathfrak is a finite extension. Since ''k'' is algebraically closed that extension must be ''k''. Then for any f \in \mathfrak, :f(\phi(t_1), \cdots, \phi(t_n)) = \phi(f(t_1, \cdots, t_n)) = 0; that is to say, x = (\phi(t_1), \cdots, \phi(t_n)) is a zero of \mathfrak.) The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic operations other than the standard arithmetic operations, such as addition and multiplication. Elementary algebra is the main form of algebra taught in schools. It examines mathematical statements using variables for unspecified values and seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. Linear algebra is a closely related field that investigates linear equations and combinations of them called '' systems of linear equations''. It provides methods to find the values that solve all equations in the system at the same time, and to study the set of these solutions. Abstract algebra studies algebraic structures, which consist of a set of mathemati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobson Ring
In algebra, a Hilbert ring or a Jacobson ring is a ring such that every prime ideal is an intersection of primitive ideals. For commutative rings primitive ideals are the same as maximal ideals so in this case a Jacobson ring is one in which every prime ideal is an intersection of maximal ideals. Jacobson rings were introduced independently by , who named them after Nathan Jacobson because of their relation to Jacobson radicals, and by , who named them Hilbert rings after David Hilbert because of their relation to Hilbert's Nullstellensatz. Jacobson rings and the Nullstellensatz Hilbert's Nullstellensatz of algebraic geometry is a special case of the statement that the polynomial ring in finitely many variables over a field is a Hilbert ring. A general form of the Nullstellensatz states that if ''R'' is a Jacobson ring, then so is any finitely generated ''R''-algebra ''S''. Moreover, the pullback of any maximal ideal ''J'' of ''S'' is a maximal ideal ''I'' of ''R'', and ''S/J'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulletin Of The American Mathematical Society
The ''Bulletin of the American Mathematical Society'' is a quarterly mathematical journal published by the American Mathematical Society. Scope It publishes surveys on contemporary research topics, written at a level accessible to non-experts. It also publishes, by invitation only, book reviews and short ''Mathematical Perspectives'' articles. History It began as the ''Bulletin of the New York Mathematical Society'' and underwent a name change when the society became national. The Bulletin's function has changed over the years; its original function was to serve as a research journal for its members. Indexing The Bulletin is indexed in Mathematical Reviews, Science Citation Index, ISI Alerting Services, CompuMath Citation Index, and Current Contents/Physical, Chemical & Earth Sciences. See also *'' Journal of the American Mathematical Society'' *'' Memoirs of the American Mathematical Society'' *'' Notices of the American Mathematical Society'' *'' Proceedings of the Ame ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Addison–Wesley
Addison–Wesley is an American publisher of textbooks and computer literature. It is an imprint of Pearson plc, a global publishing and education company. In addition to publishing books, Addison–Wesley also distributes its technical titles through the O'Reilly Online Learning e-reference service. Addison–Wesley's majority of sales derive from the United States (55%) and Europe (22%). The Addison–Wesley Professional Imprint produces content including books, eBooks, and video for the professional IT worker including developers, programmers, managers, system administrators. Classic titles include ''The Art of Computer Programming'', '' The C++ Programming Language'', ''The Mythical Man-Month'', and ''Design Patterns''. History Lew Addison Cummings and Melbourne Wesley Cummings founded Addison–Wesley in 1942, with the first book published by Addison–Wesley being Massachusetts Institute of Technology professor Francis Weston Sears' ''Mechanics''. Its first computer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacobson Radical
In mathematics, more specifically ring theory, the Jacobson radical of a ring R is the ideal consisting of those elements in R that annihilate all simple right R- modules. It happens that substituting "left" in place of "right" in the definition yields the same ideal, and so the notion is left–right symmetric. The Jacobson radical of a ring is frequently denoted by J(R) or \operatorname(R); the former notation will be preferred in this article to avoid confusion with other radicals of a ring. The Jacobson radical is named after Nathan Jacobson, who was the first to study it for arbitrary rings in . The Jacobson radical of a ring has numerous internal characterizations, including a few definitions that successfully extend the notion to non-unital rings. The radical of a module extends the definition of the Jacobson radical to include modules. The Jacobson radical plays a prominent role in many ring- and module-theoretic results, such as Nakayama's lemma. Definitions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Ring Extension
In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over a subring ''A'' of ''B'' if ''b'' is a root of some monic polynomial over ''A''. If ''A'', ''B'' are fields, then the notions of "integral over" and of an "integral extension" are precisely " algebraic over" and "algebraic extensions" in field theory (since the root of any polynomial is the root of a monic polynomial). The case of greatest interest in number theory is that of complex numbers integral over Z (e.g., \sqrt or 1+i); in this context, the integral elements are usually called algebraic integers. The algebraic integers in a finite extension field ''k'' of the rationals Q form a subring of ''k'', called the ring of integers of ''k'', a central object of study in algebraic number theory. In this article, the term ''ring'' will be understood to mean ''commutative ring'' with a multiplicative identity. Definition Let B be a ring and let A \subset B be a subring of B. An element ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finitely Generated Module
In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring ''R'' may also be called a finite ''R''-module, finite over ''R'', or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide. A finitely generated module over a field is simply a finite-dimensional vector space, and a finitely generated module over the integers is simply a finitely generated abelian group. Definition The left ''R''-module ''M'' is finitely generated if there exist ''a''1, ''a''2, ..., ''a''''n'' in ''M'' such that for any ''x'' in ''M'', there exist ''r''1, ''r''2, ..., ''r''''n'' in ''R'' with ''x'' = ''r''1''a''1 + ''r''2''a''2 + ... + ''r''''n''''a''''n''. The set is referred to as a gene ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noether 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 exist elements y_1,y_2,\ldots,y_d in A that are algebraically independent over k and such that A is a finitely generated module over the polynomial ring S=k _1,y_2,\ldots,y_d/math>. The integer d is equal to the Krull dimension of the ring A; and if 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 the coordinate ring of an affine variety ''X'', and consider ''S'' as the coordinate ring of a ''d''-dimensional affine space \mathbb A^d_k. Then the inclusion map S\hookrightarrow A induces a surjective finite morphism of affine varieties X\to \mathbb A^d_k: that is, any affine variety is a branched covering of affine space. When ''k'' is infinite, such a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maximal Ideal
In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals contained between ''I'' and ''R''. Maximal ideals are important because the quotients of rings by maximal ideals are simple rings, and in the special case of unital commutative rings they are also fields. The set of maximal ideals of a unital commutative ring ''R'', typically equipped with the Zariski topology, is known as the maximal spectrum of ''R'' and is variously denoted m-Spec ''R'', Specm ''R'', MaxSpec ''R'', or Spm ''R''. In noncommutative ring theory, a maximal right ideal is defined analogously as being a maximal element in the poset of proper right ideals, and similarly, a maximal left ideal is defined to be a maximal element of the poset of proper left ideals. Since a one-sided maximal ideal ''A'' is not necessarily ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraically Closed Field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in . In other words, a field is algebraically closed if the fundamental theorem of algebra holds for it. Every field K is contained in an algebraically closed field C, and the roots in C of the polynomials with coefficients in K form an algebraically closed field called an algebraic closure of K. Given two algebraic closures of K there are isomorphisms between them that fix the elements of K. Algebraically closed fields appear in the following chain of class inclusions: Examples As an example, the field of real numbers is not algebraically closed, because the polynomial equation x^2+1=0 has no solution in real numbers, even though all its coefficients (1 and 0) are real. The same argument proves that no subfield of the real field is algebraically closed; in particular, the field of rational numbers is not algebraically cl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
