In this paper, we discuss the hypothesis that an ordered $\Gamma$-semigroup can be constructed on the M-left(right)-tri-basis. In order to generalize the left(right)-tri-basis using $\Gamma$-semigroups and ordered semigroups, we examined M-tri-ideals from a purely algebraic standpoint. We also present the form of the M-tri-ideal generator. We investigated the M-left(right)-tri-ideal using the ordered $\Gamma$-semigroup. In order to obtain their properties, we used M-left(right)-tri-basis. It was possible to generate a M-left(right)-tri-basis from elements and their subsets. Throughout this paper, we will present an interesting example of order ${⪯}_{mlt}\left({⪯}_{mrt}\right)$, which is not a partial order of $\mathcal{S}$. Additionally, we introduce the notion of quasi-order. As an example, we demonstrate the relationship between M-left(right)-tri-basis and partial order.

In computer programming languages, partial additive semantics are used. Since partial functions under disjoint-domain sums and functional composition do not constitute a field, linear algebra cannot be applied. A partial ring can be viewed as an algebraic structure that can process natural partial orderings, infinite partial additions, and binary multiplications. In this paper, we introduce the notions of a one-prime partial bi-ideal, a two-prime partial bi-ideal, and a three-prime partial bi-ideal, as well as their extensions to partial rings, in addition to some characteristics of various prime partial bi-ideals. In this paper, we demonstrate that two-prime partial bi-ideal is a generalization of a one-prime partial bi-ideal, and three-prime partial bi-ideal is a generalization of a two-prime partial bi-ideal and a one-prime partial bi-ideal. A discussion of the $m_{pb1},(m_{pb2},m_{pb3})$ systems is presented. In general, the $m_{pb2}$ system is a generalization of the $m_{pb1}$ system, while the $m_{pb3}$ system is a generalization of both $m_{pb2}$ and $m_{pb1}$ systems. If $\mathrm{\Phi }$ is a prime bi-ideal of ℧, then $\mathrm{\Phi }$ is a one-prime partial bi-ideal (two-prime partial bi-ideal, three-prime partial bi-ideal) if and only if $\mho \backslash \mathrm{\Phi }$ is a $m_{pb1}$ system ($m_{pb2}$ system, $m_{pb3}$ system) of ℧. If $\mathrm{\Theta }$ is a prime bi-ideal in the complete partial ring ℧ and $\mathrm{\Delta }$ is an $m_{pb3}$ system of ℧ with $\mathrm{\Theta }\cap \mathrm{\Delta }=\varphi$, then there exists a three-prime partial bi-ideal $\mathrm{\Phi }$ of ℧, such that $\mathrm{\Theta }\subseteq \mathrm{\Phi }$ with $\mathrm{\Phi }\cap \mathrm{\Delta }=\varphi$. These are necessary and sufficient conditions for partial bi-ideal $\mathrm{\Theta }$ to be a three-prime partial bi-ideal of ℧. It is shown that partial bi-ideal $\mathrm{\Theta }$ is a three-prime partial bi-ideal of ℧ if and only if $H_{\mathrm{\Theta }}$ is a prime partial ideal of ℧. If $\mathrm{\Theta }$ is a one-prime partial bi-ideal (two-prime partial bi-ideal) in ℧, then $H_{\mathrm{\Theta }}$ is a prime partial ideal of ℧. It is guaranteed that a three-prime partial bi-ideal $\mathrm{\Phi }$ with a prime bi-ideal $\mathrm{\Theta }$ does not meet the $m_{pb3}$ system. In order to strengthen our results, examples are provided.

Consider $\mathcal{A}$ as a unital ∗-algebra. Given elements $A,B\in \mathcal{A}$, the operations $A•B=AB+B{A}^{*}$ and ${[A,B]}_{*}=AB-B{A}^{*}$ represent the skew Jordan product and the skew Lie product, correspondingly. Within this study, we demonstrate that a nonlinear mapping $\mathrm{\Phi }:\mathcal{A}\to \mathcal{A}$ adhering to $\mathrm{\Phi }\left({[A_1•A_2•\cdots •A_{n-1},A_n]}_{*}\right)={\sum }_{j=1}^n{[A_1•A_2•\cdots •A_{j-1}•\mathrm{\Phi }(A_j)•A_{j+1}•\cdots •A_{n-1},A_n]}_{*}$ for every $A_1,A_2,\dots ,A_n\in \mathcal{A}$ with $n\ge 3$, then $\mathrm{\Phi }$ is an additive ∗-derivation. As an application of our main results, we establish characterizations of prime ∗-algebras, standard operator algebras, von Neumann algebras without central summands of type ${\mathrm{I}}_1$, and factor von Neumann algebras.

Introducing the concept of ς1,ς2-intuitionistic Q fuzzy ternary subsemigroup (IQFTSS), weexplore some of the properties of these ordered ternary semigroups, including intuitionistic Q fuzzy left ideal (IQFLI), intuitionistic Q fuzzy right ideal (IQFRI), intuitionisticQ fuzzy lateral ideal (IQFLATI), intuitionistic Q fuzzy ideal (IQFI), and intuitionistic Qfuzzy bi-ideal (IQFBI). We provide a novel extension of IQFI over ternary semigroups M:ς1,ς2-IQFI. A non-empty subset ℵς1is a (ς1,ς2)-IQFTSS (IQFLI, IQFRI, IQFLATI, IQFBI)of M. Then the lower level set aς1is an TSS (TLI, TRI, TLATI, TBI) of M, whereaς1 = {` ∈ M|a(`, q) > ς1} and ✵ς1 = {` ∈ M|a(`, q) < ς1}. A subset ℵ = [a, ✵]is a (ς1,ς2) − IQF TSS[IQFLI, IQFRI, IQF LATI, IQFBI] of M if and only if eachnon-empty level subset ℵtis a TSS [TLI, TRI, TLATI, TBI] of M for all t ∈ (ς1,ς2]. Wepresent a few instances to demonstrate our findings.

In recent years, the intersection of algebraic structures and graph-theoretic concepts has developed significant interest, particularly through the study of zero-divisor graphs derived from commutative rings. Let Z*(S) be the set of non-zero zero divisors of a finite commutative ring S with unity. Consider a graph Γ(S) with vertex set V(Γ) = Z*(S), and two vertices in Γ(S) are adjacent if and only if their product is zero. This graph Γ(S) is known as zero-divisor graph of S. Zero-divisor graphs provide a powerful bridge between abstract algebra and graph theory. The zero-divisor graphs for finite commutative rings and their minimum fault-tolerant edge-resolving sets are studied in this article. Through analytical and constructive techniques, we highlight how the algebraic properties of the ring influence the edge metric structure of its associated graph. In addition to this, the existence of a connected graph G having a resolving set of cardinality of 2n + 2 from a star graph $K_{\mathrm{1,2}n}$, is studied.

American scientific publishing group