In ring theory, a branch of abstract algebra, 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 an integer 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.
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. 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.
In mathematics, more specifically in the area of abstract algebra known as ring theory, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; that is, given any increasing sequence of left ideals:
In mathematics, more specifically ring theory, the Jacobson radical of a ring is the ideal consisting of those elements in that annihilate all simple right -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 or ; the former notation will be preferred in this article, because it avoids 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.
In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules.
Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.
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.
In mathematics, the annihilator of a subset S of a module over a ring is the ideal formed by the elements of the ring that give always zero when multiplied by an element of S.
In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers. Specifically, if Q is a submodule of some other module, then it is already a direct summand of that module; also, given a submodule of a module Y, then any module homomorphism from this submodule to Q can be extended to a homomorphism from all of Y to Q. This concept is dual to that of projective modules. Injective modules were introduced in and are discussed in some detail in the textbook.
In the branch of abstract algebra known as ring theory, a left primitive ring is a ring which has a faithful simple left module. Well known examples include endomorphism rings of vector spaces and Weyl algebras over fields of characteristic zero.
In abstract algebra, a matrix ring is a set of matrices with entries in a ring R that form a ring under matrix addition and matrix multiplication. The set of all n × n matrices with entries in R is a matrix ring denoted Mn(R). Some sets of infinite matrices form infinite matrix rings. Any subring of a matrix ring is a matrix ring. Over a rng, one can form matrix rngs.
In mathematics, especially in the area of abstract algebra known as module theory, a ring R is called hereditary if all submodules of projective modules over R are again projective. If this is required only for finitely generated submodules, it is called semihereditary.
In ring theory, a branch of mathematics, semiprime ideals and semiprime rings are generalizations of prime ideals and prime rings. In commutative algebra, semiprime ideals are also called radical ideals and semiprime rings are the same as reduced rings.
In abstract algebra, an associated prime of a module M over a ring R is a type of prime ideal of R that arises as an annihilator of a (prime) submodule of M. The set of associated primes is usually denoted by and sometimes called the assassin or assassinator of M.
In mathematics, especially ring theory, the class of Frobenius rings and their generalizations are the extension of work done on Frobenius algebras. Perhaps the most important generalization is that of quasi-Frobenius rings, which are in turn generalized by right pseudo-Frobenius rings and right finitely pseudo-Frobenius rings. Other diverse generalizations of quasi-Frobenius rings include QF-1, QF-2 and QF-3 rings.
In the branches of abstract algebra known as ring theory and module theory, each right R-module M has a singular submodule consisting of elements whose annihilators are essential right ideals in R. In set notation it is usually denoted as . For general rings, is a good generalization of the torsion submodule tors(M) which is most often defined for domains. In the case that R is a commutative domain, .
In abstract algebra, specifically in module theory, a dense submodule of a module is a refinement of the notion of an essential submodule. If N is a dense submodule of M, it may alternatively be said that "N ⊆ M is a rational extension". Dense submodules are connected with rings of quotients in noncommutative ring theory. Most of the results appearing here were first established in, and.
In the branch of abstract algebra called ring theory, the double centralizer theorem can refer to any one of several similar results. These results concern the centralizer of a subring S of a ring R, denoted CR(S) in this article. It is always the case that CR(CR ) contains S, and a double centralizer theorem gives conditions on R and S that guarantee that CR(CR ) is equal to S.
In the branch of abstract algebra known as ring theory, a minimal right ideal of a ring R is a nonzero right ideal which contains no other nonzero right ideal. Likewise, a minimal left ideal is a nonzero left ideal of R containing no other nonzero left ideals of R, and a minimal ideal of R is a nonzero ideal containing no other nonzero two-sided ideal of R.
In abstract algebra, the Eakin–Nagata theorem states: given commutative rings such that is finitely generated as a module over , if is a Noetherian ring, then is a Noetherian ring.
