Invariants of Lie superalgebras acting on associative algebras

LetR be a semiprime algebra over a fieldK acted on by a finite-dimensional Lie superalgebraL. The purpose of this paper is to prove a series of going-up results showing how the structure of the subalgebra of invariantsR ^Lis related to that ofR. Combining several of our main results we have: Theorem: Let R be a semiprime K-algebra acted on by a finite-dimensional nilpotent Lie superalgebra L such that if characteristic K=p then L is restricted and if characteristic, K=0 then L acts on R as algebraic derivations and algebraic superderivations.

1. If R^L is right Noetherian, then R is a Noetherian right R^L-module. In particular, R is right Noetherian and is a finitely generated right R^L-module.
2. If R^L is right Artinian, then R is an Artinian right R^L-module. In particular, R is right Artinian and is a finitely generated right R^L-module.
3. If R^L is finite-dimensional over K then R is also finite-dimensional over K.
4. If R^L has finite Goldie dimension as a right R^L-module, then R has finite Goldie dimension as a right R-module.
5. If R^L has Krull dimension α as a right R^L-module, then R has Krull dimension α as a right R^L-module. Thus R has Krull dimension at most α as a right R-module.
6. If R is prime and R^L is central, then R satisfies a polynomial identity.
7. If L is a Lie algebra and R^L is central, then R satisfies a polynomial identity.

We also provide counterexamples to many questions which arise in view of the results in this paper.     

Several Generalizations of the Wedderburn-Artin Theorem with Applications

We say that an R-module M is virtually semisimple if each submodule of M is isomorphic to a direct summand of M. A nonzero indecomposable virtually semisimple module is then called a virtually simple module. We carry out a study of virtually semisimple modules and modules which are direct sums of virtually simple modules . Our study provides several natural generalizations of the Wedderburn-Artin Theorem and an analogous to the classical Krull-Schmidt Theorem. Some applications of these theorems are indicated. For instance, it is shown that the following statements are equivalent for a ring R: (i) Every finitely generated left (right) R-module is virtually semisimple; (ii) Every finitely generated left (right) R-module is a direct sum of virtually simple R-modules; (iii) \(R\cong {\prod }_{i = 1}^{k} M_{n_{i}}(D_{i})\) where k,n ₁,…,n _k ∈ ? and each D _i is a principal ideal V-domain; and (iv) Every nonzero finitely generated left R-module can be written uniquely (up to isomorphism and order of the factors) in the form R m ₁ ⊕… ⊕ R m _k where each R m _i is either a simple R-module or a virtually simple direct summand of R.     

Coherence relative to a weak torsion class

Let R be a ring. A subclass T of left R-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let T be a weak torsion class of left R-modules and n a positive integer. Then a left R-module M is called T-finitely generated if there exists a finitely generated submodule N such that M/N ∈ T; a left R-module A is called (T,n)-presented if there exists an exact sequence of left R-modules

$$0 \to {K_{n - 1}} \to {F_{n - 1}} \to \cdots \to {F_1} \to {F_0} \to M \to 0$$

such that F₀,..., F_n?1 are finitely generated free and K_n?1 is T-finitely generated; a left R-module M is called (T,n)-injective, if Ext ⁿ _R (A,M) = 0 for each (T, n+1)-presented left R-module A; a right R-module M is called (T,n)-flat, if Tor ^R _n (M,A) = 0 for each (T, n+1)-presented left R-module A. A ring R is called (T,n)-coherent, if every (T, n+1)-presented module is (n + 1)-presented. Some characterizations and properties of these modules and rings are given.

     

Degenerate complementary cones induced by aK 0-matrix

In this paper we prove two results concerning the unionC of all the degenerate complementary cones associated with the linear complementarity problem (M, q) whereM is aK ₀-matrix.

1. C is the same as the set of allq ∈R ⁿ for which (M, q) has infinitely many solutions.
2. C is the same as the boundary of the set of allq ∈ R ⁿ for which (M, q) has a solution, an easily observable geometric result for a 2 × 2K ₀-matrix.

     

Direct injective modules

Throughout this paperR will denote a ring with idenity element andM a unitary right module overR. AnR-moduleM is said to be direct injective if and only if given direct summandN ofM with injectioni _N:N→M and a monomorphismg:N→M, there exists an endomorphismf ofR-moduleM such thatfg=i _N. In this paper we investigate properties of direct injective modules, and obtain the following results on direct injective modules.

1. We establish the necessary and sufficient condition for a module to be direct injective.
2. We show that the answer on problem of Krull-Schmidt-Matlis is in the affirmative in caseR-moduleM is extending direct injective.
3. We prove that extending direct injectivity of module implies same properties of its direct summands.

     

Flat modules and rings finitely generated as modules over their center

A module is called distributive (is said to be a chain module) if the lattice of all its submodules is distributive (is a chain). Let a ringA be a finitely generated module over its unitary central subringR. We prove the equivalence of the following conditions:

1. A is a right or left distributive semiprime ring;
2. for any maximal idealM of a subringR central inA, the ring of quotientsA _M is a finite direct product of semihereditary Bézout domains whose quotient rings by the Jacobson radicals are finite direct products of skew fields;
3. all right ideals and all left ideals of the ringA are flat (right and left) modules over the ringA, andA is a distributive ring, without nonzero nilpotent elements, all of whose quotient rings by prime ideals are semihereditary orders in skew fields.

     

k-torsionless modules with finite Gorenstein dimension

Let R be a commutative Noetherian ring. It is shown that the finitely generated R-module M with finite Gorenstein dimension is reflexive if and only if M _p is reflexive for p ∈ Spec(R) with depth(R _p) ? 1, and $G - {\dim _{{R_p}}}$ (M _p) ? depth(R _p) ? 2 for p ∈ Spec(R) with depth(R _p) ? 2. This gives a generalization of Serre and Samuel’s results on reflexive modules over a regular local ring and a generalization of a recent result due to Belshoff. In addition, for n ? 2 we give a characterization of n-Gorenstein rings via Gorenstein dimension of the dual of modules. Finally it is shown that every R-module has a k-torsionless cover provided R is a k-Gorenstein ring.     

Artinian cofinite modules over complete Noetherian local rings

Let (R, m) be a complete Noetherian local ring, I an ideal of R and M a nonzero Artinian R-module. In this paper it is shown that if p is a prime ideal of R such that dim R/p = 1 and (0:M p) is not finitely generated and for each i ? 2 the R-module Ext _R ⁱ (M,R/p) is of finite length, then the R-module Ext _R ¹ (M, R/p) is not of finite length. Using this result, it is shown that for all finitely generated R-modules N with Supp(N) ? V (I) and for all integers i ? 0, the R-modules Ext _R ⁱ (N,M) are of finite length, if and only if, for all finitely generated R-modules N with Supp(N) ? V (I) and for all integers i ? 0, the R-modules Ext _R ⁱ (M,N) are of finite length.     

A generalization of the finiteness problem of the local cohomology modules

Let R be a commutative Noetherian ring and \(\mathfrak{a}\) an ideal of R. We introduce the concept of \(\mathfrak{a}\) -weakly Laskerian R-modules, and we show that if M is an \(\mathfrak{a}\) -weakly Laskerian R-module and s is a non-negative integer such that Ext _R ^j \((R/\mathfrak{a},H_\mathfrak{a}^i (M))\) is \(\mathfrak{a}\) -weakly Laskerian for all i < s and all j, then for any \(\mathfrak{a}\) -weakly Laskerian submodule X of \(H_\mathfrak{a}^s (M)\) , the R-module \(Hom_R (R/\mathfrak{a},H_\mathfrak{a}^s (M)/X)\) is \(\mathfrak{a}\) -weakly Laskerian. In particular, the set of associated primes of \(H_\mathfrak{a}^s (M)/X\) is finite. As a consequence, it follows that if M is a finitely generated R-module and N is an \(\mathfrak{a}\) -weakly Laskerian R-module such that \(H_\mathfrak{a}^i (N)\) (N) is \(\mathfrak{a}\) -weakly Laskerian for all i < s, then the set of associated primes of \(H_\mathfrak{a}^s (M,N)\) (M,N) is finite. This generalizes the main result of S. Sohrabi Laleh, M.Y. Sadeghi, and M.Hanifi Mostaghim (2012).     

Ascent properties for pairs of modules

Given a flat local ring homomorphism \({R \rightarrow S}\) and two finitely generated R-modules M and N, we describe conditions under which the modules \({{\rm Tor}^{R}_{i}(M,N)}\) and \({{\rm Ext}^{i}_{R}(M,N)}\) have S-module structures that are compatible with their R-module structures.     

On projective planes admitting elations and homologies

We consider projective planes Π of ordern with abelian collineation group Γ of ordern(n?1) which is generated by (A, m)-elations and (B, l)-homologies wherem =AB andA εl. We prove

1. Ifn is even thenn=2^e and the Sylow 2-subgroup of Γ is elementary abelian.
2. Ifn is odd then the Sylow 2-subgroup of Γ is cyclic.
3. Ifn is a prime then Π is Desarguesian.
4. Ifn is not a square thenn is a prime power.

     

Rank-sets of indecomposable modules over one-dimensional rings

Let R be a one-dimensional, reduced Noetherian ring with finite normalization, and suppose there exists a positive integer N_R such that, for every indecomposable finitely generated torsion-free R-module M and every minimal prime ideal P of R, the dimension of M_P, as a vector space over the localization R_P (a field), is less than or equal to N_R. For a finitely generated torsion-free R-module M, we call the set of all such vector-space dimensions the rank-set of M. What subsets of the integers arise as rank-sets of indecomposable finitely generated torsion-free R-modules? In this article, we give more information on rank-sets of indecomposable modules, to supplement previous work concerning this question. In particular we provide examples having as rank-sets those intervals of consecutive integers that are not ruled out by an earlier article of Arnavut, Luckas and Wiegand. We also show that certain non-consecutive rank-sets never arise.     

Finiteness of graded generalized local cohomology modules

We consider two finitely generated graded modules over a homogeneous Noetherian ring $R = \oplus _{n \in \mathbb{N}_0 } R_n$ with a local base ring (R ₀, m₀) and irrelevant ideal R ₊ of R. We study the generalized local cohomology modules H _b ⁱ (M,N) with respect to the ideal b = b₀ + R ₊, where b₀ is an ideal of R ₀. We prove that if dimR ₀/b₀ ≤ 1, then the following cases hold: for all i ≥ 0, the R-module H _b ⁱ (M,N)/a₀ H _b ⁱ (M,N) is Artinian, where $\sqrt {\mathfrak{a}_0 + \mathfrak{b}_0 } = \mathfrak{m}_0$ ; for all i ≥ 0, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is asymptotically stable as n→?∞. Moreover, if H _b ⁱ (M,N) _n is a finitely generated R ₀-module for all n ≤ n ₀ and all j < i, where n ₀ ∈ ? and i ∈ ?₀, then for all n ≤ n ₀, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is finite.     

Reduced multiplication modules

An R-module M is called a multiplication module if for each submodule N of M, N = IM for some ideal I of R. As defined for a commutative ring R, an R-module M is said to be reduced if the intersection of prime submodules of M is zero. The prime spectrum and minimal prime submodules of the reduced module M are studied. Essential submodules of M are characterized via a topological property. It is shown that the Goldie dimension of M is equal to the Souslin number of Spec(M)\mbox{\rm Spec}(M). Also a finitely generated module M is a Baer module if and only if Spec(M)\mbox{\rm Spec}(M) is an extremally disconnected space; if and only if it is a CS-module. It is proved that a prime submodule N is minimal in M if and only if for each x ∈ N, Ann(x) \not í (N:M).\mbox{\rm Ann}(x) \not \subseteq (N:M). When M is finitely generated; it is shown that every prime submodule of M is maximal if and only if M is a von Neumann regular module (VNM); i.e., every principal submodule of M is a summand submodule. Also if M is an injective R-module, then M is a VNM.     

New results related to a conjecture of Moore

Let Γ be a group, Γ′ be a subgroup of Γ of finite index, and R be a ring with identity. Assume that M is an RΓ-module whose restriction to RΓ′ is projective. Moore’s conjecture: Assume that, for all ${x \in (\Gamma-\Gamma^{\prime})}$ , either there is an integer n such that ${1 \neq x^{n} \in \Gamma^{\prime}}$ or x has finite order and is invertible in R. Then M is also projective over RΓ. In this paper, we consider an analogue of this conjecture for injective modules. It turns out that the validity of the conjecture for injective modules implies the validity of it on projective and flat modules. It is also shown that the conjecture for injective modules is true whenever Γ belongs to Kropholler’s hierarchy ${{\bf LH}\mathfrak{F}}$ . In addition, assume that M is an RΓ-module whose restriction to RΓ′ is Gorenstein projective (resp. injective), it is proved that M is Gorenstein projective (resp. injective) over RΓ whenever Γ′ is a subgroup of Γ of finite index.     

On the uniform bound of the index of reducibility of parameter ideals of a module whose polynomial type is at most one

Let ${(R, \mathfrak{m})}$ be a Noetherian local ring, M a finitely generated R-module. The aim of this paper is to prove a uniform formula for the index of reducibility of parameter ideals of M provided the polynomial type of M is at most one.     

The Structure of Modules over Hereditary Rings

Let A be a bounded hereditary Noetherian prime ring. For an A-module M _A , we prove that M is a finitely generated projective ${A \mathord{\left/ {\vphantom {A {r\left( M \right)}}} \right. \kern-0em} {r\left( M \right)}}$ -module if and only if M is a ${\pi }$ -projective finite-dimensional module, and either M is a reduced module or A is a simple Artinian ring. The structure of torsion or mixed ${\pi }$ -projective A-modules is completely described.     

On three problems for sequences

If ξ∈ (0,1) and A=a_n, n?? is a sequence of real numbers define S_n(ξ,A)∶=Σ{a_k∶:k=[nξ]+1 to n}, n??, where [x] is the greatest integer less than or equal to x. In the theory of regularly varying sequences the problem arose to conclude from the convergence of the sequence S_n (ξ,A), n??, for all ξ in an appropriate set K of real numbers, that the sequence a_n, n??, converges to zero. It was shown that such a conclusion is possible if K={ξ,1?ξ} with ξ∈ (0,1) irrational. Then the following three questions were posed and will be answered in this paper:

1. does the convergence of S_n (ξ,A), n??, for a single irrational number ξ imply a_n→0.
2. does the convergence of S_n(ξ,A), n??, for finitely many rational numbers ξ∈ (0, 1) imply a_n→0.
3. does the convergence of S_n (ξ,A), n??, for all rational numbers ξ∈ (0,1) imply a_n→0?

     

Indecomposable modules over right pure semisimple rings

The aim of this paper is to prove the following result. IfA is a right pure semisimple ring, then it satisfies one of the two following statements:

1. For any positive integern, there are at most finitely many indecomposable right modules of lengthn; or
2. There is an infinite number of integersd such that, for eachd, A has infinitely many indecomposable right modules of lengthd.

The result is derived with the aid of ultraproduct-technique.