On multiplicities of simple subquotients in generalized Verma modules

We reduce the problem on multiplicities of simple subquotients in an -stratified generalized Verma module to the analogous problem for classical Verma modules.     

Associated primes of graded components of local cohomology modules

The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$">. This paper is concerned with the asymptotic behaviour of as .

The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.

Brodmann and Hellus raised various questions about such asymptotic behaviour when f$">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus.

     

Composition series of modules over Prüfer domains

A weakened version of the Jordan-Hölder theorem is shown to hold for torsion-free finite rank modules over an integral domain precisely when is a Prüfer domain.

     

图中具有某种性质的子图

设ｇ和ｆ是定义在图Ｇ的顶点集合Ｖ（Ｇ）上的整数值函数且对每个ｘ∈Ｖ（Ｇ）都有０≤ｇ（ｘ）≤ｆ（ｘ）且ｇ（ｘ）和ｆ（ｘ）为偶数。本文证明了：若Ｇ是一个（ｍｇ＋ｋ－１,ｍｆ－ｋ＋１）－图,１≤ｋ≤ｍ,Ｈ是Ｇ中一个给定的有ｋ条边的子图,则Ｇ存在一个子图Ｒ使得Ｒ有一个（ｇ,ｆ）－因子分解与Ｈ正交。     

Finite Group Schemes over Bases with Low Ramification

Let A be a complete characteristic (0,p) discrete valuation ring with absolute ramification degree e and a perfect residue field. We are interested in studying the category FF _A' of finite flat commutative group schemes over A withp-power order. When e= 1, Fontaine formulated the purely linear algebra notion of a finite Honda system over A and constructed an anti-equivalence of categories betweenineFF _A'> and the category of finite Honda systems over A when p> 2. We generalize this theory to the case e – 1.     

因素空间理论与知识表示的数学框架（Ⅸ）──均衡函数的构造与Weber－Fechner特性

本文是文［１－８］的继续，该文及后续论文仍将系统地研究因素空间理论及其在知识表示中的应用。该文研究均衡函数的构造，并且引入了激励型均衡函数和混合型均衡函数。特别，从混合型变权出发，我们得到与ＷｅｂｅｒＦｅｃｈｎｅｒ定律一致的综合函数。     

⊕-Cofinitely Supplemented Modules

Let R be a ring and M a right R-module. M is called -cofinitely supplemented if every submodule N of M with M/N finitely generated has a supplement that is a direct summand of M. In this paper various properties of the -cofinitely supplemented modules are given. It is shown that (1) Arbitrary direct sum of -cofinitely supplemented modules is -cofinitely supplemented. (2) A ring R is semiperfect if and only if every free R-module is -cofinitely supplemented. In addition, if M has the summand sum property, then M is -cofinitely supplemented iff every maximal submodule has a supplement that is a direct summand of M.     

Generalized Smash Products

In this paper．we study the ring #(D．B)and obtain two very interesting results. First we prove in Theorem 3 that the category of rational left BU-modules is equivalent to both the category of #-rational left modules and the category of all(B．D)-Hopf modules BM^D．Cai and Chen have proved this result in the case B=D=A．Secondly they have proved that if A has a nonzero left integral then A#A^*rat is a dense subring of Endk(A)．We prove that #(A,A) is a dense subring of Endk(Q),where Q is a certain subspace of #(A．A)under the condition that the antipode is bijective(see Theorem18).This condition is weaker than the condition that A has a nonzero integral.It is well known the antipode is bijective in case A has a nonzero integral．Furthermore if A has nonzero left integral,Q can be chosen to be A(see Corollary 19)and #(A,A)is both left and right primitive.Thus A#A^*rat #(A,A)-Endk(A)．Moreover we prove that the left singular ideal of the ring #(A,A)is zero．A corollary of this is a criterion for A with nonzero left integral to be finite-dimensional,namely the ring #(A,A)has a finite uniform dimension．     

Designs and Representation of the Symmetric Group

We study (generalized) designs supported by words of given composition. We characterize them in terms of orthogonality relations with Specht modules; we define some zonal functions for the symmetric group and we give a closed formula for them, indexed on ordered pair of semi-standard generalized tableaux: Hahn polynomials are a particular case. We derive an algorithm to test if a set is a design. We use it to search designs in some ternary self-dual codes.