If R is a commutative ring, then we prove that every finitely generated R-module has a pure-composition series with indecomposable cyclic factors and any two such series are isomorphic if and only if R is a Bézout ring and a CF-ring. When R is a such ring, the length of a pure-composition series of a finitely generated R-module M is compared with its Goldie dimension and we prove that these num...

The class of all Artinian local rings of length at most l is ∀2-elementary, axiomatised by a finite set of axioms Artl. We show that its existentially closed models are Gorenstein, of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory Gorl of all Artinian local Gorenstein rings of length l with algebr...

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. This paper provides bounds over the ring R[X] on the degrees of the output of several algebraic constructions in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials gi of degree at most d and if f is a polynomial of degree at most d belo...

Let R be a commutative Noetherian ring, a an ideal of R, and let M be a finitely generated R-module. For a non-negative integer t, we prove that H a(M) is a-cofinite whenever H t a(M) is Artinian and H i a(M) is a-cofinite for all i < t. This result, in particular, characterizes the a-cofiniteness property of local cohomology modules of certain regular local rings. Also, we show that for a loca...

In this paper, we present a general definition of the notion Noetherian and Artinian BL-algebra more comprehensive insight at chain conditions in BL-algebras. We derive some theorems which generalize existence results. give an axiomatic approach to being Artinian, is also applicable other algebraic structures. use theoretical define arithmetic that possible for devices. study, only focus

In this paper we will study artinian quotients A = R/I of the polynomial ring R = k[x1, ..., xr], where k is a field of characteristic zero, the xi’s all have degree 1 and I is a homogeneous ideal of R. These rings are often referred to as standard graded artinian algebras. Before explaining the main results of this work, we establish some of the notation we will use: the h-vector of A is h(A) ...

In this paper, we describe the maximal bounded Z-filtrations of Artinian semisimple rings. These turn out to be the filtrations associated to finite Z-gradings. We also consider simple Artinian rings with involution, in characteristic 6= 2, and we determine those bounded Z-filtrations that are maximal subject to being stable under the action of the involution. Finally, we briefly discuss the an...

Let R be a commutative Noetherian ring, a an ideal of R, M and N be two finitely generated R-modules. Let t be a positive integer. We prove that if R is local with maximal ideal m and M ⊗R N is of finite length then H t m (M, N) is of finite length for all t ≥ 0 and lR(H t m (M, N)) ≤ ∑t i=0 lR(Ext i R (M, H m (N))). This yields, lR(H t m (M, N)) = lR(Ext t R(M, N)). Additionally, we show that ...

This paper is concerned with ideals in a commutative Noetherian ring R of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of R generated by regular sequences exhibit a desirable type of ‘uniform’ behaviour. The principal technical tool used is a result, proved by R. Hartshorne and R. Speiser in the case where R is local and contains its residue fi...