|
Kasch Ring
In ring theory, a subfield of abstract algebra, a right Kasch ring is a ring ''R'' for which every simple right ''R'' module is isomorphic to a right ideal of ''R''. Analogously the notion of a left Kasch ring is defined, and the two properties are independent of each other. Kasch rings are named in honor of mathematician Friedrich Kasch. Kasch originally called Artinian rings whose proper ideals have nonzero annihilators ''S-rings''. The characterizations below show that Kasch rings generalize S-rings. Definition Equivalent definitions will be introduced only for the right-hand version, with the understanding that the left-hand analogues are also true. The Kasch conditions have a few equivalent statements using the concept of annihilators, and this article uses the same notation appearing in the annihilator article. In addition to the definition given in the introduction, the following properties are equivalent definitions for a ring ''R'' to be right Kasch. They appear in : # ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring Theory
In algebra, ring theory is the study of rings— algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings (group rings, division rings, universal enveloping algebras), as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological algebra, homological properties and Polynomial identity ring, polynomial identities. Commutative rings are much better understood than noncommutative ones. Algebraic geometry and algebraic number theory, which provide many natural examples of commutative rings, have driven much of the development of commutative ring theory, which is now, under the name of ''commutative algebra'', a major area of modern mathematics. Because these three fields (algebraic geometry, alge ... [...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). Accord ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Division Ring
In algebra, a division ring, also called a skew field, is a nontrivial ring in which division by nonzero elements is defined. Specifically, it is a nontrivial ring in which every nonzero element has a multiplicative inverse, that is, an element usually denoted , such that . So, (right) ''division'' may be defined as , but this notation is avoided, as one may have . A commutative division ring is a field. Wedderburn's little theorem asserts that all finite division rings are commutative and therefore finite fields. Historically, division rings were sometimes referred to as fields, while fields were called "commutative fields". In some languages, such as French, the word equivalent to "field" ("corps") is used for both commutative and noncommutative cases, and the distinction between the two cases is made by adding qualificatives such as "corps commutatif" (commutative field) or "corps gauche" (skew field). All division rings are simple. That is, they have no two-sided ideal besi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Domain (ring Theory)
In algebra, a domain is a nonzero ring in which implies or .Lam (2001), p. 3 (Sometimes such a ring is said to "have the zero-product property".) Equivalently, a domain is a ring in which 0 is the only left zero divisor (or equivalently, the only right zero divisor). A commutative domain is called an integral domain. Mathematical literature contains multiple variants of the definition of "domain".Some authors also consider the zero ring to be a domain: see Polcino M. & Sehgal (2002), p. 65. Some authors apply the term "domain" also to rngs with the zero-product property; such authors consider ''n''Z to be a domain for each positive integer ''n'': see Lanski (2005), p. 343. But integral domains are always required to be nonzero and to have a 1. Examples and non-examples * The ring Z/6Z is not a domain, because the images of 2 and 3 in this ring are nonzero elements with product 0. More generally, for a positive integer ''n'', the ring Z/''n''Z is a domain if and only i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Minimal Ideal
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 other words, minimal right ideals are minimal elements of the poset of nonzero right ideals of ''R'' ordered by inclusion. The reader is cautioned that outside of this context, some posets of ideals may admit the zero ideal, and so the zero ideal could potentially be a minimal element in that poset. This is the case for the poset of prime ideals of a ring, which may include the zero ideal as a minimal prime ideal. Definition The definition of a minimal right ideal ''N'' of a ring ''R'' is equivalent to the following conditions: *''N'' is nonzero and if ''K'' is a right ideal of ''R'' with , then either ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Socle (mathematics)
In mathematics, the term socle has several related meanings. Socle of a group In the context of group theory, the socle of a group ''G'', denoted soc(''G''), is the subgroup generated by the minimal normal subgroups of ''G''. It can happen that a group has no minimal non-trivial normal subgroup (that is, every non-trivial normal subgroup properly contains another such subgroup) and in that case the socle is defined to be the subgroup generated by the identity. The socle is a direct product of minimal normal subgroups. As an example, consider the cyclic group Z12 with generator ''u'', which has two minimal normal subgroups, one generated by ''u''4 (which gives a normal subgroup with 3 elements) and the other by ''u''6 (which gives a normal subgroup with 2 elements). Thus the socle of Z12 is the group generated by ''u''4 and ''u''6, which is just the group generated by ''u''2. The socle is a characteristic subgroup, and hence a normal subgroup. It is not necessarily transitively no ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Triangular Matrix Ring
In algebra, a triangular matrix ring, also called a triangular ring, is a ring constructed from two rings and a bimodule. Definition If T and U are rings and M is a \left(U,T\right)-bimodule, then the triangular matrix ring R:=\left beginT&0\\M&U\\\end\right/math> consists of 2-by-2 matrices of the form \left begint&0\\m&u\\\end\right/math>, where t\in T,m\in M, and u\in U, with ordinary matrix addition and matrix multiplication as its operations. References *{{Citation , last1=Auslander , first1=Maurice , last2=Reiten , first2=Idun , last3=Smalø , first3=Sverre O. , title=Representation theory of Artin algebras , origyear=1995 , url=https://books.google.com/books?isbn=0521599237 , publisher=Cambridge University Press Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing hou ... , ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Sum
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups A and B is another abelian group A\oplus B consisting of the ordered pairs (a,b) where a \in A and b \in B. To add ordered pairs, we define the sum (a, b) + (c, d) to be (a + c, b + d); in other words addition is defined coordinate-wise. For example, the direct sum \Reals \oplus \Reals , where \Reals is real coordinate space, is the Cartesian plane, \R ^2 . A similar process can be used to form the direct sum of two vector spaces or two modules. We can also form direct sums with any finite number of summands, for example A \oplus B \oplus C, provided A, B, and C are the same kinds of algebraic structures (e.g., all abelian groups, or all vector spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Product
In mathematics, one can often define a direct product of objects already known, giving a new one. This generalizes the Cartesian product of the underlying sets, together with a suitably defined structure on the product set. More abstractly, one talks about the product in category theory, which formalizes these notions. Examples are the product of sets, groups (described below), rings, and other algebraic structures. The product of topological spaces is another instance. There is also the direct sum – in some areas this is used interchangeably, while in others it is a different concept. Examples * If we think of \R as the set of real numbers, then the direct product \R \times \R is just the Cartesian product \. * If we think of \R as the group of real numbers under addition, then the direct product \R\times \R still has \ as its underlying set. The difference between this and the preceding example is that \R \times \R is now a group, and so we have to also say how to add their ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Local Ring
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. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal. The concept of local rings was introduced by Wolfgang Krull in 1938 under the name ''Stellenringe''. The English term ''local ring'' is due to Zariski. Definition and first consequences A ring ''R'' is a local ring if it has any one of the following equivalent properties: * ''R'' has a unique maximal left ideal. * ''R'' has a unique maximal right ideal. * 1 ≠ 0 and the sum of any two non-units in ''R'' is a non-unit. * 1 ≠ 0 and if ''x'' is any element of ''R ... [...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 and a two-sided ideal in , a new ring, the quotient ring , is constructed, whose elements are the cosets of in subject to special and operations. (Only the fraction slash "/" is used in quotient ring notation, not a horizontal fraction bar.) 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 and a two-sided ideal in , we may define an equivalence relation on as follows: : if and only if is in . Using the ideal properties, it is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |