𝒩-Structures Applied to Commutative Ideals of BCI-Algebras

Abstract

The study of symmetry is one of the most important and beautiful themes uniting various areas of contemporary arithmetic. Algebraic structures are useful structures in pure mathematics for learning a geometrical object’s symmetries. In order to provide a mathematical tool for dealing with negative information, a negative-valued function came into existence along with $\mathcal{N}$-structures. In the present analysis, the notion of $\mathcal{N}$-structures is applied to the ideals, especially the commutative ideals of BCI-algebras. Firstly, several properties of $\mathcal{N}$-subalgebras and $\mathcal{N}$-ideals in BCI-algebras are investigated. Furthermore, the notion of a commutative $\mathcal{N}$-ideal is defined, and related properties are investigated. In addition, useful characterizations of commutative $\mathcal{N}$-ideals are established. A condition for a closed $\mathcal{N}$-ideal to be a commutative $\mathcal{N}$-ideal is provided. Finally, it is proved that in a commutative BCI-algebra, every closed $\mathcal{N}$-ideal is a commutative $\mathcal{N}$-ideal.

1. Introduction

The idea of BCK/BCI-algebras came into existence in 1966 due to K. Iséki [1,2]. Since then, the notion and the generalizations have been studied in different ways. The various attributes of BCK/BCI-algebra are considered in [3,4,5]. First, the fuzzy sets were introduced in 1965 due to Zadeh [6]. To deal with negative information in the fuzzy set theory, Jun et al. [7] gave the notation of negative-valued function and constructed $\mathcal{N}$-structures (briefly, “$\mathcal{N}$-STRUC”). After the introduction of fuzzy sets by Zadeh, fuzzy set theory has become an active area of research in various fields such as statistics, graph theory, medical and life science, engineering, business and social science, computer network, decision making, artificial intelligence, pattern recognition, robotics, and automata theory (see [8,9]). More concepts related to our study in different fields have been studied in [10,11].

In summary, in 2009, Jun et al. [7] applied “$\mathcal{N}$-STRUC” to BCK/BCI-algebras, and discussed $\mathcal{N}$-subalgebras (briefly, “$\mathcal{N}$-SUB”) and $\mathcal{N}$-ideals (briefly, “$\mathcal{N}$-I”) in BCK/BCI-algebras. Later, in 2010, “$\mathcal{N}$-SUB” in BCK/BCI-algebras based on point “$\mathcal{N}$-STRUC” were initiated in [12]. Jun et al. [13] considered closed ideals in BCH-algebras based on “$\mathcal{N}$-STRUC”. In the same year, Jun et al. [14] gave the notion of “$\mathcal{N}$-I” in subtraction algebras and studied their characterizations. In 2012, Jun and Lee [15] applied the notion of “$\mathcal{N}$-STRUC” to the subtraction algebras and studied related properties. They also provided many examples in support of these notions. As a follow up, Jun et al. studied ideal theory in BCK/BCI-algebras based on soft sets and “$\mathcal{N}$-STRUC” [16]. In addition, Lee et al. worked on “$\mathcal{N}$-SUB” of type $(\in ,\in \vee q)$ based on point “$\mathcal{N}$-STRUC” in BCK/BCI-algebras [17] while Jun and Kang have given the ideal theory of BE-algebras based on “$\mathcal{N}$-STRUC” [18]. Additionally, several notions based on fuzzy subalgebras and “ideals” in different algebras, are given in [19,20,21,22]. Recently, a number of research papers have appeared on different fuzzy algebras based on “$\mathcal{N}$-STRUC”. Some published papers, related to the present work, are listed below.

• In 2014, Jun et al. applied the notion of N-structures in BCC-Algebras [23], and also applied the soft set theory and N-structures to BCH-algebras [24].
• In semigroups, Khan et al. [25] (2017) gave the notion of “Neutrosophic $\mathcal{N}$-STRUC and their applications” and Song et al. introduced “Neutrosophic commutative $\mathcal{N}$-ideals in $BCK$-algebras [26]”.
• In 2018, Jun et al. inroduced the notion of Neutrosophic positive “implicative $\mathcal{N}$-I” in $BCK$-algebras [27].
• In 2019, Muhiuddin et al. studied “implicative $\mathcal{N}$-I” of BCK-algebras based on “Neutrosophic $\mathcal{N}$-STRUC” [28].
• Most recently, in 2021, Muhiuddin initiated the concept of “p-BCI-ideals” based on “Neutrosophic $\mathcal{N}$-STRUC” [29].

Motivated by previous work in this direction, in this paper, we applied the notion of “$\mathcal{N}$-STRUC” to the commutative ideals of BCI-algebras and provided many examples in support of these new findings. We organized this paper as follows: In Section 2, some fundamental notions of BCK/BCI-algebras are presented. In Section 3, several properties of “$\mathcal{N}$-SUB” and “$\mathcal{N}$-I” in BCI-algebras are investigated with examples. In Section 4, the notion of a commutative $\mathcal{N}$-ideal (briefly, COMMU $\mathcal{N}$-I) is defined, and related properties are investigated. Finally, we discuss the conclusions of this work with some future directions.

2. Preliminaries

We begin with the following definitions and properties that will be needed in the sequel.

Definition 1.

A system $\Omega :=(\Omega ,\ast ,0)$ is called a BCI-algebra, if satisfying the following axioms, for all $\varpi ,\varrho ,\eta \in \Omega :$

(a1)

$((\varpi \ast \varrho )\ast (\varpi \ast \eta ))\ast (\eta \ast \varrho )=0,$

(a2)

$(\varpi \ast (\varpi \ast \varrho ))\ast \varrho =0,$

(a3)

$\varpi \ast \varpi =0,$

(a4)

$\varpi \ast \varrho =0=\varrho \ast \varpi \Rightarrow \varpi =\varrho$

We can define a partial ordering ⪯ by

$$(\forall \varpi ,\varrho \in \Omega )(\varpi ⪯\varrho \iff \varpi \ast \varrho =0).$$

In a BCI-algebra $\Omega$ for all $\varpi ,\varrho ,\eta \in \Omega$, the following holds:

(b1)

$\varpi \ast 0=\varpi ,$

(b2)

$(\varpi \ast \varrho )\ast \eta =(\varpi \ast \eta )\ast \varrho ,$

(b3)

$0\ast (0\ast (0\ast \varpi ))=0\ast \varpi ,$

(b4)

$0\ast (\varpi \ast \varrho )=(0\ast \varpi )\ast (0\ast \varrho )$

If a BCI-algebra $\Omega$ satisfies

(a5)

$0\ast \varpi =0$ for all $\varpi \in \Omega ,$

then we say that $\Omega$ is a BCK-algebra.

A BCI-algebra $\Omega$ is said to be commutative (see [30]) if it satisfies:

(a6)

$(\forall \varpi ,\varrho \in \Omega )(\varpi ⪯\varrho \Rightarrow \varpi =\varrho \ast (\varrho \ast \varpi ),$

A BCI-algebra $\Omega$ is commutative if and only if it satisfies (see [30]):

(a7)

$(\forall \varpi ,\varrho \in \Omega )(\varpi \ast (\varpi \ast \varrho )=\varrho \ast (\varrho \ast (\varpi \ast (\varpi \ast \varrho ))).$

By a subalgebra, we mean a non-empty subset S of a BCK/BCI-algebra $\Omega$ if $\varpi \ast \varrho \in S$ for all $\varpi ,\varrho \in S.$

Let $\Omega$ be a BCI-algebra. Then $\Omega$ is called a “p-semisimple” if $0\ast (0\ast \varpi )=\varpi$ for all $\varpi \in \Omega .$

A subset “A” of a BCK/BCI-algebra $\Omega$ is called an “ideal” of $\Omega$ if it satisfies:

(a8)

$0\in A,$

(a9)

$(\forall \varpi ,\varrho \in \Omega )(\varpi \ast \varrho \in A,\varrho \in A\Rightarrow \varpi \in A).$

Let $\Omega$ be a BCI-algebra. Then an ideal A of $\Omega$ is said to be “closed” if A is a subalgebra of $\Omega .$ Note that an ideal A of a BCI-algebra $\Omega$ is closed if and only if $0\ast \varpi \in A$ for all $\varpi \in A.$

A subset A of a BCI-algebra $\Omega$ is called a commutative ideal (briefly COMMU I) of $\Omega$ (see [31]) if it satisfies (a8) and

(a10)

$(\varpi \ast \varrho )\ast \eta \in A,\eta \in A\Rightarrow x\ast ((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho ))))\in A$ for all $\varpi ,\varrho ,\eta \in \Omega .$

For more information regarding BCK/BCI-algebras, we refer the reader to [4,5].

For any family $\{a_i\mid i\in \Lambda \}$ of real numbers, we define

$$\vee \{a_i\mid i\in \Lambda \}:=\left\{\begin{array}{cc}max\{a_i\mid i\in \Lambda \}\hfill & \mathrm{if}\Lambda \mathrm{is}\mathrm{finite},\hfill \\ sup\{a_i\mid i\in \Lambda \}\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

$$\wedge \{a_i\mid i\in \Lambda \}:=\left\{\begin{array}{cc}min\{a_i\mid i\in \Lambda \}\hfill & \mathrm{if}\Lambda \mathrm{is}\mathrm{finite},\hfill \\ inf\{a_i\mid i\in \Lambda \}\hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

Denote, $\mathcal{F}(\Omega ,[-1,0])$; the collection of functions from a set $\Omega$ to $[-1,0].$ Note that an element of $\mathcal{F}(\Omega ,[-1,0])$ is a “negative-valued function” from $\Omega$ to $[-1,0]$ (briefly, $\mathcal{N}$-function on $\Omega$). Also, by an “$\mathcal{N}$-STRUC” we mean an ordered pair $(X,\mu )$ of $\Omega$ and an $\mathcal{N}$-function $\mu$ on $\Omega .$

Let $(\Omega ,\mu )$ be an “$\mathcal{N}$-STRUC” and $t\in [-1,0],$, then

$$C(\mu ;t):=\{\varpi \in \Omega \mid \mu (\varpi )\le t\}$$

is said to be a closed $(\mu ,t)$-cut of $(\Omega ,\mu ).$

Following the transfer principle in [32,33], transfer principle in “$\mathcal{N}$-STRUC” can be considered as follows: suppose $A\subseteq \Omega$, satisfying the following property $\mathcal{P}$, given by

$$\mathcal{P}:\frac{t_1(\varpi ,\cdots ,\varrho )\in A,\cdots ,t_n(\varpi ,\cdots ,\varrho )\in A}{t(\varpi ,\cdots ,\varrho )\in A},$$

where $t_1(\varpi ,\cdots ,\varrho ),\cdots ,t_n(\varpi ,\cdots ,\varrho )$ and $t(\varpi ,\cdots ,\varrho )$ are terms of $\Omega$ constructed by variables $\varpi ,\cdots ,\varrho .$ We say that $A\subseteq \Omega$ satisfies the property $\mathcal{P}$ if, for all elements $\varpi ,\cdots ,\varrho \in \Omega ,$$t(\varpi ,\cdots ,\varrho )\in A$ whenever “$t_1(\varpi ,\cdots ,\varrho ),$$\cdots ,$$c_n(\varpi ,\cdots ,\varrho )\in A.$” For the subset A we define an “$\mathcal{N}$-STRUC” $(\Omega ,{\mu }_A)$ satisfying

$$\overline{\mathcal{P}}:{\mu }_A(t(\varpi ,\cdots ,\varrho )\le \vee \{{\mu }_A(t_1(\varpi ,\cdots ,\varrho )),\cdots {\mu }_A(t_n(\varpi ,\cdots ,\varrho ))\}.$$

Theorem 1

([13]). An “$\mathcal{N}$-STRUC” $(\Omega ,\mu )$ satisfies the property $\overline{\mathcal{P}}\iff \alpha \in [-1,0],$ $C(\varphi ;\alpha )$ is not empty implies $C(\varphi ;\alpha )\mathit{satisfies}\mathit{the}\mathit{property}\mathcal{P}.$ This is called $\mathcal{N}$-transfer principle (briefly, $\mathcal{N}$TP).

In what follows let $\Omega$ denote a BCI-algebra unless otherwise specified.

Definition 2

([7]). By a subalgebra of Ω based on an $\mathcal{N}$-function μ (“$\mathcal{N}$-SUB” of Ω), we mean an $\mathcal{N}$-structure $(\Omega ,\mu )$ in which μ satisfies the following assertion:

(c1)

$(\forall \varpi ,\varrho \in \Omega )(\mu (\varpi \ast \varrho )\le \vee \{\mu (\varpi ),\mu (\varrho )\}).$

Definition 3

([7]). An “$\mathcal{N}$-STRUC” $(\Omega ,\mu )$ is called “$\mathcal{N}$-I" of Ω if

(c2)

$(\forall \varpi ,\varrho \in \Omega )(\mu (0)\le \mu (\varpi )\le \vee \{\mu (\varpi \ast \varrho ),\mu (\varrho )\}).$

Lemma 1

([7]). In any “$\mathcal{N}$-SUB” $(\Omega ,\mu )$ of Ω, the following conditions hold:

(c3)

$(\forall \varpi \in \Omega )(\mu (0)\le \mu (\varpi )).$

Using the NTP, we have the following.

Lemma 2

([7]). Let $(\Omega ,\mu )$ be an“$\mathcal{N}$-STRUC”. Then the following are equivalent:

(a)

$(\Omega ,\mu )$ is an “$\mathcal{N}$-SUB” of $\Omega .$

(b)

$(C(\mu ;t)\ne \varnothing \mathrm{implying}C(\mu ;t)\mathit{is}a\mathit{subalgebra}\mathit{of}\Omega )$∀$t\in [-1,0]$.

Lemma 3

([7]). Let $(\Omega ,\mu )$ be an“$\mathcal{N}$-STRUC”. Then the following are equivalent:

(a)

$(\Omega ,\mu )$ is an “$\mathcal{N}$-I” of $\Omega .$

(b)

$(C(\mu ;t)\ne \varnothing \mathrm{implying}C(\mu ;t)\mathit{is}\mathit{an}\mathit{ideal}\mathit{of}\Omega )$∀$t\in [-1,0]$.

3. BCI-Commutative $\mathcal{N}$-Ideals

In this section, we obtain our main findings.

Lemma 4

([7]). In any “$\mathcal{N}$-I” $(\Omega ,\mu )$ of Ω, we have

$$\begin{array}{c}\hfill (\forall \varpi ,\varrho ,\eta \in \Omega )(\varpi \ast \varrho ⪯\eta \Rightarrow \mu (\varpi )\le \vee \{\mu (\varrho ),\mu (\eta )\}).\end{array}$$

(1)

Theorem 2.

Let $(\Omega ,\mu )$ be an “$\mathcal{N}$-STRUC” satisfying the conditions (c3) and (1). Then $(\Omega ,\mu )$ is an “$\mathcal{N}$-I” of $\Omega .$

Proof. 

Combining (a2) and (1), we have $\mu (\varpi )\le \vee \{\mu (\varpi \ast \varrho ),\mu (\varrho )\}$ for all $\varpi ,\varrho \in \Omega .$ Hence $(\Omega ,\mu )$ is an “$\mathcal{N}$-I” of $\Omega .$ □

Let $a\in \Omega$. Then consider

$${\Omega }_a:=\{\varpi \in \Omega \mid \mu (\varpi )\le \mu (a)\}.$$

Obviously, $a\in {\Omega }_a,$⇒${\Omega }_a\ne \varnothing$ and a subset of $\Omega$ (see [7]).

Proposition 1.

Let $(\Omega ,\mu )$ be an “$\mathcal{N}$-STRUC” such that ${\Omega }_a$ is an ideal of Ω ∀$a\in \Omega .$ Then $(\Omega ,\mu )$ satisfying,

(c4)

$(\forall \varpi ,\varrho ,\eta \in \Omega )(\mu (\varpi )\ge \vee \{\mu (\varrho \ast \eta ),\mu (\eta )\}\Rightarrow \mu (\varpi )\ge \mu (\varrho )).$

Proof. 

Let $\varpi ,\varrho ,\eta \in \Omega$ be such that $\mu (\varpi )\ge \vee \{\mu (\varrho \ast \eta ),\mu (\eta )\}.$ Then $\varrho \ast \eta \in {\Omega }_x$ and $\eta \in {\Omega }_x.$ Since ${\Omega }_x$ is an ideal of $\Omega ,$ then $\varrho \in {\Omega }_x$⇒$\mu (\varrho )\le \mu (\varpi ).$ □

If an “$\mathcal{N}$-STRUC” $(\Omega ,\mu )$ is an “$\mathcal{N}$-I” of $\Omega$ in which $\mu$ is a 0-negative function, that is, $\mu (0\ast \varpi )\le \mu (\varpi )$ for all $\varpi \in \Omega ,$ we say $(\Omega ,\mu )$ is a “closed $\mathcal{N}$-ideal(briefly, C-$\mathcal{N}$-I)” of $\Omega$ (see [7]).

Theorem 3.

For any “$\mathcal{N}$-STRUC” $(\Omega ,\mu )$ in which μ satisfies the condition (c3), if the condition (c4) is valid then ${\Omega }_a$ is an ideal of Ω for all $a\in \Omega .$

Proof. 

For each $a\in \Omega ,$ let $\varpi ,\varrho \in \Omega$ be such that $\varpi \ast \varrho \in {\Omega }_a$ and $\varrho \in {\Omega }_a.$ Then $\mu (\varpi \ast \varrho )\le \mu (a)$ and $\mu (\varrho )\le \mu (a)$⇒$\vee \{\mu (\varpi \ast \varrho ),\mu (\varrho )\}\le \mu (a).$ By (c4), we have $\mu (\varpi )\le \mu (a)$⇒$x\in {\Omega }_a.$ By the condition (c3), we have $0\in {\Omega }_a.$ Therefore, ${\Omega }_a$ is an ideal of $\Omega$ for all $a\in \Omega .$ □

Now, we prove the following theorem.

Theorem 4.

For any “p-semisimple” BCI-algebra $\Omega ,$ every “$\mathcal{N}$-SUB” of Ω is an “N-I” of $\Omega .$

Proof. 

Let $(\Omega ,\mu )$ be an “$\mathcal{N}$-SUB” of a p-semisimple BCI-algebra $\Omega .$ Let $t\in [-1,0]$ be such that $C(\mu ;t)\ne \varnothing .$ Lemma 1 induces $0\in C(\mu ;t).$ Let $\varpi ,\varrho \in \Omega$ be such that $\varrho \ast \varpi \in C(\mu ;t)$ and $\varpi \in C(\mu ;t).$ Since $C(\mu ;t)$ is a subalgebra of $\Omega$ by Lemma 2, we have $0\ast \varpi \in C(\mu ;t)$ and $(\varrho \ast \varpi )\ast (0\ast \varpi )\in C(\mu ;t).$ Since $\varrho$ is a minimal element of $\Omega ,$ it follows from $(\varrho \ast \varpi )\ast (0\ast \varpi )⪯\varrho$ that $\varrho =(\varrho \ast \varpi )\ast (0\ast \varpi )\in C(\mu ;t).$ Consequently, $C(\mu ;t)$ is an ideal of $X,$ and so $(\Omega ,\mu )$ is an “$\mathcal{N}$-I” of $\Omega$ by Lemma 3. □

Corollary 1.

If a BCI-algebra Ω satisfies one of the following conditions:

(1)

$(\forall \varpi ,\varrho \in \Omega )(\varpi \ast (0\ast \varrho )=\varrho \ast (0\ast \varpi )),$

(2)

$(\forall \varpi ,\varrho ,\eta \in \Omega )((\varpi \ast \varrho )\ast (\varpi \ast \eta )=\eta \ast \varrho ),$

(3)

$(\forall \varpi ,\varrho ,\eta ,u\in \Omega )((\varpi \ast \varrho )\ast (\eta \ast u)=(\varpi \ast \eta )\ast (\varrho \ast u)),$

(4)

$(\forall \varpi ,\varrho \in \Omega )(0\ast (\varrho \ast \varpi )=\varpi \ast \varrho ),$

(5)

$(\forall \varpi \in \Omega )(0\ast \varpi =0\Rightarrow \varpi =0),$

(6)

$(\forall \varpi ,\varrho ,\eta \in \Omega )(\eta \ast \varpi =\eta \ast \varrho \Rightarrow \varpi =\varrho ),$

(7)

$\Omega =\{0\ast \varpi \mid \varpi \in \Omega \},$

(8)

the BCK-part of Ω is $\left\{0\right\},$

then every “$\mathcal{N}$-SUB” of Ω is an “$\mathcal{N}$-I of $\Omega .$

Proof. 

Straightforward. □

Next, we will define our main results. For this purpose, we introduce the following definition.

Definition 4.

An “$\mathcal{N}$-STRUC” $(\Omega ,\mu )$ is called “COMMU $\mathcal{N}$-I” of Ω if μ satisfies the condition (c3) and

(d1)

$\mu (\varpi \ast ((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho )))))\le \vee \{\mu ((\varpi \ast \varrho )\ast \eta ),\mu (\eta )\}$

for all $\varpi ,\varrho ,\eta \in \Omega .$

Example 1.

Let $\Omega :=\{0,a,\hslash ,\vartheta ,\omega \}$ be a set with * operation given by

Table 1. Cayley table for * operation.

*	0	a	ℏ	$\vartheta$	$\omega$
0	0	0	$\omega$	$\vartheta$	ℏ
a	a	0	$\omega$	$\vartheta$	ℏ
ℏ	ℏ	ℏ	0	$\omega$	$\vartheta$
$\vartheta$	$\vartheta$	$\vartheta$	ℏ	0	$\omega$
$\omega$	$\omega$	$\omega$	$\vartheta$	ℏ	0

.

Clearly, $(\Omega ,\ast ,0)$ is a BCI-algebra (see [34]). Let μ be an $\mathcal{N}$-function on Ω defined by

$$\mu =\left(\begin{array}{ccccc}0& a& \hslash & \vartheta & \omega \\ t_0& t_{\hslash }& t_{\vartheta }& t_{\vartheta }& t_{\vartheta }\end{array}\right).$$

where $t_0,t_{\hslash },t_{\vartheta }\in [-1,0]$ with $t_0<t_{\hslash }<t_{\vartheta }.$ It is easily verified that $(\Omega ,\mu )$ is a “COMMU $\mathcal{N}$-I” of $\Omega .$

By using “$\mathcal{N}$TP”, we present the following Theorem based on “COMMU $\mathcal{N}$-I”.

Theorem 5.

Let $(\Omega ,\mu ),$ be an “$\mathcal{N}$-STRUC”. Then the following are equivalent:

(1)

$(\Omega ,\mu )$ is a “COMMU $\mathcal{N}$-I” of $\Omega .$

(2)

$(\forall t\in [-1,0])(C(\mu ;t)\ne \varnothing \Rightarrow C(\mu ;t)\mathit{is}a“\mathit{COMMU}I”\mathit{of}\Omega ).$

Theorem 6.

Every COMMU $\mathcal{N}$-I is an $\mathcal{N}$-I.

Proof. 

Let $(\Omega ,\mu )$ be a COMMU $\mathcal{N}$-I of $\Omega$ and let $\varpi ,\varrho ,\eta \in \Omega .$ Then

$$\begin{array}{cc}\hfill & \vee \{\mu (\varpi \ast \eta ),\mu (\eta )\}=\vee \{\mu ((\varpi \ast 0)\ast \eta ),\mu (\eta )\}\hfill \\ \hfill & \ge \mu (\varpi \ast (0\ast (0\ast \varpi ))\ast (0\ast (0\ast (\varpi \ast 0))))=\mu (\varpi \ast 0)=\mu (\varpi ).\hfill \end{array}$$

Therefore $(\Omega ,\mu )$ is an $\mathcal{N}$-I of $\Omega .$ □

Open question: What about the converse of Theorem 6? The answer is negative, that is, it is not true in general. To support this assertion, we construct the following example.

Example 2.

Let $\Omega :=\{0,a,\hslash ,\vartheta ,\omega \}$ be a set with * operation given by

Table 2. Cayley table for * operation.

*	0	ℏ	$\vartheta$	$\omega$	$\kappa$
0	0	0	0	0	0
ℏ	ℏ	0	ℏ	0	0
$\vartheta$	$\vartheta$	$\vartheta$	0	0	0
$\omega$	$\omega$	$\omega$	$\omega$	0	0
$\kappa$	$\kappa$	$\kappa$	$\kappa$	$\omega$	0

.

Then $(\Omega ,\ast ,0)$ is a BCI-algebra (see [31]). Let μ be an $\mathcal{N}$-function on Ω defined by

$$\mu =\left(\begin{array}{ccccc}0& \hslash & \vartheta & \omega & \kappa \\ -0.8& -0.5& -0.3& -0.3& -0.3\end{array}\right).$$

It is easily verified that $(\Omega ,\mu )$ is an “$\mathcal{N}$-I” of $\Omega .$ But it is not a “COMMU $\mathcal{N}$-I” of Ω since

$$\mu (\vartheta \ast ((\omega \ast (\omega \ast \vartheta ))\ast (0\ast (0\ast (\vartheta \ast \omega )))))\nleqq \vee \{\mu ((\vartheta \ast \omega )\ast 0),\mu (0)\}.$$

Open problem: Under what condition are we able to transform an “$\mathcal{N}$-I” into a “COMMU $\mathcal{N}$-I”. Next, we provide a condition for this.

Theorem 7.

An “$\mathcal{N}$-STRUC” $(\Omega ,\mu )$ is a “COMMU $\mathcal{N}$-I” of Ω ⇔ it is an “$\mathcal{N}$-I” of Ω satisfying the following condition:

(d2)

$(\forall \varpi ,\varrho \in \Omega )(\mu (\varpi \ast (\varrho \ast (\varrho \ast \varpi )))\ast (0\ast (0\ast (\varpi \ast \varrho ))))\le \mu (\varpi \ast \varrho )).$

Proof. 

Let $(\Omega ,\mu )$ be a “COMMU $\mathcal{N}$-I” of $\Omega .$ Taking $\eta =0$ in (d1) and using (b1) and (c3), we get (d2).

Conversely, let $(\Omega ,\mu )$ be an “$\mathcal{N}$-I” of $\Omega$ satisfying the condition (d2). Then $\mu (\varpi \ast \varrho )\le \vee \{\mu ((\varpi \ast \varrho )\ast \eta ),\mu (\eta )\}$∀$\varpi ,\varrho ,\eta \in \Omega .$ By (d2), we have

$$\mu (\varpi \ast (\varrho \ast (\varrho \ast \varpi )))\ast (0\ast (0\ast (\varpi \ast \varrho )))\le \vee \{\mu ((\varpi \ast \varrho )\ast \eta ),\mu (\eta )\}$$

∀$\varpi ,\varrho ,\eta \in \Omega .$ Therefore $(\Omega ,\mu )$ is a “COMMU $\mathcal{N}$-I” of $\Omega .$ □

Note that the “$\mathcal{N}$-SRTUC” $(\Omega ,\mu )$ which is given in Example 2 is a “C $\mathcal{N}$-I” of $\Omega$ which is not a “COMMU $\mathcal{N}$-I” of $\Omega .$ Also, in Example 1, the “$\mathcal{N}$-SRTUC” $(\Omega ,\mu )$ is a “$\mathcal{N}$-SRTUC”, but it is not a “C-$\mathcal{N}$-I”.

Open problem: Under what condition are we able to transform an “C-$\mathcal{N}$-I” into a “COMMU $\mathcal{N}$-I”.

Next, we provide a condition for this.

Theorem 8.

For a “C-$\mathcal{N}$-I” $(\Omega ,\mu )$ of $\Omega ,$ the following are equivalent:

(a)

$(\Omega ,\mu )$ is a “COMMU $\mathcal{N}$-I” of $\Omega .$

(b)

$(\Omega ,\mu )$ satisfies the following inequality:

$$(\forall \varpi ,\varrho \in \Omega )(\mu (\varpi \ast (\varrho \ast (\varrho \ast \varpi ))))\le \mu (\varpi \ast \varrho )).$$

Proof. 

(a) ⇒ (b). Let $\varpi ,\varrho \in \Omega .$ Using (a1), (b2), (a3) and (b3), we have

$$\begin{array}{cc}\hfill & (\varpi \ast (\varrho \ast (\varrho \ast \varpi )))\ast (\varpi \ast ((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho )))))\hfill \\ \hfill & ⪯((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho ))))\ast (\varrho \ast (\varrho \ast \varpi ))\hfill \\ \hfill & =((\varrho \ast (\varrho \ast \varpi ))\ast (\varrho \ast (\varrho \ast \varpi )))\ast (0\ast (0\ast (\varpi \ast \varrho )))\hfill \\ \hfill & =0\ast (0\ast (0\ast (\varpi \ast \varrho )))=0\ast (\varpi \ast \varrho ).\hfill \end{array}$$

If follows from Lemma 4 and Theorem 7 that

$$\begin{array}{cc}\hfill & \mu (\varpi \ast (\varrho \ast (\varrho \ast \varpi )))\le \vee \{\mu (\varpi \ast ((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho )))),\mu (0\ast (\varpi \ast \varrho ))\}\hfill \\ \hfill & \le \vee \{\mu (\varpi \ast \varrho ),\mu (0\ast (\varpi \ast \varrho ))\}=\mu (\varpi \ast \varrho ).\hfill \end{array}$$

(b) ⇒ (a). For any $\varpi ,\varrho \in \Omega ,$ we get

$$\begin{array}{cc}\hfill & (\varpi \ast ((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho ))))\ast (\varpi \ast (\varrho \ast (\varrho \ast \varpi )))\hfill \\ \hfill & ⪯(\varrho \ast (\varrho \ast \varpi ))\ast ((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho ))))\hfill \\ \hfill & ⪯0\ast (0\ast (\varpi \ast \varrho ))\hfill \end{array}$$

by (a1) and (a2). By Lemma 4 and (2), we get

$$\begin{array}{cc}\hfill & \mu (\varpi \ast ((\varrho \ast (\varrho \ast \varpi ))\ast (0\ast (0\ast (\varpi \ast \varrho ))))\hfill \\ \hfill & \le \vee \{\mu (\varpi \ast (\varrho \ast (\varrho \ast \varpi ))),\mu (0\ast (0\ast (\varpi \ast \varrho )))\}\hfill \\ \hfill & \le \vee \{\mu (\varpi \ast \varrho ),\mu (0\ast (0\ast (\varpi \ast \varrho )))\}\hfill \\ \hfill & =\mu (\varpi \ast \varrho )\hfill \end{array}$$

so that (d2) is valid. Hence $(\Omega ,\mu )$ is a “COMMU $\mathcal{N}$-I” of $\Omega .$ □

Theorem 9.

Let $\Omega .$ be a commutative BCI-algebra. Then every “C-$\mathcal{N}$-I” is a “COMMU $\mathcal{N}$-I” of $\Omega .$

Proof. 

Let $(\Omega ,\mu )$ be an “C-$\mathcal{N}$-I” of $\Omega .$ Again, let $\varpi ,\varrho \in \Omega .$ Using (a7), we have

$$\begin{array}{cc}\hfill & (\varpi \ast (\varrho \ast (\varrho \ast \varpi )))\ast (\varpi \ast \varrho )=(\varpi \ast (\varpi \ast \varrho ))\ast (\varrho \ast (\varrho \ast \varpi ))=(\varrho \ast (\varrho \ast (\varpi \ast (\varpi \ast \varrho ))))\ast (\varrho \ast (\varrho \ast \varpi ))\hfill \\ \hfill & =(\varrho \ast (\varrho \ast (\varrho \ast \varpi )))\ast (\varrho \ast (\varpi \ast (\varpi \ast \varrho )))=(\varrho \ast \varpi )\ast (\varrho \ast (\varpi \ast (\varpi \ast \varrho )))\hfill \\ \hfill & ⪯(\varpi \ast (\varpi \ast \varrho ))\ast \varpi =0\ast (\varpi \ast \varrho ).\hfill \end{array}$$

Since $\mu$ is 0-negative function, it follows from Lemma 4 that

$$\mu (\varpi \ast (\varrho \ast (\varrho \ast \varpi )))\le \vee \{\mu (\varpi \ast \varrho ),\mu (0\ast (\varpi \ast \varrho ))\}\le \mu (\varpi \ast \varrho )$$

Therefore, from Theorem 8, we get $(\Omega ,\mu )$ is a “COMMU $\mathcal{N}$-I”. □

4. Conclusions

In the present paper, we apply the notion of “$\mathcal{N}$-SRTUC” to the ideals, especially the commutative ideals of BCI-algebras. We provided different characterizations of “$\mathcal{N}$-SUB” and “$\mathcal{N}$-I” in BCI-algebras. Furthermore, the notion of a “COMMU $\mathcal{N}$-I” is defined, and related properties are investigated. In addition, we provided a condition for a “C-$\mathcal{N}$-I” to be a “COMMU $\mathcal{N}$-I”. It has been shown that in a commutative BCI-algebra, every “C-$\mathcal{N}$-I” is a “COMMU $\mathcal{N}$-I”.