Category of modules (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (en) En mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la (en) sur le corps R. D'autre part, tout groupe abélien a une structure naturelle de -module, ce qui permet d'identifier la catégorie des modules sur à la catégorie des groupes abéliens. (fr) Dalam aljabar, diberi gelanggang R, kategori modul kiri di atas R adalah kategori yang objek semuanya tersisa modul di atas R . Misalnya, jika R adalah ring integer s 'Z' , itu sama dengan kategori grup abelian. Kategori modul yang tepat didefinisikan dengan cara yang serupa. Catatan: Beberapa penulis menggunakan istilah kategori modul untuk kategori modul. Istilah ini bisa ambigu karena bisa juga merujuk ke kategori dengan . (in) 数学の一分野である圏論において加群の圏（かぐんのけん、英: category of modules）Mod は、すべての加群を対象としすべての加群準同型を射とする圏である。 (ja) In de lineaire algebra en de categorietheorie, een deelgebied van de wiskunde, heeft de categorie K-Vect (sommige auteurs schrijven VectK) alle vectorruimten over een vast lichaam (Ned) / veld (Be) als objecten en -lineaire transformaties als morfismen. Als het lichaam van de reële getallen is, dan staat de categorie ook bekend als Vec. Aangezien vectorruimten over (als een lichaam/veld) hetzelfde zijn als modulen over de ring is K-Vect een speciaal geval van , de categorie van linker -modulen. K-Vect is een belangrijk voorbeeld van een abelse categorie. Een groot deel van de lineaire algebra heeft betrekking op de beschrijving van K-Vect. De dimensiestelling voor vectorruimten zegt bijvoorbeeld dat de in K-Vect exact overeenkomen met de kardinaalgetallen, en dat K-Vect is met de deelcategorie van K-Vect, als objecten dus de vrije vectorruimten heeft, waarin een willekeurig kardinaalgetal is. Er is een vergeetachtige functor van K-Vect naar Ab, de categorie van abelse groepen, die elke vectorruimte naar zijn additieve groep neemt. Dit kan worden samengesteld met de vergeetachtige functors uit Ab met als realutaat andere vergeetachtige functors, met als belangrijkste een naar de categorie van verzamelingen. K-Vect is een monoïdale categorie met (als een een-dimensionale vectorruimte over ) als de identiteit en het tensorproduct als het monoïdale product. (nl) Категория модулей ― категория, объекты которой ― правые (левые или двусторонние — по предварительной договорённости) унитарные модули над произвольным ассоциативным кольцом K с единицей, а морфизмы ― гомоморфизмы K-модулей. Эта категория является важнейшим примером абелевой категории.Более того, для всякой малой абелевой категории существует полное точное вложение в некоторую категорию модулей Свойства категории модулей отражают ряд важных свойств кольца , с этой категорией связан ряд важных свойств кольца, в частности, его и отчасти — внутреннюю структуру. Категория модулей над коммутативным конечнопорождённым кольцом содержит всю алгебро-геометрическую характеристику аффинной схемы спектра кольца (одна из теорем Серра). Категории модулей над разными кольцами могут быть эквивалентны (то есть, иметь одинаковый набор классов изоморфных объектов, находящихся в том же отношении между собой). В этом случае говорят, что соответствующие кольца . Например, эквивалентны между собой категории модулей над алгебрами матриц разного порядка, но общим полем. Все они эквивалентны категории пространств над тем же полем. (ru) |
| dbo:wikiPageExternalLink | http://ncatlab.org/nlab/show/Mod |
| dbo:wikiPageID | 11231812 (xsd:integer) |
| dbo:wikiPageLength | 3630 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1100530793 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Module_(mathematics) dbr:Subcategory dbr:Algebraic_K-theory dbr:Vector_space dbr:Derived_category dbr:Ringed_space dbr:Sheaves_of_modules dbr:Full_subcategory dbr:Morphism dbr:Equivalence_of_categories dbr:Linear_algebra dbr:Commutative_ring dbr:Category_of_graded_vector_spaces dbr:Linear_map dbc:Linear_algebra dbr:Field_(mathematics) dbr:Cardinal_number dbr:Graduate_Texts_in_Mathematics dbr:Isomorphism_class dbr:Ring_(mathematics) dbr:Tensor_product_of_modules dbr:Abelian_category dbr:Abstract_algebra dbr:Mitchell's_embedding_theorem dbr:Module_homomorphism dbr:Module_spectrum dbr:Monoidal-category_action dbr:Dimension_theorem_for_vector_spaces dbc:Categories_in_category_theory dbr:Enough_injectives dbr:Enough_projectives dbr:Integer dbr:Category_(mathematics) dbr:Category_of_abelian_groups dbr:Category_of_representations dbr:Category_of_rings dbr:Symmetric_monoidal_category dbr:Module_(algebra) dbr:Inductive_limit dbr:Projective_limit dbr:Object_(category_theory) dbr:Module_category |
| dbp:wikiPageUsesTemplate | dbt:Algebra-stub dbt:Cite_book dbt:Reflist dbt:Short_description |
| dcterms:subject | dbc:Linear_algebra dbc:Categories_in_category_theory |
| gold:hypernym | dbr:Category |
| rdf:type | yago:WikicatCategory-theoreticCategories yago:Abstraction100002137 yago:Class107997703 yago:Collection107951464 yago:Group100031264 dbo:TelevisionStation |
| rdfs:comment | 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. (en) Dalam aljabar, diberi gelanggang R, kategori modul kiri di atas R adalah kategori yang objek semuanya tersisa modul di atas R . Misalnya, jika R adalah ring integer s 'Z' , itu sama dengan kategori grup abelian. Kategori modul yang tepat didefinisikan dengan cara yang serupa. Catatan: Beberapa penulis menggunakan istilah kategori modul untuk kategori modul. Istilah ini bisa ambigu karena bisa juga merujuk ke kategori dengan . (in) 数学の一分野である圏論において加群の圏（かぐんのけん、英: category of modules）Mod は、すべての加群を対象としすべての加群準同型を射とする圏である。 (ja) En mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. (fr) In de lineaire algebra en de categorietheorie, een deelgebied van de wiskunde, heeft de categorie K-Vect (sommige auteurs schrijven VectK) alle vectorruimten over een vast lichaam (Ned) / veld (Be) als objecten en -lineaire transformaties als morfismen. Als het lichaam van de reële getallen is, dan staat de categorie ook bekend als Vec. Aangezien vectorruimten over (als een lichaam/veld) hetzelfde zijn als modulen over de ring is K-Vect een speciaal geval van , de categorie van linker -modulen. K-Vect is een belangrijk voorbeeld van een abelse categorie. (nl) Категория модулей ― категория, объекты которой ― правые (левые или двусторонние — по предварительной договорённости) унитарные модули над произвольным ассоциативным кольцом K с единицей, а морфизмы ― гомоморфизмы K-модулей. (ru) |
| rdfs:label | Category of modules (en) Kategori modul (in) Catégorie des modules (fr) 加群の圏 (ja) Categorie van vectorruimten (nl) Категория модулей (ru) |
| owl:sameAs | freebase:Category of modules yago-res:Category of modules wikidata:Category of modules dbpedia-fr:Category of modules dbpedia-id:Category of modules dbpedia-ja:Category of modules dbpedia-nl:Category of modules dbpedia-ru:Category of modules https://global.dbpedia.org/id/4fyLY |
| prov:wasDerivedFrom | wikipedia-en:Category_of_modules?oldid=1100530793&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Category_of_modules |
| is dbo:wikiPageRedirects of | dbr:Category_of_vector_spaces dbr:Vect(K) dbr:Category_of_K-vector_spaces dbr:Category_of_bimodules dbr:Category_of_finite_dimensional_K-vector_spaces dbr:Category_of_modules_over_a_ring dbr:Category_of_real_vector_spaces dbr:Module_categories dbr:Module_category dbr:K-Vect |
| is dbo:wikiPageWikiLink of | dbr:Pullback_(category_theory) dbr:List_of_abstract_algebra_topics dbr:Module_(mathematics) dbr:Monoid_(category_theory) dbr:Monoidal_category dbr:Character_module dbr:Derived_tensor_product dbr:Timeline_of_category_theory_and_related_mathematics dbr:Essential_monomorphism dbr:Glossary_of_category_theory dbr:Glossary_of_module_theory dbr:Glossary_of_ring_theory dbr:Morita_equivalence dbr:Closed_monoidal_category dbr:Compact_object_(mathematics) dbr:Complete_category dbr:Zero_object_(algebra) dbr:Idempotent_(ring_theory) dbr:Localizing_subcategory dbr:Representation_theorem dbr:Sheaf_of_modules dbr:Finitely_generated_module dbr:Differential_graded_module dbr:Isomorphism dbr:Product_(category_theory) dbr:Projective_module dbr:Tensor_product_of_modules dbr:Preadditive_category dbr:Accessible_category dbr:Biproduct dbr:Module_homomorphism dbr:Associative_algebra dbr:Initial_and_terminal_objects dbr:Cartesian_monoidal_category dbr:Category_(mathematics) dbr:Category_of_abelian_groups dbr:Category_of_representations dbr:Semidirect_product dbr:Category_of_vector_spaces dbr:F-algebra dbr:Exact_functor dbr:Pushout_(category_theory) dbr:Vect(K) dbr:Category_of_K-vector_spaces dbr:Category_of_bimodules dbr:Category_of_finite_dimensional_K-vector_spaces dbr:Category_of_modules_over_a_ring dbr:Category_of_real_vector_spaces dbr:Module_categories dbr:Module_category dbr:K-Vect |
| is foaf:primaryTopic of | wikipedia-en:Category_of_modules |