|
Primitive Ring
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. Definition A ring ''R'' is said to be a left primitive ring if it has a faithful simple left ''R''-module. A right primitive ring is defined similarly with right ''R''-modules. There are rings which are primitive on one side but not on the other. The first example was constructed by George M. Bergman in . Another example found by Jategaonkar showing the distinction can be found in . An internal characterization of left primitive rings is as follows: a ring is left primitive if and only if there is a maximal left ideal containing no nonzero two-sided ideals. The analogous definition for right primitive rings is also valid. The structure of left primitive rings is completely determined by the Jacobson density theorem: A ring is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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, alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Of Endomorphisms
In mathematics, the endomorphisms of an abelian group ''X'' form a ring. This ring is called the endomorphism ring of ''X'', denoted by End(''X''); the set of all homomorphisms of ''X'' into itself. Addition of endomorphisms arises naturally in a pointwise manner and multiplication via endomorphism composition. Using these operations, the set of endomorphisms of an abelian group forms a (unital) ring, with the zero map 0: x \mapsto 0 as additive identity and the identity map 1: x \mapsto x as multiplicative identity. The functions involved are restricted to what is defined as a homomorphism in the context, which depends upon the category of the object under consideration. The endomorphism ring consequently encodes several internal properties of the object. As the resulting object is often an algebra over some ring ''R,'' this may also be called the endomorphism algebra. An abelian group is the same thing as a module over the ring of integers, which is the initial object in the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Module
In algebra, given a module and a submodule, one can construct their quotient module. This construction, described below, is very similar to that of a quotient vector space. It differs from analogous quotient constructions of rings and groups by the fact that in these cases, the subspace that is used for defining the quotient is not of the same nature as the ambient space (that is, a quotient ring is the quotient of a ring by an ideal, not a subring, and a quotient group is the quotient of a group by a normal subgroup, not by a general subgroup). Given a module over a ring , and a submodule of , the quotient space is defined by the equivalence relation : a \sim b if and only if b - a \in B, for any in . The elements of are the equivalence classes = a+B = \. The function \pi: A \to A/B sending in to its equivalence class is called the ''quotient map'' or the ''projection map'', and is a module homomorphism. The addition operation on is defined for two equivalence cla ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morita Equivalence
In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. More precisely two rings like ''R'', ''S'' are Morita equivalent (denoted by R\approx S) if their categories of modules are additively equivalent (denoted by _M\approx_M). It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958. Motivation Rings are commonly studied in terms of their modules, as modules can be viewed as representations of rings. Every ring ''R'' has a natural ''R''-module structure on itself where the module action is defined as the multiplication in the ring, so the approach via modules is more general and gives useful information. Because of this, one often studies a ring by studying the category of modules over that ring. Morita equivalence takes this viewpoint to a natural conclusion by defining rings to be Morita equivalent if their module categories are equivalent. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative Ring
In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings. Definition and first examples Definition A ''ring'' is a set R equipped with two binary operations, i.e. operations combining any two elements of the ring to a third. They are called ''addition'' and ''multiplication'' and commonly denoted by "+" and "\cdot"; e.g. a+b and a \cdot b. To form a ring these two operations have to satisfy a number of properties: the ring has to be an abelian group under addition as well as a monoid under multiplication, where multiplication distributes over addition; i.e., a \cdot \left(b + c\right) = \left(a \cdot b\right) + \left(a \c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Matrix Ring
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 matrices with entries in ''R'' is a matrix ring denoted M''n''(''R'')Lang, ''Undergraduate algebra'', Springer, 2005; V.§3. (alternative notations: Mat''n''(''R'') and ). 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. When ''R'' is a commutative ring, the matrix ring M''n''(''R'') is an associative algebra over ''R'', and may be called a matrix algebra. In this setting, if ''M'' is a matrix and ''r'' is in ''R'', then the matrix ''rM'' is the matrix ''M'' with each of its entries multiplied by ''r''. Examples * The set of all matrices over ''R'', denoted M''n''(''R''). This is sometimes called the "full ring of ''n''-by-''n'' matrices". * The set of all upper triangular matrices over ''R''. * The set of a ... [...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. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simple Ring
In abstract algebra, a branch of mathematics, a simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself. In particular, a commutative ring is a simple ring if and only if it is a field. The center of a simple ring is necessarily a field. It follows that a simple ring is an associative algebra over this field. So, simple algebra and ''simple ring'' are synonyms. Several references (e.g., Lang (2002) or Bourbaki (2012)) require in addition that a simple ring be left or right Artinian (or equivalently semi-simple). Under such terminology a non-zero ring with no non-trivial two-sided ideals is called quasi-simple. Rings which are simple as rings but are not a simple module over themselves do exist: a full matrix ring over a field does not have any nontrivial ideals (since any ideal of M_n(R) is of the form M_n(I) with I an ideal of R), but has nontrivial left ideals (for example, the sets of matrices which have some fixed zero columns). Acc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artinian Ring
In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are named after Emil Artin, who first discovered that the descending chain condition for ideals simultaneously generalizes finite rings and rings that are finite-dimensional vector spaces over fields. The definition of Artinian rings may be restated by interchanging the descending chain condition with an equivalent notion: the minimum condition. Precisely, a ring is left Artinian if it satisfies the descending chain condition on left ideals, right Artinian if it satisfies the descending chain condition on right ideals, and Artinian or two-sided Artinian if it is both left and right Artinian. For commutative rings the left and right definitions coincide, but in general they are distinct from each other. The Artin–Wedderburn theorem char ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product Ring
In mathematics, a product of rings or direct product of rings is a ring that is formed by the Cartesian product of the underlying sets of several rings (possibly an infinity), equipped with componentwise operations. It is a direct product in the category of rings. Since direct products are defined up to an isomorphism, one says colloquially that a ring is the product of some rings if it is isomorphic to the direct product of these rings. For example, the Chinese remainder theorem may be stated as: if and are coprime integers, the quotient ring \Z/mn\Z is the product of \Z/m\Z and \Z/n\Z. Examples An important example is Z/''n''Z, the ring of integers modulo ''n''. If ''n'' is written as a product of prime powers (see Fundamental theorem of arithmetic), :n=p_1^ p_2^\cdots\ p_k^, where the ''pi'' are distinct primes, then Z/''n''Z is naturally isomorphic to the product :\mathbf/p_1^\mathbf \ \times \ \mathbf/p_2^\mathbf \ \times \ \cdots \ \times \ \mathbf/p_k^\ ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Length Of A Module
In abstract algebra, the length of a module is a generalization of the dimension of a vector space which measures its size. page 153 In particular, as in the case of vector spaces, the only modules of finite length are finitely generated modules. It is defined to be the length of the longest chain of submodules. Modules with ''finite'' length share many important properties with finite-dimensional vector spaces. Other concepts used to 'count' in ring and module theory are depth and height; these are both somewhat more subtle to define. Moreover, their use is more aligned with dimension theory whereas length is used to analyze finite modules. There are also various ideas of ''dimension'' that are useful. Finite length commutative rings play an essential role in functorial treatments of formal algebraic geometry and deformation theory where Artin rings are used extensively. Definition Length of a module Let M be a (left or right) module over some ring R. Given a chain of subm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
