In this paper, we define Gorenstein injective rings, Gorenstein injective modules and their envelopes. The main topic of this paper is to show that if $D$ is a Gorenstein integral domain and $M$ is a left $D$-module, then the torsion submodule $tGM$ of Gorenstein injective envelope $GM$ of $M$ is also Gorenstein injective. We can also show that if $M$ is a torsion $D$-module of a Gorenstein injective integral domain $D$, then the Gorenstein injective envelope $GM$ of $M$ is torsion.

In the class of all exact torsion theories the torsionfree classes are cover (precover) classes if and only if the classes of torsionfree relatively injective modules or relatively exact modules are cover (precover) classes, and this happens exactly if and only if the torsion theory is of finite type. Using the transfinite induction in the second half of the paper a new construction of a torsionfree relatively injective cover of an arbitrary module with respect to Goldie’s torsion theory of finite...

We show that any block of a group algebra of some finite group which is of wild representation type has many families of stable tubes.

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 $S^{\lambda }B$-module...

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.

Let k be a field of characteristic different from 2. We consider two important tame non-polynomial growth algebras: the incidence k-algebra of the garland 𝒢₃ of length 3 and the incidence k-algebra of the enlargement of the Nazarova-Zavadskij poset 𝒩 𝓩 by a greatest element. We show that if Λ is one of these algebras, then there exists a special family of pointed Λ-modules, called an independent pair of dense chains of pointed modules. Hence, by a result of Ziegler, Λ admits a super-decomposable...

The Uniformly strongly prime k-radical of a Γ-semiring is a special class which we study via its operator semiring.

We characterize the unit group of semisimple group algebras ${𝔽}_{q}G$ of some non-metabelian groups, where $F_q$ is a field with $q=p^k$ elements for $p$ prime and a positive integer $k$. In particular, we consider all 6 non-metabelian groups of order 48, the only non-metabelian group $((C_3\times C_3)⋊C_3)⋊C_2$ of order 54, and 7 non-metabelian groups of order 72. This completes the study of unit groups of semisimple group algebras for groups upto order 72.