P. F. Smith [7, Theorem 8] gave sufficient conditions on a finite set of modules for their sum and intersection to be multiplication
modules. We give sufficient conditions on an arbitrary set of multiplication modules for the intersection to be a multiplication
module. We generalize Smith"s theorem, and we prove conditions on sums and intersections of sets of modules sufficient for
them to be multiplication modules.
This revised version was published online in June 2006 with corrections to the Cover Date. 相似文献
Let be a toric set in the affine space . Given a set of binomials in the toric ideal of , we give a criterion for deciding the equality rad( ) = . This criterion extends to arbitrary dimension, and to arbitrary fields, an earlier result which concerned only monomial curves over an algebraically closed field of characteristic zero.
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.
We show that every effect algebra satisfying the Riesz decomposition property can be represented as an effect algebra of automorphisms of an antilattice, and every MV-algebra can be represented as an MV-algebra of automorphisms of a linearly ordered set. Such a representation enables us to visualize effect algebras by functions. This is a variation of the Holland representation theorem for -groups and of its generalization of Glass for directed interpolation po-groups as -groups or po-groups automorphisms of linearly ordered set or of an antilattice, respectively. 相似文献
Let be a locally compact group, let be its group algebra, let be its usual measure algebra, let be the second dual of with an Arens product, and let be the conjugate of the space of bounded, left uniformly continuous, complex-valued functions on with an Arens-type product. We find all the finite-dimensional left ideals of these algebras. We deduce that such ideals exist in and if and only if is compact, and in (except those generated by right annihilators of ) and if and only if is amenable.
The main result of the paper confirms, for generic coordinates, a conjecture which states that . Here is a homogeneous polynomial ideal in and and are the reduction numbers.
Suppose is a maximal ideal of a commutative integral domain and that some power of is finitely generated. We show that is finitely generated in each of the following cases: (i) is of height one, (ii) is integrally closed and , (iii) is a monoid domain over a field , where is a cancellative torsion-free monoid such that , and is the maximal ideal . We extend the above results to ideals of a reduced ring such that is Noetherian. We prove that a reduced ring is Noetherian if each prime ideal of has a power that is finitely generated. For each with , we establish existence of a -dimensional integral domain having a nonfinitely generated maximal ideal of height such that is -generated.
In this communication, we explicitly point out that the principal results of Liu 1982 basically deduced from the definition of binary operation ° on the set F(X) of all fuzzy subsets of X, also hold if one uses the weaker definition of product under triangular norm °t. Fuzzy ideals with respect to the triangular norms are also defined. 相似文献