|
Glossary Of Module Theory
Module theory is the branch of mathematics in which modules are studied. This is a glossary of some terms of the subject. See also: Glossary of linear algebra, Glossary of ring theory, Glossary of representation theory. A B C D E F G H I J K L M N P Q R S T U W Z References * * * * * {{Citation , last1=Passman , first1=Donald S. , title=A course in ring theory , publisher=Wadsworth & Brooks/Cole Advanced Books & Software , location=Pacific Grove, CA , serie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module Theory
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module conce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Module
In abstract algebra, a dualizing module, also called a canonical module, is a module over a commutative ring that is analogous to the canonical bundle of a smooth variety. It is used in Grothendieck local duality. Definition A dualizing module for a Noetherian ring ''R'' is a finitely generated module ''M'' such that for any maximal ideal ''m'', the ''R''/''m'' vector space vanishes if ''n'' ≠ height(''m'') and is 1-dimensional if ''n'' = height(''m''). A dualizing module need not be unique because the tensor product of any dualizing module with a rank 1 projective module is also a dualizing module. However this is the only way in which the dualizing module fails to be unique: given any two dualizing modules, one is isomorphic to the tensor product of the other with a rank 1 projective module. In particular if the ring is local the dualizing module is unique up to isomorphism. A Noetherian ring does not necessarily have a dualizing module. Any ring with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countably Generated Module
In mathematics, a module over a (not necessarily commutative) ring is countably generated if it is generated as a module by a countable subset. The importance of the notion comes from Kaplansky's theorem (Kaplansky 1958), which states that a projective module is a direct sum of countably generated modules. More generally, a module over a possibly non-commutative ring is projective if and only if (i) it is flat Flat or flats may refer to: Architecture * Flat (housing), an apartment in the United Kingdom, Ireland, Australia and other Commonwealth countries Arts and entertainment * Flat (music), a symbol () which denotes a lower pitch * Flat (soldier), ..., (ii) it is a direct sum of countably generated modules and (iii) it is a Mittag-Leffler module. (Bazzoni–Stovicek) References * * Module theory {{algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Module
In mathematics, a continuous module is a module ''M'' such that every submodule of ''M'' is essential in a direct summand and every submodule of ''M'' isomorphic to a direct summand is itself a direct summand. The endomorphism ring In mathematics, the endomorphisms of an abelian group ''X'' form a ring. This ring is called the endomorphism ring of ''X'', denoted by End(''X''); the set of all homomorphisms of ''X'' into itself. Addition of endomorphisms arises naturally in a p ... of a continuous module is a clean ring. References Module theory {{algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Composition Series
In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many naturally occurring modules are not semisimple, hence cannot be decomposed into a direct sum of simple modules. A composition series of a module ''M'' is a finite increasing filtration of ''M'' by submodules such that the successive quotients are simple and serves as a replacement of the direct sum decomposition of ''M'' into its simple constituents. A composition series may not exist, and when it does, it need not be unique. Nevertheless, a group of results known under the general name Jordan–Hölder theorem asserts that whenever composition series exist, the ''isomorphism classes'' of simple pieces (although, perhaps, not their ''location'' in the composition series in question) and their multiplicities are uniquely determined. Composition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Completion (ring Theory)
In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions ''R'' on a space ''X'' concentrates on a formal neighborhood of a point of ''X'': heuristically, this is a neighborhood so small that ''all'' Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in the case when ''R'' has a metric given by a non-Archimedean absolute value. General construction Suppose that ''E'' is an abelian group with a descending filtration : E = F^0 E \supset F^1 E \supset F^2 E \supset \cdots \, of s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Module
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., a d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Module
Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilized in British North America * Compact of Free Association whereby the sovereign states of the Federated States of Micronesia, the Republic of the Marshall Islands and the Republic of Palau have entered into as associated states with the United States. * Mayflower Compact, the first governing document of Plymouth Colony * United Nations Global Compact * Global Compact for Migration, a UN non-binding intergovernmental agreement Mathematics * Compact element, those elements of a partially ordered set that cannot be subsumed by a supremum of any directed set that does not already contain them * Compact operator, a linear operator that takes bounded subsets to relatively compact subsets, in functional analysis * Compact space, a topological space such that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cokernel
The cokernel of a linear mapping of vector spaces is the quotient space of the codomain of by the image of . The dimension of the cokernel is called the ''corank'' of . Cokernels are dual to the kernels of category theory, hence the name: the kernel is a subobject of the domain (it maps to the domain), while the cokernel is a quotient object of the codomain (it maps from the codomain). Intuitively, given an equation that one is seeking to solve, the cokernel measures the ''constraints'' that must satisfy for this equation to have a solution – the obstructions to a solution – while the kernel measures the ''degrees of freedom'' in a solution, if one exists. This is elaborated in intuition, below. More generally, the cokernel of a morphism in some category (e.g. a homomorphism between groups or a bounded linear operator between Hilbert spaces) is an object and a morphism such that the composition is the zero morphism of the category, and furthermore is universa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finitely Presented Module
In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring ''R'' may also be called a finite ''R''-module, finite over ''R'', or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide. A finitely generated module over a field is simply a finite-dimensional vector space, and a finitely generated module over the integers is simply a finitely generated abelian group. Definition The left ''R''-module ''M'' is finitely generated if there exist ''a''1, ''a''2, ..., ''a''''n'' in ''M'' such that for any ''x'' in ''M'', there exist ''r''1, ''r''2, ..., ''r''''n'' in ''R'' with ''x'' = ''r''1''a''1 + ''r''2''a''2 + ... + ''r''''n''''a''''n''. The set is referred to as a generating ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent Module
In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring ''R'' may also be called a finite ''R''-module, finite over ''R'', or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide. A finitely generated module over a field is simply a finite-dimensional vector space, and a finitely generated module over the integers is simply a finitely generated abelian group. Definition The left ''R''-module ''M'' is finitely generated if there exist ''a''1, ''a''2, ..., ''a''''n'' in ''M'' such that for any ''x'' in ''M'', there exist ''r''1, ''r''2, ..., ''r''''n'' in ''R'' with ''x'' = ''r''1''a''1 + ''r''2''a''2 + ... + ''r''''n''''a''''n''. The set is referred to as a generating ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
