|
Boolean Ring
In mathematics, a Boolean ring is a ring for which for all in , that is, a ring that consists of only idempotent elements. An example is the ring of integers modulo 2. Every Boolean ring gives rise to a Boolean algebra, with ring multiplication corresponding to conjunction or meet , and ring addition to exclusive disjunction or symmetric difference (not disjunction , which would constitute a semiring). Conversely, every Boolean algebra gives rise to a Boolean ring. Boolean rings are named after the founder of Boolean algebra, George Boole. Notation There are at least four different and incompatible systems of notation for Boolean rings and algebras: * In commutative algebra the standard notation is to use for the ring sum of and , and use for their product. * In logic, a common notation is to use for the meet (same as the ring product) and use for the join, given in terms of ring notation (given just above) by . * In set theory and logic it is also common to use f ... [...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] |
Associative Algebra
In mathematics, an associative algebra ''A'' over a commutative ring (often a field) ''K'' is a ring ''A'' together with a ring homomorphism from ''K'' into the center of ''A''. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication (the multiplication by the image of the ring homomorphism of an element of ''K''). The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a module or vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a commutative ring ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra for which the multiplication is commutative, or, equivalently, an associative algebra that is also a commutative ring. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a property of arithmetic, e.g. or , the property can also be used in more advanced settings. The name is needed because there are operations, such as division (mathematics), division and subtraction, that do not have it (for example, ); such operations are ''not'' commutative, and so are referred to as noncommutative operations. The idea that simple operations, such as the multiplication (mathematics), multiplication and addition of numbers, are commutative was for many centuries implicitly assumed. Thus, this property was not named until the 19th century, when new algebraic structures started to be studied. Definition A binary operation * on a Set (mathematics), set ''S'' is ''commutative'' if x * y = y * x for all x,y \in S. An operat ... [...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] |
Order Ideal
In mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion of a ring ideal of abstract algebra, it has subsequently been generalized to a different notion. Ideals are of great importance for many constructions in order and lattice theory. Definitions A subset of a partially ordered set (P, \leq) is an ideal, if the following conditions hold: # is non-empty, # for every ''x'' in and ''y'' in ''P'', implies that ''y'' is in ( is a lower set), # for every ''x'', ''y'' in , there is some element ''z'' in , such that and ( is a directed set). While this is the most general way to define an ideal for arbitrary posets, it was originally defined for lattices only. In this case, the following equivalent definition can be given: a subset of a lattice (P, \leq) is an ideal if and only if it is a lower set that is closed under finite joins ( suprema); that is, it is none ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Ideal
In mathematics, and more specifically in ring theory, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer (even or odd) results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group. Among the integers, the ideals correspond one-for-one with the non-negative integers: in this ring, every ideal is a principal ideal consisting of the multiples of a single non-negative number. However, in other rings, the ideals may not correspond directly to the ring elements, and certain properties of integers, when generalized to rings, attach more naturally to the ideals than to the elements ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Homomorphism
In mathematics, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function that preserves addition, multiplication and multiplicative identity; that is, : \begin f(a+b)&= f(a) + f(b),\\ f(ab) &= f(a)f(b), \\ f(1_R) &= 1_S, \end for all ''a'', ''b'' in ''R''. These conditions imply that additive inverses and the additive identity are also preserved. If, in addition, is a bijection, then its inverse −1 is also a ring homomorphism. In this case, is called a ring isomorphism, and the rings ''R'' and ''S'' are called ''isomorphic''. From the standpoint of ring theory, isomorphic rings have exactly the same properties. If ''R'' and ''S'' are s, then the corresponding notion is that of a homomorphism, defined as above except without the third condition ''f''(1''R'') = 1''S''. A homomorphism between (unital) rings need not be a ring homomorphism. The composition of two rin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stone's Representation Theorem For Boolean Algebras
In mathematics, Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to a certain field of sets. The theorem is fundamental to the deeper understanding of Boolean algebra that emerged in the first half of the 20th century. The theorem was first proved by Marshall H. Stone. Stone was led to it by his study of the spectral theory of operators on a Hilbert space. Stone spaces Each Boolean algebra ''B'' has an associated topological space, denoted here ''S''(''B''), called its Stone space. The points in ''S''(''B'') are the ultrafilters on ''B'', or equivalently the homomorphisms from ''B'' to the two-element Boolean algebra. The topology on ''S''(''B'') is generated by a basis consisting of all sets of the form \, where ''b'' is an element of ''B''. These sets are also closed and so are clopen (both closed and open). This is the topology of pointwise convergence of nets of homomorphisms into the two-element Boolean algebra. Fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field Of Sets
In mathematics, a field of sets is a mathematical structure consisting of a pair ( X, \mathcal ) consisting of a set X and a family \mathcal of subsets of X called an algebra over X that contains the empty set as an element, and is closed under the operations of taking complements in X, finite unions, and finite intersections. Fields of sets should not be confused with fields in ring theory nor with fields in physics. Similarly the term "algebra over X" is used in the sense of a Boolean algebra and should not be confused with algebras over fields or rings in ring theory. Fields of sets play an essential role in the representation theory of Boolean algebras. Every Boolean algebra can be represented as a field of sets. Definitions A field of sets is a pair ( X, \mathcal ) consisting of a set X and a family \mathcal of subsets of X, called an algebra over X, that has the following properties: : X \setminus F \in \mathcal \text F \in \mathcal. as an element: \varnothing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
