{"id":"Q18848","label":"module","description":"generalization of vector space, with scalars in a ring instead of a field","aliases":["module over a ring"],"kind":"thing","url":"https://aidb.si/e/module-Q18848","image":null,"coordinates":null,"wikipedia":"https://en.wikipedia.org/wiki/Module_(mathematics)","wikidata":"https://www.wikidata.org/wiki/Q18848","website":null,"facts":[{"property":"P279","label":"Subclass of","values":[{"type":"entity","id":"Q205464","label":"algebraic structure","url":"https://aidb.si/e/algebraic-structure-Q205464","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2534","label":"Defining formula","values":[{"type":"string","value":"\\begin{aligned}m+n&=n+m &&(m,n\\in M)\\\\ (m+n)+p&=m+(n+p)&&(m,n,p\\in M) \\\\ m+0_M &= m&&(m\\in M) \\\\ (-m)+m &= 0_M&&(m\\in M) \\\\ r(sm) &= (rs)m &&(m\\in M,\\;r,s\\in R)\\\\ 1_Rm &=m&&(m\\in M) \\\\ r(m+n)&=rm+rn&&(m,n\\in M,\\;r\\in R) \\\\ (r+s)m &= rm+sm&&(m\\in M,\\;r,s\\in R)\\end{aligned}","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1889","label":"Different from","values":[{"type":"entity","id":"Q120812","label":"absolute value","url":"https://aidb.si/e/absolute-value-Q120812","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P527","label":"Members / parts","values":[{"type":"entity","id":"Q181296","label":"abelian group","url":"https://aidb.si/e/abelian-group-Q181296","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P7235","label":"In defining formula","values":[{"type":"string","value":"m+n=n+m\\qquad(m,n\\in M)","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q165474","label":"commutative property","url":"https://aidb.si/e/commutative-property-Q165474"}]}},"sources":[]},{"type":"string","value":"\\begin{aligned}(m+n)+p&=m+(n+p)&&(m,n,p\\in M) \\\\r(sm) &= (rs)m &&(m\\in M,\\;r,s\\in R)\\\\\\end{aligned}","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q177251","label":"associativity","url":"https://aidb.si/e/associativity-Q177251"}]}},"sources":[]},{"type":"string","value":"0_M","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q2767837","label":"additive identity","url":"https://aidb.si/e/additive-identity-Q2767837"}]}},"sources":[]},{"type":"string","value":"-m","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q338057","label":"inverse element","url":"https://aidb.si/e/inverse-element-Q338057"}]}},"sources":[]},{"type":"string","value":"1_R","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q68019776","label":"multiplicative identity","url":"https://aidb.si/e/multiplicative-identity-Q68019776"}]},"P13044":{"label":"Characteristic of","values":[{"type":"entity","id":"Q121217200","label":"base ring","url":"https://aidb.si/e/base-ring-Q121217200"}]}},"sources":[]},{"type":"string","value":"\\begin{aligned}r(m+n)&=rm+rn&&(m,n\\in M,\\;r\\in R) \\\\(r+s)m &= rm+sm&&(m\\in M,\\;r,s\\in R)\\end{aligned}","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q187959","label":"distributive property","url":"https://aidb.si/e/distributive-property-Q187959"}]}},"sources":[]}]},{"property":"P461","label":"Opposite of","values":[{"type":"entity","id":"Q5155179","label":"comodule","url":"https://aidb.si/e/comodule-Q5155179","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P12322","label":"Underlying structure","values":[{"type":"entity","id":"Q181296","label":"abelian group","url":"https://aidb.si/e/abelian-group-Q181296","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2579","label":"Studied by","values":[{"type":"entity","id":"Q727659","label":"commutative algebra","url":"https://aidb.si/e/commutative-algebra-Q727659","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q1208658","label":"ring theory","url":"https://aidb.si/e/ring-theory-Q1208658","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q114722746","label":"module theory","url":"https://aidb.si/e/module-theory-Q114722746","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1552","label":"Has characteristic","values":[{"type":"entity","id":"Q121217200","label":"base ring","url":"https://aidb.si/e/base-ring-Q121217200","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q1761084","label":"length","url":"https://aidb.si/e/length-Q1761084","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q7280485","label":"radical of a module","url":"https://aidb.si/e/radical-of-a-module-Q7280485","rank":"normal","qualifiers":{},"sources":[]}]}],"series":[],"identifiers":[{"pid":"P268","label":"Bibliothèque nationale de France ID","value":"13163015r","url":"https://catalogue.bnf.fr/ark:/12148/cb13163015r"},{"pid":"P10037","label":"Enciclopedia della Scienza e della Tecnica ID","value":"modulo","url":"https://www.treccani.it/enciclopedia/modulo_(Enciclopedia-della-Scienza-e-della-Tecnica)"},{"pid":"P7554","label":"Encyclopedia of Mathematics article ID","value":"Module","url":"https://encyclopediaofmath.org/wiki/Module"},{"pid":"P2163","label":"FAST ID","value":"1024523","url":"https://id.worldcat.org/fast/1024523"},{"pid":"P646","label":"Freebase ID","value":"/m/01pd2z","url":"https://www.google.com/search?kgmid=/m/01pd2z"},{"pid":"P12385","label":"Gran Enciclopèdia Catalana ID","value":"modul-2","url":"https://www.enciclopedia.cat/gran-enciclopedia-catalana/modul-2"},{"pid":"P1296","label":"Gran Enciclopèdia Catalana ID (former scheme)","value":"0194835","url":"https://www.enciclopedia.cat/ec-gec-0194835.xml"},{"pid":"P269","label":"IdRef ID","value":"027814572","url":"https://www.idref.fr/027814572"},{"pid":"P8189","label":"J9U entity ID","value":"987007541015705171","url":"https://www.nli.org.il/en/authorities/987007541015705171"},{"pid":"P244","label":"Library of Congress Authorities ID","value":"sh85086470","url":"https://id.loc.gov/authorities/sh85086470"},{"pid":"P2812","label":"MathWorld ID","value":"Module","url":"https://mathworld.wolfram.com/Module.html"},{"pid":"P6366","label":"Microsoft Academic ID (discontinued)","value":"35729967","url":"https://web.archive.org/web/https://academic.microsoft.com/v2/detail/35729967"},{"pid":"P950","label":"National Library of Spain SpMaBN ID","value":"XX526925","url":"https://datos.bne.es/resource/XX526925"},{"pid":"P349","label":"NDL Authority ID","value":"00564457","url":"https://id.ndl.go.jp/auth/ndlna/00564457"},{"pid":"P691","label":"NL CR AUT ID","value":"ph211266","url":"https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph211266"},{"pid":"P4215","label":"NLab ID","value":"module","url":"https://ncatlab.org/nlab/show/module"},{"pid":"P3847","label":"Open Library subject ID","value":"modules_(algebra)","url":"https://openlibrary.org/subjects/modules_(algebra)"},{"pid":"P10283","label":"OpenAlex ID","value":"C35729967","url":"https://openalex.org/C35729967"},{"pid":"P6781","label":"ProofWiki ID","value":"Definition:Module","url":"https://proofwiki.org/wiki/Definition%3AModule"},{"pid":"P3417","label":"Quora topic ID","value":"Modules","url":"https://www.quora.com/topic/Modules"},{"pid":"P9322","label":"SVKKL authority ID","value":"0203950-moduly-algebra","url":"https://ipac.svkkl.cz/arl-kl/cs/detail-kl_us_auth-0203950-moduly-algebra"},{"pid":"P3365","label":"Treccani ID","value":"modulo","url":"https://www.treccani.it/enciclopedia/modulo"},{"pid":"P10017","label":"Treccani's Dizionario delle Scienze Fisiche ID","value":"modulo","url":"https://www.treccani.it/enciclopedia/modulo_(Dizionario-delle-Scienze-Fisiche)"},{"pid":"P9621","label":"Treccani's Enciclopedia della Matematica ID","value":"modulo-su-un-anello-a","url":"https://www.treccani.it/enciclopedia/modulo-su-un-anello-a_(Enciclopedia-della-Matematica)"},{"pid":"P13591","label":"Yale LUX ID","value":"concept/b369f142-9a98-4b94-a3ab-ba636f35bac8","url":"https://lux.collections.yale.edu/view/concept/b369f142-9a98-4b94-a3ab-ba636f35bac8"},{"pid":"P2347","label":"YSO ID","value":"38369","url":"https://www.yso.fi/onto/yso/p38369"}],"license":{"name":"CC0 1.0","url":"https://creativecommons.org/publicdomain/zero/1.0/"},"source":"Wikidata, via AIDB","modified":"2026-07-15T13:25:50Z"}