HOME
*





Singular Submodule
In the branches of abstract algebra known as ring theory and module theory, each right (resp. left) ''R''-module ''M'' has a singular submodule consisting of elements whose annihilators are essential right (resp. left) ideals in ''R''. In set notation it is usually denoted as \mathcal(M)=\\,. For general rings, \mathcal(M) 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, \operatorname(M) = \mathcal(M). If ''R'' is any ring, \mathcal(R_R) is defined considering ''R'' as a right module, and in this case \mathcal(R_R) is a two-sided ideal of ''R'' called the right singular ideal of ''R''. The left handed analogue \mathcal(_R R) is defined similarly. It is possible for \mathcal(R_R) \neq \mathcal(_R R). Definitions Here are several definitions used when studying singular submodules and singular ideals. In the following, ''M'' is an ''R''-module: *''M'' is called a singular modul ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. Algebraic structures, with their associated homomorphisms, form mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures. Universal algebra is a related subject that studies types of algebraic structures as single objects. For example, the structure of groups is a single object in universal algebra, which is called the ''variety of groups''. History Before the nineteenth century, algebra meant ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Free Module
In mathematics, a free module is a module that has a basis – that is, a generating set consisting of linearly independent elements. Every vector space is a free module, but, if the ring of the coefficients is not a division ring (not a field in the commutative case), then there exist non-free modules. Given any set and ring , there is a free -module with basis , which is called the ''free module on'' or ''module of formal'' -''linear combinations'' of the elements of . A free abelian group is precisely a free module over the ring of integers. Definition For a ring R and an R-module M, the set E\subseteq M is a basis for M if: * E is a generating set for M; that is to say, every element of M is a finite sum of elements of E multiplied by coefficients in R; and * E is linearly independent, that is, for every subset \ of distinct elements of E, r_1 e_1 + r_2 e_2 + \cdots + r_n e_n = 0_M implies that r_1 = r_2 = \cdots = r_n = 0_R (where 0_M is the zero element of M and 0_R is t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Semiprimitive Ring
In algebra, a semiprimitive ring or Jacobson semisimple ring or J-semisimple ring is a ring whose Jacobson radical is zero. This is a type of ring more general than a semisimple ring, but where simple modules still provide enough information about the ring. Rings such as the ring of integers are semiprimitive, and an artinian semiprimitive ring is just a semisimple ring. Semiprimitive rings can be understood as subdirect products of primitive rings, which are described by the Jacobson density theorem. Definition A ring is called semiprimitive or Jacobson semisimple if its Jacobson radical is the zero ideal. A ring is semiprimitive if and only if it has a faithful semisimple left module. The semiprimitive property is left-right symmetric, and so a ring is semiprimitive if and only if it has a faithful semisimple right module. A ring is semiprimitive if and only if it is a subdirect product of left primitive rings. A commutative ring is semiprimitive if and only if it is a su ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Injective Hull
In mathematics, particularly in algebra, the injective hull (or injective envelope) of a module is both the smallest injective module containing it and the largest essential extension of it. Injective hulls were first described in . Definition A module ''E'' is called the injective hull of a module ''M'', if ''E'' is an essential extension of ''M'', and ''E'' is injective. Here, the base ring is a ring with unity, though possibly non-commutative. Examples * An injective module is its own injective hull. * The injective hull of an integral domain is its field of fractions . * The injective hull of a cyclic ''p''-group (as Z-module) is a Prüfer group . * The injective hull of ''R''/rad(''R'') is Hom''k''(''R'',''k''), where ''R'' is a finite-dimensional ''k''-algebra with Jacobson radical rad(''R'') . * A simple module is necessarily the socle of its injective hull. * The injective hull of the residue field of a discrete valuation ring (R,\mathfrak,k) where \mathfrak = x\cdot ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Rickart Ring
In abstract algebra and functional analysis, Baer rings, Baer *-rings, Rickart rings, Rickart *-rings, and AW*-algebras are various attempts to give an algebraic analogue of von Neumann algebras, using axioms about annihilators of various sets. Any von Neumann algebra is a Baer *-ring, and much of the theory of projections in von Neumann algebras can be extended to all Baer *-rings, For example, Baer *-rings can be divided into types I, II, and III in the same way as von Neumann algebras. In the literature, left Rickart rings have also been termed left PP-rings. ("Principal implies projective": See definitions below.) Definitions *An idempotent element of a ring is an element ''e'' which has the property that ''e''2 = ''e''. *The left annihilator of a set X \subseteq R is \ *A (left) Rickart ring is a ring satisfying any of the following conditions: # the left annihilator of any single element of ''R'' is generated (as a left ideal) by an idempotent element. # (For unital ring ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Baer Ring
In abstract algebra and functional analysis, Baer rings, Baer *-rings, Rickart rings, Rickart *-rings, and AW*-algebras are various attempts to give an algebraic analogue of von Neumann algebras, using axioms about annihilators of various sets. Any von Neumann algebra is a Baer *-ring, and much of the theory of projections in von Neumann algebras can be extended to all Baer *-rings, For example, Baer *-rings can be divided into types I, II, and III in the same way as von Neumann algebras. In the literature, left Rickart rings have also been termed left PP-rings. ("Principal implies projective": See definitions below.) Definitions *An idempotent element of a ring is an element ''e'' which has the property that ''e''2 = ''e''. *The left annihilator of a set X \subseteq R is \ *A (left) Rickart ring is a ring satisfying any of the following conditions: # the left annihilator of any single element of ''R'' is generated (as a left ideal) by an idempotent element. # (For unital ring ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Semisimple Ring
In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient. The structure of Artinian semisimple rings is well understood by the Artin–Wedderburn theorem, which exhibits these rings as finite direct products of matrix rings. For a group-theory analog of the same notion, see ''Semisimple representation''. Definition A module over a (not necessarily commutative) ring is said to be semisimple (or completely reducible) if it is the direct sum of simple (irreducible) submodules. For a module ''M'', the following are equivalent: # ''M'' is semisimple; i.e., a dir ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Von Neumann Regular Ring
In mathematics, a von Neumann regular ring is a ring ''R'' (associative, with 1, not necessarily commutative) such that for every element ''a'' in ''R'' there exists an ''x'' in ''R'' with . One may think of ''x'' as a "weak inverse" of the element ''a;'' in general ''x'' is not uniquely determined by ''a''. Von Neumann regular rings are also called absolutely flat rings, because these rings are characterized by the fact that every left ''R''-module is flat. Von Neumann regular rings were introduced by under the name of "regular rings", in the course of his study of von Neumann algebras and continuous geometry. Von Neumann regular rings should not be confused with the unrelated regular rings and regular local rings of commutative algebra. An element ''a'' of a ring is called a von Neumann regular element if there exists an ''x'' such that .Kaplansky (1972) p.110 An ideal \mathfrak is called a (von Neumann) regular ideal if for every element ''a'' in \mathfrak there exists an ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Hereditary Ring
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. For a noncommutative ring ''R'', the terms left hereditary and left semihereditary and their right hand versions are used to distinguish the property on a single side of the ring. To be left (semi-)hereditary, all (finitely generated) submodules of projective ''left'' ''R''-modules must be projective, and similarly to be right (semi-)hereditary all (finitely generated) submodules of projective ''right'' ''R''-modules must be projective. It is possible for a ring to be left (semi-)hereditary but not right (semi-)hereditary and vice versa. Equivalent definitions * The ring ''R'' is left (semi-)hereditary if and only if all ( finitely generated) left ideals of ''R'' are projective modules. * The ring ''R'' is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Reduced Ring
In ring theory, a branch of mathematics, a ring is called a reduced ring if it has no non-zero nilpotent elements. Equivalently, a ring is reduced if it has no non-zero elements with square zero, that is, ''x''2 = 0 implies ''x'' = 0. A commutative algebra over a commutative ring is called a reduced algebra if its underlying ring is reduced. The nilpotent elements of a commutative ring ''R'' form an ideal of ''R'', called the nilradical of ''R''; therefore a commutative ring is reduced if and only if its nilradical is zero. Moreover, a commutative ring is reduced if and only if the only element contained in all prime ideals is zero. A quotient ring ''R/I'' is reduced if and only if ''I'' is a radical ideal. Let ''D'' be the set of all zero-divisors in a reduced ring ''R''. Then ''D'' is the union of all minimal prime ideals. Over a Noetherian ring ''R'', we say a finitely generated module ''M'' has locally constant rank if \mathfrak \mapsto \operatorname_ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Jacobson Radical
In mathematics, more specifically ring theory, the Jacobson radical of a ring R is the ideal consisting of those elements in R that annihilate all simple right R-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 J(R) or \operatorname(R); 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 . The Jacobson radical of a ring has numerous internal characterizations, including a few definitions that successfully extend the notion to rings without unity. The radical of a module extends the definition of the Jacobson radical to include modules. The Jacobson radical plays a prominent role in many ring and module theoretic results, such as Nakayama's lemma. Definitio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Injective Module
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 . Injective modules have been heavily studied, and a variety of additional notions are defined in terms of them: Injective cogenerators are injective modules that faithfully represent the entire category of modules. Injective resolutions measure how far from injective a module is in terms of the injective dimension and represent modules in the derived category. Injectiv ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]