Ideal Quotient
In abstract algebra, if ''I'' and ''J'' are ideals of a commutative ring ''R'', their ideal quotient (''I'' : ''J'') is the set :(I : J) = \ Then (''I'' : ''J'') is itself an ideal in ''R''. The ideal quotient is viewed as a quotient because KJ \subseteq I if and only if K \subseteq (I : J). The ideal quotient is useful for calculating primary decompositions. It also arises in the description of the set difference in algebraic geometry (see below). (''I'' : ''J'') is sometimes referred to as a colon ideal because of the notation. In the context of fractional ideals, there is a related notion of the inverse of a fractional ideal. Properties The ideal quotient satisfies the following properties: *(I :J)=\mathrm_R((J+I)/I) as R- modules, where \mathrm_R(M) denotes the annihilator of M as an R-module. *J \subseteq I \Leftrightarrow (I : J) = R (in particular, (I : I) = (R : I) = (I : 0) = R) *(I : R) = I *(I : (JK)) = ((I : J) : K) *(I : (J + K)) = (I : J) \cap (I : K) *((I \cap J ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quotient 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 R and a two-sided ideal I in , a new ring, the quotient ring , is constructed, whose elements are the cosets of I in R subject to special + and \cdot operations. (Quotient ring notation almost always uses a fraction slash ""; stacking the ring over the ideal using a horizontal line as a separator is uncommon and generally avoided.) 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 R and a two-sided ideal I in , we may define an e ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Intersection (set Theory)
In set theory, the intersection of two Set (mathematics), 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 n ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe became the first president while Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance over concerns about competing with the '' American Journal of Mathematics''. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influentia ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Plane Curve
In mathematics, a plane curve is a curve in a plane that may be a Euclidean plane, an affine plane or a projective plane. The most frequently studied cases are smooth plane curves (including piecewise smooth plane curves), and algebraic plane curves. Plane curves also include the Jordan curves (curves that enclose a region of the plane but need not be smooth) and the graphs of continuous functions. Symbolic representation A plane curve can often be represented in Cartesian coordinates by an implicit equation of the form f(x,y)=0 for some specific function ''f''. If this equation can be solved explicitly for ''y'' or ''x'' – that is, rewritten as y=g(x) or x=h(y) for specific function ''g'' or ''h'' – then this provides an alternative, explicit, form of the representation. A plane curve can also often be represented in Cartesian coordinates by a parametric equation of the form (x,y)=(x(t), y(t)) for specific functions x(t) and y(t). Plane curves can sometimes also be repr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bijection
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set. A function is bijective if it is invertible; that is, a function f:X\to Y is bijective if and only if there is a function g:Y\to X, the ''inverse'' of , such that each of the two ways for composing the two functions produces an identity function: g(f(x)) = x for each x in X and f(g(y)) = y for each y in Y. For example, the ''multiplication by two'' defines a bijection from the integers to the even numbers, which has the ''division by two'' as its inverse function. A function is bijective if and only if it is both injective (or ''one-to-one'')—meaning that each element in the codomain is mappe ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Number Theory
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and Algebraic function field, function fields. These properties, such as whether a ring (mathematics), ring admits unique factorization, the behavior of ideal (ring theory), ideals, and the Galois groups of field (mathematics), fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations. History Diophantus The beginnings of algebraic number theory can be traced to Diophantine equations, named after the 3rd-century Alexandrian mathematician, Diophantus, who studied them and developed methods for the solution of some kinds of Diophantine equations. A typical Diophantine problem is to find two in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Multiplicatively Closed Set
In abstract algebra, a multiplicatively closed set (or multiplicative set) is a subset ''S'' of a ring ''R'' such that the following two conditions hold: * 1 \in S, * xy \in S for all x, y \in S. In other words, ''S'' is closed under taking finite products, including the empty product 1.Eisenbud, p. 59. Equivalently, a multiplicative set is a submonoid of the multiplicative monoid of a ring. Multiplicative sets are important especially in commutative algebra, where they are used to build localizations of commutative rings. A subset ''S'' of a ring ''R'' is called saturated if it is closed under taking divisors: i.e., whenever a product ''xy'' is in ''S'', the elements ''x'' and ''y'' are in ''S'' too. Examples Examples of multiplicative sets include: * the set-theoretic complement of a prime ideal in a commutative ring; * the set , where ''x'' is an element of a ring; * the set of units of a ring; * the set of non-zero-divisors in a ring; * for an ideal ''I''; * the Jor ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Closure (topology)
In topology, the closure of a subset of points in a topological space consists of all points in together with all limit points of . The closure of may equivalently be defined as the union of and its boundary, and also as the intersection of all closed sets containing . Intuitively, the closure can be thought of as all the points that are either in or "very near" . A point which is in the closure of is a point of closure of . The notion of closure is in many ways dual to the notion of interior. Definitions Point of closure For S as a subset of a Euclidean space, x is a point of closure of S if every open ball centered at x contains a point of S (this point can be x itself). This definition generalizes to any subset S of a metric space X. Fully expressed, for X as a metric space with metric d, x is a point of closure of S if for every r > 0 there exists some s \in S such that the distance d(x, s) < r ( is allowed). Another way to expre ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Zariski Topology
In algebraic geometry and commutative algebra, the Zariski topology is a topology defined on geometric objects called varieties. It is very different from topologies that are commonly used in real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space. The Zariski topology allows tools from topology to be used to study algebraic varieties, even when the underlying field is not a topological field. This is one of the basic ideas of scheme theory, which allows one to build general algebraic varieties by gluing together affine varieties in a way similar to that in manifold theory, where manifolds are built by gluing together charts, which are open subsets of real affine spaces. The Zariski topology of an algebraic variety is the topology whose closed sets are the algebraic subsets of t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Radical Ideal
Radical (from Latin: ', root) may refer to: Politics and ideology Politics *Classical radicalism, the Radical Movement that began in late 18th century Britain and spread to continental Europe and Latin America in the 19th century *Radical politics, the political intent of fundamental societal change * Radical Party (other), several political parties *Radicals (UK), a British and Irish grouping in the early to mid-19th century *Radicalization *Politicians from the Radical Civic Union Ideologies * Radical chic, a term coined by Tom Wolfe to describe the pretentious adoption of radical causes *Radical feminism, a perspective within feminism that focuses on patriarchy * Radical Islam, or Islamic extremism * Radical Christianity * Radical veganism, a radical interpretation of veganism, usually combined with anarchism *Radical Reformation, an Anabaptist movement concurrent with the Protestant Reformation Science and mathematics Science *Radical (chemistry), an atom, molecule, o ... [...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]   |
|
Affine Variety
In algebraic geometry, an affine variety or affine algebraic variety is a certain kind of algebraic variety that can be described as a subset of an affine space. More formally, an affine algebraic set is the set of the common zeros over an algebraically closed field of some family of polynomials in the polynomial ring k _1, \ldots,x_n An affine variety is an affine algebraic set which is not the union of two smaller algebraic sets; algebraically, this means that (the radical of) the ideal generated by the defining polynomials is prime. One-dimensional affine varieties are called affine algebraic curves, while two-dimensional ones are affine algebraic surfaces. Some texts use the term ''variety'' for any algebraic set, and ''irreducible variety'' an algebraic set whose defining ideal is prime (affine variety in the above sense). In some contexts (see, for example, Hilbert's Nullstellensatz), it is useful to distinguish the field in which the coefficients are considered, from ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |