The Zariski covering number for vector spaces and modules
Abstract
Given a -vector space , let denote the covering number, i.e. the smallest (cardinal) number of proper subspaces whose union covers . Analogously, define for a module over a unital commutative ring ; this includes the covering numbers of Abelian groups, which are extensively studied in the literature. Recently, Khare-Tikaradze [Comm. Algebra, in press] showed for several classes of rings and -modules that , where is the set of maximal ideals such that . (That is straightforward.) Our first main result extends this equality to all -modules with small Jacobson radical and finite dual Goldie dimension. We next introduce a topological counterpart for finitely generated -modules over rings , whose 'some' residue fields are infinite, which we call the Zariski covering number . To do so, we first define the "induced Zariski topology" on , and now define to be the smallest (cardinal) number of proper -closed subsets of whose union covers . We first show that our choice of topology implies that , the covering number. We then show our next main result: , for all finitely generated -modules for which (a) the dual Goldie dimension is finite, and (b) whenever is finite. As a corollary, this alternately recovers the above formula for the covering number of the aforementioned finitely generated modules. We also extend these topological studies to general finitely generated -modules, using the notion of -Baire spaces.
Cite
@article{arxiv.2108.12853,
title = {The Zariski covering number for vector spaces and modules},
author = {Soham Ghosh},
journal= {arXiv preprint arXiv:2108.12853},
year = {2022}
}
Comments
23 pages. Final version, to appear in Communications in Algebra