To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Category of modules

From Wikipedia, the free encyclopedia

In algebra, given a ring R, the category of left modules over R is the category whose objects are all left modules over R and whose morphisms are all module homomorphisms between left R-modules. For example, when R is the ring of integers Z, it is the same thing as the category of abelian groups. The category of right modules is defined in a similar way.

Note: Some authors use the term module category for the category of modules. This term can be ambiguous since it could also refer to a category with a monoidal-category action.[1]

Properties

The categories of left and right modules are abelian categories. These categories have enough projectives[2] and enough injectives.[3] Mitchell's embedding theorem states every abelian category arises as a full subcategory of the category of modules.

Projective limits and inductive limits exist in the categories of left and right modules.[4]

Over a commutative ring, together with the tensor product of modules ⊗, the category of modules is a symmetric monoidal category.

Category of vector spaces

The category K-Vect (some authors use VectK) has all vector spaces over a field K as objects, and K-linear maps as morphisms. Since vector spaces over K (as a field) are the same thing as modules over the ring K, K-Vect is a special case of R-Mod, the category of left R-modules.

Much of linear algebra concerns the description of K-Vect. For example, the dimension theorem for vector spaces says that the isomorphism classes in K-Vect correspond exactly to the cardinal numbers, and that K-Vect is equivalent to the subcategory of K-Vect which has as its objects the vector spaces Kn, where n is any cardinal number.

Generalizations

The category of sheaves of modules over a ringed space also has enough injectives (though not always enough projectives).

See also

References

  1. ^ "module category in nLab". ncatlab.org.
  2. ^ trivially since any module is a quotient of a free module.
  3. ^ Dummit–Foote, Ch. 10, Theorem 38.
  4. ^ Bourbaki, § 6.

External links


This page was last edited on 14 February 2020, at 18:43
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.