Search arXiv⌕ Search

arXiv subjects

Ayman Badawi

Publications and source records attributed to Ayman Badawi.

12 recordsLinked to original sources

On the $m$-graph of a finite Abelian Group

Let $H$ be a finite abelian (commutative) group of order $n \geq 2$, and $m >1$ be an integer. We define the $m$-graph of $H$, denoted by $m-G(H)$, as a simple undirected graph with vertex set $H$, and two distinct vertices, $a, b \in H$, are connected by an edge if and only if $a^m = b$ or $b^m = a$. Several results regarding the properties of the $m$-$G(H)$ have been established.

math.CO↗

The $n$-total graph of an integral domain

Let $R$ be a finite product of integral domains and $D$ be a union of prime ideals (it is possible that $R$ is just an integral domain). Let $n \geq 1$ be a positive integer. This paper introduces the $n$-total graph of a $(R, D)$. The $n$-total graph of $(R, D)$, denoted by $n-T(R)$, is an undirected simple graph with vertex set $R$, such that two vertices $x, y$ in $R$ are connected by an edge if $x^n + y^n \in D$. In this paper, we study some graph properties and theoretical ring structure.

math.AC↗

The n-total graph of a commutative ring

Let $R$ be a commutative ring with $1\not = 0$, $Z(R)$ be the set of all zero-divisors of $R$, and $n \geq 1$. This paper introduces the $n$-total graph of a commutative ring $R$. The $n$-total graph of a commutative ring $R$, denoted by $n-T(R)$, is an undirected simple graph with vertex set $R$, such that two vertices $x, y$ in $R$ are connected by an edge if $x^n + y^n$ in $Z(R)$. Note that if $n =1$, then the $1$-total graph of $R$ is the total graph of $R$ in the sense of Anderson-Badawi's paper on the total graph of a commutative ring. In this paper, we study some graph properties and theoretical ring structure.

math.AC↗

Square-difference factor absorbing ideals of a commutative ring

Let $R$ be a commutative ring with $1 \neq 0$. A proper ideal $I$ of $R$ is a {\it square-difference factor absorbing ideal} (sdf-absorbing ideal) of $R$ if whenever $a^2 - b^2 \in I$ for $0 \neq a, b \in R$, then $a + b \in I$ or $a - b \in I$. In this paper, we introduce and investigate sdf-absorbing ideals.

math.AC↗

Ramsey numbers of partial order graphs (comparability graphs) and implications in ring theory

For a partially ordered set $(A, \le)$, let $G_A$ be the simple, undirected graph with vertex set $A$ such that two vertices $a \neq b\in A$ are adjacent if either $a \le b$ or $b \le a$. We call $G_A$ the \emph{partial order graph} or \emph{comparability graph} of $A$. Further, we say that a graph $G$ is a partial order graph if there exists a partially ordered set $A$ such that $G = G_A$. For a class $\mathcal{C}$ of simple, undirected graphs and $n$, $m \ge 1$, we define the Ramsey number $\mathcal{R}_{\mathcal{C}}(m,n)$ with respect to $\mathcal{C}$ to be the minimal number of vertices $r$ such that every induced subgraph of an arbitrary partial order graph consisting of $r$ vertices contains either a complete $n$-clique $K_n$ or an independent set consisting of $m$ vertices. In this paper, we determine the Ramsey number with respect to some classes of partial order graphs. Furthermore, some implications of Ramsey numbers in ring theory are discussed.

math.CO↗

On weakly delta-semiprimary ideals of commutative rings

Let $R$ be a commutative ring with $ 1 \neq 0$. We recall that a proper ideal $I$ of $R$ is called a semiprimary ideal of $R$ if whenever $a,b\in R$ and $ab \in I$, then $a\in \sqrt{I}$ or $b\in \sqrt{I}$. We say $I$ is a {\it weakly semiprimary ideal} of $R$ if whenever $a,b\in R$ and $0 \not = ab \in I$, then $a\in \sqrt{I}$ or $b\in \sqrt{I}$. In this paper, we introduce a new class of ideals that is closely related to the class of (weakly) semiprimary ideals. Let $I(R)$ be the set of all ideals of $R$ and let $δ: I(R) \rightarrow 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$, then $L \subseteq δ(L)$ and $δ(J) \subseteq δ(I)$. Let $δ$ be an expansion function of ideals of $R$. Then a proper ideal $I$ of $R$ (i.e., $I \not = R$) is called a ({\it $δ$-semiprimary}) {\it weakly $δ$-semiprimary} ideal of $R$ if ($ab \in I$) $0 \not = ab \in I$ implies $a \in δ(I)$ or $b \in δ(I)$. For example, let $δ: I(R) \rightarrow I(R)$ such that $δ(I) = \sqrt{I}$. Then $δ$ is an expansion function of ideals of $R$ and hence a proper ideal $I$ of $R$ is a ($δ$-semiprimary) weakly $δ$-semiprimary ideal of $R$ if and only if $I$ is a (semiprimary) weakly semiprimary ideal of $R$. A number of results concerning weakly $δ$-semiprimary ideals and examples of weakly $δ$-semiprimary ideals are given.

math.AC↗

On n-semiprimary Ideals and n-pseudo Valuation Domains

In this paper, we introduce the concept of n-semiprimary ideals, n-powerful ideals, and n-powerful semiprimary ideals of commutative rings. We study these concepts and relate them to several generalizations of pseudo-valuation domains.

math.AC↗

On Weakly 1-absorbing Primary Ideals of Commutative Rings

Let R be a commutative ring with $1\neq0$. In this paper, we introduce the concept of weakly 1-absorbing primary ideal which is a generalization of 1-absorbing ideal. A proper ideal $I$ of $R$ is called a weakly 1-absorbing primary ideal if whenever nonunit elements $a,b,c\in R$ and $0\neq abc\in I,$ then $ab\in I$ or $c\in\sqrt{I}$. A number of results concerning weakly 1-absorbing primary ideals and examples of weakly 1-absorbing primary ideals are given. Furthermore, we give the correct version of a result on 1-absorbing ideals of commutative rings.

math.RA↗

A characterization of normal subgroups via n-closed sets

Let (G, *) be a semigroup, D subset of G, and n >= 2 be an integer. We say that (D, *) is an n-closed subset of G if a_1* ... *a_n in D for every a_1, ..., a_n in D. Hence every closed set is a 2-closed set. The concept of n-closed sets arise in so many natural examples. For example, let D be the set of all odd integers, then (D, +) is a 3-closed subset of (Z, +) that is not a 2-closed subset of (Z, +). If K = {1, 4, 7, 10, ...}, then (K, +) is a 4-closed subset of (Z, +) that is not an n-closed subset of (Z, +) for n = 2, 3. In this paper, we show that if (H, *) is a subgroup of a group (G, *) such that [H: G] = n < infty, then H is a normal subgroup of G if and only if every left coset of $H$ is an (n+1)-closed subset of G.

math.GR↗