The Zariski covering number for vector spaces and modules

DOI10.1080/00927872.2021.1995741MaRDI QIDQ5067668zbMATH OpenOpenAlexFDO

Authors Soham Ghosh

Publication date 4 April 2022

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.12853

zbMATH Keywords

Baire spacescovering numberdual Goldie dimensionZariski topology

Mathematics Subject Classification ID

Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Principal ideal rings (13F10) Local rings and semilocal rings (13H99) Baire category, Baire spaces (54E52) Connections of general topology with other structures, applications (54H99)

Abstract: Given a $K$-vector space $V$, let $sigma(V,K)$ denote the covering number, i.e. the smallest (cardinal) number of proper subspaces whose union covers $V$. Analogously, define $sigma(M,R)$ for a module $M$ over a unital commutative ring $R$; 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 $R$ and $R$-modules $M$ that $sigma(M,R)=mi{n}_{mathfrakmin{S}_M}|R/mathfrakm|+1$, where $S_M$ is the set of maximal ideals $mathfrakm$ such that $di{m}_{R/mathfrakm}(M/mathfrakmM)geq2$. (That $sigma(M,R)leqmi{n}_{mathfrakmin{S}_M}|R/mathfrakm|+1$ is straightforward.) Our first main result extends this equality to all $R$-modules with small Jacobson radical and finite dual Goldie dimension. We next introduce a topological counterpart for finitely generated $R$-modules $M$ over rings $R$, whose 'some' residue fields are infinite, which we call the Zariski covering number $sigm{a}_{a}u(M,R)$. To do so, we first define the "induced Zariski topology" $au$ on $M$, and now define $sigm{a}_{a}u(M,R)$ to be the smallest (cardinal) number of proper $au$-closed subsets of $M$ whose union covers $M$. We first show that our choice of topology implies that $sigm{a}_{a}u(M,R)leqsigma(M,R)$, the covering number. We then show our next main result: $sigm{a}_{a}u(M,R)=mi{n}_{mathfrakmin{S}_M}|R/mathfrakm|+1$, for all finitely generated $R$-modules $M$ for which (a) the dual Goldie dimension is finite, and (b) $mathfrakmotin{S}_M$ whenever $R/mathfrakm$ is finite. As a corollary, this alternately recovers the above formula for the covering number $sigma(M,R)$ of the aforementioned finitely generated modules. We also extend these topological studies to general finitely generated $R$-modules, using the notion of $kappa$-Baire spaces.

Recommendations

• Zariski spaces of modules
• Covering modules by proper submodules
• Covering numbers of commutative rings
• A Zariski topology for modules.
• Zariski topology of prime spectrum of a module.

Cites work

• A note on unions of ideals and cosets of ideals
• Abelian Groups that are unions of proper subgroups
• Covering modules by proper submodules
• Dual goldie dimension
• Dual goldie dimension - II
• Elements of mathematics. Algebra. Chapter 8. Modules and semi-simple rings.
• Finite Unions of Ideals and Modules
• scientific article; zbMATH DE number 989576 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3536885 (Why is no real title available?)
• Insight into modules over Dedekind domains
• Modules covered by finite unions of submodules
• Modules with Finite Spanning Dimension
• On the covering type of a space
• Vector spaces as unions of proper subspaces

Cited in

(3)

• scientific article; zbMATH DE number 976140 (Why is no real title available?)
• The covering numbers of rings
• 2-Covering numbers of finite groups

This page was built for publication: The Zariski covering number for vector spaces and modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5067668)