|
Perfect Ring
In the area of abstract algebra known as ring theory, a left perfect ring is a type of ring over which all left modules have projective covers. The right case is defined by analogy, and the condition is not left-right symmetric; that is, there exist rings which are perfect on one side but not the other. Perfect rings were introduced in Bass's book. A semiperfect ring is a ring over which every finitely generated left module has a projective cover. This property is left-right symmetric. Perfect ring Definitions The following equivalent definitions of a left perfect ring ''R'' are found in Anderson and Fuller: * Every left ''R''-module has a projective cover. * ''R''/J(''R'') is semisimple and J(''R'') is left T-nilpotent (that is, for every infinite sequence of elements of J(''R'') there is an ''n'' such that the product of first ''n'' terms are zero), where J(''R'') is the Jacobson radical of ''R''. * (Bass' Theorem P) ''R'' satisfies the descending chain condition on pri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] [Amazon] |
Minimal Submodule
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 ide ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Morita Equivalence
In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. More precisely, two rings ''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 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. This notion ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Algebra Over A Field
In mathematics, an algebra over a field (often simply called an algebra) is a vector space equipped with a bilinear map, bilinear product (mathematics), product. Thus, an algebra is an algebraic structure consisting of a set (mathematics), set together with operations of multiplication and addition and scalar multiplication by elements of a field (mathematics), field and satisfying the axioms implied by "vector space" and "bilinear". The multiplication operation in an algebra may or may not be associative, leading to the notions of associative algebras where associativity of multiplication is assumed, and non-associative algebras, where associativity is not assumed (but not excluded, either). Given an integer ''n'', the ring (mathematics), ring of real matrix, real square matrix, square matrices of order ''n'' is an example of an associative algebra over the field of real numbers under matrix addition and matrix multiplication since matrix multiplication is associative. Three-dime ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Dimension (vector Space)
In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a Basis (linear algebra), basis of ''V'' over its base Field (mathematics), field. p. 44, ยง2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension. For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say V is if the dimension of V is wiktionary:finite, finite, and if its dimension is infinity, infinite. The dimension of the vector space V over the field F can be written as \dim_F(V) or as [V : F], read "dimension of V over F". When F can be inferred from context, \dim(V) is typically written. Examples The vector space \R^3 has \left\ as a standard basis, and therefore \dim_(\R^3) = 3. More generally, \dim_(\R^n) = n, and even more generally, \dim_(F^n) = n for any Field (mathe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Kaplansky's Theorem On Projective Modules
In abstract algebra, Kaplansky's theorem on projective modules, first proven by Irving Kaplansky, states that a projective module over a local ring is free; where a not-necessarily-commutative ring is called ''local'' if for each element ''x'', either ''x'' or 1 − ''x'' is a unit element. The theorem can also be formulated so to characterize a local ring ( #Characterization of a local ring). For a finite projective module over a commutative local ring, the theorem is an easy consequence of Nakayama's lemma. For the general case, the proof (both the original as well as later one) consists of the following two steps: *Observe that a projective module over an arbitrary ring is a direct sum of countably generated projective modules. *Show that a countably generated projective module over a local ring is free (by a " eminiscenceof the proof of Nakayama's lemma"). The idea of the proof of the theorem was also later used by Hyman Bass to show big projective modules (under some m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. ''Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
Simple Module
In mathematics, specifically in ring theory, the simple modules over a ring ''R'' are the (left or right) modules over ''R'' that are non-zero and have no non-zero proper submodules. Equivalently, a module ''M'' is simple if and only if every cyclic submodule generated by a element of ''M'' equals ''M''. Simple modules form building blocks for the modules of finite length, and they are analogous to the simple groups in group theory. In this article, all modules will be assumed to be right unital modules over a ring ''R''. Examples Z-modules are the same as abelian groups, so a simple Z-module is an abelian group which has no non-zero proper subgroups. These are the cyclic groups of prime order. If ''I'' is a right ideal of ''R'', then ''I'' is simple as a right module if and only if ''I'' is a minimal non-zero right ideal: If ''M'' is a non-zero proper submodule of ''I'', then it is also a right ideal, so ''I'' is not minimal. Conversely, if ''I'' is not mini ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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'', 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. Inject ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
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] [Amazon] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
