arXiv subjects

Suat Koç

Publications and source records attributed to Suat Koç.

At least 19 recordsLinked to original sources

arXiv2026

On strongly multiplicative sets

A multiplicative subset $S$ of a ring $R$ is called \textit{strongly multiplicative} if $(\bigcap_{i\inΔ}s_iR)\cap S \neq \emptyset$ for each family $(s_i)_{i\inΔ}$ of elements in $S$. In this paper, we investigate how these sets help stabilize localization and ideal operations. We show that localization and arbitrary intersections commute, meaning $S^{-1}(\bigcap I_α) = \bigcap S^{-1}I_α$ for any family of ideals, if and only if $S$ is strongly multiplicative. Furthermore, we characterize some important classes of rings, such as total quotient rings and strongly zero-dimensional rings, in terms of strongly multiplicative sets. We also answer an open question by Hamed and Malek about whether this condition is needed for the existence of $S$-minimal primes. Furthermore, we demonstrate that if $S$ is a strongly multiplicative set and $S \not\subseteq U(R)$, then $S$-minimal primes are not classical prime ideals, and we provide an algorithmic approach to constructing such ideals. Finally, we prove a Strong Krull's Separation Lemma, which guarantees a maximal ideal disjoint from $S$. As an application of Strong Krull's Separation Lemma, we establish a one-to-one correspondence between the maximal ideals of $S^{-1}R$ and the maximal ideals of $R$ disjoint from a strongly multiplicative set $S$ of $R$.

math.AC↗

arXiv2026

Annihilator Multiplication Modules: Ring Characterizations and Constructions

An $A$-module $E$ is annihilator multiplication if the annihilator of each element equals that of $IE$ for a finitely generated ideal $I$. We characterize rings for which every faithful module has this property as the commutative quasi-Frobenius rings, and rings for which every module has the property as the Artinian principal ideal rings. Both characterizations reduce to two-generated modules. Over a reduced ring with finitely many minimal primes, faithful annihilator multiplication modules are exactly the regular-torsion-free modules, and principal ideals suffice in the definition. An ascending chain condition on annihilator ideals gives finite detection of the module annihilator, yielding localization and graph rigidity results. We also prove equality of associated primes with those of the faithful quotient and establish projective tensor and trace characterizations. Over local square-zero rings, the property is equivalent to nonsingularity of a bilinear multiplication map. A projective dimension argument gives a sharp length bound, attained by explicit faithful indecomposable nonprojective modules whose endomorphism rings are computed. Every cyclic submodule of these examples embeds in the ring, although the whole module is not torsionless. Support, hereditary torsion, and amalgamation criteria connect these structural results with further module constructions.

math.AC↗

arXiv2026

Strongly multiplicative sets, idempotent localizations, and $S$-prime phenomena

A multiplicative set $S$ of a commutative ring $R$ is strongly multiplicative if every family $(s_i)_{i \in I}$ of elements of $S$ admits a common multiple in $S \cap \bigcap_{i \in I} s_iR$. We combine the structural results on strongly multiplicative sets with their prime-theoretic and module-theoretic applications. We prove that $S$ is strongly multiplicative if and only if localization at $S$ commutes with arbitrary intersections of ideals, if and only if $R_S$ is the localization at an idempotent, and if and only if $D(S)$ is clopen in $\Spec(R)$. We then develop permanence results under homomorphisms, products, factor rings, trivial extensions, and amalgamations; describe the associated split torsion theory; show that almost multiplicative sets contribute no new cases beyond their multiplicative hull; and record a Mittag--Leffler refinement for intersections of submodules in finitely generated modules. On the prime-theoretic side, we relate strongly multiplicative sets to strongly prime ideals and strongly zero-dimensional rings, answer the Hamed--Malek question on the role of strong multiplicativity for chains of $S$-prime ideals, prove a strong Krull separation lemma together with a maximal-ideal correspondence for $R_S$, and connect the theory with the regular $m$-complement operator. In particular, every nontrivial strongly multiplicative localization must invert a zero divisor.

math.AC↗

arXiv2026

Generalized divisor topology of commutative rings

Let $R$ be a commutative ring with nonzero identity and let $R^\#$ denote the set of its nonzero nonunits. We extend the divisor topology $D(R)$, previously studied for integral domains, to arbitrary commutative rings and introduce the generalized divisor topology $GD(R)$ on $EC(R^\#)$. Its basic open sets are \[ B_a=\{[b]\in EC(R^\#): b\mid a^n \text{ for some }n\geq 1\}. \] The relation \[ [b]\in B_a \quad\Longleftrightarrow\quad \sqrt{aR}\subseteq\sqrt{bR} \] shows that $GD(R)$ records radical divisibility among principal ideals. We prove that $GD(R)$ is an Alexandrov space and identify its Kolmogorov quotient with the poset of radicals of nonzero proper principal ideals. This description yields characterizations of the $T_0$ and discrete properties and of the equality $GD(R)=D(R)$. We also determine the isolated points of $GD(R)$. Further, we characterize nestedness, compactness, the Lindelöf property, and Noetherianity in terms of the order structure of radicals of principal ideals. In particular, for an integral domain $R$, $GD(R)$ is compact if and only if $R$ is a $G$-domain, while for a UFD the Lindelöf and Noetherian properties are determined by the number of nonassociate prime elements. Finally, we study the interaction of $GD(R)$ with multiplication and describe the behavior of its Kolmogorov quotient under surjective homomorphisms with nil kernel.

math.AC↗

arXiv2026

On Annihilator Multiplication Modules

An $A$-module $E$ is said to be an \textit{annihilator multiplication module} if for each $e\in E$, there exists a finitely generated ideal $I$ of $A$ such that $ann(e)=ann(IE)$. This class of modules is quite large, as it contains multiplication modules, von Neumann regular modules, finitely generated Baer modules, torsion-free modules, and simple modules. This article provides a comprehensive investigation into the algebraic properties of annihilator multiplication modules, and establishes new characterizations for several important classes of rings/modules, including multiplication modules, torsion-free modules, simple modules, uniserial modules, injective modules and Noetherian von Neumann regular rings. Furthermore, we present a construction method using trivial extensions to produce annihilator multiplication rings that are not multiplication rings. In addition, we prove that, for such modules, the equality $Ass_{A}(E)=Ass(A)$ holds, thereby providing a precise connection between module-theoretic and ring-theoretic prime structures. Finally, we provide various examples to demonstrate the above equality may fail if the condition of being annihilator multiplication module is omitted.

math.AC↗

arXiv2025

Commutative rings with $n$-$1$-absorbing prime factorization

Let $R$ be a commutative ring with $1\neq 0$ and $n$ be a fixed positive integer. A proper ideal $I$ of $R$ is said to be an \textit{$n$-OA ideal} if whenever $a_1a_2\cdots a_{n+1}\in I$ for some nonunits $a_1,a_2,\ldots,a_{n+1}\in R$, then $a_1a_2\cdots a_n\in I$ or $a_{n+1}\in I$. A commutative ring $R$ is said to be an \textit{$n$-OAF ring} if every proper ideal $I$ of $R$ is a product of finitely many $n$-OA ideals. In fact, $1$-OAF rings and $2$-OAF $2$-OAF-rings are exactly the general ZPI rings and OAF rings, respectively. In addition to giving various properties of $n$-OAF rings, we give a characterization of Noetherian von Neumann regular rings in terms of our new concept. Furthermore, we investigate the $n$-OAF property of some extension of rings such as the polynomial ring $R[X]$, the formal power series ring $R[[X]]$, the ring of $A+XB[X]$, and the trivial extension $R=A\propto E$ of an $A$-module $E$.

math.AC↗

arXiv2025

On \tilde{Spec}(M) Topology of Module M over Commutative Rings

Let R be a commutative ring with unity and M be an R-module. In this study, we construct the \tilde{Spec}(M) topology using the prime spectrum of module M and multiplicatively closed subsets of R with the closed sets \tilde{V}(S)={P \in Spec(M) : (P : M) \cap S_i \neq \emptyset for all i \in I} with the open sets \tilde{D}(S_i):={P \in Spec(M) : (P : M) \cap S_i = \emptyset} where S = {S_i}_{i \in I} is a family of multiplicatively closed subsets of R. We investigate connections between the algebraic properties of R-module M and the topological properties of \tilde{Spec}(M). We examine specifically the separation axioms, connectivity, nested and Lindelöf property together with quasi-compactness as well as the isolated, closure, interior and limit points of tilde{Spec}(M). Moreover, in the last section, we provide an example of a Lindelöf space which is not quasi-compact by means of \tilde{Spec}(M).

math.GN↗

arXiv2025

Quasi Divisor Topology of Modules over Domains

Let $E$ be a module over a domain $A$, and $W(E)^{\#}=W(E)-ann(E)$ where $W(E)=\{a\in A:aE\neq E\}$. We define an equivalence relation $\sim$ on $W(E)^{\#}$ as follows: $a\sim b$ if and only if $aE=bE$ for any $a,b\in W(E)^{\#}$ and denote $EC(W(E)^{\#})$ to be the set of all equivalence classes $[a]$ of $W(E)^{\#}$. We first show that the family $\{U_a\}_{a\in W(E)^\#}$ generates a topology which we called the quasi divisor topology of $A$-module $E$ denoted by $qD_A(E)$ where $U_{a}=\{[b]\in EC(W(E)^{\#}):\ aE\subseteq bE\}$ for every $a\in W(E)^{\#}$. This paper examines the connections between topological properties of the quasi divisor topology $qD_{A}(E)$ and algebraic properties of $A$-module $E$. These include each separation axioms, compactness, connectedness and first and second countability. Also, we characterize some important class of rings/modules such as divisible modules and uniserial modules by means of $qD_{A}(E)$. Furthermore, we introduce quasi second modules and study its algebraic properties to decide when $qD_A(E)$ is a $T_1$-space.

math.AC↗

arXiv2025

On Divisor Topology of Modules over Domains

Let $M\ $be a module over a domain $R$ and $M^{\#}=\{0\neq m\in M:Rm\neq M\}$ be the set of all nonzero nongenerators of $M.\ $Consider following equivalence relation $\sim$ on $M^{\#}$ as follows: for every $m,n\in M^{\#},\ m\sim n$ if and only if $Rm=Rn.\ $Let $EC(M^{\#})$ be the set of all equivalence classes of $M^{\#}$ with respect to $\sim$. In this paper, we construct a topology on $EC(M^{\#})$ which is called divisor topology of $M\ $and denoted by $D(M).$ Actually, $D(M)$ is extension of the divisor topology $D(R)$ over domains in the sense of Yiğit and Koc to modules. We investigate separation axioms $T_{i}$ for every $0\leq i\leq5,$ first and second countability, connectivity, compactness, nested property, and Noetherian property on $D(M)$. Also, we characterize some important classes of modules such as uniserial modules, simple modules, vector spaces, and finitely cogenerated modules in terms of $D(M)$. Furthermore, we prove that $D(M)$ is a Baire space for factorial modules. Finally, we introduce and study pseudo simple modules which is a new generalization of simple modules, and use them to determine when $D(M)$ is a discrete space.

math.AC↗

arXiv2024

On Golomb Topology of Modules over Commutative Rings

In this paper, we associate a new topology to a nonzero unital module $M$ over a commutative $R$, which is called Golomb topology of the $R$-module $M$. Let $M\ $be an\ $R$-module and $B_{M}$ be the family of coprime cosets $\{m+N\}$ where $m\in M$ and $N\ $is a nonzero submodule of $M\ $such that $N+Rm=M$. We prove that if $M\ $is a meet irreducible multiplication module or $M\ $is a meet irreducible finitely generated module in which every maximal submodule is strongly irreducible, then $B_{M}\ $is the basis for a topology on $M\ $which is denoted by $\widetilde{G(M)}.$ In particular, the subspace topology on $M-\{0\}$ is called the Golomb topology of the $R$-module $M\ $and denoted by $G(M)$. We investigate the relations between topological properties of $G(M)\ $and algebraic properties of $M.\ $In particular, we characterize some important classes of modules such as simple modules, Jacobson semisimple modules in terms of Golomb topology.

math.AC↗

arXiv2024

On Divisor Topology of Commutative Rings

Let $R\ $be an integral domain and $R^{\#}$ the set of all nonzero nonunits of $R.\ $For every elements $a,b\in R^{\#},$ we define $a\sim b$ if and only if $aR=bR,$ that is, $a$ and $b$ are associated elements. Suppose that $EC(R^{\#})$ is the set of all equivalence classes of $R^{\#}\ $according to $\sim$.$\ $Let $U_{a}=\{[b]\in EC(R^{\#}):b\ $divides $a\}$ for every $a\in R^{\#}.$ Then we prove that the family $\{U_{a}\}_{a\in R^{\#}}$ becomes a basis for a topology on $EC(R^{\#}).\ $This topology is called divisor topology of $R\ $and denoted by $D(R).\ $We investigate the connections between the algebraic properties of $R\ $and the topological properties of$\ D(R)$. In particular, we investigate the seperation axioms on $D(R)$, first and second countability axioms, connectivity and compactness on $D(R)$. We prove that for atomic domains $R,\ $the divisor topology $D(R)\ $is a Baire space. Also, we characterize valution domains $R$ in terms of nested property of $D(R).$ In the last section, we introduce a new topological proof of the infinitude of prime elements in a UFD and integers by using the topology $D(R)$.

math.AC↗

arXiv2024

On Regular Fusible Modules

In this article, we introduce the notion of regular fusible modules. Let $R$ be a ring with an identity and $M$ an $R$-module. An element $0\neq m\in M$ is said to be regular fusible if there exists $r\in R$, a non zero-divisor of $M$, such that $mr$ can be written as the sum of a torsion element and a torsion free element in $M$. $M$ is called regular fusible if every nonzero element of $M$ is regular fusible. We characterize regular fusible modules in terms of fusible modules. In addition, we show that a regular fusible module over a right duo ring is reduced and nonsingular. Moreover, we study the regular fusible property under Cartesian product, trivial extension ring, and module of a fractions. Also, we characterize division rings in terms of fusible modules.

math.RA↗

arXiv2024

On weakly classical 1-absorbing prime submodules

In this paper, we study weakly classical 1-absorbing prime submodules of a nonzero unital module $M$ over a commutative ring $R$ having a nonzero identity. A proper submodule $N$ of $M$ is said to be a weakly classical 1-absorbing prime submodule, if for each $m\in M$ and nonunits $a,b,c\in R,$ $0\neq abcm\in N$ implies that $abm\in N$ or $cm\in N$. We give various examples and properties of weakly classical 1-absorbing prime submodules. Also, we investiage the weakly classical 1-absorbing prime submodules of tensor product $F\otimes M$ of a (faithfully) flat $R$-module $F$ and any $R$-module $M.$ Also, we prove that if every proper submodule of an $R$-module $M$ is weakly classical 1-absorbing prime, then $Jac(R)^{3}M=0$. In terms of this result, we characterize modules over local rings in which every proper submodule is weakly classical 1-absorbing prime.

math.RA↗

arXiv2024

On classical 1-absorbing prime submodules

In this study, we aim to introduce the concept of classical 1-absorbing prime submodules of a nonzero unital module $M$ over a commutative ring $A$ with unity. A proper submodule $P$ of $M$ is said to be a classical 1-absorbing prime submodule, if for each $m\in M$ and nonunits $a,b,c\in A,$ $abcm\in P$ implies that $abm\in P$ or $cm\in P$. We give many examples and properties of classical 1-absorbing prime submodules. Also, we investiage the classical 1-absorbing prime submodules of tensor product $F\otimes M$ of a (faithfully) flat $A$-module $F$ and any $A$-module $M$. Furthermore, we determine classical prime, classical 1-absorbing prime and classical 2-absorbing submodules of amalgamated duplication $M\bowtie I$ of an $A$-module $M$ along an ideal $I$. Also, we characterize local rings $(A,\mathfrak{m})$ with $\mathfrak{m}^{2}=0$ in terms of classical 1-absorbing prime submodules.

math.RA↗

arXiv2021

On $1$-absorbing $δ$-primary ideals

Let $R$ be a commutative ring with nonzero identity. Let $\mathcal{I}(R)$ be the set of all ideals of $R$ and let $δ: \mathcal{I}(R)\longrightarrow \mathcal{I}(R)$ be a function. Then $δ$ is called an expansion function of ideals of $R$ if whenever $L, I, J$ are ideals of R with $J \subseteq I$, we have $L \subseteq δ( L)$ and $δ(J)\subseteq δ(I)$. Let $δ$ be an expansion function of ideals of $R$. In this paper, we introduce and investigate a new class of ideals that is closely related to the class of $δ$-primary ideals. A proper ideal $I$ of $R$ is said to be a $1$-absorbing $δ$-primary ideal if whenever nonunit elements $a,b,c \in R $ and $abc\in I$, then $ab \in I$ or $c\in δ(I).$ Moreover, we give some basic properties of this class of ideals and we study the $1$-absorbing $δ$-primary ideals of the localization of rings, the direct product of rings and the trivial ring extensions.

math.AC↗

arXiv2020

On $ϕ$-1-Absorbing Prime Ideals

In this paper, we introduce $ϕ$-1-absorbing prime ideals in commutative rings. Let $R$ be a commutative ring with a nonzero identity $1\neq0$ and $ϕ:\mathcal{I}(R)\rightarrow\mathcal{I}(R)\cup\{\emptyset\}$ be a function where $\mathcal{I}(R)$ is the set of all ideals of $R$. A proper ideal $I$ of $R$ is called a $ϕ$-1-absorbing prime ideal if for each nonunits $x,y,z\in R$ with $xyz\in I-ϕ(I)$, then either $xy\in I$ or $z\in I$. In addition to give many properties and characterizations of $ϕ$-1-absorbing prime ideals, we also determine rings in which every proper ideal is $ϕ$-1-absorbing prime.

math.AC↗

arXiv2020

On Weakly 1-Absorbing Prime Ideals

This paper introduce and study weakly 1-absorbing prime ideals in commutative rings. Let $A$ be a commutative ring with a nonzero identity $1\neq 0$. A proper ideal $P$ of $A$ is said to be a weakly 1-absorbing prime ideal if for each nonunits $x, y, z \in A$ with $0\neq xyz \in P$, then either $xy \in P$ or $z \in P$. In addition to give many properties and characterizations of weakly 1-absorbing prime ideals, we also determine rings in which every proper ideal is weakly 1-absorbing prime. Furthermore, we investigate weakly 1-absorbing prime ideals in $C(X)$, which is the ring of continuous functions of a topological space X.

math.AC↗

arXiv2020

On S-Comultiplication Modules

In this article, we introduce and study S-comultiplication module which is the dual notion of S-multiplication module.We also characterize certain class of rings-modules such as comultiplication modules,S-second submodules,S-prime ideals,S-cyclic modules in terms of S-comultiplication modules.

math.AC↗