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．     

On（N,U）-Coherence of Modules and Rings

Let U be a flat right R-module and N an infinite cardinal number.A left R-module M is said to be (N,U)-coherent if every finitely generated submodule of every finitely generated M-projective module in σ[M] is (N,U)-finitely presented in σ[M].It is proved under some additional conditions that a left R-module M is (N,U)-coherent if and only if Л^Ni∈I U is M-flat as a right R-module if and only if the (N,U)-coherent dimension of M is equal to zero.We also give some characterizations of left (N,U)-coherent dimension of rings and show that the left N-coherent dimension of a ring R is the supremum of (N,U)-coherent dimensions of R for all flat right R-modules U.     

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.     

What is the Rees algebra of a module?

In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module may be computed in terms of a ``maximal' map from to a free module as the image of the map induced by on symmetric algebras. We show that the analytic spread and reductions of can be determined from any embedding of into a free module, and in characteristic 0--but not in positive characteristic!--the Rees algebra itself can be computed from any such embedding.

     

When is a Quasi-p-injective Module Continuous?

It is well-known that every quasi-p-injective module has C2-condition. In this note, it is shown that for a quasi-p-injective module M which is a self-generator, if M is projective, duo and semiperfect, then M is continuous. As a special case we re-obtain a result of Puninski-Wisbauer-Yousif saying that, a semiperfect ring R is right continuous if it is right duo, right p-injective.AMS Subject Classifications (1991): 16D50, 16D70, 16D80Supported by The Royal Golden Jubilee Project     

Annihilators, Multipliers and Crossed Modules

Using multiplication algebras we introduce actor crossed modules of commutative algebras and use it to generalise some aspects from commutative algebras to crossed modules of commutative algebras. This is applied to the Peiffer pairings in the Moore complex of a simplicial commutative algebra.     

Almost-Flat Modules

We present general properties for almost-flat modules and we prove that a self-small right module is almost flat as a left module over its endomorphism ring if and only if the class of g-static modules is closed under the kernels.     

Computation of Almost Split Sequences with Applications to Relatively Projective and Prinjective Modules

Let be an Artin algebra, let mod be the category of finitely generated -modules, and let Amod be a contravariantly finite and extension closed subcategory. For an indecomposable and not Ext-projective module CA, we compute the almost split sequence 0ABC0 in A from the almost split sequence 0DTrCEC0 in mod. Since the computation is particularly simple if the minimal right A-approximation of DTrC is indecomposable for all indecomposable and not Ext-projective CA, we manufacture subcategories A with the desired property using orthogonal subcategories. The method of orthogonal subcategories is applied to compute almost split sequences for relatively projective and prinjective modules.     

Divisorial Linear Algebra of Normal Semigroup Rings

We investigate the minimal number of generators and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound C there exist, up to isomorphism, only finitely many divisorial ideals I such that (I)C. It follows that there exist only finitely many Cohen–Macaulay divisor classes. Moreover, we determine the minimal depth of all divisorial ideals and the behaviour of and depth in arithmetic progressions in the divisor class group.The results are generalized to more general systems of linear inequalities whose homogeneous versions define the semigroup in a not necessarily irredundant way. The ideals arising this way can also be considered as defined by the nonnegative solutions of an inhomogeneous system of linear diophantine equations.We also give a more ring-theoretic approach to the theorem on minimal number of generators of divisorial ideals: it turns out to be a special instance of a theorem on the growth of multigraded Hilbert functions.