Showing 1–37 of 37 results for author: Abuhlail, J

On Semisimple Semirings

Authors: Jawad Y. Abuhlail, Rangga Ganzar Noegraha

Abstract: We investigate ideal-semisimple and congruence-semisimple semirings. We give several new characterizations of such semirings using e-projective and e-injective semimodules. We extend several characterizations of semisimple rings to (not necessarily subtractive) commutative semirings. We investigate ideal-semisimple and congruence-semisimple semirings. We give several new characterizations of such semirings using e-projective and e-injective semimodules. We extend several characterizations of semisimple rings to (not necessarily subtractive) commutative semirings. △ Less

Submitted 30 July, 2019; originally announced August 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.01549

MSC Class: 16D60; 16D40; 16D50

Flat Semimodules & von Neumann Regular Semirings

Authors: Jawad Abuhlail, Rangga Ganzar Noegraha

Abstract: Flat modules play an important role in the study of the category of modules over rings and in the characterization of some classes of rings. We study the e-flatness for semimodules introduced by the first author using his new notion of exact sequences of semimodules and its relationships with other notions of flatness for semimodules over semirings. We also prove that a subtractive semiring over w… ▽ More Flat modules play an important role in the study of the category of modules over rings and in the characterization of some classes of rings. We study the e-flatness for semimodules introduced by the first author using his new notion of exact sequences of semimodules and its relationships with other notions of flatness for semimodules over semirings. We also prove that a subtractive semiring over which every right (left) semimodule is e-flat is a von Neumann regular semiring. △ Less

Submitted 31 May, 2020; v1 submitted 13 July, 2019; originally announced July 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.01549, arXiv:1904.07708

MSC Class: 16Y60

On k-Noetherian and k-Artinian Semirings

Authors: Jawad Abuhlail, Rangga Ganzar Noegraha

Abstract: We investigate left k-Noetherian and left k-Artinian semirings. We characterize such semirings using i-injective semimodules. We prove in particular, a partial version of the celebrated Bass-Papp Theorem for semiring. We illustrate our main results by examples and counter examples. We investigate left k-Noetherian and left k-Artinian semirings. We characterize such semirings using i-injective semimodules. We prove in particular, a partial version of the celebrated Bass-Papp Theorem for semiring. We illustrate our main results by examples and counter examples. △ Less

Submitted 13 July, 2019; originally announced July 2019.

MSC Class: 16Y60

Injective Semimodules - Revisited

Authors: Jawad Abuhlail, Rangga Ganzar Noegraha

Abstract: Injective modules play an important role in characterizing different classes of rings (e.g. Noetherian rings, semisimple rings). Some semirings have no non-zero injective semimodules (e.g. the semiring of non-negative integers). In this paper, we study some of the basic properties of the so called e-injective semimodules introduced by the first author using a new notion of exact sequences of semim… ▽ More Injective modules play an important role in characterizing different classes of rings (e.g. Noetherian rings, semisimple rings). Some semirings have no non-zero injective semimodules (e.g. the semiring of non-negative integers). In this paper, we study some of the basic properties of the so called e-injective semimodules introduced by the first author using a new notion of exact sequences of semimodules. We clarify the relationships between the injective semimodules, the e-injective semimodule, and the i-injective semimodules through several implications, examples and counter examples. Moreover, we provide partial results for the so called Embedding Problem (of semimodules in injective semimodules). △ Less

Submitted 13 April, 2019; originally announced April 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.01549

MSC Class: 16Y60

Pushouts and e-Projective Semimodules

Authors: Jawad Abuhlail, Rangga Ganzar Noegraha

Abstract: Projective modules play an important role in the study of the category of modules over rings and in the characterization of various classes of rings. Several characterizations of projective objects which are equivalent for modules over rings are not necessarily equivalent for semimodules over an arbitrary semiring. We study several of these notions, in particular the e-projective semimodules intro… ▽ More Projective modules play an important role in the study of the category of modules over rings and in the characterization of various classes of rings. Several characterizations of projective objects which are equivalent for modules over rings are not necessarily equivalent for semimodules over an arbitrary semiring. We study several of these notions, in particular the e-projective semimodules introduced by the first author using his new notion of exact sequences of semimodules. As pushouts of semimodules play an important role in some of our proofs, we investigate them and give a constructive proof of their existence in a way that proved be very helpful. △ Less

Submitted 18 July, 2019; v1 submitted 2 April, 2019; originally announced April 2019.

MSC Class: 2010: Primary 18G05; Secondary 18A30; 16Y60

PS-Hollow Representations of Modules over Commutative Rings

Authors: Jawad Abuhlail, Hamza Hroub

Abstract: Let $R$ be a commutative ring and $M$ a non-zero $R$-module. We introduce the class of \emph{pseudo strongly hollow submodules} (\emph{PS-hollow submodules}, for short) of $M$. Inspired by the theory of modules with \emph{secondary representations}, we investigate modules which can be written as \emph{finite} sums of PS-hollow submodules. In particular, we provide existence and uniqueness theorems… ▽ More Let $R$ be a commutative ring and $M$ a non-zero $R$-module. We introduce the class of \emph{pseudo strongly hollow submodules} (\emph{PS-hollow submodules}, for short) of $M$. Inspired by the theory of modules with \emph{secondary representations}, we investigate modules which can be written as \emph{finite} sums of PS-hollow submodules. In particular, we provide existence and uniqueness theorems for the existence of \emph{minimal} PS-hollow strongly representations of modules over Artinian rings. △ Less

Submitted 31 July, 2019; v1 submitted 18 April, 2018; originally announced April 2018.

MSC Class: 13C13

Second Representable Modules over Commutative Rings

Authors: Jawad Abuhlail, Hamzah Hroub

Abstract: Let $R$ be a commutative ring. We investigate $R$-modules which can be written as \emph{finite} sums of {\it {second}} $R$-submodules (we call them \emph{second representable}). We provide sufficient conditions for an $R$-module $M$ to be have a (minimal) second presentation, in particular within the class of lifting modules. Moreover, we investigate the class of (\emph{main}) \emph{second attache… ▽ More Let $R$ be a commutative ring. We investigate $R$-modules which can be written as \emph{finite} sums of {\it {second}} $R$-submodules (we call them \emph{second representable}). We provide sufficient conditions for an $R$-module $M$ to be have a (minimal) second presentation, in particular within the class of lifting modules. Moreover, we investigate the class of (\emph{main}) \emph{second attached prime ideals} related to a module with such a presentation. △ Less

Submitted 3 December, 2017; originally announced December 2017.

MSC Class: 13A15; 13C13

Zariski-like Topologies for Lattices with Applications to Modules over Commutative Rings

Authors: Jawad Abuhlail, Hamza Hroub

Abstract: We study Zariski-like topologies on a proper class $X\varsubsetneqq L$ of a complete lattice $\mathcal{L}=(L,\wedge ,\vee ,0,1)$. We consider $X$ with the so called classical Zariski topology $(X,τ^{cl})$ and study its topological properties (e.g. the separation axioms, the connectedness, the compactness) and provide sufficient conditions for it to be $\textit{spectral}$. We say that… ▽ More We study Zariski-like topologies on a proper class $X\varsubsetneqq L$ of a complete lattice $\mathcal{L}=(L,\wedge ,\vee ,0,1)$. We consider $X$ with the so called classical Zariski topology $(X,τ^{cl})$ and study its topological properties (e.g. the separation axioms, the connectedness, the compactness) and provide sufficient conditions for it to be $\textit{spectral}$. We say that $\mathcal{L}$ is $X$\emph{-top} iff% \begin{equation*} τ:=\{X\backslash V(a)\mid a\in L\},\text{ where }V(a)=\{x\in L\mid a\leq x\} \end{equation*}% is a topology. We study the interplay between the \textit{algebraic properties} of an $X$-top complete lattice $\mathcal{L}$ and the $\textit{% topological properties}$ of $(X,τ^{cl})=(X,τ).$ Our results are applied to several spectra which are proper classes of $\mathcal{L}% :=LAT(_{R}M)$ where $M$ is a left module over an arbitrary associative ring $% R$ (e.g. the spectra of prime, coprime, fully prime submodules) of $M$ as well as to several spectra of the dual complete lattice $\mathcal{L}^{0}$ (e.g. the spectra of first, second and fully coprime submodules of $M$). △ Less

Submitted 10 November, 2017; originally announced November 2017.

Comments: submitted

MSC Class: 06A15; 16D10; 13C05; 13C13; 54B99

Toward Homological Characterization of Semirings by e-Injective Semimodules

Authors: J. Y. Abuhlail, S. N. Il'in, Y. Katsov, T. G. Nam

Abstract: In this paper, we introduce and study e-injective semimodules, in particular over additively idempotent semirings. We completely characterize semirings all of whose semimodules are e-injective, describe semirings all of whose projective semimodules are e-injective, and characterize one-sided Noetherian rings in terms of direct sums of e-injective semimodules. Also, we give complete characterizatio… ▽ More In this paper, we introduce and study e-injective semimodules, in particular over additively idempotent semirings. We completely characterize semirings all of whose semimodules are e-injective, describe semirings all of whose projective semimodules are e-injective, and characterize one-sided Noetherian rings in terms of direct sums of e-injective semimodules. Also, we give complete characterizations of bounded distributive lattices, subtractive semirings, and simple semirings, all of whose cyclic (finitely generated) semimodules are e-injective. △ Less

Submitted 9 August, 2016; originally announced August 2016.

Comments: 27 pages

On V-Semirings and Semirings all of whose Cyclic Semimodules are Injective

Authors: J. Y. Abuhlail, S. N. Il'in, Y. Katsov, T. G. Nam

Abstract: In this paper, we introduce and study V- and CI-semirings---semirings all of whose simple and cyclic, respectively, semimodules are injective. We describe V-semirings for some classes of semirings and establish some fundamental properties of V-semirings. We show that all Jacobson-semisimple V-semirings are V-rings. We also completely describe the bounded distributive lattices, Gelfand, subtractive… ▽ More In this paper, we introduce and study V- and CI-semirings---semirings all of whose simple and cyclic, respectively, semimodules are injective. We describe V-semirings for some classes of semirings and establish some fundamental properties of V-semirings. We show that all Jacobson-semisimple V-semirings are V-rings. We also completely describe the bounded distributive lattices, Gelfand, subtractive, semisimple, and anti-bounded, semirings that are CI-semirings. Applying these results, we give complete characterizations of congruence-simple subtractive and congruence-simple anti-bounded CI-semirings which solve two earlier open problems for these classes of CI-semirings. △ Less

Submitted 3 June, 2014; originally announced June 2014.

Comments: 25 pages, to accept in Communications in Algebra

MSC Class: Primary 16Y60; 16D99; 06A12; Secondary 18A40; 18G05; 20M18

On Topological Lattices and an Application to First Submodules

Authors: Jawad Abuhlail, Christian Lomp

Abstract: We introduce the notion of a (strongly) topological lattice $\mathcal{L}=(L,\wedge ,\vee)$ with respect to a subset $X\subsetneqq L;$ aprototype is the lattice of (two-sided) ideals of a ring $R,$ which is(strongly) topological with respect to the prime spectrum of $R.$ We investigate and characterize (strongly) topological lattices. Given a non-zero left $R$-module $M,$ we introduce and investiga… ▽ More We introduce the notion of a (strongly) topological lattice $\mathcal{L}=(L,\wedge ,\vee)$ with respect to a subset $X\subsetneqq L;$ aprototype is the lattice of (two-sided) ideals of a ring $R,$ which is(strongly) topological with respect to the prime spectrum of $R.$ We investigate and characterize (strongly) topological lattices. Given a non-zero left $R$-module $M,$ we introduce and investigate the spectrum $\mathrm{Spec}^{\mathrm{f}}(M)$ of \textit{first submodules} of $M.$ We topologize $\mathrm{Spec}^{\mathrm{f}}(M)$ and investigate the algebraic properties of $_{R}M$ by passing to the topological properties of the associated space. △ Less

Submitted 20 May, 2013; originally announced May 2013.

MSC Class: Primary 06A15; Secondary 16D10; 13C05; 13C13; 54B99

Journal ref: J. Algebra Appl. 15 (2016), no. 3, 1650046, 21 pp

Hopf Semialgebras

Authors: Jawad Abuhlail, Nabeela Alsulaiman

Abstract: In this paper, we introduce and investigate \emph{bisemialgebras}and\emph{\ Hopf semialgebras} over commutative semirings. We generalize to the semialgebraic context several results on bialgebras and Hopf algebras over rings including the main reconstruction theorems and the \emph{Fundamental Theorem of Hopf Algebras}. We also provide a notion of \emph{quantum monoids} as Hopf semialgebras which a… ▽ More In this paper, we introduce and investigate \emph{bisemialgebras}and\emph{\ Hopf semialgebras} over commutative semirings. We generalize to the semialgebraic context several results on bialgebras and Hopf algebras over rings including the main reconstruction theorems and the \emph{Fundamental Theorem of Hopf Algebras}. We also provide a notion of \emph{quantum monoids} as Hopf semialgebras which are neither commutative nor cocommutative; this extends the Hopf algebraic notion of a quantum group. The generalization to the semialgebraic context is neither trivial nor straightforward due to the non-additive nature of the base category of Abelian monoids which is also neither Puppe-exact nor homological and does not necessarily have enough injectives. △ Less

Submitted 22 April, 2013; originally announced April 2013.

MSC Class: primary 16T05 (secondary 16T10; 16T15; 16T20)

Semicorings and Semicomodules

Authors: Jawad Y. Abuhlail

Abstract: In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules. The generalization is \emph{not} straightforward and even subtle at some places due to the nature of the base category of commutative monoids which is neither Ab… ▽ More In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules. The generalization is \emph{not} straightforward and even subtle at some places due to the nature of the base category of commutative monoids which is neither Abelian (not even additive) nor homological, and has no non-zero injective objects. To overcome these and other difficulties, a combination of methods and techniques from categorical, homological and universal algebra is used including a new notion of exact sequences of semimodules over semirings. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Exact Sequences of Semimodules over Semirings

Authors: Jawad Abuhlail

Abstract: In this paper, we introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some restricted versions of the Short Five Lemma and the Snake Lemma opening the door for introducing and investigating homology objects in such categories. Our res… ▽ More In this paper, we introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some restricted versions of the Short Five Lemma and the Snake Lemma opening the door for introducing and investigating homology objects in such categories. Our results apply in particular to the variety of commutative monoids extending results in homological varieties. △ Less

Submitted 16 October, 2012; originally announced October 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1111.0330

Semiunital Semimonoidal Categories (Applications to Semirings and Semicorings)

Authors: Jawad Abuhlail

Abstract: The category $_{A}\mathbb{S}_{A}$ of bisemimodules over a semialgebra $A,$ with the so called Takahashi's tensor product $-\boxtimes_{A}-,$ is semimonoidal but not monoidal. Although not a unit in $_{A}\mathbb{S}%_{A},$ the base semialgebra $A$ has properties of a semiunit (in a sense which we clarify in this note). Motivated by this interesting example, we investigate semiunital semimonoidal cate… ▽ More The category $_{A}\mathbb{S}_{A}$ of bisemimodules over a semialgebra $A,$ with the so called Takahashi's tensor product $-\boxtimes_{A}-,$ is semimonoidal but not monoidal. Although not a unit in $_{A}\mathbb{S}%_{A},$ the base semialgebra $A$ has properties of a semiunit (in a sense which we clarify in this note). Motivated by this interesting example, we investigate semiunital semimonoidal categories $(\mathcal{V}%, \bullet, I)$ as a framework for studying notions like semimonoids (semicomonoids) as well as a notion of monads (comonads) which we call $\mathbb{J}$-monads ($\mathbb{J}$-% comonads) with respect to the endo-functor $\mathbb{J}:=\mathbf{I}\bullet -\simeq -\bullet \mathbf{I}:\mathcal{V}\longrightarrow \mathcal{V}.$ This motivated also introducing a more generalized notion of monads (comonads) in arbitrary categories with respect to arbitrary endo-functors. Applications to the semiunital semimonoidal variety $(_{A}\mathbb{S}%_{A},\boxtimes_{A},A)$ provide us with examples of semiunital $A$-semirings (semicounital $A$-semicorings) and semiunitary semimodules (semicounitary semicomodules) which extend the classical notions of unital rings (counital corings) and unitary modules (counitary comodules). △ Less

Submitted 24 January, 2013; v1 submitted 18 September, 2012; originally announced September 2012.

MSC Class: 18D10

The dual notion of strong irreducibility

Authors: Jawad Abuhlail, Christian Lomp

Abstract: This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong irreducibility had been used to define Zariski-like topologies on specific lattices of submodules of a given module over an associative ring. Based on our latt… ▽ More This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong irreducibility had been used to define Zariski-like topologies on specific lattices of submodules of a given module over an associative ring. Based on our lattice theoretical approach, we give a unifying treatment of strong irreducibility, dualize results on strongly irreducible submodules, examine its behavior under central localization and apply our theory to the frame of hereditary torsion theories. △ Less

Submitted 17 July, 2012; originally announced July 2012.

Comments: 20 pages

MSC Class: 16D10; 13C05; 13C13; 54B99

Uniformly Flat Semimodules

Authors: Jawad Abuhlail

Abstract: We revisit the notion of flatness for semimodules over semirings. In particular, we introduce and study a new notion of uniformly flat semimodules based on the exactness of the tensor functor. We also investigate the relations between this notion and other notions of flatness for semimodules in the literature. We revisit the notion of flatness for semimodules over semirings. In particular, we introduce and study a new notion of uniformly flat semimodules based on the exactness of the tensor functor. We also investigate the relations between this notion and other notions of flatness for semimodules in the literature. △ Less

Submitted 3 January, 2012; originally announced January 2012.

MSC Class: 16Y60

Exact Sequences in Non-Exact Categories (An Application to Semimodules)

Authors: Jawad Abuhlail

Abstract: We consider a notion of exact sequences in any -not necessarily exact- pointed category relative to a given (E;M)-factorization structure. We apply this notion to introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some restricted ver… ▽ More We consider a notion of exact sequences in any -not necessarily exact- pointed category relative to a given (E;M)-factorization structure. We apply this notion to introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some restricted versions of the Short Five Lemma and the Snake Lemma opening the door for introducing and investigating homology objects in such categories. Our results apply in particular to the variety of commutative monoids extending results in homological varieties to relative homological varieties. △ Less

Submitted 1 November, 2011; originally announced November 2011.

Comments: A shorter version has been submitted

Zariski Topologies for Coprime and Second Submodules

Authors: Jawad Abuhlail

Abstract: Let $M$ be a non-zero module over an associative (not necessarily commutative) ring. In this paper, we investigate the so-called \emph{second} and \emph{coprime} submodules of $M.$ Moreover, we topologize the spectrum $% \mathrm{Spec}^{\mathrm{s}}(M)$ of second submodules of $M$ and the spectrum $% \mathrm{Spec}^{\mathrm{c}}(M)$ of coprime submodules of $M,$ study several properties of these space… ▽ More Let $M$ be a non-zero module over an associative (not necessarily commutative) ring. In this paper, we investigate the so-called \emph{second} and \emph{coprime} submodules of $M.$ Moreover, we topologize the spectrum $% \mathrm{Spec}^{\mathrm{s}}(M)$ of second submodules of $M$ and the spectrum $% \mathrm{Spec}^{\mathrm{c}}(M)$ of coprime submodules of $M,$ study several properties of these spaces and investigate their interplay with the algebraic properties of $M.$ △ Less

Submitted 2 February, 2011; v1 submitted 24 August, 2010; originally announced August 2010.

MSC Class: 13C05 (13C13; 54B99)

A Dual Zariski Topology for Modules

Authors: Jawad Y. Abuhlail

Abstract: We introduce a dual Zariski topology on the spectrum of fully coprime $R$-submodules of a given duo module $M$ over an associative (not necessarily commutative) ring $R$. This topology is defined in a way dual to that of defining the Zariski topology on the prime spectrum of $R$. We investigate this topology and clarify the interplay between the properties of this space and the algebraic propertie… ▽ More We introduce a dual Zariski topology on the spectrum of fully coprime $R$-submodules of a given duo module $M$ over an associative (not necessarily commutative) ring $R$. This topology is defined in a way dual to that of defining the Zariski topology on the prime spectrum of $R$. We investigate this topology and clarify the interplay between the properties of this space and the algebraic properties of the module under consideration. △ Less

Submitted 27 July, 2010; originally announced July 2010.

A Zariski Topology for Modules

Authors: Jawad Abuhlail

Abstract: Given a duo module $M$ over an associative (not necessarily commutative) ring $R,$ a Zariski topology is defined on the spectrum $\mathrm{Spec}^{\mathrm{fp}}(M)$ of {\it fully prime} $R$-submodules of $M$. We investigate, in particular, the interplay between the properties of this space and the algebraic properties of the module under consideration. Given a duo module $M$ over an associative (not necessarily commutative) ring $R,$ a Zariski topology is defined on the spectrum $\mathrm{Spec}^{\mathrm{fp}}(M)$ of {\it fully prime} $R$-submodules of $M$. We investigate, in particular, the interplay between the properties of this space and the algebraic properties of the module under consideration. △ Less

Submitted 19 July, 2010; originally announced July 2010.

Comments: 22 pages; submitted

MSC Class: 16N20; 16N80 (13C05; 13C13; 54B99)

Tilting Modules over Almost Perfect Domains

Authors: Jawad Abuhlail, Mohammad Jarrar

Abstract: We provide a complete classification of all tilting modules and tilting classes over almost perfect domains, which generalizes the classifications of tilting modules and tilting classes over Dedekind and 1-Gorenstein domains. Assuming the APD is Noetherian, a complete classification of all cotilting modules is obtained (as duals of the tilting ones). We provide a complete classification of all tilting modules and tilting classes over almost perfect domains, which generalizes the classifications of tilting modules and tilting classes over Dedekind and 1-Gorenstein domains. Assuming the APD is Noetherian, a complete classification of all cotilting modules is obtained (as duals of the tilting ones). △ Less

Submitted 5 March, 2009; originally announced March 2009.

Comments: 15 pages

MSC Class: 13C05; 13D07; 13H99

Commutative rings in which every finitely generated ideal is quasi-projective

Authors: J. Abuhlail, M. Jarrar, S. Kabbaj

Abstract: This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3 investigates the correlation with well-known Prufer conditions; namely, we prove that this class of rings stands strictly between the two classes of arithmetical ri… ▽ More This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3 investigates the correlation with well-known Prufer conditions; namely, we prove that this class of rings stands strictly between the two classes of arithmetical rings and Gaussian rings. Thereby, we generalize Osofsky's theorem on the weak global dimension of arithmetical rings and partially resolve Bazzoni-Glaz's related conjecture on Gaussian rings. We also establish an analogue of Bazzoni-Glaz results on the transfer of Prufer conditions between a ring and its total ring of quotients. Section 4 examines various contexts of trivial ring extensions in order to build new and original examples of rings where all finitely generated ideals are subject to quasi-projectivity, marking their distinction from related classes of Prufer rings. △ Less

Submitted 8 November, 2010; v1 submitted 2 October, 2008; originally announced October 2008.

Comments: 14 pages

MSC Class: 13F05; 13B05; 13C13; 16D40; 16B50; 16D90

Journal ref: Journal of Pure and Applied Algebra 215 (2011) 2504-2511

A Note on Coseparable Coalgebras

Authors: Jawad Abuhlail

Abstract: Given a coalgebra $C$ over a commutative ring $R,$ we show that $C$ can be considered as a (not necessarily counital) $C^{\ast op}$-coring. Moreover, we show that this coring has a left (right) counity if and only if $C$ is coseparable as an $R$-coalgebra. Given a coalgebra $C$ over a commutative ring $R,$ we show that $C$ can be considered as a (not necessarily counital) $C^{\ast op}$-coring. Moreover, we show that this coring has a left (right) counity if and only if $C$ is coseparable as an $R$-coalgebra. △ Less

Submitted 10 March, 2008; originally announced March 2008.

Comments: Submitted

MSC Class: 16W30

Injective Morita contexts (revisited)

Authors: J. Y. Abuhlail, S. K. Nauman

Abstract: This paper is an exposition of the so-called injective Morita contexts (in which the connecting bimodule morphisms are injective) and Morita $α$contexts (in which the connecting bimodules enjoy some local projectivity in the sense of Zimmermann-Huisgen). Motivated by situations in which only one trace ideal is in action, or the compatibility between the bimodule morphisms is not needed, we intro… ▽ More This paper is an exposition of the so-called injective Morita contexts (in which the connecting bimodule morphisms are injective) and Morita $α$contexts (in which the connecting bimodules enjoy some local projectivity in the sense of Zimmermann-Huisgen). Motivated by situations in which only one trace ideal is in action, or the compatibility between the bimodule morphisms is not needed, we introduce the notions of Morita semi-contexts and Morita data, and investigate them. Injective Morita data will be used (with the help of static and adstatic modules) to establish equivalences between some intersecting subcategories related to subcategories of modules that are localized or colocalized by trace ideals of a Morita datum. We end up with applications of Morita $α$-contexts to $\ast$-modules and injective right wide Morita contexts. △ Less

Submitted 21 August, 2007; v1 submitted 1 April, 2007; originally announced April 2007.

A Zariski Topology for Bicomodules and Corings

Authors: Jawad Y. Abuhlail

Abstract: In this paper we introduce and investigate top (bi)comodules} of corings, that can be considered as dual to top (bi)modules of rings. The fully coprime spectra of such (bi)comodules attains a Zariski topology, defined in a way dual to that of defining the Zariski topology on the prime spectra of (commutative rings. We restrict our attention in this paper to duo (bi)comodules (satisfying suitable… ▽ More In this paper we introduce and investigate top (bi)comodules} of corings, that can be considered as dual to top (bi)modules of rings. The fully coprime spectra of such (bi)comodules attains a Zariski topology, defined in a way dual to that of defining the Zariski topology on the prime spectra of (commutative rings. We restrict our attention in this paper to duo (bi)comodules (satisfying suitable conditions) and study the interplay between the coalgebraic properties of such (bi)comodules and the introduced Zariski topology. In particular, we apply our results to introduce a Zariski topology on the fully coprime spectrum of a given non-zero coring considered canonically as duo object in its category of bicomodules. △ Less

Submitted 6 January, 2007; v1 submitted 31 December, 2006; originally announced January 2007.

Comments: (SUBMITTED). Several misprints in the 1st version have been corrected

MSC Class: 16W30; 16N60; 16D80

Fully Coprime Comodules and Fully Coprime Corings

Authors: Jawad A. Abuhlail

Abstract: Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable generalization of simple corings (simple comodules), namely fully coprime corings (fully coprime comodules). Moreover, we consider several primeness notions in the category of comodules of a given coring and investigate th… ▽ More Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable generalization of simple corings (simple comodules), namely fully coprime corings (fully coprime comodules). Moreover, we consider several primeness notions in the category of comodules of a given coring and investigate their relations with the fully coprimeness and the simplicity of these comodules. These notions are applied then to study primeness and coprimeness properties of a given coring, considered as an object in its category of right (left) comodules. △ Less

Submitted 7 October, 2006; v1 submitted 12 April, 2006; originally announced April 2006.

Comments: 31 Pages

MSC Class: 16W30; 16N60; 16A53

Journal ref: Applied Categorical Structures (Special Issue 2006)

A Note On Coinduction Functors between Categories of Comodules for Corings

Authors: Jawad Abuhlail

Abstract: In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable ``Trace'' and ``Hom'' functors and show how to derive it from a more general coinduction functor between categori… ▽ More In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable ``Trace'' and ``Hom'' functors and show how to derive it from a more general coinduction functor between categories of type $σ\lbrack M].$ In special cases (e.g. the corings morphism is part of a morphism of measuring $α$-pairings or the corings have the same base ring), a version of our functor is shown to be isomorphic to the usual coinduction functor obtained by means of the cotensor product. Our results in this note generalize previous results of the author on coinduction functors between categories of comodules for coalgebras over commutative base rings. △ Less

Submitted 3 February, 2005; v1 submitted 31 December, 2004; originally announced December 2004.

Comments: 20 pages, Joint Proceedings of Ferrara Algebra Workshop & Swansea Workshop on Hopf Algebras (June 2004), to be published as a special issue of the "Annali dell'Universita' di Ferrara, sez. VII, Scienze Matematiche"

MSC Class: 16W30; 16D90; 18A40

Hopf Pairings and (Co)induction Functors over Commutative Rings

Authors: Jawad Y. Abuhlail

Abstract: The so called induction functors appear in several areas of Algebra in different forms. Interesting examples are the induction functors in the Theory of Affine Algebraic groups. In this note we investigate the so called Hopf pairings (bialgebra pairings) and use them to study induction functors for affine group schemes over arbitrary commutative ground rings. We present also a special type of Ho… ▽ More The so called induction functors appear in several areas of Algebra in different forms. Interesting examples are the induction functors in the Theory of Affine Algebraic groups. In this note we investigate the so called Hopf pairings (bialgebra pairings) and use them to study induction functors for affine group schemes over arbitrary commutative ground rings. We present also a special type of Hopf pairings (bialgebra pairings), satisfying the so called $α$-condition. For those pairings the induction functor is studied and a nice description of it is obtained. Along the paper several interesting results are generalized from the case of base fields to the case of arbitrary commutative (noetherian) ground rings. △ Less

Submitted 13 July, 2004; v1 submitted 10 July, 2003; originally announced July 2003.

Comments: 34 pages

MSC Class: MSC (2000): 16W30; 14L17; 16W35; 20G42

On Coreflexive Coalgebras and Comodules over Commutative Rings

Authors: Jawad Y. Abuhlail

Abstract: In this note we study dual coalgebras of algebras over arbitrary (noetherian) commutative rings. We present and study a generalized notion of coreflexive comodules and use the results obtained for them to characterize the so called coreflexive coalgebras. Our approach in this note is an algebraically topological one. In this note we study dual coalgebras of algebras over arbitrary (noetherian) commutative rings. We present and study a generalized notion of coreflexive comodules and use the results obtained for them to characterize the so called coreflexive coalgebras. Our approach in this note is an algebraically topological one. △ Less

Submitted 25 June, 2003; originally announced June 2003.

Comments: 39 pages

MSC Class: 16D90; 16W30; 16Exx

On the Linear Weak Topology and Dual Pairings over Rings

Authors: Jawad Y. Abuhlail

Abstract: In this note we study the weak topology on paired modules over a (not necessarily commutative) ground ring. Over QF rings we are able to recover most of the well known properties of this topology in the case of commutative base fields. The properties of the linear weak topology and the dense pairings are then used to characterize pairings satisfying the so called $α$-condition. In this note we study the weak topology on paired modules over a (not necessarily commutative) ground ring. Over QF rings we are able to recover most of the well known properties of this topology in the case of commutative base fields. The properties of the linear weak topology and the dense pairings are then used to characterize pairings satisfying the so called $α$-condition. △ Less

Submitted 14 September, 2004; v1 submitted 25 June, 2003; originally announced June 2003.

Comments: 16 pages, to appear in "Topologu and its Applications"

MSC Class: 13Jxx; 16E60; 16E99; 16W80

Dual Entwining Structures and Dual Entwined Modules

Authors: Jawad Y. Abuhlail

Abstract: In this note we introduce and investigate the concepts of dual entwining structures and dual entwined modules. This generalizes the concepts of dual Doi-Koppinen structures and dual Doi-Koppinen modules introduced (in the infinite case over rings) by the author is his dissertation. In this note we introduce and investigate the concepts of dual entwining structures and dual entwined modules. This generalizes the concepts of dual Doi-Koppinen structures and dual Doi-Koppinen modules introduced (in the infinite case over rings) by the author is his dissertation. △ Less

Submitted 18 March, 2003; originally announced March 2003.

Comments: 21 pages

MSC Class: 16W30; 18E15

On Linear Difference Equations over Rings and Modules

Authors: Jawad Y. Abuhlail

Abstract: In this note we develop a coalgebraic approach to the study of solutions of linear difference equations over modules and rings. Some known results about linearly recursive sequences over base fields are generalized to linearly (bi)recursive (bi)sequences of modules over arbitrary commutative ground rings. In this note we develop a coalgebraic approach to the study of solutions of linear difference equations over modules and rings. Some known results about linearly recursive sequences over base fields are generalized to linearly (bi)recursive (bi)sequences of modules over arbitrary commutative ground rings. △ Less

Submitted 9 July, 2003; v1 submitted 27 February, 2003; originally announced February 2003.

Comments: 21 pages, to appear in IJMMS

MSC Class: 16W30; 39A99

Morita Contexts for Corings and Equivalences

Authors: Jawad Y. Abuhlail

Abstract: In this note we study Morita contexts and Galois extensions for corings. For a coring $\QTR{cal}{C}$ over a (not necessarily commutative) ground ring $A$ we give equivalent conditions for $\QTR{cal}{M}^{\QTR{cal}{C}}$ to satisfy the weak. resp. the strong structure theorem. We also characterize the so called \QTR{em}{cleft}$C$\QTR{em}{-Galois extensions} over commutative rings. Our approach is s… ▽ More In this note we study Morita contexts and Galois extensions for corings. For a coring $\QTR{cal}{C}$ over a (not necessarily commutative) ground ring $A$ we give equivalent conditions for $\QTR{cal}{M}^{\QTR{cal}{C}}$ to satisfy the weak. resp. the strong structure theorem. We also characterize the so called \QTR{em}{cleft}$C$\QTR{em}{-Galois extensions} over commutative rings. Our approach is similar to that of Y. Doi and A. Masuoka in their work on (cleft) $H$-Galois extensions. △ Less

Submitted 4 April, 2005; v1 submitted 1 February, 2003; originally announced February 2003.

Comments: 22 pages

MSC Class: 16S40; 16W30; 16D90

Duality Theorems for Crossed Products over Rings

Authors: Jawad Y. Abuhlail

Abstract: In this note we extend duality theorems for crossed products obtained by M. Koppinen and C. Chen from the case of a base field or a Dedekind domain to the case of an arbitrary noetherian commutative ground ring under fairly weak conditions. In particular we extend an improved version of the celebrated Blattner-Montgomery duality theorem to the case of arbitrary noetherian ground rings. In this note we extend duality theorems for crossed products obtained by M. Koppinen and C. Chen from the case of a base field or a Dedekind domain to the case of an arbitrary noetherian commutative ground ring under fairly weak conditions. In particular we extend an improved version of the celebrated Blattner-Montgomery duality theorem to the case of arbitrary noetherian ground rings. △ Less

Submitted 9 March, 2005; v1 submitted 31 January, 2003; originally announced January 2003.

Comments: 24 pages

MSC Class: 16W30; 16S40

Rational Modules for Corings

Authors: Jawad Y. Abuhlail

Abstract: In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g. Doi-Koppinen modules, alternative Doi-Koppinen modules) generalizing results of Y. Doi, M. Koppinen and C. Menini et al. on the categries of Doi-Hopf moduels an… ▽ More In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g. Doi-Koppinen modules, alternative Doi-Koppinen modules) generalizing results of Y. Doi, M. Koppinen and C. Menini et al. on the categries of Doi-Hopf moduels and categories of relative Hopf modules. △ Less

Submitted 4 April, 2005; v1 submitted 6 October, 2002; originally announced October 2002.

Comments: 37 pages

MSC Class: 16

Duality and Rational Modules in Hopf Algebras over Commutative Rings

Authors: J. Y. Abuhlail, J. Gomez-Torrecillas, F. J. Lobillo

Abstract: Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also strengthen the Blattner-Montgomery duality theorem. Finally, we give sufficient conditions to get the purity of $A^\circ$ in $R^A$. Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also strengthen the Blattner-Montgomery duality theorem. Finally, we give sufficient conditions to get the purity of $A^\circ$ in $R^A$. △ Less

Submitted 24 November, 2000; originally announced November 2000.

Comments: AMSLaTeX with xypic

MSC Class: 16W30; 16S40

Journal ref: J. Algebra 240, 165-184 (2001)