|
Goldman Ideal
In mathematics, a Goldman domain or G-domain is an integral domain ''A'' whose field of fractions is a finitely generated algebra over ''A''.Goldman domains/ideals are called G-domains/ideals in (Kaplansky 1974). They are named after Oscar Goldman. An overring (i.e., an intermediate ring lying between the ring and its field of fractions) of a Goldman domain is again a Goldman domain. There exists a Goldman domain where all nonzero prime ideals are maximal although there are infinitely many prime ideals.Kaplansky, p. 13 An ideal ''I'' in a commutative ring ''A'' is called a Goldman ideal if the quotient ''A''/''I'' is a Goldman domain. A Goldman ideal is thus prime, but not necessarily maximal. In fact, a commutative ring is a Jacobson ring if and only if every Goldman ideal in it is maximal. The notion of a Goldman ideal can be used to give a slightly sharpened characterization of a radical of an ideal: the radical of an ideal ''I'' is the intersection of all Goldman ideals ... [...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] |
Radical Of An Ideal
In ring theory, a branch of mathematics, the radical of an ideal I of a commutative ring is another ideal defined by the property that an element x is in the radical if and only if some power of x is in I. Taking the radical of an ideal is called ''radicalization''. A radical ideal (or semiprime ideal) is an ideal that is equal to its radical. The radical of a primary ideal is a prime ideal. This concept is generalized to non-commutative rings in the Semiprime ring article. Definition The radical of an ideal I in a commutative ring R, denoted by \operatorname(I) or \sqrt, is defined as :\sqrt = \left\, (note that I \subset \sqrt). Intuitively, \sqrt is obtained by taking all roots of elements of I within the ring R. Equivalently, \sqrt is the preimage of the ideal of nilpotent elements (the nilradical) of the quotient ring R/I (via the natural map \pi\colon R\to R/I). The latter proves that \sqrt is an ideal.Here is a direct proof that \sqrt is an ideal. Start with a,b\in\sqrt ... [...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 them coinci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noetherian Domain
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. That is, 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 such that: I_=I_=\cdots. Equivalently, a ring is left-Noetherian (resp. right-Noetherian) if every left ideal (resp. 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 Noetherian property (for example, the Laskerâ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Proof
A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in ''all'' possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for further mathematical work. Proofs employ logic expressed in mathematical symbols ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. 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 fields of rational functions, algebraic function fields, algebraic number fields, and ''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 elements. The relation of two fields is expressed by the notion of a field extension. Galois theory, initiated by Évariste Galois in the 1830s, is devoted to understanding the symmetries of field extensions. Among other results, thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Factor Ring
In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient group in group theory and to the quotient space in linear algebra. It is a specific example of a quotient, as viewed from the general setting of universal algebra. Starting with a ring and a two-sided ideal in , a new ring, the quotient ring , is constructed, whose elements are the cosets of in subject to special and operations. (Only the fraction slash "/" is used in quotient ring notation, not a horizontal fraction bar.) Quotient rings are distinct from the so-called "quotient field", or field of fractions, of an integral domain as well as from the more general "rings of quotients" obtained by localization. Formal quotient ring construction Given a ring and a two-sided ideal in , we may define an equivalence relation on as follows: : if and only if is in . Using the ideal properties, it is no ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilradical Of A Ring
In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements: :\mathfrak_R = \lbrace f \in R \mid f^m=0 \text m\in\mathbb_\rbrace. In the non-commutative ring case the same definition does not always work. This has resulted in several radicals generalizing the commutative case in distinct ways; see the article Radical of a ring for more on this. The nilradical of a Lie algebra is similarly defined for Lie algebras. Commutative rings The nilradical of a commutative ring is the set of all nilpotent elements in the ring, or equivalently the radical of the zero ideal. This is an ideal because the sum of any two nilpotent elements is nilpotent (by the binomial formula), and the product of any element with a nilpotent element is nilpotent (by commutativity). It can also be characterized as the intersection of all the prime ideals of the ring (in fact, it is the intersection of all minimal prime ideals). A ring is called reduced if it has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simple Extension
In field theory, a simple extension is a field extension which is generated by the adjunction of a single element. Simple extensions are well understood and can be completely classified. The primitive element theorem provides a characterization of the finite simple extensions. Definition A field extension is called a simple extension if there exists an element in ''L'' with :L = K(\theta). This means that every element of can be expressed as a rational fraction in , with coefficients in . There are two different sort of simple extensions. The element may be transcendental over , which means that it is not a root of any polynomial with coefficients in . In this case K(\theta) is isomorphic to the field of rational functions K(X). Otherwise, is algebraic over ; that is, is a root of a polynomial over . The monic polynomial F(X) of minimal degree , with as a root, is called the minimal polynomial of . Its degree equals the degree of the field extension, that is, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection (set Theory)
In set theory, the intersection of two sets A and B, denoted by A \cap B, is the set containing all elements of A that also belong to B or equivalently, all elements of B that also belong to A. Notation and terminology Intersection is written using the symbol "\cap" between the terms; that is, in infix notation. For example: \\cap\=\ \\cap\=\varnothing \Z\cap\N=\N \\cap\N=\ The intersection of more than two sets (generalized intersection) can be written as: \bigcap_^n A_i which is similar to capital-sigma notation. For an explanation of the symbols used in this article, refer to the table of mathematical symbols. Definition The intersection of two sets A and B, denoted by A \cap B, is the set of all objects that are members of both the sets A and B. In symbols: A \cap B = \. That is, x is an element of the intersection A \cap B if and only if x is both an element of A and an element of B. For example: * The intersection of the sets and is . * The number 9 is in t ... [...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] |
