|
Subring
In mathematics, a subring of a ring is a subset of that is itself a ring when binary operations of addition and multiplication on ''R'' are restricted to the subset, and that shares the same multiplicative identity as .In general, not all subsets of a ring are rings. Definition A subring of a ring is a subset of that preserves the structure of the ring, i.e. a ring with . Equivalently, it is both a subgroup of and a submonoid of . Equivalently, is a subring if and only if it contains the multiplicative identity of , and is closed under multiplication and subtraction. This is sometimes known as the ''subring test''. Variations Some mathematicians define rings without requiring the existence of a multiplicative identity (see '). In this case, a subring of is a subset of that is a ring for the operations of (this does imply it contains the additive identity of ). This alternate definition gives a strictly weaker condition, even for rings that do have a mult ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring (mathematics)
In mathematics, a ring is an algebraic structure consisting of a set with two binary operations called ''addition'' and ''multiplication'', which obey the same basic laws as addition and multiplication of integers, except that multiplication in a ring does not need to be commutative. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. A ''ring'' may be defined as a set that is endowed with two binary operations called ''addition'' and ''multiplication'' such that the ring is an abelian group with respect to the addition operator, and the multiplication operator is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors apply the term ''ring'' to a further generalization, often called a '' rng'', that omits the requirement for a multiplicative identity, and instead call the structure defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral 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 el ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ideal (ring Theory)
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 elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integers
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative integers. The set (mathematics), set of all integers is often denoted by the boldface or blackboard bold The set of natural numbers \mathbb is a subset of \mathbb, which in turn is a subset of the set of all rational numbers \mathbb, itself a subset of the real numbers \mathbb. Like the set of natural numbers, the set of integers \mathbb is Countable set, countably infinite. An integer may be regarded as a real number that can be written without a fraction, fractional component. For example, 21, 4, 0, and −2048 are integers, while 9.75, , 5/4, and Square root of 2, are not. The integers form the smallest Group (mathematics), group and the smallest ring (mathematics), ring containing the natural numbers. In algebraic number theory, the ... [...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] |
Ring Isomorphism
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] |
Center Of A Ring
In algebra, the center of a ring ''R'' is the subring consisting of the elements ''x'' such that for all elements ''y'' in ''R''. It is a commutative ring and is denoted as Z(''R''); 'Z' stands for the German word ''Zentrum'', meaning "center". If ''R'' is a ring, then ''R'' is an associative algebra over its center. Conversely, if ''R'' is an associative algebra over a commutative subring ''S'', then ''S'' is a subring of the center of ''R'', and if ''S'' happens to be the center of ''R'', then the algebra ''R'' is called a central algebra. Examples * The center of a commutative ring ''R'' is ''R'' itself. * The center of a skew-field is a field. * The center of the (full) matrix ring with entries in a commutative ring ''R'' consists of ''R''-scalar multiples of the identity matrix. * Let ''F'' be a field extension of a field ''k'', and ''R'' an algebra over ''k''. Then . * The center of the universal enveloping algebra of a Lie algebra plays an important role in the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic (algebra)
In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest positive number of copies of the ring's multiplicative identity () that will sum to the additive identity (). If no such number exists, the ring is said to have characteristic zero. That is, is the smallest positive number such that: : \underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent of the ring's additive group, that is, the smallest positive integer such that: : \underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). This definition applies in the more general class of rngs (see '); for (unital) rings the two definitions are equivalent due to their distributive law. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field Extension
In mathematics, particularly in algebra, a field extension is a pair of fields K \subseteq L, such that the operations of ''K'' are those of ''L'' restricted to ''K''. In this case, ''L'' is an extension field of ''K'' and ''K'' is a subfield of ''L''. For example, under the usual notions of addition and multiplication, the complex numbers are an extension field of the real numbers; the real numbers are a subfield of the complex numbers. Field extensions are fundamental in algebraic number theory, and in the study of polynomial roots through Galois theory, and are widely used in algebraic geometry. Subfield A subfield K of a field L is a subset K\subseteq L that is a field with respect to the field operations inherited from L. Equivalently, a subfield is a subset that contains the multiplicative identity 1, and is closed under the operations of addition, subtraction, multiplication, and taking the inverse of a nonzero element of K. As , the latter definition implies K and L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Of Integers
In mathematics, the ring of integers of an algebraic number field K is the ring of all algebraic integers contained in K. An algebraic integer is a root of a monic polynomial with integer coefficients: x^n+c_x^+\cdots+c_0. This ring is often denoted by O_K or \mathcal O_K. Since any integer belongs to K and is an integral element of K, the ring \mathbb is always a subring of O_K. The ring of integers \mathbb is the simplest possible ring of integers. Namely, \mathbb=O_ where \mathbb is the field of rational numbers. And indeed, in algebraic number theory the elements of \mathbb are often called the "rational integers" because of this. The next simplest example is the ring of Gaussian integers \mathbb /math>, consisting of complex numbers whose real and imaginary parts are integers. It is the ring of integers in the number field \mathbb(i) of Gaussian rationals, consisting of complex numbers whose real and imaginary parts are rational numbers. Like the rational integers, \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial Ring
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring formed from the set of polynomials in one or more indeterminates (traditionally also called variables) with coefficients in another ring, often a field. Often, the term "polynomial ring" refers implicitly to the special case of a polynomial ring in one indeterminate over a field. The importance of such polynomial rings relies on the high number of properties that they have in common with the ring of the integers. Polynomial rings occur and are often fundamental in many parts of mathematics such as number theory, commutative algebra, and algebraic geometry. In ring theory, many classes of rings, such as unique factorization domains, regular rings, group rings, rings of formal power series, Ore polynomials, graded rings, have been introduced for generalizing some properties of polynomial rings. A closely related notion is that of the ring of polynomial functions on a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gaussian Integers
In number theory, a Gaussian integer is a complex number whose real and imaginary parts are both integers. The Gaussian integers, with ordinary addition and multiplication of complex numbers, form an integral domain, usually written as \mathbf /math> or \Z Gaussian integers share many properties with integers: they form a Euclidean domain, and thus have a Euclidean division and a Euclidean algorithm; this implies unique factorization and many related properties. However, Gaussian integers do not have a total order that respects arithmetic. Gaussian integers are algebraic integers and form the simplest ring of quadratic integers. Gaussian integers are named after the German mathematician Carl Friedrich Gauss. Basic definitions The Gaussian integers are the set :\mathbf \, \qquad \text i^2 = -1. In other words, a Gaussian integer is a complex number such that its real and imaginary parts are both integers. Since the Gaussian integers are closed under addition and multipli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
