Let $R$ be a commutative Noetherian ring and let $C$ be a semidualizing $R$-module. We prove a result about the covering properties of the class of relative Gorenstein injective modules with respect to $C$ which is a generalization of Theorem 1 by Enochs and Iacob (2015). Specifically, we prove that if for every $G_C$-injective module $G$, the character module $G^{+}$ is $G_C$-flat, then the class ${\mathrm{𝒢ℐ}}_C\left(R\right)\cap {𝒜}_C\left(R\right)$ is closed under direct sums and direct limits. Also, it is proved that under the above hypotheses the class ${\mathrm{𝒢ℐ}}_C\left(R\right)\cap {𝒜}_C\left(R\right)$...

Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and $𝒞$-minimaxness of local cohomology modules. We show that if $M$ is a minimax $R$-module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if $n$ is a nonnegative integer such that ${\left(H_I^i\left(M\right)\right)}_{𝔪}$ is a minimax $R_{𝔪}$-module for all $𝔪\in \mathrm{Max}\left(R\right)$ and for all $i<n$, then the set ${\mathrm{Ass}}_R\left(H_I^n\left(M\right)\right)$ is finite. Also, if $H_I^i\left(M\right)$ is...

We study the relations between finitistic dimensions and restricted injective dimensions. Let $R$ be a ring and $T$ a left $R$-module with $A={\mathrm{End}}_{R}T$. If ${}_{R}T$ is selforthogonal, then we show that $\mathrm{rid}\left(T_A\right)\le \mathrm{findim}\left(A_A\right)\le \mathrm{findim}{(}_{R}T)+\mathrm{rid}\left(T_A\right)$. Moreover, if $R$ is a left noetherian ring and $T$ is a finitely generated left $R$-module with finite injective dimension, then $\mathrm{rid}\left(T_A\right)\le \mathrm{findim}\left(A_A\right)\le \mathrm{fin}.\mathrm{inj}.\dim {(}_{R}R)+\mathrm{rid}\left(T_A\right)$. Also we show by an example that the restricted injective dimensions of a module may be strictly smaller than the Gorenstein injective dimension.

Let $n,d$ be two non-negative integers. A left $R$-module $M$ is called $(n,d)$-injective, if ${\mathrm{Ext}}^{d+1}(N,M)=0$ for every $n$-presented left $R$-module $N$. A right $R$-module $V$ is called $(n,d)$-flat, if ${\mathrm{Tor}}_{d+1}(V,N)=0$ for every $n$-presented left $R$-module $N$. A left $R$-module $M$ is called weakly $n$-$FP$-injective, if ${\mathrm{Ext}}^n(N,M)=0$ for every $(n+1)$-presented left $R$-module $N$. A right $R$-module $V$ is called weakly $n$-flat, if ${\mathrm{Tor}}_n(V,N)=0$ for every $(n+1)$-presented left $R$-module $N$. In this paper, we give some characterizations and properties of $(n,d)$-injective modules and $(n,d)$-flat modules in...

Let K be a field of characteristic p > 0, K* the multiplicative group of K and $G=G_p\times B$ a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $K^{\lambda }G$ a twisted group algebra of G over K with a 2-cocycle λ ∈ Z²(G,K*). We give necessary and sufficient conditions for G to be of OTP projective K-representation type, in the sense that there exists a cocycle λ ∈ Z²(G,K*) such that every indecomposable $K^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $K^{\lambda }{G}_p$-module...

Let $𝔞$ be an ideal of a commutative Noetherian ring $R$ and $t$ be a nonnegative integer. Let $M$ and $N$ be two finitely generated $R$-modules. In certain cases, we give some bounds under inclusion for the annihilators of ${\mathrm{Ext}}_R^t(M,N)$ and ${\mathrm{H}}_{𝔞}^t\left(M\right)$ in terms of minimal primary decomposition of the zero submodule of $M$, which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.

Assume that S is a commutative complete discrete valuation domain of characteristic p, S* is the unit group of S and $G=G_p\times B$ is a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $S^{\lambda }G$ the twisted group algebra of G over S with a 2-cocycle λ ∈ Z²(G,S*). We give necessary and sufficient conditions for $S^{\lambda }G$ to be of OTP representation type, in the sense that every indecomposable $S^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $S^{\lambda }{G}_p$-module V and an irreducible...

An $R$-module $M$ has an almost trivial dual if there are no epimorphisms from $M$ to the free $R$-module of countable infinite rank $R^{\left(\omega \right)}$. For every natural number $k>1$, we construct arbitrarily large separable ${\aleph }_k$-free $R$-modules with almost trivial dual by means of Shelah’s Easy Black Box, which is a combinatorial principle provable in ZFC.

In this paper we introduce the concept of $\tau$-extending modules by $\tau$-rational submodules and study some properties of such modules. It is shown that the set of all $\tau$-rational left ideals of ${}_{R}R$ is a Gabriel filter. An $R$-module $M$ is called $\tau$-extending if every submodule of $M$ is $\tau$-rational in a direct summand of $M$. It is proved that $M$ is $\tau$-extending if and only if $M=Re{j}_{M}E(R/\tau \left(R\right))\oplus N$, such that $N$ is a $\tau$-extending submodule of $M$. An example is given to show that the direct sum of $\tau$-extending modules need not...

Let $\mathbb{Z}{̂}_p$ be the ring of p-adic integers, $U\left(\mathbb{Z}{̂}_p\right)$ the unit group of $\mathbb{Z}{̂}_p$ and $G=G_p\times B$ a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $\mathbb{Z}{̂}_p^{\lambda }G$ the twisted group algebra of G over $\mathbb{Z}{̂}_p$ with a 2-cocycle $\lambda \in Z²(G,U\left(\mathbb{Z}{̂}_p\right))$. We give necessary and sufficient conditions for $\mathbb{Z}{̂}_p^{\lambda }G$ to be of OTP representation type, in the sense that every indecomposable $\mathbb{Z}{̂}_p^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $\mathbb{Z}{̂}_p^{\lambda }{G}_p$-module V and an irreducible $\mathbb{Z}{̂}_p^{\lambda }B$-module W.

We describe an approach to determining, up to pseudoisomorphism, the structure of a central-torsion module over the Iwasawa algebra of a pro-$p$, $p$-adic, Lie group containing no element of order $p$. The techniques employed follow classical methods used in the commutative case, but using Ore’s method of localisation. We then consider the properties of certain invariants which may prove useful in determining the structure of a module. Finally, we describe the case of pro-$p$ subgroups of ${\mathrm{GL}}_2\left({\mathbb{Z}}_p\right)$...

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if ${𝒟}_X^{\left(\infty \right)}$ is the sheaf of differential operators on $X$ [7], it is well known that giving an action of ${𝒟}_X^{\left(\infty \right)}$ on an ${𝒪}_X$-module $ℰ$ is equivalent to giving an infinite sequence of ${𝒪}_X$-modules descending $ℰ$ via the iterates of the Frobenius endomorphism of $X$ [5]. We show that this result can be generalized to any infinitesimal deformation $f:X\to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it...

In $𝒟$-modules theory, Gauss-Manin systems are defined by the direct image of the structure sheaf $𝒪$ by a morphism. A major theorem says that these systems have only regular singularities. This paper examines the irregularity of an analogue of the Gauss-Manin systems. It consists in the direct image complex $f_{+}\left(𝒪{\mathrm{e}}^g\right)$ of a $𝒟$-module twisted by the exponential of a polynomial $g$ by another polynomial $f$, where $f$ and $g$ are two polynomials in two variables. The analogue of the Gauss-Manin systems can...

We study liftings or deformations of $D$-modules ($D$ is the ring of differential operators from EGA IV) from positive characteristic to characteristic zero using ideas of Matzat and Berthelot’s theory of arithmetic $D$-modules. We pay special attention to the growth of the differential Galois group of the liftings. We also apply formal deformation theory (following Schlessinger and Mazur) to analyze the space of all liftings of a given $D$-module in positive characteristic. At the end we compare...

Given a module M over a domestic canonical algebra Λ and a classifying set X for the indecomposable Λ-modules, the problem of determining the vector $m\left(M\right)={\left(m_x\right)}_{x\in X}\in {\mathbb{N}}^X$ such that $M\cong {⨁}_{x\in X}{X}_x^{m_x}$ is studied. A precise formula for $di{m}_{k}Ho{m}_{\Lambda }(M,X)$, for any postprojective indecomposable module X, is computed in Theorem 2.3, and interrelations between various structures on the set of all postprojective roots are described in Theorem 2.4. It is proved in Theorem 2.2 that a general method of finding vectors m(M) presented by the authors...

Let $G$ be a finite group and $k$ a field of characteristic $p>0$. In this paper, we obtain several equivalent conditions to determine whether the principal block $B_0$ of a finite $p$-solvable group $G$ is $p$-radical, which means that $B_0$ has the property that $e_0{\left(k_P\right)}^G$ is semisimple as a $kG$-module, where $P$ is a Sylow $p$-subgroup of $G$, $k_P$ is the trivial $kP$-module, ${\left(k_P\right)}^G$ is the induced module, and $e_0$ is the block idempotent of $B_0$. We also give the complete classification of a finite $p$-solvable group $G$ which has not more...

Let $A$ be a closed set of $M\simeq {\mathbb{R}}^n$, whose conormai cones $x+y_x^{*}\left(A\right)$, $x\in A$, have locally empty intersection. We first show in §1 that $\text{dist}\left(x,A\right)$, $x\in M\setminus A$ is a $C^1$ function. We then represent the n microfunctions of ${\mathcal{C}}_{A|X}$, $X\simeq {\mathbb{C}}^n$, using cohomology groups of ${\mathcal{O}}_X$ of degree 1. By the results of § 1-3, we are able to prove in §4 that the sections of ${\left.{\mathcal{C}}_{A|X}\right|}_{{\dot{\pi }}^{-1}\left(x_0\right)}$, $x_0\in \partial A$, satisfy the principle of the analytic continuation in the complex integral manifolds of ${\left\{H\left({\varphi }_i^C\right)\right\}}_{i=1,\mathrm{\dots },m}$, $\left\{{\varphi }_i\right\}$ being a base for the linear hull of ${\gamma }_{x_0}^{*}\left(A\right)$ in $T_{x_0}^{*}M$; in particular we get ${\left.{\mathrm{\Gamma }}_{A\times {}_{M}T{}^{*}{}_{M}X}\left({\mathcal{C}}_{A|X}\right)\right|}_{\partial A\times {}_M\dot{T}{}^{*}{}_{M}X}=0$. When $A$is a half space with...