arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2406.11222math.ACmath.RA
收藏

虚拟正则模

Virtually regular modules

Engin Büyükaşık, Özlem Irmak Demir

AI总结:

本文定义并研究虚拟正则、强虚拟正则与完全虚拟正则模,给出其刻画和封闭性,并重点在赋值域及整数环上确定有限表现或有限生成情形的结构。

摘要:

我们称右模 $M$ 为(强)虚拟正则模,如果每个(有限生成的)循环子模都同构于一个直和项。如果每个子模都是虚拟正则模,则称 $M$ 为完全虚拟正则模。本文给出了上述模的刻画以及若干封闭性质,并在交换环上得到了若干结构结果。特别地,在赋值域上完全确定了有限表现(强)虚拟正则模和完全虚拟正则模的结构。也就是说,对于具有唯一极大理想 $P$ 的赋值域 $R$,我们证明:有限表现(强)虚拟正则模是自由模,当且仅当 $P$ 不是主理想;而 $P=Rp$ 是主理想,当且仅当有限表现虚拟正则模具有形式 $$R^n \oplus (\frac{R}{Rp})^{n_1} \oplus (\frac{R}{Rp^2})^{n_2} \oplus \cdots \oplus (\frac{R}{Rp^k})^{n_k},$$ 其中 $n,k,n_1,n_2,\cdots,n_k$ 为非负整数。类似地,我们证明 $P=Rp$ 是主理想,当且仅当有限表现强虚拟正则模具有形式 $R^n \oplus (\frac{R}{Rp})^{m}$,其中 $m,n$ 为非负整数。我们还得到,$R$ 容许一个非零的有限表现完全虚拟正则模 $M$,当且仅当 $P=Rp$ 是主理想。此外,对于有限表现 $R$-模 $M$,我们证明:$(i)$ 如果 $R$ 不是 DVR,则 $M$ 是完全虚拟正则模,当且仅当 $M \cong (\frac{R}{Rp})^{m}$;以及 $(ii)$ 如果 $R$ 是 DVR,则 $M$ 是完全虚拟正则模,当且仅当 $M\cong R^n \oplus (\frac{R}{Rp})^{m}$。最后,我们得到了整数环上有限生成虚拟正则模的一个刻画。

英文摘要:

We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper, characterizations and some closure properties of the aforementioned modules are given. Several structure results are obtained over commutative rings. In particular, the structures of finitely presented (strongly) virtually regular modules and completely virtually regular modules are fully determined over valuation domains. Namely, for a valuation domain $R$ with the unique maximal ideal $P$, we show that finitely presented (strongly) virtually regular modules are free if and only if $P$ is not principal; and that $P=Rp$ is principal if and only if finitely presented virtually regular modules are of the form $$R^n \oplus (\frac{R}{Rp})^{n_1} \oplus (\frac{R}{Rp^2})^{n_2} \oplus \cdots \oplus (\frac{R}{Rp^k})^{n_k}$$ for nonnegative integers $n,\,k,\,n_1,\,n_2,\cdots ,n_k.$ Similarly, we prove that $P=Rp$ is principal if and only if finitely presented strongly virtually regular modules are of the form $ R^n \oplus (\frac{R}{Rp})^{m}$, where $m,n$ are nonnegative integers. We also obtain that, $R$ admits a nonzero finitely presented completely virtually regular module $M$ if and only if $P=Rp$ is principal. Moreover, for a finitely presented $R$-module $M$, we prove that: $(i)$ if $R$ is not a DVR, then $M$ is completely virtually regular if and only if $M \cong (\frac{R}{Rp})^{m}$; and $(ii)$ if $R$ is a DVR, then $M$ is completely virtually regular if and only if $M\cong R^n \oplus (\frac{R}{Rp})^{m}.$ Finally, we obtain a characterization of finitely generated virtually regular modules over the ring of integers.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑