Showing 1–18 of 18 results for author: Ssevviiri, D

A Cousin Complex for the Quantum Projective Space

Authors: Kobi Kremnizer, David Ssevviiri

Abstract: Grothendieck constructed a Cousin complex for abelian sheaves on an arbitrary topological space. In a special setting, its dual called the BGG resolution is applicable in representation theory. Arkhipov proposed a complex whose dual is only suitable for representation theory of quantum groups at roots of unity of prime order. It is desirable to get one which works for quantum groups at all roots o… ▽ More Grothendieck constructed a Cousin complex for abelian sheaves on an arbitrary topological space. In a special setting, its dual called the BGG resolution is applicable in representation theory. Arkhipov proposed a complex whose dual is only suitable for representation theory of quantum groups at roots of unity of prime order. It is desirable to get one which works for quantum groups at all roots of unity. For a quantum projective space, we provide such a complex. △ Less

Submitted 20 March, 2025; originally announced March 2025.

Comments: 11 pages

MSC Class: 20G42; 81R50; 16E05; 16T20; 18G10; 51E15

Applications of reduced and coreduced modules III: homological properties and coherence of functors

Authors: David Ssevviiri

Abstract: This is the third in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We show in different settings that $I$-reduced (resp. $I$-coreduced) $R$-modules facilitate the computation of local cohomology (resp. local homology) and provide conditions under which the $I$-torsion functor as well as the $I$-tr… ▽ More This is the third in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We show in different settings that $I$-reduced (resp. $I$-coreduced) $R$-modules facilitate the computation of local cohomology (resp. local homology) and provide conditions under which the $I$-torsion functor as well as the $I$-transform functor (resp. their duals) become coherent. We show that whenever every $R$-module is $I$-reduced (resp. $I$-coreduced), the cohomological dimension (resp. dual of the cohomological dimension) of an ideal $I$ of a ring $R$ coincides with the projective (resp. flat) dimension of the $R$-module $R/I$. △ Less

Submitted 18 March, 2025; v1 submitted 5 February, 2025; originally announced February 2025.

Comments: 15 pages

MSC Class: 13D45; 13D05; 13D07; 13C13

Nil modules and the envelope of a submodule

Authors: David Ssevviiri, Annet Kyomuhangi

Abstract: Let $R$ be a commutative unital ring and $N$ be a submodule of an $R$-module $M$. The submodule $\langle E_M(N)\rangle$ generated by the envelope $E_M(N)$ of $N$ is instrumental in studying rings and modules that satisfy the radical formula. We show that: 1) the semiprime radical is an invariant on all the submodules which are respectively generated by envelopes in the ascending chain of envelopes… ▽ More Let $R$ be a commutative unital ring and $N$ be a submodule of an $R$-module $M$. The submodule $\langle E_M(N)\rangle$ generated by the envelope $E_M(N)$ of $N$ is instrumental in studying rings and modules that satisfy the radical formula. We show that: 1) the semiprime radical is an invariant on all the submodules which are respectively generated by envelopes in the ascending chain of envelopes of a given submodule; 2) for rings that satisfy the radical formula, $\langle E_M(0)\rangle$ is an idempotent radical and it induces a torsion theory whose torsion class consists of all nil $R$-modules and the torsionfree class consists of all reduced $R$-modules; and 3) Noetherian uniserial modules satisfy the semiprime radical formula and their semiprime radical is a nil module. △ Less

Submitted 25 June, 2025; v1 submitted 28 August, 2024; originally announced August 2024.

Comments: 10 pages

MSC Class: 16S90; 13C13

Journal ref: Questionnes Mathematicae 2025

Modules (co)reduced relative to another module

Authors: Tilahun Abebaw, Amanuel Mamo, David Ssevviiri, Zelalem Teshome

Abstract: Let $R$ be a commutative unital ring, $\mathfrak{ a}$ an ideal of $R$ and $M$ a fixed $R$-module. We introduce and study generalisations of $\mathfrak{a}$-reduced modules, $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{a}$-coreduced modules, $\mathfrak{C}_{\mathfrak{ a}}$ studied in the literature. They are called modules $\mathfrak{ a}$-reduced with respect to $M$,… ▽ More Let $R$ be a commutative unital ring, $\mathfrak{ a}$ an ideal of $R$ and $M$ a fixed $R$-module. We introduce and study generalisations of $\mathfrak{a}$-reduced modules, $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{a}$-coreduced modules, $\mathfrak{C}_{\mathfrak{ a}}$ studied in the literature. They are called modules $\mathfrak{ a}$-reduced with respect to $M$, $\mathfrak{R}^{M}_{\mathfrak{ a}}$ and modules $\mathfrak{ a}$-coreduced with respect to $M$, $\mathfrak{C}^{M}_{\mathfrak{ a}}$. The paper lifts several known results about $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{C}_{\mathfrak{ a}}$ to larger classes of modules $\mathfrak{R}^{M}_{\mathfrak{ a}}$ and $\mathfrak{C}^{M}_{\mathfrak{ a}}$ respectively. Results about $\mathfrak{R}_{\mathfrak{ a}}$ and $\mathfrak{C}_{\mathfrak{ a}}$ can be retrieved by taking $M= R$. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 19 pages

MSC Class: 13C13; 13D07; 13D45; 18A35

Applications of reduced and coreduced modules II: Radicality of the functor $\text{Hom}_R(R/I, -)$

Authors: David Ssevviiri

Abstract: This is the second in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We give necessary and sufficient conditions in terms of $I$-reduced and $I$-coreduced $R$-modules for the functor $\text{Hom}_R(R/I, -)$ on the abelian full subcategory of the category of $R$-modules to be a radical. These conditi… ▽ More This is the second in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We give necessary and sufficient conditions in terms of $I$-reduced and $I$-coreduced $R$-modules for the functor $\text{Hom}_R(R/I, -)$ on the abelian full subcategory of the category of $R$-modules to be a radical. These conditions further provide a setting for the generalisation of Jans' correspondence, and lead to a new radical class of rings. △ Less

Submitted 25 June, 2025; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: 18 pages, some sections have been deleted and new ones added

MSC Class: 16S90; 13D30; 16D80; 13D07

Characterizations of regular modules

Authors: Philly Ivan Kimuli, David Ssevviiri

Abstract: Different and distinct notions of regularity for modules exist in the literature. When these notions are restricted to commutative rings, they all coincide with the well-known von-Neumann regularity for rings. We give new characterizations of these distinct notions for modules in terms of both (weakly-)morphic modules and reduced modules. Furthermore, module theoretic settings are established wher… ▽ More Different and distinct notions of regularity for modules exist in the literature. When these notions are restricted to commutative rings, they all coincide with the well-known von-Neumann regularity for rings. We give new characterizations of these distinct notions for modules in terms of both (weakly-)morphic modules and reduced modules. Furthermore, module theoretic settings are established where these in general distinct notions turn out to be indistinguishable. △ Less

Submitted 7 January, 2023; originally announced January 2023.

Comments: 19 pages

MSC Class: 16D80; 13C13; 13C05; 16E50; 16S50

Journal ref: International Electronic Journal of Algebra, 2022

Reduced submodules of finite dimensional polynomial modules

Authors: Tilahun Abebaw, Nega Arega, Teklemichael Worku Bihonegn, David Ssevviiri

Abstract: Let $k$ be a field with characteristic zero, $R$ be the ring $k[x_1, \cdots, x_n]$ and $I$ be a monomial ideal of $R$. We study the Artinian local algebra $R/I$ when considered as an $R$-module $M$. We show that the largest reduced submodule of $M$ coincides with both the socle of $M$ and the $k$-submodule of $M$ generated by all outside corner elements of the Young diagram associated with $M$. In… ▽ More Let $k$ be a field with characteristic zero, $R$ be the ring $k[x_1, \cdots, x_n]$ and $I$ be a monomial ideal of $R$. We study the Artinian local algebra $R/I$ when considered as an $R$-module $M$. We show that the largest reduced submodule of $M$ coincides with both the socle of $M$ and the $k$-submodule of $M$ generated by all outside corner elements of the Young diagram associated with $M$. Interpretations of different reduced modules is given in terms of Macaulay inverse systems. It is further shown that these reduced submodules are examples of modules in a torsion-torsionfree class, together with their duals; coreduced modules, exhibit symmetries in regard to Matlis duality and torsion theories. Lastly, we show that any $R$-module $M$ of the kind described here satisfies the radical formula. △ Less

Submitted 13 July, 2023; v1 submitted 27 September, 2022; originally announced September 2022.

Comments: 19 pages

MSC Class: 13E10; 16D60; 16D80

Morphic elements in regular near-rings

Authors: Alex Samuel Bamunoba, Ivan Philly Kimuli, David Ssevviiri

Abstract: We define morphic near-ring elements and study their behavior in regular near-rings. We show that the class of left morphic regular near-rings is properly contained between the classes of left strongly regular and unit regular near-rings. We define morphic near-ring elements and study their behavior in regular near-rings. We show that the class of left morphic regular near-rings is properly contained between the classes of left strongly regular and unit regular near-rings. △ Less

Submitted 27 May, 2022; originally announced May 2022.

Comments: 15 pages

MSC Class: 16Y30; 16E50

Journal ref: Kyungpook mathematical journal (2020)

Weakly-morphic modules

Authors: Philly Ivan Kimuli, David Ssevviiri

Abstract: Let $R$ be a commutative ring, $M$ an $R$-module and $\varphi_a$ be the endomorphism of $M$ given by right multiplication by $a\in R$. We say that $M$ is {\it weakly-morphic} if $M/\varphi_a(M)\cong \ker(\varphi_a)$ as $R$-modules for every $a$. We study these modules and use them to characterise the rings $R/\text{Ann}_R(M)$, where $\text{Ann}_R(M)$ is the right annihilator of $M$. A kernel-direc… ▽ More Let $R$ be a commutative ring, $M$ an $R$-module and $\varphi_a$ be the endomorphism of $M$ given by right multiplication by $a\in R$. We say that $M$ is {\it weakly-morphic} if $M/\varphi_a(M)\cong \ker(\varphi_a)$ as $R$-modules for every $a$. We study these modules and use them to characterise the rings $R/\text{Ann}_R(M)$, where $\text{Ann}_R(M)$ is the right annihilator of $M$. A kernel-direct or image-direct module $M$ is weakly-morphic if and only if each element of $R/\text{Ann}_R(M)$ is regular as an endomorphism element of $M$. If $M$ is a weakly-morphic module over an integral domain $R$, then $M$ is torsion-free if and only if it is divisible if and only if $R/\text{Ann}_R(M)$ is a field. A finitely generated $\Bbb Z$-module is weakly-morphic if and only if it is finite; and it is morphic if and only if it is weakly-morphic and each of its primary components is of the form $(\Bbb Z_{p^k})^n$ for some non-negative integers $n$ and $k$. △ Less

Submitted 27 May, 2022; originally announced May 2022.

Comments: 20 pages

MSC Class: 13C13; 16E50; 20K01; 13G05; 13E05 13C13; 16E50; 20K01; 13G05; 13E05

Journal ref: Rend. Circ. Mat. Palermo, II. Ser (2022)

Generalised reduced modules

Authors: Annet Kyomuhangi, David Ssevviiri

Abstract: Let $R$ be a commutative unital ring, $a\in R$ and $t$ a positive integer. $a^{t}$-reduced $R$-modules and universally $a^{t}$-reduced $R$-modules are defined and their properties given. Known (resp. new) results about reduced $R$-modules are retrieved (resp. obtained) by taking $t=1$ and results about reduced rings are deduced. Let $R$ be a commutative unital ring, $a\in R$ and $t$ a positive integer. $a^{t}$-reduced $R$-modules and universally $a^{t}$-reduced $R$-modules are defined and their properties given. Known (resp. new) results about reduced $R$-modules are retrieved (resp. obtained) by taking $t=1$ and results about reduced rings are deduced. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: 13 pages

MSC Class: 16N60; 16S90; 13D07; 16E50; 16D80

Journal ref: Rend. Circ. Mat. Palermo, II. Ser(2021)

Applications of reduced and coreduced modules I

Authors: David Ssevviiri

Abstract: This is the first in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ an ideal of $R$. We show that $I$-reduced $R$-modules and $I$-coreduced $R$-modules provide a setting in which the Matlis-Greenless-May (MGM) Equivalence and the Greenless-May (GM) Duality hold. These two notions have been hitherto only known to exist… ▽ More This is the first in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ an ideal of $R$. We show that $I$-reduced $R$-modules and $I$-coreduced $R$-modules provide a setting in which the Matlis-Greenless-May (MGM) Equivalence and the Greenless-May (GM) Duality hold. These two notions have been hitherto only known to exist in the derived category setting. We realise the $I$-torsion and the $I$-adic completion functors as representable functors and under suitable conditions compute natural transformations between them and other functors. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: 21 pages

MSC Class: 13D07; 13C12; 13B35; 13C13

The locally nilradical for modules over commutative rings

Authors: Annet Kyomuhangi, David Ssevviiri

Abstract: Let $R$ be a commutative unital ring and $a\in R.$ We introduce and study properties of a functor $aΓ_{a}(-),$ called the locally nilradical on the category of $R$-modules. $aΓ_{a}(-)$ is a generalisation of both the torsion functor (also called section functor) and Baer's lower nilradical for modules. Several local-global properties of the functor $aΓ_{a}(-)$ are established. As an application, r… ▽ More Let $R$ be a commutative unital ring and $a\in R.$ We introduce and study properties of a functor $aΓ_{a}(-),$ called the locally nilradical on the category of $R$-modules. $aΓ_{a}(-)$ is a generalisation of both the torsion functor (also called section functor) and Baer's lower nilradical for modules. Several local-global properties of the functor $aΓ_{a}(-)$ are established. As an application, results about reduced $R$-modules are obtained and hitherto unknown ring theoretic radicals as well as structural theorems are deduced. △ Less

Submitted 5 March, 2020; originally announced March 2020.

Comments: 14 pages

MSC Class: 16S90; 16N80; 13D45

Journal ref: Beitr Algebra Geom (2020)

Nilpotent elements control the structure of a module

Authors: David Ssevviiri

Abstract: A relationship between nilpotency and primeness in a module is investigated. Reduced modules are expressed as sums of prime modules. It is shown that presence of nilpotent module elements inhibits a module from possessing good structural properties. A general form is given of an example used in literature to distinguish: 1) completely prime modules from prime modules, 2) classical prime modules… ▽ More A relationship between nilpotency and primeness in a module is investigated. Reduced modules are expressed as sums of prime modules. It is shown that presence of nilpotent module elements inhibits a module from possessing good structural properties. A general form is given of an example used in literature to distinguish: 1) completely prime modules from prime modules, 2) classical prime modules from classical completely prime modules, and 3) a module which satisfies the complete radical formula from one which is neither 2-primal nor satisfies the radical formula. △ Less

Submitted 11 December, 2018; originally announced December 2018.

Comments: 20 pages

MSC Class: 16D70; 16D60; 16S90

Red-injective modules

Authors: Juma Kasozi, David Ssevviiri, Vincent Umutabazi

Abstract: Let $\text{Red}(M)$ be the sum of all reduced submodules of a module $M$. For modules over commutative rings, $\text{Soc}(M)\subseteq \text{Red}(M)$. By drawing motivation from how $\text{Soc}$-injective modules were defined by Amin et. al. in \cite{amin2005}, we introduce $\text{Red}$-injective modules, study their properties and use them to characterize quasi-Frobenius rings and $V$-rings. Let $\text{Red}(M)$ be the sum of all reduced submodules of a module $M$. For modules over commutative rings, $\text{Soc}(M)\subseteq \text{Red}(M)$. By drawing motivation from how $\text{Soc}$-injective modules were defined by Amin et. al. in \cite{amin2005}, we introduce $\text{Red}$-injective modules, study their properties and use them to characterize quasi-Frobenius rings and $V$-rings. △ Less

Submitted 18 May, 2017; originally announced May 2017.

Comments: 15 pages, 4 figures

MSC Class: 16D50; 16D60; 16L60

On completely prime submodules

Authors: David Ssevviiri

Abstract: The formal study of completely prime modules was initiated by N. J. Groenewald and the current author in the paper; Completely prime submodules, {\it Int. Elect. J. Algebra}, {\bf 13}, (2013), 1--14. In this paper, the study of completely prime modules is continued. Firstly, the advantage completely prime modules have over prime modules is highlited and different situations that lead to completely… ▽ More The formal study of completely prime modules was initiated by N. J. Groenewald and the current author in the paper; Completely prime submodules, {\it Int. Elect. J. Algebra}, {\bf 13}, (2013), 1--14. In this paper, the study of completely prime modules is continued. Firstly, the advantage completely prime modules have over prime modules is highlited and different situations that lead to completely prime modules given. Later, emphasis is put on fully completely prime modules, (i.e., modules whose all submodules are completely prime). For a fully completely prime left $R$-module $M$, if $a, b\in R$ and $m\in M$, then $abm=bam$, $am=a^km$ for all positive integers $k$, and either $am=abm$ or $bm=abm$. In the last section, two different torsion theories induced by the completely prime radical are given. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Comments: 15 pages

MSC Class: 16S90; 16D60; 16D99

Journal ref: International Electronic Journal of Algebra, Volume 19 (2016) 77--90

A relationship between 2-primal modules and modules that satisfy the radical formula

Authors: David Ssevviiri

Abstract: The coincidence of the set of all nilpotent elements of a ring with its prime radical has a module analogue which occurs when the zero submodule satisfies the radical formula. A ring $R$ is 2-primal if the set of all nilpotent elements of $R$ coincides with its prime radical. This fact motivates our study in this paper, namely, to compare 2-primal submodules and submodules that satisfy the radical… ▽ More The coincidence of the set of all nilpotent elements of a ring with its prime radical has a module analogue which occurs when the zero submodule satisfies the radical formula. A ring $R$ is 2-primal if the set of all nilpotent elements of $R$ coincides with its prime radical. This fact motivates our study in this paper, namely, to compare 2-primal submodules and submodules that satisfy the radical formula. A demonstration of the importance of 2-primal modules in bridging the gap between modules over commutative rings and modules over noncommutative rings is done and new examples of rings and modules that satisfy the radical formula are also given. △ Less

Submitted 7 May, 2017; originally announced May 2017.

Comments: 13 pages

MSC Class: 16N60; 16N80; 16S90

Journal ref: International Electronic Journal of Algebra, 18 (2015) 34-45

Effect of nilpotency on semisimplicity and cohomology of the $\Z$-module $\Z/(p_1^{k_1}\times \cdots \times p_n^{k_n})\Z$

Authors: David Ssevviiri

Abstract: We show that existence of nonzero nilpotent elements in the $\Z$-module $\Z/(p_1^{k_1}\times \cdots \times p_n^{k_n})\Z$ inhibits the module from possessing good structural properties. In particular, it stops it from being semisimple and from admitting certain good homological properties. We show that existence of nonzero nilpotent elements in the $\Z$-module $\Z/(p_1^{k_1}\times \cdots \times p_n^{k_n})\Z$ inhibits the module from possessing good structural properties. In particular, it stops it from being semisimple and from admitting certain good homological properties. △ Less

Submitted 6 May, 2017; originally announced May 2017.

Comments: 8 pages

MSC Class: 16D70; 16D60; 13D03

A complete radical formula and 2-primal modules

Authors: David Ssevviiri

Abstract: We introduce a complete radical formula for modules over non-commutative rings which is the equivalence of a radical formula in the setting of modules defined over commutative rings. This gives a general frame work through which known results about modules over commutative rings that satisfy the radical formula are retrieved. Examples and properties of modules that satisfy the complete radical f… ▽ More We introduce a complete radical formula for modules over non-commutative rings which is the equivalence of a radical formula in the setting of modules defined over commutative rings. This gives a general frame work through which known results about modules over commutative rings that satisfy the radical formula are retrieved. Examples and properties of modules that satisfy the complete radical formula are given. For instance, it is shown that a module that satisfies the complete radical formula is completely semiprime if and only if it is a subdirect product of completely prime modules. This generalizes a ring theoretical result: a ring is reduced if and only if it is a subdirect product of domains. We settle in affirmative a conjecture by Groenewald and the current author given in \cite{2p} that a module over a 2-primal ring is 2-primal. More instances where 2-primal modules behave like modules over commutative rings are given. This is in tandem with the behaviour of 2-primal rings of exhibiting tendencies of commutative rings. We end with some questions about the role of 2-primal rings in algebraic geometry. △ Less

Submitted 9 December, 2016; originally announced December 2016.

Comments: 19 pages

MSC Class: 16S90; 08B26; 13C05; 16D80; 16N60; 13C10; 14A22