|
Indecomposable Decomposition
In abstract algebra, a decomposition of a module is a way to write a module as a direct sum of modules. A type of a decomposition is often used to define or characterize modules: for example, a semisimple module is a module that has a decomposition into simple modules. Given a ring, the types of decomposition of modules over the ring can also be used to define or characterize the ring: a ring is semisimple if and only if every module over it is a semisimple module. An indecomposable module is a module that is not a direct sum of two nonzero submodules. Azumaya's theorem states that if a module has an decomposition into modules with local endomorphism rings, then all decompositions into indecomposable modules are equivalent to each other; a special case of this, especially in group theory, is known as the Krull–Schmidt theorem. A special case of a decomposition of a module is a decomposition of a ring: for example, a ring is semisimple if and only if it is a direct sum (in fact ... [...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, which are set (mathematics), sets with specific operation (mathematics), operations acting on their elements. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathematics), modules, vector spaces, lattice (order), lattices, and algebra over a field, algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variable (mathematics), variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in mathematical education, pedagogy. Algebraic structures, with their associated homomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Decomposition
In mathematics, specifically in representation theory, a semisimple representation (also called a completely reducible representation) is a linear representation of a group or an algebra that is a direct sum of simple representations (also called irreducible representations). It is an example of the general mathematical notion of semisimplicity. Many representations that appear in applications of representation theory are semisimple or can be approximated by semisimple representations. A semisimple module over an algebra over a field is an example of a semisimple representation. Conversely, a semisimple representation of a group ''G'' over a field ''k'' is a semisimple module over the group algebra ''k'' 'G'' Equivalent characterizations Let ''V'' be a representation of a group ''G''; or more generally, let ''V'' be a vector space with a set of linear endomorphisms acting on it. In general, a vector space acted on by a set of linear endomorphisms is said to be simple (or irre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Central Idempotent
In ring theory, a branch of mathematics, an idempotent element or simply idempotent of a ring (mathematics), ring is an element such that . That is, the element is idempotent under the ring's multiplication. Mathematical induction, Inductively then, one can also conclude that for any positive integer . For example, an idempotent element of a matrix ring is precisely an idempotent matrix. For general rings, elements idempotent under multiplication are involved in decompositions of module (mathematics), modules, and connected to homological algebra, homological properties of the ring. In Boolean algebra, the main objects of study are rings in which all elements are idempotent under both addition and multiplication. Examples Quotients of Z One may consider the ring of integers modulo n, ring of integers modulo , where is square-free integer, square-free. By the Chinese remainder theorem, this ring factors into the product of rings of integers modulo , where is prime numb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Center (ring Theory)
In algebra, the center of a ring ''R'' is the subring consisting of the elements ''x'' such that for all elements ''y'' in ''R''. It is a commutative ring and is denoted as Z(''R''); 'Z' stands for the German word ''Zentrum'', meaning "center". If ''R'' is a ring, then ''R'' is an associative algebra over its center. Conversely, if ''R'' is an associative algebra over a commutative subring ''S'', then ''S'' is a subring of the center of ''R'', and if ''S'' happens to be the center of ''R'', then the algebra ''R'' is called a central algebra. Examples * The center of a commutative ring ''R'' is ''R'' itself. * The center of a skew-field is a field. * The center of the (full) matrix ring with entries in a commutative ring ''R'' consists of ''R''-scalar multiples of the identity matrix. * Let ''F'' be a field extension of a field ''k'', and ''R'' an algebra over ''k''. Then . * The center of the universal enveloping algebra of a Lie algebra In mathematics, a Lie algeb ... [...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 non-zero right ideal which contains no other non-zero right ideal. Likewise, a minimal left ideal is a non-zero left ideal of ''R'' containing no other non-zero left ideals of ''R'', and a minimal ideal of ''R'' is a non-zero ideal containing no other non-zero two-sided ideal of ''R'' . In other words, minimal right ideals are minimal elements of the partially ordered set (poset) of non-zero 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 non-zero and if ''K'' is a right ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Matrix (mathematics)
In mathematics, a matrix (: matrices) is a rectangle, rectangular array or table of numbers, symbol (formal), symbols, or expression (mathematics), expressions, with elements or entries arranged in rows and columns, which is used to represent a mathematical object or property of such an object. For example, \begin1 & 9 & -13 \\20 & 5 & -6 \end is a matrix with two rows and three columns. This is often referred to as a "two-by-three matrix", a " matrix", or a matrix of dimension . Matrices are commonly used in linear algebra, where they represent linear maps. In geometry, matrices are widely used for specifying and representing geometric transformations (for example rotation (mathematics), rotations) and coordinate changes. In numerical analysis, many computational problems are solved by reducing them to a matrix computation, and this often involves computing with matrices of huge dimensions. Matrices are used in most areas of mathematics and scientific fields, either directly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ideal (ring Theory)
In mathematics, and more specifically in ring theory, 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 any integer (even or odd) 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. Among the integers, the ideals correspond one-for-one with the non-negative integers: in this ring, every ideal is a principal ideal consisting of the multiples of a single non-negative number. However, in other rings, the ideals may not correspond directly to the ring elements, and certain properties of integers, when generalized to rings, attach more naturally to the ideals than to the elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Image (mathematics)
In mathematics, for a function f: X \to Y, the image of an input value x is the single output value produced by f when passed x. The preimage of an output value y is the set of input values that produce y. More generally, evaluating f at each Element (mathematics), element of a given subset A of its Domain of a function, domain X produces a set, called the "image of A under (or through) f". Similarly, the inverse image (or preimage) of a given subset B of the codomain Y is the set of all elements of X that map to a member of B. The image of the function f is the set of all output values it may produce, that is, the image of X. The preimage of f is the preimage of the codomain Y. Because it always equals X (the domain of f), it is rarely used. Image and inverse image may also be defined for general Binary relation#Operations, binary relations, not just functions. Definition The word "image" is used in three related ways. In these definitions, f : X \to Y is a Function (mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Converse (logic)
In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the Material conditional, implication ''P'' → ''Q'', the converse is ''Q'' → ''P''. For the categorical proposition ''All S are P'', the converse is ''All P are S''. Either way, the truth of the converse is generally independent from that of the original statement.Robert Audi, ed. (1999), ''The Cambridge Dictionary of Philosophy'', 2nd ed., Cambridge University Press: "converse". Implicational converse Let ''S'' be a statement of the form ''P implies Q'' (''P'' → ''Q''). Then the ''converse'' of ''S'' is the statement ''Q implies P'' (''Q'' → ''P''). In general, the truth of ''S'' says nothing about the truth of its converse, unless the Antecedent (logic), antecedent ''P'' and the consequent ''Q'' are logically equivalent. For example, consider the true statement "If I am a human, then I am mortal." The converse of that stateme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Idempotent (ring Theory)
In ring theory, a branch of mathematics, an idempotent element or simply idempotent of a ring is an element such that . That is, the element is idempotent under the ring's multiplication. Inductively then, one can also conclude that for any positive integer . For example, an idempotent element of a matrix ring is precisely an idempotent matrix. For general rings, elements idempotent under multiplication are involved in decompositions of modules, and connected to homological properties of the ring. In Boolean algebra, the main objects of study are rings in which all elements are idempotent under both addition and multiplication. Examples Quotients of Z One may consider the ring of integers modulo , where is square-free. By the Chinese remainder theorem, this ring factors into the product of rings of integers modulo , where is prime. Now each of these factors is a field, so it is clear that the factors' only idempotents will be and . That is, each factor h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Endomorphism
In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a group is a group homomorphism . In general, we can talk about endomorphisms in any category. In the category of sets, endomorphisms are functions from a set ''S'' to itself. In any category, the composition of any two endomorphisms of is again an endomorphism of . It follows that the set of all endomorphisms of forms a monoid, the full transformation monoid, and denoted (or to emphasize the category ). Automorphisms An invertible endomorphism of is called an automorphism. The set of all automorphisms is a subset of with a group structure, called the automorphism group of and denoted . In the following diagram, the arrows denote implication: Endomorphism rings Any two endomorphisms of an abelian group, , can be ad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
