-
Rings whose mininjective modules are injective
Authors:
Yusuf Alagöz,
Sinem Benli-Göral,
Engin Büyükaşık,
Juan Ramón García Rozas,
Luis Oyonarte
Abstract:
The main goal of this paper is to characterize rings over which the mininjective modules are injective, so that the classes of mininjective modules and injective modules coincide. We show that these rings are precisely those Noetherian rings for which every min-flat module is projective and we study this characterization in the cases when the ring is Kasch, commutative and when it is quasi-Frobeni…
▽ More
The main goal of this paper is to characterize rings over which the mininjective modules are injective, so that the classes of mininjective modules and injective modules coincide. We show that these rings are precisely those Noetherian rings for which every min-flat module is projective and we study this characterization in the cases when the ring is Kasch, commutative and when it is quasi-Frobenius. We also treat the case of $n\times n$ upper triangular matrix rings, proving that their mininjective modules are injective if and only if $n=2$.
We use the developed machinery to find a new type of examples of indigent modules (those whose subinjectivity domain contains only the injective modules), whose existence is known, so far, only in some rather restricted situations.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
Co-Kasch Modules
Authors:
Rafail Alizade,
Engin Büyükaşık,
Yılmaz Durgun
Abstract:
In this paper we study the modules $M$ every simple subfactors of which is a homomorphic image of $M$ and call them co-Kasch modules. These modules are dual to Kasch modules $M$ every simple subfactors of which can be embedded in $M$. We show that a module is co-Kasch if and only if every simple module in $σ[M]$ is a homomorphic image of $M$. In particular, a projective right module $P$ is co-Kasc…
▽ More
In this paper we study the modules $M$ every simple subfactors of which is a homomorphic image of $M$ and call them co-Kasch modules. These modules are dual to Kasch modules $M$ every simple subfactors of which can be embedded in $M$. We show that a module is co-Kasch if and only if every simple module in $σ[M]$ is a homomorphic image of $M$. In particular, a projective right module $P$ is co-Kasch if and only if $P$ is a generator for $σ[P]$. If $R$ is right max and right $H$-ring, then every right $R$-module is co-Kasch; and the converse is true for the rings whose simple right modules have locally artinian injective hulls. For a right artinian ring $R$, we prove that: (1) every finitely generated right $R$-module is co-Kasch if and only if every right $R$-module is a co-Kasch module if and only if $R$ is a right $H$-ring; and (2) every finitely generated projective right $R$-module is co-Kasch if and only if the Cartan matrix of $R$ is a diagonal matrix. For a Prüfer domain $R$, we prove that, every nonzero ideal of $R$ is co-Kasch if and only if $R$ is Dedekind. The structure of $\mathbb{Z}$-modules that are co-Kasch is completely characterized.
△ Less
Submitted 3 March, 2025; v1 submitted 6 September, 2024;
originally announced September 2024.
-
Virtually regular modules
Authors:
Engin Büyükaşık,
Özlem Irmak Demir
Abstract:
We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper, characterizations and some closure properties of the aforementioned modules are given. Several structure results are obtained over commutative rings. In partic…
▽ More
We call a right module $M$ (strongly) virtually regular if every (finitely generated) cyclic submodule is isomorphic to a direct summand. $M$ is said to be completely virtually regular if every submodule is virtually regular. In this paper, characterizations and some closure properties of the aforementioned modules are given. Several structure results are obtained over commutative rings. In particular, the structures of finitely presented (strongly) virtually regular modules and completely virtually regular modules are fully determined over valuation domains. Namely, for a valuation domain $R$ with the unique maximal ideal $P$, we show that finitely presented (strongly) virtually regular modules are free if and only if $P$ is not principal; and that $P=Rp$ is principal if and only if finitely presented virtually regular modules are of the form $$R^n \oplus (\frac{R}{Rp})^{n_1} \oplus (\frac{R}{Rp^2})^{n_2} \oplus \cdots \oplus (\frac{R}{Rp^k})^{n_k}$$ for nonnegative integers $n,\,k,\,n_1,\,n_2,\cdots ,n_k.$ Similarly, we prove that $P=Rp$ is principal if and only if finitely presented strongly virtually regular modules are of the form $ R^n \oplus (\frac{R}{Rp})^{m}$, where $m,n$ are nonnegative integers.
We also obtain that, $R$ admits a nonzero finitely presented completely virtually regular module $M$ if and only if $P=Rp$ is principal. Moreover, for a finitely presented $R$-module $M$, we prove that: $(i)$ if $R$ is not a DVR, then $M$ is completely virtually regular if and only if $M \cong (\frac{R}{Rp})^{m}$; and $(ii)$ if $R$ is a DVR, then $M$ is completely virtually regular if and only if $M\cong R^n \oplus (\frac{R}{Rp})^{m}.$ Finally, we obtain a characterization of finitely generated virtually regular modules over the ring of integers.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
On the rings whose injective right modules are max-projective
Authors:
Yusuf Alagöz,
Engin Büyükaşık,
Baran Yurtsever
Abstract:
Recently, the rings whose injective right modules are R-projective (respectively, max-projective) were investigated and studied in [2]. Such ring are called right almost-QF (respectively, max-QF). In this paper, our aim is to give some further characterization of these rings over more general classes of rings, and address several questions about these rings. We obtain characterizations of max-QF r…
▽ More
Recently, the rings whose injective right modules are R-projective (respectively, max-projective) were investigated and studied in [2]. Such ring are called right almost-QF (respectively, max-QF). In this paper, our aim is to give some further characterization of these rings over more general classes of rings, and address several questions about these rings. We obtain characterizations of max-QF rings over several classes of rings including local, semilocal right semihereditary, right nonsingular right noetherian and right nonsingular right finite dimensional rings. We prove that for a ring R being right almost-QF and right max-QF are not left-right symmetric. We also show that right almost-QF and right max-QF rings are not closed under factor rings. This leads to consider the rings all of whose factor rings are almost-QF and max-QF.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Dual Kasch Rings
Authors:
Engin Büyükaşık,
Christian Lomp,
Haydar Baran Yurtsever
Abstract:
It is well known that a ring $R$ is right Kasch if each simple right $R$-module embeds in a projective right $R$-module. In this paper we study the dual notion and call a ring $R$ right dual Kasch if each simple right $R$-module is a homomorphic image of an injective right $R$-module. We prove that $R$ is right dual Kasch if and only if every finitely generated projective right $R$-module is coclo…
▽ More
It is well known that a ring $R$ is right Kasch if each simple right $R$-module embeds in a projective right $R$-module. In this paper we study the dual notion and call a ring $R$ right dual Kasch if each simple right $R$-module is a homomorphic image of an injective right $R$-module. We prove that $R$ is right dual Kasch if and only if every finitely generated projective right $R$-module is coclosed in its injective hull. Typical examples of dual Kasch rings are self-injective rings, V-rings and commutative perfect rings. Skew group rings of dual Kasch rings by finite groups are dual Kasch if the order of the group is invertible. Many examples are given to separate the notion of Kasch and dual Kasch rings. It is shown that commutative Kasch rings are dual Kasch, and a commutative ring with finite Goldie dimension is dual Kasch if and only if it is a classical ring (i.e. every element is a zero divisor or invertible). We obtain that, for a field $k$, a finite dimensional $k$-algebra is right dual Kasch if and only if it is left Kasch. We also discuss the rings over which every simple right module is a homomorphic image of its injective hull, and these rings are termed strongly dual Kasch.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
On Simple-Direct Modules
Authors:
Engin Büyükaşık,
Özlem Demir,
Müge Diril
Abstract:
Recently, in a series of papers "simple" versions of direct-injective and direct-projective modules have been investigated. These modules are termed as "simple-direct-injective" and "simple-direct-projective", respectively. In this paper, we give a complete characterization of the aforementioned modules over the ring of integers and over semilocal rings. The ring is semilocal if and only if every…
▽ More
Recently, in a series of papers "simple" versions of direct-injective and direct-projective modules have been investigated. These modules are termed as "simple-direct-injective" and "simple-direct-projective", respectively. In this paper, we give a complete characterization of the aforementioned modules over the ring of integers and over semilocal rings. The ring is semilocal if and only if every right module with zero Jacobson radical is simple-direct-projective. The rings whose simple-direct-injective right modules are simple-direct-projective are fully characterized. These are exactly the left perfect right $H$-rings. The rings whose simple-direct-projective right modules are simple-direct-injective are right max-rings. For a commutative Noetherian ring, we prove that simple-direct-projective modules are simple-direct-injective if and only if simple-direct-injective modules are simple-direct-projective if and only if the ring is Artinian. Various closure properties and some classes of modules that are simple-direct-injective (resp. projective) are given.
△ Less
Submitted 9 April, 2020; v1 submitted 8 April, 2020;
originally announced April 2020.
-
max-projective modules
Authors:
Yusuf Alagöz,
Engin Büyükaşik
Abstract:
A right $R$-module $M$ is called max-projective provided that each homomorphism $f:M \to R/I$ where $I$ is any maximal right ideal, factors through the canonical projection $π: R \to R/I$. We call a ring $R$ right almost-$QF$ (resp. right max-$QF$) if every injective right $R$-module is $R$-projective (resp. max-projective). This paper attempts to understand the class of right almost-$QF$ (resp. r…
▽ More
A right $R$-module $M$ is called max-projective provided that each homomorphism $f:M \to R/I$ where $I$ is any maximal right ideal, factors through the canonical projection $π: R \to R/I$. We call a ring $R$ right almost-$QF$ (resp. right max-$QF$) if every injective right $R$-module is $R$-projective (resp. max-projective). This paper attempts to understand the class of right almost-$QF$ (resp. right max-$QF$) rings. Among other results, we prove that a right Hereditary right Noetherian ring $R$ is right almost-$QF$ if and only if $R$ is right max-$QF$ if and only if $R=S\times T$ , where $S$ is semisimple Artinian and $T$ is right small. A right Hereditary ring is max-$QF$ if and only if every injective simple right $R$-module is projective. Furthermore, a commutative Noetherian ring $R$ is almost-$QF$ if and only if $R$ is max-$QF$ if and only if $R=A \times B$, where $A$ is $QF$ and $B$ is a small ring.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Poor and pi-poor abelian groups
Authors:
Rafail Alizade,
Engin Buyukasik
Abstract:
In this paper, poor abelian groups are characterized. It is proved that an abelian group is poor if and only if its torsion part contains a direct summand isomorphic to $\oplus_{p \in P} \Z_p$, where $P$ is the set of prime integers. We also prove that pi-poor abelian groups exist. Namely, it is proved that the direct sum of $U^{(\mathbb{N})}$, where $U$ ranges over all nonisomorphic uniform abeli…
▽ More
In this paper, poor abelian groups are characterized. It is proved that an abelian group is poor if and only if its torsion part contains a direct summand isomorphic to $\oplus_{p \in P} \Z_p$, where $P$ is the set of prime integers. We also prove that pi-poor abelian groups exist. Namely, it is proved that the direct sum of $U^{(\mathbb{N})}$, where $U$ ranges over all nonisomorphic uniform abelian groups, is pi-poor. Moreover, for a pi-poor abelian group $M$, it is shown that $M$ can not be torsion, and each $p$-primary component of $M$ is unbounded. Finally, we show that there are pi-poor groups which are not poor, and vise versa.
△ Less
Submitted 6 July, 2015; v1 submitted 13 May, 2015;
originally announced May 2015.
-
Neat-Flat Modules
Authors:
Engin Büyükaşık,
Yılmaz Durğun
Abstract:
Let $R$ be a ring and $M$ be a right $R$-module. $M$ is called neat-flat if any short exact sequence of the form $0\to K\to N\to M\to 0$ is neat-exact i.e. any homomorphism from a simple right $R$-module $S$ to $M$ can be lifted to $N$. We prove that, a module is neat-flat if and only if it is simple-projective. Neat-flat right $R$-modules are projective if and only if $R$ is a right $\sum$-$CS$ r…
▽ More
Let $R$ be a ring and $M$ be a right $R$-module. $M$ is called neat-flat if any short exact sequence of the form $0\to K\to N\to M\to 0$ is neat-exact i.e. any homomorphism from a simple right $R$-module $S$ to $M$ can be lifted to $N$. We prove that, a module is neat-flat if and only if it is simple-projective. Neat-flat right $R$-modules are projective if and only if $R$ is a right $\sum$-$CS$ ring. Every finitely generated neat-flat right $R$-module is projective if and only if $R$ is a right $C$-ring and every finitely generated free right $R$-module is extending. Every cyclic neat-flat right $R$-module is projective if and only if $R$ is right $CS$ and right $C$-ring. Some characterizations of neat-flat modules are obtained over the rings whose simple right $R$-modules are finitely presented.
△ Less
Submitted 12 June, 2013;
originally announced June 2013.
-
When $δ$-semiperfect rings are semiperfect
Authors:
Engin Büyükaşık,
Christian Lomp
Abstract:
Zhou defined $δ$-semiperfect rings as a proper generalization of semiperfect rings. The purpose of this paper is to discuss relative notions of supplemented modules and to show that the semiperfect rings are precisely the semilocal rings which are $δ$-supplemented. Module theoretic version of our results are obtained.
Zhou defined $δ$-semiperfect rings as a proper generalization of semiperfect rings. The purpose of this paper is to discuss relative notions of supplemented modules and to show that the semiperfect rings are precisely the semilocal rings which are $δ$-supplemented. Module theoretic version of our results are obtained.
△ Less
Submitted 30 September, 2008;
originally announced October 2008.
-
On a recent generalization of semiperfect rings
Authors:
Christian Lomp,
Engin Büyükaşik
Abstract:
It follows from a recent paper by Ding and Wang that any ring which is generalized supplemented as left module over itself is semiperfect. The purpose of this note is to show that Ding and Wang's claim is not true and that the class of generalized supplemented rings lies properly between the class of semilocal and semiperfect rings. Moreover we rectify their claim by introducing a wider notion o…
▽ More
It follows from a recent paper by Ding and Wang that any ring which is generalized supplemented as left module over itself is semiperfect. The purpose of this note is to show that Ding and Wang's claim is not true and that the class of generalized supplemented rings lies properly between the class of semilocal and semiperfect rings. Moreover we rectify their claim by introducing a wider notion of local submodules.
△ Less
Submitted 4 February, 2008;
originally announced February 2008.
-
Rings whose modules are weakly supplemented are perfect
Authors:
Engin Büyükaşik,
Christian Lomp
Abstract:
In this note we show that a ring R is left perfect if and only if every left R-module is weakly supplemented if and only if R is semilocal and the radical of the countably infinite free left R-module has a weak supplement.
In this note we show that a ring R is left perfect if and only if every left R-module is weakly supplemented if and only if R is semilocal and the radical of the countably infinite free left R-module has a weak supplement.
△ Less
Submitted 6 November, 2007;
originally announced November 2007.
