|
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-necessary-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 mil ... [...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, algebra meant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semiperfect Ring
In the area of abstract algebra known as ring theory, a left perfect ring is a type of ring in 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 Aderson 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 principal ri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Texts In Mathematics
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard size (with variable numbers of pages). The GTM series is easily identified by a white band at the top of the book. The books in this series tend to be written at a more advanced level than the similar Undergraduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. List of books #''Introduction to Axiomatic Set Theory'', Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ) #''Measure and Category – A Survey of the Analogies between Topological and Measure Spaces'', John C. Oxtoby (1980, 2nd ed., ) #''Topological Vector Spaces'', H. H. Schaefer, M. P. Wolff (1999, 2nd ed., ) #''A Course in Homological Algebra'', Peter Hilton, Urs Stammbac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krull–Schmidt Category
In category theory, a branch of mathematics, a Krull–Schmidt category is a generalization of categories in which the Krull–Schmidt theorem holds. They arise, for example, in the study of finite-dimensional modules over an algebra. Definition Let ''C'' be an additive category, or more generally an additive -linear category for a commutative ring . We call ''C'' a Krull–Schmidt category provided that every object decomposes into a finite direct sum of objects having local endomorphism rings. Equivalently, ''C'' has split idempotents and the endomorphism ring of every object is semiperfect. Properties One has the analogue of the Krull–Schmidt theorem in Krull–Schmidt categories: An object is called ''indecomposable'' if it is not isomorphic to a direct sum of two nonzero objects. In a Krull–Schmidt category we have that *an object is indecomposable if and only if its endomorphism ring is local. *every object is isomorphic to a finite direct sum of indecompo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Azumaya's Theorem
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 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Big Projective Modules
Big or BIG may refer to: * Big, of great size or degree Film and television * ''Big'' (film), a 1988 fantasy-comedy film starring Tom Hanks * '' Big!'', a Discovery Channel television show * ''Richard Hammond's Big'', a television show presented by Richard Hammond * ''Big'' (TV series), a 2012 South Korean TV series * '' Banana Island Ghost'', a 2017 fantasy action comedy film Music * '' Big: the musical'', a 1996 musical based on the film * Big Records, a record label * ''Big'' (album), a 2007 album by Macy Gray * "Big" (Dead Letter Circus song) * "Big" (Sneaky Sound System song) * "Big" (Rita Ora and Imanbek song) * "Big", a 1990 song by New Fast Automatic Daffodils * "Big", a 2021 song by Jade Eagleson from '' Honkytonk Revival'' *The Notorious B.I.G., an American rapper Places * Allen Army Airfield ( IATA code), Alaska, US * BIG, a VOR navigational beacon at London Biggin Hill Airport * Big River (other), various rivers (and other things) * Big Island (dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
