-
On ideals of product of commutative rings and their applications
Authors:
Mehdi Badie,
Ali Rezaie Aliabad,
Foad Obeidavi
Abstract:
In this paper, leveraging the recent achievements of researchers, we have revisited the family of ideals of product of commutative rings. We demonstrate that if $ \{ R_α\}_{α\in A} $ is an infinite family of rings, then $ \left| Max \left( \prod_{α\in A} R_α\right) \right| \geqslant 2^{2^{|A|}} $. Notably, if these rings are local then the equality holds. We establish that $ Max(R_α) $ is homeomor…
▽ More
In this paper, leveraging the recent achievements of researchers, we have revisited the family of ideals of product of commutative rings. We demonstrate that if $ \{ R_α\}_{α\in A} $ is an infinite family of rings, then $ \left| Max \left( \prod_{α\in A} R_α\right) \right| \geqslant 2^{2^{|A|}} $. Notably, if these rings are local then the equality holds. We establish that $ Max(R_α) $ is homeomorphic to a closed subset of $ Max \left( \prod_{α\in A} R_α\right) $, for each $ α\in A $. Additionally, we show that $ Max(R) $ is disconnected \ff $ R $ is direct summand of its two proper ideals. We deduce that if the intersection of each infinite family of maximal ideals of a ring is zero, then the ring is not direct summand of its two proper ideals. Furthermore, we prove that for each ring $R$, $ C\left(Max(R)\right) $ is isomorphic to $ C\left(Max\left(C(Y)\right)\right) $, for some compact $T_4$ space $Y$. Finally, we explore that $h_M(x)$'s can define roles of zero-sets.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
Sombor index of clean graphs
Authors:
M. Badie,
R. Nikandish,
M. Pirniia
Abstract:
Let $G = (V, E)$ be a graph with the vertex set $V (G)$ and edge set $E(G)$. The Sombor index of $G$, $SO(G)$, is defined as $\sum_{uv\in E(G)} \sqrt{deg(u)^2 + deg(v)^2}$, where $deg(u)$ is the degree of vertex $u$ in $V (G)$. The clean graph of a ring R, denoted by $Cl(R)$, is a graph with vertex set $\{(e, u) : e \in Id(R), u \in U(R)\}$ and two distinct vertices $(e, u)$ and$(f, v)$ are adjace…
▽ More
Let $G = (V, E)$ be a graph with the vertex set $V (G)$ and edge set $E(G)$. The Sombor index of $G$, $SO(G)$, is defined as $\sum_{uv\in E(G)} \sqrt{deg(u)^2 + deg(v)^2}$, where $deg(u)$ is the degree of vertex $u$ in $V (G)$. The clean graph of a ring R, denoted by $Cl(R)$, is a graph with vertex set $\{(e, u) : e \in Id(R), u \in U(R)\}$ and two distinct vertices $(e, u)$ and$(f, v)$ are adjacent if and only if $ef = 0$ or $uv = 1$ ($Id(R)$ and $U(R)$ are the sets of idempotents and unit elements of R, respectively). The induced subgraph on $\{(e, u) : e \in Id^{*}(R), u \in U(R)\}$ is denoted by $Cl_2(R)$. In this paper, $SO(Cl2(\mathbb{Z}_n))$, for different values of the positive integer $n$, is investigated.
△ Less
Submitted 9 June, 2025; v1 submitted 15 May, 2025;
originally announced May 2025.
-
On $\mathcal{H}_Y$-Ideals
Authors:
Mehdi Badie
Abstract:
In this article, we continue the studying of $\mathcal{H}_Y$-ideals. We introducing two notions fixed and free $\mathcal{H}_Y$-ideals as an extension of fixed and free z-ideals in C(X) and relative $\mathcal{H}_Y$-ideals as an extension of relative z-ideals. It has been shown that a large amount of the results of the mentioned papers and generally the papers in the literature about these topics, a…
▽ More
In this article, we continue the studying of $\mathcal{H}_Y$-ideals. We introducing two notions fixed and free $\mathcal{H}_Y$-ideals as an extension of fixed and free z-ideals in C(X) and relative $\mathcal{H}_Y$-ideals as an extension of relative z-ideals. It has been shown that a large amount of the results of the mentioned papers and generally the papers in the literature about these topics, are special cases of the results of this paper. We prove that Y is compact if and only if every proper $\mathcal{H}_Y$-ideal is a fixed $\mathcal{H}_Y$-ideal; if and only if every proper strong H_Y-ideal is a fixed ideal. Also, we show that every proper ideal is a relative $\mathcal{H}_Y$-ideal, if and only if every proper ideal is a strong $\mathcal{H}_Y$-ideal; if and only if R is regular.
△ Less
Submitted 8 June, 2019; v1 submitted 28 May, 2019;
originally announced May 2019.
-
A little more on the zero-divisor graph and the annihilating-ideal graph of a reduced ring
Authors:
Mehdi Badie
Abstract:
We have tried to translate some graph properties of AG(R) and Gamma(R) to the topological properties of Zariski topology. We prove that Rad(Gamma(R)) and Rad(AG(R)) are equal and they are equal to 3, if and only if the zero ideal of R is an anti fixed-place ideal, if and only if Min(R) does not have any isolated point, if and only if Gamma(R) is triangulated, if and only if AG(R) is triangulated.…
▽ More
We have tried to translate some graph properties of AG(R) and Gamma(R) to the topological properties of Zariski topology. We prove that Rad(Gamma(R)) and Rad(AG(R)) are equal and they are equal to 3, if and only if the zero ideal of R is an anti fixed-place ideal, if and only if Min(R) does not have any isolated point, if and only if Gamma(R) is triangulated, if and only if AG(R) is triangulated. Also, we show that if the zero ideal of a ring R is a fixed-place ideal, then dtt(AG(R)) = |B(R)| and also if in addition |Min(R)| > 2, then dt(AG(R)) = |B(R)|. Finally, it has been shown that dt(AG(R)) is finite, if and only if dtt(AG(R) is finite; if and only if Min(R) is finite.
△ Less
Submitted 11 May, 2019;
originally announced May 2019.
-
Extensions of Continuous Function in LG-Topology
Authors:
Mehdi Badie,
Hossein Kaisri
Abstract:
In this article we introduce three maps, OLG, CLG and LG in LGT-space literature and show that these maps are extension of the continuous function in LGT-spaces and have the almost properties of the continuous functions. Also, it has been introduced and studied the natural notions, quotient, decomposition, weak LG-topology and isomorphism, related to the continuous function.
In this article we introduce three maps, OLG, CLG and LG in LGT-space literature and show that these maps are extension of the continuous function in LGT-spaces and have the almost properties of the continuous functions. Also, it has been introduced and studied the natural notions, quotient, decomposition, weak LG-topology and isomorphism, related to the continuous function.
△ Less
Submitted 9 June, 2019; v1 submitted 5 May, 2019;
originally announced May 2019.
-
Annihilating-Ideal Graph of $C(X)$
Authors:
Mehdi Badie
Abstract:
In this article we study the annihilating-ideal graph of the ring $C(X)$. We have tried to associate the graph properties of $\mathbb{AG}(X)$, the ring properties of $C(X)$ and the topological properties of $X$. We have shown that $ X $ has an isolated point \ff $ \mathbb{R} $ is a direct summand of $ C(X) $ if and only if $ \mathbb{AG}(X) $ is not triangulated. Radius, girth, dominating number an…
▽ More
In this article we study the annihilating-ideal graph of the ring $C(X)$. We have tried to associate the graph properties of $\mathbb{AG}(X)$, the ring properties of $C(X)$ and the topological properties of $X$. We have shown that $ X $ has an isolated point \ff $ \mathbb{R} $ is a direct summand of $ C(X) $ if and only if $ \mathbb{AG}(X) $ is not triangulated. Radius, girth, dominating number and clique number of the $\mathbb{AG}(X)$ are investigated. We have proved that $ c(X) \leqslant \mathrm{dt}(\mathbb{AG}(X)) \leqslant w(X) $ and $ \mathrm{clique} \mathbb{AG}(X) = χ\mathbb{AG}(X) = c(X) $.
△ Less
Submitted 31 July, 2018;
originally announced August 2018.
-
An extension of z-ideals and z^0-ideals
Authors:
A. R. Aliabad,
M. Badie,
S. Nazari
Abstract:
Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in I$ that $b\in I$. A strong $\mathcal{H}_Y$-ideal is defined in the same way by replacing an arbitrary finite set $F$ instead of the element $a$. In this paper th…
▽ More
Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in I$ that $b\in I$. A strong $\mathcal{H}_Y$-ideal is defined in the same way by replacing an arbitrary finite set $F$ instead of the element $a$. In this paper these two classes of ideals (which are based on the spectrum of the ring $R$ and are a generalization of the well-known concepts semiprime ideal, z-ideal, $z^{\circ}$-ideal (d-ideal), sz-ideal and $sz^{\circ}$-ideal ($ξ$-ideal)) are studied. We show that the most important results about these concepts, "Zariski topology", "annihilator" and etc can be extended in such a way that the corresponding consequences seems to be trivial and useless. This comprehensive look helps to recognize the resemblances and differences of known concepts better.
△ Less
Submitted 29 July, 2018;
originally announced July 2018.
