Why is the category of near-vector spaces abelian?
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912207216836608 |
|---|---|
| author | Janelidze, Zurab Marques, Sophie Moore, Daniella |
| author_facet | Janelidze, Zurab Marques, Sophie Moore, Daniella |
| contents | In this paper we present a unified proof of the fact that the category of modules over a ring and the category of near-vector spaces in the sense of J. André, over an appropriate scalar system (a 'scalar group'), are both abelian categories. The unification is possible by viewing each of these categories as subcategories of the (abelian) category of modules over a multiplicative monoid $M$. Although in the case of near-vector spaces all elements of $M$ except one (the 'zero' element) are invertible, we show that this requirement is not necessary for the corresponding category to be abelian in analogy to the well-known fact that modules over a ring form an abelian category even if the ring is not a field (i.e., modules over it are not vector spaces). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_16897 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Why is the category of near-vector spaces abelian? Janelidze, Zurab Marques, Sophie Moore, Daniella Rings and Algebras In this paper we present a unified proof of the fact that the category of modules over a ring and the category of near-vector spaces in the sense of J. André, over an appropriate scalar system (a 'scalar group'), are both abelian categories. The unification is possible by viewing each of these categories as subcategories of the (abelian) category of modules over a multiplicative monoid $M$. Although in the case of near-vector spaces all elements of $M$ except one (the 'zero' element) are invertible, we show that this requirement is not necessary for the corresponding category to be abelian in analogy to the well-known fact that modules over a ring form an abelian category even if the ring is not a field (i.e., modules over it are not vector spaces). |
| title | Why is the category of near-vector spaces abelian? |
| topic | Rings and Algebras |
| url | https://arxiv.org/abs/2501.16897 |