Abel群的一些分解定理的推广(Ⅰ)

这项研究的目的是要把Abel群(有限或无限)的诸多分解定理尽可能地推广到主理想整环的模上,得到这类模上的分解定理,随后再把所得定理应用到向量空间(有限维或无限维)及其线性变换,得到向量空间的分解定理.本文是系列文章的第一篇,主要目的是建立起支撑整个研究的最基本概念,例如纯子模、有界模、局部循环模、具有minimax条件的模等.本文主要内容有:(1)确定了主理想整环上可除模、有界模、局部循环模的结构;(2)给出了主理想整环上拟循环模的生成性质,这类模在以后的研究里起着非常重要的作用;(3)描述了主理想整环上满足极小条件,minimax条件的模的结构;(4)给出了两个不同构的Z[i]-模,它们作为Abel群是同构的.     

Abel群的一些分解定理的推广(Ⅱ)

本文讨论了2类具体的主理想整环上的拟循环模,研究了A-宽有限的向量空间,刻画了该类向量空间的结构,阐述了A-宽有限的向量空间的A-不变子空间构成的偏序集必满足极小条件,并给出了带有线性变换的向量空间作为F[λ]-模构成拟循环模的一个充要条件.     

含1交换环上模基的两个唯一性定理

本文通过模的零化理想,得到关于模的分解的两个唯一性定理,部分地推广了主理想整环上的有限生成模的结构定理.     

Abel群的一些分解定理的推广(Ⅲ)

从主理想整环上有界模分解的Prüfer-Baer定理出发,研究(无限维)向量空间的代数的线性变换的几个基本问题,得到了如下结果:设V是域F上的(无限维)向量空间,A是V上的一个代数的线性变换,则有(1)若任何与A可交换的线性变换均与线性变换B可交换,则B=f(A),其中f是F上的多项式.进而线性变换B也是代数的.(2) V中存在一组基,使A在这组基下的矩阵是有理标准型(经典标准型)矩阵.当F是代数闭域时,经典标准型矩阵即为若当标准型矩阵.(3)当F是代数闭域时,A存在相应的Jordan-Chevalley分解.进一步,该结论在完全域上仍成立.这些研究推广了有限维向量空间上线性变换的相关结果.     

两类整环上的上三角矩阵群(Ⅰ)

本文从两类整环上的二阶上三角矩阵入手,构造了两个3元生成的亚Abel群,给出了它们的清晰结构,研究了它们的剩余有限性质:一,证明了其中一个无限秩的亚Abel群是剩余有限p-群,这里p是任意素数.二,证明了另一个有限秩的亚Abel群没有这种整齐的剩余有限性质,尽管其结构要简单得多.本文的结果表明,无限可解群里秩的有限性条件对群的剩余有限性具有很大的影响.如何把本文的研究推广到高阶矩阵群,是值得进一步探索的问题.     

有限交换环上极限线性群的Sylowp—子集

本文给出了有限交换局部环Ｒ上无限线性群ＧＬ（Ｒ）＝∪ｎＧＬｎＲ的Ｓｙｌｏｗｐ－了群的形式。令Ｍ是有限交换局部环Ｒ的唯一极大理想，ｋ＝Ｒ／Ｍ为Ｒ的剩余类域。用ｘ（ｋ）表示ｋ的特征，并假定ｐ与ｘ（ｋ）互素。     

有限表现维数与凝聚环

在本文中,我们从研究投射等价模的有限表现维数的关系入手,给出了有限表现维数的维数转移定理(定理2.5),并且运用有限表现维数刻划了凝聚环(定理2.4)。最后我们得到了在经典局部化下,环与模的有限表现维数的不变性定理(定理2.6,定理2.8)。     

线性方程组对于量词的可满足性

本文讨论有关主理想环上线性方程组对于量词组合的可满足性问题,特别是当全称量词和存在量词混合出现的情形.它的背景之一是模上的线性定理的机械化证明.我们对此问题得到了一个算法型的充要条件,该方法对量词未做任何限制.进而讨论了在有限生成Abel群、初等数论、向量空间、多元多项式环等领域中的应用.     

群的Gorenstein同调维数

设$k$是一个弱维数有限的交换环, $G$是一个群. 本文讨论了群$G$具有有限的Gorenstein同调维数的标准.证明了群$G$的Gorenstein同调维数的有限性与群环$kG$的Gorenstein弱维数的有限性是一致的.进一步,我们给出了Serre定理的一个Gorenstein类比.推广了整环上$G$的Gorenstein同调维数的一些已知结果.     

Maschke定理的一点应用

给出了Maschke定理的两种无限变体,并应用于带子群极小条件的Abel群,深化了Berkovich的有关结果．     

The Dolbeault complex in infinite dimensions I

In this paper we introduce certain basic notions concerning infinite dimensional complex manifolds, and prove that the Dolbeault cohomology groups of infinite dimensional projective spaces, with values in finite rank vector bundles, vanish. Some applications of such vanishing theorems are discussed; e.g., we classify vector bundles of finite rank over infinite dimensional projective spaces. Finally, we prove a sharp theorem on solving the inhomogeneous Cauchy-Riemann equations on affine spaces.

     

Graded Modules Over the q-Analog Virasoro-Like Algebra

In this paper, we deal with the classification of the irreducible Z-graded and Z ²-graded modules with finite dimensional homogeneous subspaces for the q analog Virasoro-like algebra L. We first prove that a Z-graded L-module must be a uniformly bounded module or a generalized highest weight module. Then we show that an irreducible generalized highest weight Z-graded module with finite dimensional homogeneous subspaces must be a highest (or lowest) weight module and give a necessary and sufficient condition for such a module with finite dimensional homogeneous subspaces. We use the Z-graded modules to construct a class of Z ²-graded irreducible generalized highest weight modules with finite dimensional homogeneous subspaces. Finally, we classify the Z ²-graded L-modules. We first prove that a Z ²-graded module must be either a uniformly bounded module or a generalized highest weight module. Then we prove that an irreducible nontrivial Z ²-graded module with finite dimensional homogeneous subspaces must be isomorphic to a module constructed as above. As a consequence, we also classify the irreducible Z-graded modules and the irreducible Z ²-graded modules with finite dimensional homogeneous subspaces and center acting nontrivial. Supported by the National Science Foundation of China (No 10671160), the China Postdoctoral Science Foundation (No. 20060390693), the Specialized Research fund for the Doctoral Program of Higher Education (No.20060384002), and the New Century Talents Supported Program from the Education Department of Fujian Province.     

Lokalkreisförmige Vektorgruppen

We define locally circled vector groups as topological vector spaces over the discrete real or complex numberfield with a neighbourhoodbase of zero consisting of circled sets. Every topological vector space is a locally circled vector group. Topological vector groups and especially locally circled vector groups have useful applications to topological vector spaces and this paper is intended as an introduction to the theory of locally circled vector groups. Continuations including applications to topological vector spaces will follow. Here we study the structure of finite dimensional and locally compact vector groups, describe those locally circled vector groups which have a generating precompact circled set and finally prove some theorems about convex sets in these spaces.     

Fixed points of endomorphisms over special confluent rewriting systems

Cayley graphs of monoids defined through special confluent rewriting systems are known to be hyperbolic metric spaces which admit a compact completion given by irreducible finite and infinite words. In this paper, we prove that the fixed point submonoids for endomorphisms of these monoids which are boundary injective (or have bounded length decrease) are rational, with similar results holding for infinite fixed points. Decidability of these properties is proved, and constructibility is proved for the case of bounded length decrease. These results are applied to free products of cyclic groups, providing a new generalization for the case of infinite fixed points.     

Fixed points of endomorphisms over special confluent rewriting systems

Cayley graphs of monoids defined through special confluent rewriting systems are known to be hyperbolic metric spaces which admit a compact completion given by irreducible finite and infinite words. In this paper, we prove that the fixed point submonoids for endomorphisms of these monoids which are boundary injective (or have bounded length decrease) are rational, with similar results holding for infinite fixed points. Decidability of these properties is proved, and constructibility is proved for the case of bounded length decrease. These results are applied to free products of cyclic groups, providing a new generalization for the case of infinite fixed points.     

H-supplemented Modules and Generalizations of Quasi-discrete Modules

In this article, we introduce a generalization of quasi-discrete (a GQD-module) by using the notion of H-supplemented modules and investigate some properties of GQD-modules. First we consider some properties of a relative radical projectivity which is useful in analyzing the structure of H-supplemented modules. We apply them to the study of direct sums of GQD-modules. Moreover, we prove that any H-supplemented (lifting) module with finite internal exchange properly (FIEP) has an indecomposable decomposition and show that, for an H-supplemented (lifting) module, the finite exchange property implies the full exchange property.     

On modules of bounded multiplicities for the symplectic algebras

Simple infinite dimensional highest weight modules having
bounded weight multipicities are classified as submodules of a tensor product. Also, it is shown that a simple torsion free module of finite degree tensored with a finite dimensional module is completely reducible.

     

Lifting Modules with Indecomposable Decompositions

A module M is called a “lifting module” if, any submodule A of M contains a direct summand B of M such that A/B is small in M/B. This is a generalization of projective modules over perfect rings as well as the dual of extending modules. It is well known that an extending module with ascending chain condition (a.c.c.) on the annihilators of its elements is a direct sum of indecomposable modules. If and when a lifting module has such a decomposition is not known in general. In this article, among other results, we prove that a lifting module M is a direct sum of indecomposable modules if (i) rad(M ^(I)) is small in M ^(I) for every index set I, or, (ii) M has a.c.c. on the annihilators of (certain) elements, and rad(M) is small in M.