Showing 1–10 of 10 results for author: Nazemian, Z

Realization of monoids with countable sum

Authors: Zahra Nazemian

Abstract: For every infinite cardinal number $κ$, $κ$-monoids and their realization have recently been introduced and studied by Nazemian and Smertnig. A $κ$-monoid $H$ has a realization to a ring $R$ if there exists an element $x \in H$ such that $H$ is $\aleph_1 ^{-}$-braided over $\text{add}(\aleph_0 x)$, and $\text{add}(\aleph_0 x)$, as $\aleph_0$-monoid, has a realization to $R$. Furthermore, $H$ has a… ▽ More For every infinite cardinal number $κ$, $κ$-monoids and their realization have recently been introduced and studied by Nazemian and Smertnig. A $κ$-monoid $H$ has a realization to a ring $R$ if there exists an element $x \in H$ such that $H$ is $\aleph_1 ^{-}$-braided over $\text{add}(\aleph_0 x)$, and $\text{add}(\aleph_0 x)$, as $\aleph_0$-monoid, has a realization to $R$. Furthermore, $H$ has a realization to hereditary rings if there exists an element $x \in H$ such that $H$ is braided over $\text{add}(x)$. These prompt an investigation into when $\aleph_0$-monoids have realizations. In this paper, we discuss the realization of $\aleph_0$-monoids and provide a complete characterization for the realization of two-generated ones in hereditary Von Neumann regular rings. △ Less

Submitted 27 May, 2024; v1 submitted 24 April, 2024; originally announced April 2024.

Comments: 25 Pages

MSC Class: Primary 16D70; Secondary 16D40; 16E50; 16P10; 16S99

A monoid-theoretical approach to infinite direct-sum decompositions of modules

Authors: Zahra Nazemian, Daniel Smertnig

Abstract: Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $κ$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $κ$-indexed direct sums, and… ▽ More Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $κ$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the behavior of finite direct-sum decompositions of modules in $\mathcal C$. We endow $V(\mathcal C)$ with an additional operation reflecting $κ$-indexed direct sums, and study the resulting $κ$-monoid $V^κ(\mathcal C)$. The braiding-property and an equivalent universal property, allow us to show: if every module in $\mathcal C$ is a direct sum of modules generated by strictly fewer than $λ$ many elements, then all relations on $V^κ(\mathcal C)$ are induced by relations between direct sums indexed by sets of cardinality strictly less than $λ$. A theorem of Kaplansky states that every projective module is a direct sum of countably generated modules. We augment this, showing that also all relations between infinite direct sums of projective modules are induced from those between countable direct sums of countably generated projective modules. If every projective module over a ring $R$ is a direct sum of finitely generated projective modules, then the monoid of finitely generated projective modules $V(R)$ completely determines the $κ$-monoid $V^κ(R)$. Together with the realization result of Bergman and Dicks, this characterizes the $κ$-monoids appearing as $V^κ(R)$ for a hereditary ring. In general, the $\aleph_0$-monoid $V^{\aleph_0}(R)$ fully determines $V^κ(R)$. Herbera and Příhoda's characterization of monoids of countably generated projective modules $V^*(R)$ over semilocal noetherian rings, yields a characterization of $V^κ(R)$ for these rings. We also characterize two-generated $\aleph_0$-monoids that appear as $V^{\aleph_0}(R)$ for hereditary rings $R$. △ Less

Submitted 16 January, 2024; originally announced January 2024.

MSC Class: Primary 16D70; Secondary 16D40; 20M13; 20M75

On noncommutative bounded factorization domains and prime rings

Authors: Jason P. Bell, Ken Brown, Zahra Nazemian, Daniel Smertnig

Abstract: A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a res… ▽ More A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $λ(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most basic finiteness properties in the study of non-unique factorizations. Every commutative noetherian domain has bounded factorizations, but it is open whether such a result holds in the noncommutative setting. We provide sufficient conditions for a noncommutative noetherian prime ring to have bounded factorizations. Moreover, we construct a (noncommutative) finitely presented semigroup algebra that is an atomic domain but does not satisfy the ascending chain condition on principal right or left ideals (ACCP), whence it does not have bounded factorizations. △ Less

Submitted 11 January, 2023; v1 submitted 21 June, 2022; originally announced June 2022.

MSC Class: Primary 16P40; Secondary 13F15; 16E65; 20M13

Contravariant finiteness and iterated strong tilting

Authors: Birge Huisgen-Zimmermann, Zahra Nazemian, Manuel Saorin

Abstract: Let $\mathcal{P}^{<\infty} (Λ$-mod$)$ be the category of finitely generated left modules of finite projective dimension over a basic Artin algebra $Λ$. We develop an applicable criterion that reduces the test for contravariant finiteness of $\mathcal{P}^{<\infty} (Λ$ -mod$)$ in $Λ$-mod to corner algebras $e Λe$ for suitable idempotents $e \in Λ$. The reduction substantially facilitates access to t… ▽ More Let $\mathcal{P}^{<\infty} (Λ$-mod$)$ be the category of finitely generated left modules of finite projective dimension over a basic Artin algebra $Λ$. We develop an applicable criterion that reduces the test for contravariant finiteness of $\mathcal{P}^{<\infty} (Λ$ -mod$)$ in $Λ$-mod to corner algebras $e Λe$ for suitable idempotents $e \in Λ$. The reduction substantially facilitates access to the numerous homological benefits entailed by contravariant finiteness of $\mathcal{P}^{<\infty} (Λ$-mod$)$. The consequences pursued hinge on the fact that this finiteness condition is known to be equivalent to the existence of a strong tilting object in $Λ$-mod. We characterize the situation in which the process of strongly tilting $Λ$-mod allows for arbitrary iteration: This occurs precisely when, in the strongly tilted module category mod-$\widetildeΛ$, the subcategory of modules of finite projective dimension is in turn contravariantly finite; the latter can, once again, be tested on suitable corners $e Λe$ of the original algebra $Λ$. In the (frequently occurring) positive case, the sequence of consecutive strong tilts, $\widetildeΛ$, $ \widetilde{\widetildeΛ}$, $\widetilde{\widetilde{\widetildeΛ}}, \dots$, is shown to be periodic with period $2$ (up to Morita equivalence); moreover, any two adjacent categories in the sequence $\mathcal{P}^{<\infty} ( $mod-$\widetildeΛ)$, $\mathcal{P}^{<\infty}(\widetilde{\widetildeΛ}-mod)$, $\mathcal{P}^{<\infty}($ mod-$\widetilde{\widetilde{\widetildeΛ}}), \dots$ are dual via contravariant Hom-functors induced by tilting bimodules which are strong on both sides. △ Less

Submitted 12 September, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: 33 pages

Covering classes and uniserial modules

Authors: Alberto Facchini, Zahra Nazemian, Pavel Prihoda

Abstract: We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K $ of all endomorphisms of $U_R$ that are not surjective. We p… ▽ More We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided) ideals: one is the set $I$ of all endomorphisms that are not injective, and the other is the set $K $ of all endomorphisms of $U_R$ that are not surjective. We prove that if $U_R$ is either finitely generated, or artinian, or $I \subset K$, then the class Add$(U_R)$ is covering if and only if it is closed under direct limit. Moreover, we study endomorphism rings of artinian uniserial modules giving several examples. △ Less

Submitted 9 January, 2020; originally announced January 2020.

MSC Class: Primary 16P70; 16S50. Secondary 16W80

Covering classes, strongly flat modules, and completions

Authors: Alberto Facchini, Zahra Nazemian

Abstract: We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We consider the class $ \mathcal{SF}$ of strongly flat modules when $R$ is a right Ore domain with classical right quotient ring $Q$. Strongly flat modules are flat. The… ▽ More We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We consider the class $ \mathcal{SF}$ of strongly flat modules when $R$ is a right Ore domain with classical right quotient ring $Q$. Strongly flat modules are flat. The completion of $R$ in its $R$-topology is a strongly flat $R$-module. (3) We consider some results related to the question whether $ \mathcal{SF}$ a covering class implies $ \mathcal{SF}$ closed under direct limit. This is a particular case of the so-called Enochs' Conjecture (whether covering classes are closed under direct limit). Some of our results concerns right chain domains. For instance, we show that if the class of strongly flat modules over a right chain domain $R$ is covering, then $R$ is right invariant. In this case, flat $R$-modules are strongly flat. △ Less

Submitted 7 August, 2018; originally announced August 2018.

Comments: 19 pages

MSC Class: 16

Serial factorizations of right ideals

Authors: Alberto Facchini, Zahra Nazemian

Abstract: In a Dedekind domain $D$, every non-zero proper ideal $A$ factors as a product $A=P_1^{t_1}\cdots P_k^{t_k}$ of powers of distinct prime ideals $P_i$. For a Dedekind domain $D$, the $D$-modules $D/P_i^{t_i}$ are uniserial. We extend this property studying suitable factorizations $A=A_1\dots A_n$ of a right ideal $A$ of an arbitrary ring $R$ as a product of proper right ideals $A_1,\dots,A_n$ with… ▽ More In a Dedekind domain $D$, every non-zero proper ideal $A$ factors as a product $A=P_1^{t_1}\cdots P_k^{t_k}$ of powers of distinct prime ideals $P_i$. For a Dedekind domain $D$, the $D$-modules $D/P_i^{t_i}$ are uniserial. We extend this property studying suitable factorizations $A=A_1\dots A_n$ of a right ideal $A$ of an arbitrary ring $R$ as a product of proper right ideals $A_1,\dots,A_n$ with all the modules $R/A_i$ uniserial modules. When such factorizations exist, they are unique up to the order of the factors. Serial factorizations turn out to have connections with the theory of $h$-local Prüfer domains and that of semirigid commutative GCD domains. △ Less

Submitted 11 February, 2018; originally announced February 2018.

MSC Class: 16D70

Equivalence of Some Homological Conditions for Ring Epimorphisms

Authors: Alberto Facchini, Zahra Nazemian

Abstract: Let $R$ be a right and left Ore ring, $S$ its set of regular elements and $Q = R[S^{-1}] = [S^{-1}] R$ the classical ring of quotients of $R$. We prove that if F.dim$(Q_Q) = 0$, then the following conditions are equivalent: $(i)$ Flat right $R$-modules are strongly flat. $ (ii)$ Matlis-cotorsion right $R$-modules are Enochs-cotorsion. $(iii) $ $h$-divisible right $R$-modules are weak-injective.… ▽ More Let $R$ be a right and left Ore ring, $S$ its set of regular elements and $Q = R[S^{-1}] = [S^{-1}] R$ the classical ring of quotients of $R$. We prove that if F.dim$(Q_Q) = 0$, then the following conditions are equivalent: $(i)$ Flat right $R$-modules are strongly flat. $ (ii)$ Matlis-cotorsion right $R$-modules are Enochs-cotorsion. $(iii) $ $h$-divisible right $R$-modules are weak-injective. $(iv)$ Homomorphic images of weak-injective right $R$-modules are weak-injective. $(v)$ Homomorphic images of injective right $R$-modules are weak-injective. $(vi)$ Right $R$-modules of weak dimension $ \le 1$ are of projective dimension $\le1$. $(vii)$ The cotorsion pairs $(\mathcal{P_1},\mathcal{D})$ and $(\mathcal{F}_1,\mathcal{WI})$ coincide. $(viii)$ Divisible right $R$-modules are weak-injective. This extends a result by Fuchs and Salce (2017) for modules over a commutative ring $R$. △ Less

Submitted 29 September, 2017; originally announced October 2017.

Comments: 18 pages

MSC Class: 13E30

$V$-rings versus $Σ$-$V$ Rings

Authors: Bijan Davvaz, Zahra Nazemian, Ashish K. Srivastava

Abstract: This paper studies similarities and differences between the classes of rings over which each simple module is injective and rings over which each simple module is $Σ$-injective. The rings in the former class are called $V$-rings and the rings in the latter class are called $Σ$-$V$ rings. We have obtained analogues of various well-known results about $V$-rings for $Σ$-$V$ rings. Motivated by a conj… ▽ More This paper studies similarities and differences between the classes of rings over which each simple module is injective and rings over which each simple module is $Σ$-injective. The rings in the former class are called $V$-rings and the rings in the latter class are called $Σ$-$V$ rings. We have obtained analogues of various well-known results about $V$-rings for $Σ$-$V$ rings. Motivated by a conjecture of Kaplansky, Fisher asked if a prime right $V$-ring is right primitive. Although a counter-example to Kaplansky's conjecture was constructed long ago but Fisher's question is still open. In this paper we show that for a right $Σ$-$V$ ring, the notions of prime and primitive are equivalent. Also, we show that an exchange $Σ$-$V$ ring is left-right symmetric and moreover, it is von Neumann regular. △ Less

Submitted 16 May, 2016; originally announced May 2016.

MSC Class: 16P99; 13E99

Indecomposable Decomposition and couniserial dimension

Authors: A. Ghorbani, S. K. Jain, Z. Nazemian

Abstract: Dimensions like Gelfand, Krull, Goldie have an intrinsic role in the study of theory of rings and modules. They provide useful technical tools for studying their structure. In this paper we define one of the dimensions called couniserial dimension that measures how close a ring or module is to being uniform. Despite their different objectives, it turns out that there are certain common properties… ▽ More Dimensions like Gelfand, Krull, Goldie have an intrinsic role in the study of theory of rings and modules. They provide useful technical tools for studying their structure. In this paper we define one of the dimensions called couniserial dimension that measures how close a ring or module is to being uniform. Despite their different objectives, it turns out that there are certain common properties between the couniserial dimension and Krull dimension like each module having such a dimension contains a uniform submodule and has finite uniform dimension, among others. Like all dimensions, this is an ordinal valued invariant. Every module of finite length has couniserial dimension and its value lies between the uniform dimension and the length of the module. Modules with countable couniserial dimension are shown to possess indecomposable decomposition. In particular, von Neumann regular ring with countable couniserial dimension is semisimple artinian. If the maximal right quotient ring of a non-singular ring R has a couniserial dimension as an R-module, then R is a semiprime right Goldie ring. As one of the applications, it follows that all right R-modules have couniserial dimension if and only if R is a semisimple artinian ring. △ Less

Submitted 31 July, 2014; originally announced August 2014.