|
Regular Ideal
In mathematics, especially ring theory, a regular ideal can refer to multiple concepts. In operator theory, a right ideal \mathfrak in a (possibly) non-unital ring ''A'' is said to be regular (or modular) if there exists an element ''e'' in ''A'' such that ex - x \in \mathfrak for every x \in A. In commutative algebra a regular ideal refers to an ideal containing a non-zero divisor. This article will use "regular element ideal" to help distinguish this type of ideal. A two-sided ideal \mathfrak of a ring ''R'' can also be called a (von Neumann) regular ideal if for each element ''x'' of \mathfrak there exists a ''y'' in \mathfrak such that ''xyx''=''x''. Finally, regular ideal has been used to refer to an ideal ''J'' of a ring ''R'' such that the quotient ring ''R''/''J'' is von Neumann regular ring.Burton, D.M. (1970) ''A first course in rings and ideals.'' Addison-Wesley. Reading, Massachusetts . This article will use "quotient von Neumann regular" to refer to this type of reg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Domain
In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element ''a'' has the cancellation property, that is, if , an equality implies . "Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity. Noncommutative integral domains are sometimes admitted. This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using "domain" for the general case including noncommutative rings. Some sources, notably Lang, use the term ... [...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] |
Semilocal Ring
In mathematics, a semi-local ring is a ring for which ''R''/J(''R'') is a semisimple ring, where J(''R'') is the Jacobson radical of ''R''. The above definition is satisfied if ''R'' has a finite number of maximal right ideals (and finite number of maximal left ideals). When ''R'' is a commutative ring, the converse implication is also true, and so the definition of semi-local for commutative rings is often taken to be "having finitely many maximal ideals". Some literature refers to a commutative semi-local ring in general as a ''quasi-semi-local ring'', using semi-local ring to refer to a Noetherian ring with finitely many maximal ideals. A semi-local ring is thus more general than a local ring, which has only one maximal (right/left/two-sided) ideal. Examples * Any right or left Artinian ring, any serial ring, and any semiperfect ring is semi-local. * The quotient \mathbb/m\mathbb is a semi-local ring. In particular, if m is a prime power, then \mathbb/m\mathbb is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isomorphism Theorems
In mathematics, specifically abstract algebra, the isomorphism theorems (also known as Noether's isomorphism theorems) are theorems that describe the relationship between quotients, homomorphisms, and subobjects. Versions of the theorems exist for groups, rings, vector spaces, modules, Lie algebras, and various other algebraic structures. In universal algebra, the isomorphism theorems can be generalized to the context of algebras and congruences. History The isomorphism theorems were formulated in some generality for homomorphisms of modules by Emmy Noether in her paper ''Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern'', which was published in 1927 in Mathematische Annalen. Less general versions of these theorems can be found in work of Richard Dedekind and previous papers by Noether. Three years later, B.L. van der Waerden published his influential ''Moderne Algebra'' the first abstract algebra textbook that took the groups- rings- fields ... [...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 ... [...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). A ... [...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 b ... [...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 elemen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Invertible
In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers. Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that is a right inverse of . (An identity element is an element such that and for all and for which the left-hand sides are defined.) When the operation is associative, if an element has both a left inverse and a right inverse, then these two inverses are equal and unique; they are called the ''inverse element'' or simply the ''inverse''. Often an adjective is added for specifying the operation, such as in additive inverse, multiplicative inverse, and functional inverse. In this case (associative operation), an invertible element is an element that has an inverse. Inverses are commonly used in groupswhere every element is invertible, and ringswhere invertible elements are also called units. They are also commonly used for operations th ... [...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] |
Nilpotent Element
In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0. The term was introduced by Benjamin Peirce in the context of his work on the classification of algebras. Examples *This definition can be applied in particular to square matrices. The matrix :: A = \begin 0 & 1 & 0\\ 0 & 0 & 1\\ 0 & 0 & 0 \end :is nilpotent because A^3=0. See nilpotent matrix for more. * In the factor ring \Z/9\Z, the equivalence class of 3 is nilpotent because 32 is congruent to 0 modulo 9. * Assume that two elements a and b in a ring R satisfy ab=0. Then the element c=ba is nilpotent as \beginc^2&=(ba)^2\\ &=b(ab)a\\ &=0.\\ \end An example with matrices (for ''a'', ''b''):A = \begin 0 & 1\\ 0 & 1 \end, \;\; B =\begin 0 & 1\\ 0 & 0 \end. Here AB=0 and BA=B. *By definition, any element of a nilsemigroup is nilpotent. Properties No nilpotent elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
