Home A study on soft rough semigroups and corresponding decision making applications
Article Open Access

A study on soft rough semigroups and corresponding decision making applications

  • Qiumei Wang , Jianming Zhan EMAIL logo and R.A. Borzooei
Published/Copyright: December 5, 2017

Abstract

In this paper, we study a kind of soft rough semigroups according to Shabir’s idea. We define the upper and lower approximations of a subset of a semigroup. According to Zhan’s idea over hemirings, we also define a kind of new C-soft sets and CC-soft sets over semigroups. In view of this theory, we investigate the soft rough ideals (prime ideals, bi-ideals, interior ideals, quasi-ideals, regular semigroups). Finally, we give two decision making methods: one is for looking a best a parameter which is to the nearest semigroup, the other is to choose a parameter which keeps the maximum regularity of regular semigroups.

MSC 2010: 20N25; 20M99; 20M17

1 Introduction

Since rough sets were proposed by Pawlak in [1], some famous academics turned their attention to rough sets. Rough sets, a new-style mathematical tools, are widely applied to handle incertitude and incomplete data in many fields, such as cognitive science, patter recognition, machine learning, and so on; for example in [2,3,4] the applications of rough sets were given. In addition, an equivalence relation (briefly, ER), as an indispensable part in Pawlak rough sets, is also investigated highly by many researchers. With the development of rough sets, some models of generalized rough sets were investigated, just as in [5,6]. Later, rough sets were also established over algebraic structures, such as in [7,8,9,10].

Soft set theory, as another new-style mathematical tool for handling uncertainties, was firstly put forward by Molodsov in [11]. There is no doubt that soft sets play an important part in real life. Therefore, some operations were proposed over soft sets to make the best option, such as in [12,13,14]. Alcantud [15] discussed some relations among soft sets and other theories. Similarly, setting up soft sets over algebraic structures and studying the relevant properties were introduced by some researchers. Especially in [16], Ali et al. gave a detailed account about soft ideals, soft bi-ideals, soft quai-ideals, regular semigroups, and the relations between them. In recent years, some kinds of hybrid soft set models have been investigated by some researchers. For examples, Alcantud [17] raised a new algorithm for fuzzy soft sets with respect to decision making (briefly, DM) from multiobserver IPD-sets. In [18,19], soft rough fuzzy sets (briefly, SRF-sets) and soft fuzzy rough sets (briefly, SFR-sets) were investigated, and their applications in decision making were given.

As we all know, both rough sets and soft sets are tools for dealing with incompletion problems, and an ER can be replaced by other relations, such as binary relations in [5], therefore Feng et al. [20,21,22] built rough sets based on soft sets rather than an ER, which were called SR-sets. Following that, some studies were made on SR-sets. However, there is a limit on SR-sets, that is, the soft set must be full. Therefore, in [23], Shabir et al. presented another approach to SR-sets, which avoided the drawbacks occurring in [20,22]. Shabir gave the modified SR-sets, which still have the properties of Pawlak-rough sets and similarly we also can solve uncertain problems and make decision problems. More recently, Zhang in [24] gave a way of multi-attribute decision making based on SR-sets. According to this kind of SR-set, Zhan et al. [25] discussed SR-hemirings under C-soft sets and CC-soft sets and obtained some different conclusions. At the same time, Zhan et al. made corresponding multicriteria for group decision making. Recently, Zhan et al. [26] put forth a novel uncertain soft set model: Z-soft fuzzy rough set model and corresponding decision making methods.

As a special algebraic structure with wide applications, semigroups (for more details, see [27,28]) have been studied extensively, such as in [29,30,31]. In this paper, according to the idea of Shabir about SR-sets, we study the rough sets over soft semigroups. In Section 2, we firstly give some relevant concepts about semigroups, SR-sets and soft sets. In Section 3, we study SR-semigroups and get some conclusions about the upper soft rough approximations and lower soft rough approximations under C-soft sets and CC-soft sets. In section 4, SR-semigroups (ideals, prime ideals, bi-ideals, quasi-ideals, interior ideals, regular semigroups) are studied. In Section 5, we give two decision making methods. The method I looks for a best parameter to meet the nearest semigroup, and method II looks for keeping the maximum regularity of regular semigroups.

2 Preliminaries

Recall that a nonempty set S with a binary operation “⋅” is called a semigroup if it satisfies: (i) stS, for all s, tS; (ii) (mn) ⋅ t = m ⋅(nt), for all m, n, tS. For more details, see [28].

We know that A is called a subsemigroup of S if ∅ ≠ AS, and AAS; a subsemigroup A of S is called a left (resp. right) ideal if SAA(resp. ASA); a subsemigroup I is called an ideal, if SII and ISI; an ideal I is called a prime ideal, if mnI implies mI or nI, for all m, nS; a subsemigroup T of S is called a bi-ideal, if TSTT; a non-empty subset Q of S is called a quasi-ideal, if QSSQQ; a subsemigroup T of S is called an interior ideal, if it satisfies STST.

Let S be a semigroup, for mS, if there exists an nS s.t. m = mnm, then m is a regular element. If for all xS, x is regular, then S is called a regular semigroup. If for all aS, there exists bS such that aba = a and bab = b, we say that b is an inverse of a. It is well known that in a regular semigroup, every element has an inverse. For more details, see [27,28].

Throughout this paper, S denotes a semigroup.

Definition 2.1

([11]). A pair 𝔗 = (G, B) is called a soft set over S, where BE and G : B → 𝒫(S) is a set-valued mapping, where the symbol 𝒫(S) denotes the power set of S.

Definition 2.2

([20]). A soft set 𝔗 = (G, B) over S is called full if bBG(b)=S.

Definition 2.3

([9]). Let (G, B) be a soft set over S. Then:

  1. (G, B) is called a soft semigroup (regular semigroup) over S if G(x) is a subsemigroup (regular subsemigroup) of S, for all xSupp(G, B),

  2. (G, B) is called a soft ideal (prime ideal, bi-ideal, quasi-ideal, interior ideal) if G(x) is an ideal (prime ideal, bi-ideal, quasi-ideal, interior ideal) of S, for all xSupp(G, B), where Supp(G, B) = {xB | G(x) ≠ ∅} is called a soft support of the soft set (G, B).

Definition 2.4

([23]). Consider (F, A) be a soft set over S and η: S → 𝒫 (A) be a map defined as η(x) = {aA | xF(a)}. Then the pair (S, η) is called an MS-approximation space, for any XS, the lower MSR-approximation and upper MSR-approximation of X are denoted by Xη and Xη

X_η={xXη(x)η(y), for all yXc}

and

X¯η={xSη(x)=η(y), for some yX}.

If Xη = Xη, then the X is said to be MS-definable, otherwise X is said to be MSR-set.

3 Soft rough approximations

In this section, we study some operations and fundamental properties of modified SR-sets over semigroups, in order to illustrate the roughness in a semigroup S with respect to an SR-approximation space over semigroups.

Definition 3.1

Let 𝔖 = (F, A) be a soft set over S and η : S → 𝒫(A) be a set-valued mapping defined as η(x) = {aA | xF(a)}. Then 𝔖 is called a C-soft set over S if η(a) = η(b) and η(m) = η(n) imply η(am) = η(bn), for all a, b, c, dS.

Example 3.2

Let S = {a, b, c, d} be a semigroup as in Table 1:

Table 1

Table for semigroup S

a b c d
a a a a a
b a c c c
c a c c c
d a c c c

Define a soft set 𝔖 = (F, A) over S as in Table 2:

Table 2

Table for soft set 𝔖

a b c d
e1 0 0 0 1
e2 1 1 1 0
e3 1 1 1 1

Then the mapping η : S → 𝒫(A) of MS-approximation space (S, η) is given by η(a) = η(b) = η(c) = {e2, e3}, η(d) = {e1, e3}. Obviously, 𝔖 = (F, A) is a C-soft set over S.

Let M, NS, M, N ≠ ∅. Denote MN = {xy | ∀ xM, yN}.

Proposition 3.3

Let 𝔖 = (F, A) be a C-soft set over S and (S, η) an MS-approximation space. Then for any two nonempty subsets M, N in S,

M¯ηN¯ηMN¯η.

Proof

Let aMηNη. Then a = mn, where mMη and nNη, and so there exist xM and yN such that η(m) = η(x) and η(n) = η(y). Since 𝔖 is a C-soft set, η(mn) = η(xy) for xyMN. Hence a = mnMNη. That is MηNηMNη.□

We claim that the containment in Proposition 3.3 is proper by the following example.

Example 3.4

Assume that S and 𝔖 = (F, A) are in Example 3.2. Define two subsets M and N over S, here M = {a, b} and N = {a, c, d}. Then MN = {a, c}, Mη = {a, b, c}, Nη = {a, b, c, d}, MNη = {a, b, c} and MηNη = {a, c}. Thus MηNηMNη,

Definition 3.5

Assume that 𝔖 = (F, A) is a C-soft set over D and η : S → 𝒫(A) is a set-valued map defined as η(x) = {eA | xF(e)}. Then 𝔖 is said to be a CC-soft set over S if for all xS, η(x) = η(ab) for a, bS, there exist m, nS such that η(a) = η(m) and η(b) = η(n) satisfying x = mn.

Remark 3.6

We point out that 𝔖 is a C-soft set over S in Example 3.2, but it is not a CC-soft set. Since η(a) = η(dd), there only exist dS such that η(d) = η(d) but add.

In the following, we give an example of CC-soft sets over S.

Example 3.7

Let S = {a, b, c, d} be a semigroup as in Table 3:

Table 3

Table for semigroup S

a b c d
a a b c d
b b b b b
c c c c c
d d c b a

Define a soft set 𝔖 = (F, A) over S as in Table 4:

Table 4

Table for soft set 𝔖

a b c d
e1 1 1 1 1
e2 0 1 1 0
e3 1 0 0 1

Then the set-valued mapping η : S → 𝒫(A) of MS-approximation space (S, η) is given by η(a) = η(d) = {e1, e3} and η(b) = η(c) = {e1, e2}. Obviously, 𝔖 = (F, A) is a CC-soft set over S.

The obtained conclusions based on CC-soft sets over S are different from Proposition 3.3 which are obtained from C-soft sets over S.

Theorem 3.8

Suppose that 𝔖 = (F, A) is a CC-soft set over S and (S, η) is an MS-approximation space. Then for any two nonempty subsets X and Y in S,

X¯ηY¯η=XY¯η.

Proof

From Proposition 3.3, XηYηXYη holds. Now let aXYη, so η(a) = η(mn) where mX and nY. Since 𝔖 is a CC-soft set, there exist x, yS such that η(m) = η(x) and η(n) = η(y) satisfying a = xy. Thus xXη and yYη. Hence a = xyXηYη, that is, XYηXηYη. Therefore, XηYη = XYη holds.□

Theorem 3.9

Suppose that 𝔖 = (F, A) is a CC-soft set over S and (S, η) is an MS-approximation space. Then for any two nonempty subsets X and Y in S,

X_ηY_ηXY_η.

Proof

Suppose that XηYηXYη does not hold. Then there exists aXηYη, such that aXYη. Hence a = xy, where xXη and yYη. This means that η(x) ≠ η(m) and η(y) ≠ η(n) for all mXc and nYc. (△) On the other hand, since aXYη, we may have the following two conditions:

  1. aXY, which is in contradicts with aXηYηXY;

  2. aXY, but η(a) = η(x′ ⋅ y′) for some x′ ⋅ y′ ∈ (XY)c. Thus x ′ ∈ Xc or y′ ∈ Yc. In fact, if x ′ ∉ Xc and y′ ∉ Yc, we have x′ ⋅ y′ ∈ XY, a contradiction. Since 𝔖 = (F, A) is a CC-soft set over S, there exist a′, b′ ∈ S such that η(a′) = η(x′) and η(b′) = η(y′) satisfying a′ ⋅ b′ = a, for some x′ ∈ Xc and y′ ∈ Yc. This is in contradiction with (△). Hence XηYηXYη.□

Example 3.10

Assume that S and 𝔖 = (F, A) are in Example 3.7. Define two subsets X and Y over S, here X = {a, b, d} and Y = {b, c, d}. Then XY = {a, b, c, d}, Xη = {a, d}, Yη = {b, c}, XYη = {a, b, c, d}, and XηYη = {b, c}. Thus XηYηXYη.

We claim that the containment in Theorem 3.8 is proper when 𝔖 = (F, A) is a CC-soft set over S by the above example. Now we consider the case when 𝔖=(F, A) is a C-soft set over S, if we can get the similar conclusion as Theorem 3.8.

Example 3.11

Assume that the semigroup S and the soft set 𝔖 = (F, A) are in Example 3.7. Define two subsets X and Y over S, here X = {a, b} and Y = {a, b}, then XY = {a}. And so, Xη = {a, b}, Yη = {a, b}, XYη=∅, XηYη = {a, b}. Thus XηYηXYη. Obviously, when 𝔖 = (F, A) is a C-soft set over S, Theorem 3.8 is not proper.

4 SR-semigroups

In this Section, we discuss the operations of lower and upper MSR-approximations of SR-semigroups.

Definition 4.1

Suppose that 𝔖=(F, A) is a soft set over S and (S, η) is an MS-approximation space. For any XS, the lower MSR-approximation and upper MSR-approximation of X are denoted by Xη and Xη, respectively, which two operations are given as:

X_η={xXη(x)η(y),for allyXc}

and

X¯η={xSη(x)=η(y),for someyX}.

If XηXη, then

  1. X is called a lower (upper) SR-semigroup (resp., ideal, prime ideal, bi-ideal, quasi-ideal, interior ideal, regular semigroup) over S, if Xφ (Xφ) is a subsemigroup (resp., ideal, prime ideal, bi-ideal, quasi-ideal, interior ideal, regular semigroup) of S.

  2. X is called a SR-semigroup (resp., ideal, prime ideal, bi-ideal, quasi-ideal, interior ideal, regular semigroup) over S, if Xη and Xη are subsemigroups (resp., ideals, prime ideals, bi-ideals, quasi-ideals, interior ideals, regular semigroup) of S.

Example 4.2

Let S = {a, b, c, d, e} be a semigroup as in Table 5:

Table 5

Table for semigroup S

a b c d e
a a a a a a
b a a a b c
c a b c a a
d a a a d e
e a d e a a

Define a soft set 𝔖=(F, A) over S as in Table 6:

Table 6

Table for soft set 𝔖

a b c d e
e1 0 1 1 1 1
e2 0 1 1 0 0
e3 1 0 0 1 1

Then the set-valued mapping η: S → 𝒫(A) of soft rough approximation space (S, η) is given by η(a) = {e3}, η(b) = η(c) = {e1, e2} and η(d) = η(e) = {e1, e3}. Let X = {a, b, d} and Y = {a, b, d, e}, then we have Xη = {a} and Xη = {a, b, c, d, e}. Obviously, Xη and Xη are ideals of S and so X is a SR-ideal over S. Moreover, Yη = {a, d, e} and Yη = {a, b, c, d, e}. Obviously, Yη and Yη are subsemigroups of S and so Y is a SR-semigroup over S.

Similarly, we can construct SR-prime ideals, bi-ideals, quasi-ideals and interior ideals over S.

Proposition 4.3

Let (S, η) be an MS-approximation space. Suppose that X and Y are lower SR-semigroups (resp., ideals, prime ideals, bi-ideals, quasi-ideals, interior ideals) over S, then so is XY.

Proof

Suppose that X and Y are lower SR-semigroups (resp., ideals, prime ideals, bi-ideals, quasi-ideals, interior ideals) over S, then Xη and Yη are subsemigroups (resp., ideals, prime ideals, bi-ideals, quasi-ideals, interior ideals) of S, so XηYη is a subsemigroup (resp., ideal, prime ideal, bi-ideal, quasi-ideal, interior ideal) of S.□

By Theorem 3 in [23], we have XYη = XηYη is also a subsemigroup (resp., ideal, prime ideal, bi-ideal, quasi-ideal, interior ideal) of S. Hence XY is a lower SR-subsemigroup (resp., ideal, prime ideal, bi-ideal, quasi-ideal, interior ideal) over S.

In reality, although X and Y are upper SR-semigroups (resp., ideals, prime ideals, bi-ideals, quasi-ideals, interior ideals) over S, XY may not be upper SR-subsemigroup (resp., ideal, prime ideal, bi-ideal, quasi-ideal, interior ideal). The example in the following can explain this case.

Example 4.4

Suppose that the semigroup S is in Example 3.7 and we can define a new soft set as in Table 7:

Table 7

Table for soft set 𝔖

a b c d
e1 1 1 1 1
e2 1 1 0 0
e3 0 0 1 1

Then the mapping η : S → 𝒫(A) of MS-approximation space (S, η) is given by η(a) = η(b) = {e1, e2}, η(c) = η(d) = {e1,e3}. Now we give two subsets of S, X = {a, d} and Y = {b, d}, then XY = {d}. Thus, Xη = Yη = {a, b, c, d}, XYη = {c, d}, X and Y are upper SR-semigroups of S. But XYη = {c, d} is not a subsemigroup of S.

Theorem 4.5

Suppose that 𝔖 = (F, A) is a C-soft set over S. Let X be a subsemigroup of S, then X is an upper SR-subsemigroup over S.

Proof

Clearly, Xη ≠ ∅ since XXη. For any a, bXη, then η(a) = η(m) and η(b) = η(n) for some m, nX. Since 𝔖 = (F, A) is a C-soft set over S, η(ab) = η(mn), here mnX since X is a subsemigroup of S, so abXη. Hence, Xη is a subsemigroup of S, that is, X is an upper SR-subsemigroup over S.□

Theorem 4.6

Suppose that 𝔖 = (F, A) is a CC-soft set over S and X is a subsemigroup of S. Then X is a lower SR-semigroup over S, where Xη ≠ ∅.

Proof

Let Xη ≠ ∅, and for a, bXη, we suppose ab ∉ Xη. Then we have η(a) ≠ η(x) for all x ∈ Xc and η(b) ≠ η(y) for all y ∈ Xc. Since ab ∉ Xη, we may have the following two conditions:

  1. abX, which contradicts with abXηXηXXX;

  2. abX and η(x′) = η(ab) for some x′ ∈ Xc. Since 𝔖 = (F, A) is a CC-soft set over S, then there exist m, nS such that η(a) = η(m) and η(b) = η(n) satisfying mn = x ′ ∈ Xc. Thus mXc or nXc. In fact, if mXc and nXc, we have mnXXX, a contradiction. That is there exist mXc such that η(a) = η(m) or nXc such that η(b) = η(n), so aXη or bXη, this is contradictory to a, bXη. Therefore, the assumption is incorrect, that is, abXη. Hence Xη is a subsemigroup of S, this means that X is a lower SR-semigroup over S.

Theorem 4.7

  1. Suppose that 𝔖 = (F, A) is a C-soft set over S. If X is an ideal of S, then Xη is an ideal of S.

  2. Suppose that 𝔖 = (F, A) is a CC-soft set over S. If X is an ideal of S, then X is a lower SR-ideal over S, Xη ≠ ∅.

Proof

  1. According to Theorem 4.5 and X is an ideal of S, we have Xη is subsemigroup of S. For sS and xXη, then η(x) = η(x′) for some x′ ∈ X. Since η(s) = η(s) and 𝔖 = (F, A) is a C-soft set over S, η(xs) = η(xs), Moreover, X is an ideal of S, then xsX, and so, xsXη. Hence Xη is a right ideal. We can obtain that Xη is a left ideal in the same way. Therefore, Xη is an ideal of S.

  2. According to Theorem 4.6 and the fact that X is an ideal of S, we have Xη is a subsemigroup of S. And by Theorem 3.9, we have SXη = SηXηSXηXη. Similarly, we can obtain XηSXη. Thus, Xη is an ideal of S, that is, X is a lower SR-ideal over S.□

We claim that the converse of Theorem 4.7 is incorrect by in the following example.

Example 4.8

Suppose that the semigroup S and the soft set 𝔖 = (F, A) are in Example 3.7. Define a subset X over S, here X = {b, c, d}. Then Xη = {b, c} and Xη = {a, b, c, d}. Obviously, Xη and Xη are ideals of S, but X is not an ideal of S.

Theorem 4.9

  1. Suppose that 𝔖 = (F, A) is a C-soft set over S and X is a bi-ideal of S. Then Xη is a bi-ideal of S.

  2. Suppose that 𝔖 = (F, A) is a CC-soft set over S and X is a bi-ideal of S. Then X is a lower SR-bi-ideal over S, where Xη ≠ ∅.

Proof

  1. According to Theorem 4.5 and the fact that X is a bi-ideal of S, we have that Xη is a subsemigroup of S. By Proposition 3.3 and by that X is a bi-ideal of S, we get TηSTηTηSηTηTSTηTη. Therefore, Xη is a bi-ideal of S.

  2. According to Theorem 4.6 and to the fact that X is a bi-ideal of S, we have that Xη is a subsemigroup of S. And by Proposition 3.9, we have XηSXηXηSηXηXSXηXη. Hence Xη is a bi-ideal of S, that is X is a lower SR-semigroup over S.□

Theorem 4.10

Suppose that 𝔖 = (F, A) is a CC-soft set over S and X is a prime ideal of S. Then Xη is a prime ideal of S.

Proof

According to Theorem 4.7 and to the fact that X is a prime ideal of S, we have that Xη is an ideal of S. For abXη, we have η(x) = η(ab) for some xX. By hypothesis, 𝔖 = (F, A) is a CC-soft set over S, there exist m, nS such that η(a) = η(m) and η(b) = η(n), here x = mn. Moreover, X is a prime ideal of S, then mX or nX, and so, aXη or bXη. Therefore, Xη is a prime ideal of S.□

Theorem 4.11

Suppose that 𝔖 = (F, A) is a CC-soft set over S and X is a prime ideal of S. Then X is a lower SR-prime ideal over S, Xη ≠ ∅.

Proof

According to Theorem 4.7 and the fact that X is a prime ideal of S, we have that Xη is an ideal of S. For abXη, suppose that Xη is not a prime ideal of S, that is, aXη and bXη, then we may have the following conditions:

  1. a, bX: since abXηX and X is a prime ideal of S, we have aX or bX, which contradicts a, bX.

  2. a, bX: but η(a) = η(m) and η(b) = η(n) for some m, nXc, by 𝔖 = (F, A) is a C-soft set over S, so η(ab) = η(mn). By using m, nXc, then mnXc. If not, mnX, since X is a prime ideal of S, we have mX or nX, this is contradictory to m, nXc. Therefore mnXc (▴) and so abXη, which is contradictory to abXη.

  3. aX or bX. We consider only aX, bX, that is, bXc, the proof of aX, bX is similar. Since aX, aXη, there exists mXc such that φ(a) = φ(m). By hypothesis, 𝔖 = (F, A) is a C-soft set over S, then φ(ab) = φ(mb). By using b, mXc, we can prove mb ∈ Xc as (▴). Hence abXη, this contradicts with our assumption that abXη. Therefore aX, bX is incorrect.

To summarize, the assumption is incorrect. Hence aXη or bXη, that is, Xη is a prime ideal of S and X is a lower SR-prime ideal over S.□

Theorem 4.12

  1. Suppose that 𝔖 = (F, A) is a C-soft set over S and Q is a quasi-ideal of S. Then Qη is a quasi-ideal of S.

  2. Suppose that 𝔖 = (F, A) is a CC-soft set over S and Q is a quasi-ideal of S. Then Qη is a quasi-ideal of S, Qη ≠ ∅.

Proof

  1. According to Theorem 4.7 and that Q is a prime ideal of S, we have that Qη is an ideal of S. By Theorem 3 in [23] and Proposition 3.3, we get QηSSQηQηSηSηQηQSηSQηQS∩ SQηQη. Therefore Qη is a quasi-ideal of S.

  2. According to Theorem 4.7 and that Q is a prime ideal of S, we have that Qη is ideal of S. By Theorem 3 in [23], Theorem 3.9 and by that Q is a quasi-ideal of S, we get QηSSQηQηSηSηQηQSηSQηQSSQηQη. Therefore Qη is a quasi-ideal of S.□

Theorem 4.13

  1. Suppose that 𝔖 = (F, A) is a CC-soft set over S and T is an interior ideal of S. Then Tη is an interior ideal of S, when Tη ≠ ∅.

  2. Suppose that 𝔖 = (F, A) is a C-soft set over S. Let T be an interior ideal of S, then T is an upper SR-interior ideal over S.

Proof

  1. Since T is an interior ideal of S and Theorem 4.6, we obtain Tη is a subsemigroup of S. According to Theorem 3.9, STηSSηTηSηSTSηTη, so Tη is an interior ideal of S.

  2. According to Theorem 4.5 and by that T is an interior ideal of S, we get that Tη is a subsemigroup of S. By Proposition 3.3, we have STηSSηTηSηSTSηTη, thus Tη is an interior ideal of S, that is, T is an upper SR-interior ideal over S.□

In the following, we investigate the upper and lower SR-regular semigroups over ordinary semigroups and give the conditions of the upper and lower SR-regular semigroup.

Theorem 4.14

Assume that 𝔖 = (F, A) is a CC-soft set over S and N is a regular subsemigroup of S. Then N is an upper SR-regular semigroup over S.

Proof

According to Theorem 4.5 and to the fact that N is a regular subsemigroup of S, we have that Nη is a subsemigroup of S. For aNη, there exists kN such that η(a) = η(k). For this kN, there exists nN such that k = knk since N is regular, and so, η(a) = η(knk). By hypothesis, 𝔖 = (F, A) is a CC-soft set over S, there exists x, yS such that η(k) = η(x) and η(n) = η(y) and a = xyx, which implies, x, yNη. This means that N is an upper SR-regular subsemigroup over S.□

Theorem 4.15

Assume that 𝔖 = (F, A) is a CC-soft set over S, N is a regular subsemigroup of S and Nc is an interior ideal of S. Then N is a lower SR-regular semigroup over S, where Nη ≠ ∅.

Proof

According to Theorem 4.6 and to the fact that N is a regular subsemigroup of S, we have that Nη is subsemigroup of S. Since Nη ≠ ∅, for any aNη and for all mNc, we have η(a) ≠ η(m). And since aNηN, there exists nN such that a = ana. We suppose that nNη, then there exists kNc such that η(n) = η(k). Moreover, 𝔖 = (F, A) is a C-soft set, then η(a) = η(ana) = η(aka). By hypothesis, Nc is an interior ideal of S and kNc, then akaNc, and so aNη, which contradicts with aNη. This means that nNη is incorrect, that is, nNη. Hence, Nη is a regular subsemigroup of S, that is, N is a lower SR-regular subsemigroup over S.□

Finally, we investigate the properties over a regular semigroup.

Theorem 4.16

Assume that 𝔖 = (F, A) is a C-soft set over a regular semigroup S and X is an interior ideal of S. Then X is an upper SR-regular semigroup over S.

Proof

Since X is an interior ideal of S, then X is a subsemigroup of S. By Theorem 4.5, X is an upper SR-subsemigroup over S. For any xXη, since S is a regular semigroup, there exists m such that x = xmx, also we have m = mxm. Next, we prove mXη. Since xXη, there exists yX such that η(x) = η(y). By hypothesis, 𝔖 = (F, A) is a C-soft set over S, then η(m) = η(mxm) = η(mym). Since X is an interior ideal of S, mymX, and so, mXη. Hence X is an upper SR-regular semigroup over S.□

Theorem 4.17

Assume that 𝔖 = (F, A) is a CC-soft set over a regular semigroup of S and X is an interior ideal of S. Then X is a lower SR-regular semigroup over S, when Xη ≠ ∅.

Proof

Firstly, from Theorem 4.13 (1) and by the fact that X is an interior ideal of S, we have that X is a lower SR-interior ideal over S. Since S is a regular semigroup, for any xXη, there exists mS such that x = xmx and m = mxm. And as X is an interior ideal of S, m = mxmXη. Hence, X is a lower SR-regular semigroup over S.□

In the following, we suppose that S is a semigroup with an identity 1.

Lemma 4.18

([27]). A semigroup S is regular if and only if for every right ideal A and every left ideal B, AB = AB.

Theorem 4.19

Assume that 𝔖 = (F, A) is a CC-soft set over a regular semigroup S. Then:

  1. XYηXYη, for every upper SR-right ideal X and every upper SR-left ideal Y.

  2. XYηXYη, for every lower SR-right ideal X and every lower SR-left ideal Y.

Proof

  1. By hypothesis, X and Y are an upper SR-right ideal and an upper SR-left ideal over S, respectively, then Xη and Yη are a right ideal and a left ideal of S, respectively. By Lemma 4.18, XηYη = XηYη. By hypothesis, 𝔖 = (F, A) is a CC-soft set over S, then by Theorem 3.8, XYη = XηYη = XηYη. By Theorem 3(5) in [23], we have XYηXηYη. Therefore XYηXηYη = XYη.

  2. By hypothesis, X and Y are a lower SR-right ideal and a lower SR-left ideal over S, respectively, then Xη and Yη are a right ideal and a left ideal of S, respectively. By Lemma 4.18, XηYη = XηYη. By Theorem 3(4) in [23], we have XYη = XηYη. Hence, XYη = XηYη. By hypothesis, 𝔖 = (F, A) is a CC-soft set over S, then by Theorem 3.9, XηYηXYη. Therefore XYηXYη.□

Example 4.20

Assume that the semigroup S and the soft set 𝔖 = (F, A) are in Example 3.7, we can find S is a regular semigroup. Define subsets X = {a} and Y = {a, b} over S. Then XY = {a}, XY = {a, d}, XYη = {a, d}, XYη = {a, b, c, d}, XYη = ∅ and XYη = {a, d}. Obviously, XYηXYη and XYηXYη.

Similarly, we can obtain the same conclusions which are similar to Theorem 4.19, when Xφ and Yφ are upper (lower) SR-left (bi-ideals) ideals and upper (lower) SR-quasi-ideals (left ideals).

5 SR-semigroups (SR-regular semigroups) in DM-methods

In this section, we introduce the definitions of SR-semigroups (SR-regular semigroups) based on another soft set. We put forth two DM-methods for Shabir’s SR-sets to semigroups and regular semigroups, respectively.

Definition 5.1

Assume that 𝔖 = (F, A) is an original soft set over S and (S, η) is an MS-approximation space. Let 𝔗 = (G, B) be another soft set defined over S with B={e1,e2,,en}. The lower MSR-approximation and upper MSR-approximation of 𝔗 with respect to 𝔗 are denoted by (G, B)η = (Gη, B) and (G, B)η = (Gη, B), respectively, which two operations are defined as

G(e)_η={xG(e)η(x)η(y),for allySG(e)}

and

G(e)¯η={xSη(x)=η(y),for someyG(e)}.

for all e ∈ B.

  1. If (G, B)η = (G, B)η, then 𝔗 is called definable;

  2. If (G, B)η(G, B)η, then 𝔗 is called a lower (upper) SR-semigroup (resp., regular semigroup, ideal) over S, if G(e)η (G(e)η) is a semigroup (resp., regular semigroup, ideal) of S, for all e ∈ Supp(G, B); Moreover, 𝔗 is called a SR-semigroup (resp., regular semigroup, ideal) over S, if G(e)η and G(e)η are semigroups (resp., regular semigroups, ideals) of S, for all e ∈ Supp(G, B).

Let S be a semigroup and E a set of related parameters. Let A = {e1, e2, …, em} ⊆ E, 𝔖 = (F, A) be a soft set over S which is the original properties of S and (S, η) be an MS-approximation space. Let 𝔗 = (G, B) be another soft set defined over S with B={e1,e2,,en}. Then we present the decision algorithm for SR-semigroups as follows:

DM-method I

Input. Soft rough set systems (S, 𝔖,𝔗);

Output. The optimal decision goal;

Step 1

Compute the lower and upper RS-approximation operators (G, B)η and (G, B)η with respect to 𝔗, respectively.

Step 2

Compute the values of ||G(ei)||, where ||G(ei)||=|G(ei)¯η||G(ei)_η||G(ei)|, when |G(ei)| denote the cardinality of G(ei).

Step 3

Find the minimum value ||G(ek)|| of ||G(ei)||, where mini||G(ei)||.

Step 4

The decision goal is G(ek).

Example 5.2

Assume that the semigroup S = {a, b, c, d, e} is in Example 4.2 as in Table 5 and we want to find G(ek) to be the nearest semigroup.

Define a soft set 𝔖 = (F, A) over S as in Table 8:

Table 8

Table for semigroup S

a b c d e
e1 1 0 1 1 0
e2 1 1 1 1 1
e3 1 0 0 1 0
e4 0 1 1 0 1

Then we can easily get η(a) = η(d) = {e1, e2, e3}, η(b) = η(e) = {e2, e4} and η(c) = {e1, e2, e4}. Now, define another soft set 𝔗 = (G, B) over S as in Table 9:

Table 9

Table for semigroup S

a b c d e
e1 1 1 0 0 0
e2 1 0 1 0 0
e3 0 0 1 1 1
e4 0 1 1 0 0
e5 1 1 1 1 0

Then we obtain G(e1) = {a, b}, G(e2) = {a, c}, G(e3) = {c, d, e}, G(e4) = {b, c} and G(e5) = {a, b, c, d}. By calculation, G(e1)η = ∅, G(e1)η = {a, b, d, e}, G(e2)η = {c}, G(e2)η = {a, c, d}, G(e3)η = {c}, G(e3)η = {a, b, c, d, e}, G(e4)η = {c}, G(e4)η = {b, c, e}, G(e5)η = {a, c, d} and G(e5)η = {a, b, c, d, e}.

Then, ||G(e1)|| = 2, ||G(e2)|| = 1, ||G(e3)|| = 1.33, ||G(e4)|| = 1, ||G(e5)||=0.5. This means ||G(e5)|| has the minimum value of ||G(ei)||. That is, G(e5) = {a, b, c, d} is the closest to S.

Remark 5.3

In DM-method I, we can find the best parameter e of 𝔗 = (G, B) such that G(e) is the nearest accurate semigroup.

First of all, let X be a subalgebraic system of S, that is, the operations in regular semigroup S also suit to G(ei). In DM-method I, we choose a best parameter e such that G(e) is the nearest semigroup based on Shabir’s SR-sets.

Now, we consider a special case when S is a regular semigroup. In this condition, we want to know if the G(ei) keeps the nearest regularity of S. In DM-method II, we put up a new way to choose the best e such that G(ei) is the nearest regular semigroup S. For a semigroup S, if for any sS is a regular element, then we call S is a regular semigroup. Therefore, the more the number of regular elements of G(ei) has, the nearer it is to be the regular semigroup S.

Definition 5.4

Let S be a regular semigroup. Assume that 𝔖 = (F, A) is an original soft set over S with A = {e1, e2, …, em} and (S, η) be an MS-approximation space. Let 𝔗 = (G, B) be another soft set defined over S with B={e1,e2,,en}.

  1. For any aG(e)η for some eB, there exists bG(e)η such that a = aba. We call a the regular element of G(e)η and N(G(e)η) represents all regular elements of G(e)η. We denote |N(G(e)η)| to represent the number of all regular elements of G(e)η.

  2. For any aG(e)η for some eB, there exists bG(e)η such that a = aba. We call a the regular element of G(e)η and N(G(e)η) represents all regular elements of G(e)η. We denote |N(G(e)η)| to represent the number of all regular elements of G(e)η.

Example 5.5

Assume that the semigroup S = {a, b, c, d, e} is in Example 4.2 as in Table 5, the soft set 𝔖 = (F, A) as in Table 8 and 𝔗 = (G, B) as in Table 9. We can easily prove that S is a regular semigroup.

Then we obtain

  1. G(e1)η = {a, b, d, e}, G(e2)η = {a, c, d}, G(e3)η = {a, b, c, d, e}, G(e4)η = {b, c, e} and G(e5)η = {a, b, c, d, e}. Then N(G(e1)η) = {a, b, d, e}, N(G(e2)η) = {a, c, d}, N(G(e3)η) = {a, b, c, d, e}, N(G(e4)η) = {b, c, e} and N(G(e5)η) = {a, b, c, d, e}. Thus, |N(G(e1)η)| = 4, |N(G(e2)η)| = 3, |N(G(e3)η)| = 5, |N(G(e4)η)| = 3 and |N(G(e5)η)| = 5.

  2. G(e1)η = ∅, G(e2)η = {c}, G(e3)η = {c}, G(e4)η = {c} and G(e5)η = {a, c, d}. Then N(G(e1)η) = ∅, N(G(e2)η) = {c}, N(G(e3)η) = {c}, N(G(e4)η) = {c} and N(G(e5)η) = {a, c, d}. Thus, |N(G(e1)η)| = 0, |N(G(e2)η)| = 1, |N(G(e3)η)| = 1, |N(G(e4)η)| = 1 and |N(G(e5)η)| = 3.

Next, we present the decision algorithm for SR-regular semigroups as follows:

DM-method II

Input. Soft rough set systems (S, 𝔖, 𝔗);

Output. The optimal decision goal;

Step 1

Compute the lower and upper RS-approximation operators (G, B)η and (G, B)η with respect to 𝔗, respectively.

Step 2

Compute the values of ||G(ei)||N, where ||G(ei)||N=|N(G(ei)¯η)|+|N(G(ei)_η)||G(ei)|, when |G(ei)| denote the cardinality of G(ei).

Step 3

Find the maximum value ||G(ek)||N of ||G(ei)||N.

Step 4

||G(ek)||N is the one which keeps the maximum regularity of S.

Example 5.6

Consider the semigroup S = {a, b, c, d, e} in Example 4.2 as in Table 5, soft set 𝔖 = (F, A) as in Table 8, 𝔗 = (G, B) as in Table 9. We can easily prove that S is a regular semigroup. Then, ||G(e1)||N = 2, ||G(e2)||N = 0.5, ||G(e3)||N = 1.68, ||G(e4)||N = 0.5 and ||G(e5)||N = 0.75. This means ||G(e1)||N has the maximum value. That is, G(e1) keeps the maximum regularity of S.

Remark 5.7

  1. Obviously, in DM-method I, we only treat semigroup S as a set. And although we find G(ei) to be the nearest accurate semigroup S, the properties of G(ei) may not meet the demand of a semigroup when G(ei) is a subalgebraic system of S.

  2. When S is a regular semigroup, we should consider the regularity of G(ei). That is, we get the upper soft approximations and the lower soft approximations of G(ei) based on another soft set 𝔗 = (G, B), when the greater is the sum of the numbers of regular elements of the upper soft approximation and the lower soft approximation divided by the cardinality of G(ei), we say it keeps the better regularity of G(ei).

  3. From DM-method I, we obtain that G(e5) in Example 5.2 is the nearest to be the semigroup S. In DM-method II, although the number of elements of G(e1) in Example 5.6 is very low, the number of regular elements is higher than others under soft set 𝔗 = (G, B). This means that it has the most value in this case. By analogy, if we employ five people to finish one thing, but another two people can also finish the thing at the same time, there is no doubt that all of us will choose the latter.

6 Conclusion

Since 1999, when Molodsov in [11] put forward soft sets, the study about soft sets has started. The applications of soft sets are rather important. Then some researchers built soft sets over algebraic structure, such as in [16] in 2013. In 2011, Feng et al. [20] made soft sets as an ER to build rough set which was called an SR-set. However, this kind of soft rough set must be full. Therefore, Shabir et al. [23] put forward another SR-set which avoids the limits of Feng’s SR-set, that is, Shabir’s SR-set does not demand that the soft set is full. After Shabir’s SR-set, some better different conclusions were obtained than the Feng’s SR-set. It is pointed out that Zhan in [25] made use of Shabir’s SR-sets to study SR-hemirings and discussed the properties of SR-hemirings. At the same time, Zhan et al. also put up a corresponding multicriteria group decision making.

In this paper, according to Zhan’s C-soft sets and CC-soft sets, we establish C-soft sets and CC-soft sets over semigroups. At the same time, we also establish the relations between the upper soft approximations and the lower soft approximations about ⋅ and ∩. Some conclusions about SR-semigroups (prime ideals, bi-ideals, quasi-ideals, interior ideals, regular semigroups) are obtained. Finally, we give two decision making methods: one is to look for a best a parameter which is the nearest semigroups, the other is to choose a parameter which keeps the nearest regularity of regular semigroups.

Our extension of these topics are considered as follows:

  1. To establish a new hybrid soft set models by means of Zhan’s idea and make use of some new classes of ideals to describe regular semigroups.

  2. To propose a new DM-method which not only makes G(ei) to be the nearest regular semigroup, but also keeps the regularity as far as possible.

  3. To investigate soft rough fuzzy semigroups.

  4. To discuss soft fuzzy rough semigroups.

Acknowledgement

The authors are extremely grateful to the editor and the referees for their valuable comments and helpful suggestions which help to improve the presentation of this paper.

This research was supported by NNSFC (11561023).

References

[1] Pawlak Z., Rough sets, Int. J. Inf. Comp. Sci., 1982, 11, 341-356.10.1007/BF01001956Search in Google Scholar

[2] Jia X., Tang Z., Liao W., Shang L., On an optimization representation of decision-theoretic, Int. J. Approx. Reason., 2014, 55, 156-166.10.1016/j.ijar.2013.02.010Search in Google Scholar

[3] Pawlak Z., Rough sets and intelligent data analysis, Inform. Sci., 2002, 147, 1-12.10.1016/S0020-0255(02)00197-4Search in Google Scholar

[4] Zhang X.H., Miao D., Liu C., Le M., Constructive methods of rough approximation operators and multigranuation rough sets, Knowledge-Based Systems, 2016, 91, 114-125.10.1016/j.knosys.2015.09.036Search in Google Scholar

[5] Liu G., Zhu W., The algebraic structures of generalized rough set theory, Inform. Sci., 2008, 178, 4105-4113.10.1016/j.ins.2008.06.021Search in Google Scholar

[6] Xiao Q.M., Li Q., Guo L., Rough sets induced by ideals in lattices, Inform. Sci., 2014, 271, 82-92.10.1016/j.ins.2014.02.082Search in Google Scholar

[7] Chinram R., Rough prime ideals and rough fuzzy prime ideals in gamma-semigroups, Commun. Korean Math. Soc., 2009, 24, 341-351.10.4134/CKMS.2009.24.3.341Search in Google Scholar

[8] Kuroki N., Rough ideals in semigroups, Inform. Sci., 1997, 100, 139-163.10.1016/S0020-0255(96)00274-5Search in Google Scholar

[9] Kazanci O., Yilmaz Ş., Soft bi-ideals related to generalized fuzzy bi-ideals in semigroups, Hacet. J. Math. Stat., 2012, 41, 191-199.Search in Google Scholar

[10] Yaqoob N., Aslam M., Chinram R., Rough prime bi-ideals and rough fuzzy prime bi-ideals in semigroups, Ann. Fuzzy Math. Inform., 2012, 3, 203-211.Search in Google Scholar

[11] Molodtsov D., Soft set theory-first results, Comput. Math. Appl., 1999, 37, 19-31.10.1016/S0898-1221(99)00056-5Search in Google Scholar

[12] Feng F., Li Y., Çaǧman N., Generalized uni-int decision making schemes based on choice value soft sets, European J. Oper. Res., 2012, 220, 162-170.10.1016/j.ejor.2012.01.015Search in Google Scholar

[13] Han B., Li Y., Liu J., Geng S., Li H., Elicitation criterions for restricted intersection of two incomplete soft sets, Knowledge-Based Systems, 2014, 59, 121-131.10.1016/j.knosys.2014.01.015Search in Google Scholar

[14] Maji P.K., Roy A.R., Biswas R., An application of soft sets in a decision making problem, Comput. Math. Appl., 2002, 44, 1077-1083.10.1016/S0898-1221(02)00216-XSearch in Google Scholar

[15] Alcantud J.C.R., Some formal relationships among soft sets, fuzzy sets and their extensions, Int. J. Approx. Reason., 2016, 68, 45-53.10.1016/j.ijar.2015.10.004Search in Google Scholar

[16] Ali M.I., Shabir M., Shum K.P., On soft ideals over semigroups, Southeast Asian Bull. Math., 2010, 34, 595-610.Search in Google Scholar

[17] Alcantud J.C.R., A novel algorithm for fuzzy soft set based decision making from multiobserver input parameter data set, Inform. Fusion, 2016, 29, 142-148.10.1016/j.inffus.2015.08.007Search in Google Scholar

[18] Meng D., Zhang X., Qin K., Soft rough fuzzy sets and soft fuzzy rough sets, Comput. Math. Appl., 2011, 62, 4635-4645.10.1016/j.camwa.2011.10.049Search in Google Scholar

[19] Sun B., Ma W., Soft fuzzy rough sets and its application in decision making, Artif. Intell. Rev., 2014, 41, 67-80.10.1007/s10462-011-9298-7Search in Google Scholar

[20] Feng F., Liu X., Leoreanu-Fotea V., Jun Y.B., Soft sets and soft rough sets, Inform. Sci., 2011, 181, 1125-1137.10.1016/j.ins.2010.11.004Search in Google Scholar

[21] Feng F., Li C., Davvaz B., Ali M.I., Soft sets combined with fuzzy sets and rough sets: a tentative approach, Soft Comput., 2010, 14, 899-911.10.1007/s00500-009-0465-6Search in Google Scholar

[22] Feng F., Soft rough sets applied to multicriteria group decision making, Ann. Fuzzy Math. Inform., 2011, 2, 69-80.Search in Google Scholar

[23] Shabir M., Ali M.I., Shaheen T., Another approach to soft rough sets, Knowl-Based. Syst., 2013, 40, 72-80.10.1016/j.knosys.2012.11.012Search in Google Scholar

[24] Zhang G., Li Z., Qin B., A method for multi-attribute decision making applying soft rough sets, J. Intell. Fuzzy Systems, 2016, 30, 1803-1815.10.3233/IFS-151892Search in Google Scholar

[25] Zhan J., Liu Q., Herawan T., A novel soft rough set: Soft rough hemirings and corresponding multicriteria group decision making, Appl. Soft. Comput., 2017, 54, 393-402.10.1016/j.asoc.2016.09.012Search in Google Scholar

[26] Zhan J., Ali M., Mehmood N., On a novel uncertain soft set model: Z-soft fuzzy rough set model and corresponding decision making methods, Applied Soft Computing, 2017, 56, 446-457.10.1016/j.asoc.2017.03.038Search in Google Scholar

[27] Clifford A.H., Preston G.B., The Algebraic Theory of Semigroups, American Mathematical Society, 1961.10.1090/surv/007.1Search in Google Scholar

[28] Howie J.M., An Introduction to Semigroup Theory, Academic Press, 1976.Search in Google Scholar

[29] Feng F., Ali M.I., Shabir M., Soft relations applied to semigroups, Filomat, 2013, 27, 1183-1196.10.2298/FIL1307183FSearch in Google Scholar

[30] Xiao Q.M., Zhang Z.L., Rough prime ideals and rough fuzzy prime ideals in semigroups, Inform. Sci., 2006, 176, 725-733.10.1016/j.ins.2004.12.010Search in Google Scholar

[31] Zhan J., Zhou X., Xiang D., Roughness in n-ary semigroups based on fuzzy ideals, J. Intell. Fuzzy Syst., 2016, 30, 2833-2841.10.3233/IFS-152072Search in Google Scholar

Received: 2017-3-11
Accepted: 2017-10-24
Published Online: 2017-12-5

© 2017 Wang et al.

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Articles in the same Issue

  1. Regular Articles
  2. Integrals of Frullani type and the method of brackets
  3. Regular Articles
  4. Edge of chaos in reaction diffusion CNN model
  5. Regular Articles
  6. Calculus using proximities: a mathematical approach in which students can actually prove theorems
  7. Regular Articles
  8. An investigation on hyper S-posets over ordered semihypergroups
  9. Regular Articles
  10. The Leibniz algebras whose subalgebras are ideals
  11. Regular Articles
  12. Fixed point and multidimensional fixed point theorems with applications to nonlinear matrix equations in terms of weak altering distance functions
  13. Regular Articles
  14. Matrix rank and inertia formulas in the analysis of general linear models
  15. Regular Articles
  16. The hybrid power mean of quartic Gauss sums and Kloosterman sums
  17. Regular Articles
  18. Tauberian theorems for statistically (C,1,1) summable double sequences of fuzzy numbers
  19. Regular Articles
  20. Some properties of graded comultiplication modules
  21. Regular Articles
  22. The characterizations of upper approximation operators based on special coverings
  23. Regular Articles
  24. Bi-integrable and tri-integrable couplings of a soliton hierarchy associated with SO(4)
  25. Regular Articles
  26. Dynamics for a discrete competition and cooperation model of two enterprises with multiple delays and feedback controls
  27. Regular Articles
  28. A new view of relationship between atomic posets and complete (algebraic) lattices
  29. Regular Articles
  30. A class of extensions of Restricted (s, t)-Wythoff’s game
  31. Regular Articles
  32. New bounds for the minimum eigenvalue of 𝓜-tensors
  33. Regular Articles
  34. Shintani and Shimura lifts of cusp forms on certain arithmetic groups and their applications
  35. Regular Articles
  36. Empirical likelihood for quantile regression models with response data missing at random
  37. Regular Articles
  38. Convex combination of analytic functions
  39. Regular Articles
  40. On the Yang-Baxter-like matrix equation for rank-two matrices
  41. Regular Articles
  42. Uniform topology on EQ-algebras
  43. Regular Articles
  44. Integrations on rings
  45. Regular Articles
  46. The quasilinear parabolic kirchhoff equation
  47. Regular Articles
  48. Avoiding rainbow 2-connected subgraphs
  49. Regular Articles
  50. On non-Hopfian groups of fractions
  51. Regular Articles
  52. Singularly perturbed hyperbolic problems on metric graphs: asymptotics of solutions
  53. Regular Articles
  54. Rings in which elements are the sum of a nilpotent and a root of a fixed polynomial that commute
  55. Regular Articles
  56. Superstability of functional equations related to spherical functions
  57. Regular Articles
  58. Evaluation of the convolution sum involving the sum of divisors function for 22, 44 and 52
  59. Regular Articles
  60. Weighted minimal translation surfaces in the Galilean space with density
  61. Regular Articles
  62. Complete convergence for weighted sums of pairwise independent random variables
  63. Regular Articles
  64. Binomials transformation formulae for scaled Fibonacci numbers
  65. Regular Articles
  66. Growth functions for some uniformly amenable groups
  67. Regular Articles
  68. Hopf bifurcations in a three-species food chain system with multiple delays
  69. Regular Articles
  70. Oscillation and nonoscillation of half-linear Euler type differential equations with different periodic coefficients
  71. Regular Articles
  72. Osculating curves in 4-dimensional semi-Euclidean space with index 2
  73. Regular Articles
  74. Some new facts about group 𝒢 generated by the family of convergent permutations
  75. Regular Articles
  76. lnfinitely many solutions for fractional Schrödinger equations with perturbation via variational methods
  77. Regular Articles
  78. Supersolvable orders and inductively free arrangements
  79. Regular Articles
  80. Asymptotically almost automorphic solutions of differential equations with piecewise constant argument
  81. Regular Articles
  82. Finite groups whose all second maximal subgroups are cyclic
  83. Regular Articles
  84. Semilinear systems with a multi-valued nonlinear term
  85. Regular Articles
  86. Positive solutions for Hadamard differential systems with fractional integral conditions on an unbounded domain
  87. Regular Articles
  88. Calibration and simulation of Heston model
  89. Regular Articles
  90. One kind sixth power mean of the three-term exponential sums
  91. Regular Articles
  92. Cyclic pairs and common best proximity points in uniformly convex Banach spaces
  93. Regular Articles
  94. The uniqueness of meromorphic functions in k-punctured complex plane
  95. Regular Articles
  96. Normalizers of intermediate congruence subgroups of the Hecke subgroups
  97. Regular Articles
  98. The hyperbolicity constant of infinite circulant graphs
  99. Regular Articles
  100. Scott convergence and fuzzy Scott topology on L-posets
  101. Regular Articles
  102. One sided strong laws for random variables with infinite mean
  103. Regular Articles
  104. The join of split graphs whose completely regular endomorphisms form a monoid
  105. Regular Articles
  106. A new branch and bound algorithm for minimax ratios problems
  107. Regular Articles
  108. Upper bound estimate of incomplete Cochrane sum
  109. Regular Articles
  110. Value distributions of solutions to complex linear differential equations in angular domains
  111. Regular Articles
  112. The nonlinear diffusion equation of the ideal barotropic gas through a porous medium
  113. Regular Articles
  114. The Sheffer stroke operation reducts of basic algebras
  115. Regular Articles
  116. Extensions and improvements of Sherman’s and related inequalities for n-convex functions
  117. Regular Articles
  118. Classification lattices are geometric for complete atomistic lattices
  119. Regular Articles
  120. Possible numbers of x’s in an {x, y}-matrix with a given rank
  121. Regular Articles
  122. New error bounds for linear complementarity problems of weakly chained diagonally dominant B-matrices
  123. Regular Articles
  124. Boundedness of vector-valued B-singular integral operators in Lebesgue spaces
  125. Regular Articles
  126. On the Golomb’s conjecture and Lehmer’s numbers
  127. Regular Articles
  128. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima
  129. Regular Articles
  130. Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  131. Regular Articles
  132. Corrigendum to: Dual-stage adaptive finite-time modified function projective multi-lag combined synchronization for multiple uncertain chaotic systems
  133. Regular Articles
  134. Convergence and stability of generalized φ-weak contraction mapping in CAT(0) spaces
  135. Regular Articles
  136. Triple solutions for a Dirichlet boundary value problem involving a perturbed discrete p(k)-Laplacian operator
  137. Regular Articles
  138. OD-characterization of alternating groups Ap+d
  139. Regular Articles
  140. On Jordan mappings of inverse semirings
  141. Regular Articles
  142. On generalized Ehresmann semigroups
  143. Regular Articles
  144. On topological properties of spaces obtained by the double band matrix
  145. Regular Articles
  146. Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions
  147. Regular Articles
  148. Chain conditions on composite Hurwitz series rings
  149. Regular Articles
  150. Coloring subgraphs with restricted amounts of hues
  151. Regular Articles
  152. An extension of the method of brackets. Part 1
  153. Regular Articles
  154. Branch-delete-bound algorithm for globally solving quadratically constrained quadratic programs
  155. Regular Articles
  156. Strong edge geodetic problem in networks
  157. Regular Articles
  158. Ricci solitons on almost Kenmotsu 3-manifolds
  159. Regular Articles
  160. Uniqueness of meromorphic functions sharing two finite sets
  161. Regular Articles
  162. On the fourth-order linear recurrence formula related to classical Gauss sums
  163. Regular Articles
  164. Dynamical behavior for a stochastic two-species competitive model
  165. Regular Articles
  166. Two new eigenvalue localization sets for tensors and theirs applications
  167. Regular Articles
  168. κ-strong sequences and the existence of generalized independent families
  169. Regular Articles
  170. Commutators of Littlewood-Paley gκ -functions on non-homogeneous metric measure spaces
  171. Regular Articles
  172. On decompositions of estimators under a general linear model with partial parameter restrictions
  173. Regular Articles
  174. Groups and monoids of Pythagorean triples connected to conics
  175. Regular Articles
  176. Hom-Lie superalgebra structures on exceptional simple Lie superalgebras of vector fields
  177. Regular Articles
  178. Numerical methods for the multiplicative partial differential equations
  179. Regular Articles
  180. Solvable Leibniz algebras with NFn Fm1 nilradical
  181. Regular Articles
  182. Evaluation of the convolution sums ∑al+bm=n lσ(l) σ(m) with ab ≤ 9
  183. Regular Articles
  184. A study on soft rough semigroups and corresponding decision making applications
  185. Regular Articles
  186. Some new inequalities of Hermite-Hadamard type for s-convex functions with applications
  187. Regular Articles
  188. Deficiency of forests
  189. Regular Articles
  190. Perfect codes in power graphs of finite groups
  191. Regular Articles
  192. A new compact finite difference quasilinearization method for nonlinear evolution partial differential equations
  193. Regular Articles
  194. Does any convex quadrilateral have circumscribed ellipses?
  195. Regular Articles
  196. The dynamic of a Lie group endomorphism
  197. Regular Articles
  198. On pairs of equations in unlike powers of primes and powers of 2
  199. Regular Articles
  200. Differential subordination and convexity criteria of integral operators
  201. Regular Articles
  202. Quantitative relations between short intervals and exceptional sets of cubic Waring-Goldbach problem
  203. Regular Articles
  204. On θ-commutators and the corresponding non-commuting graphs
  205. Regular Articles
  206. Quasi-maximum likelihood estimator of Laplace (1, 1) for GARCH models
  207. Regular Articles
  208. Multiple and sign-changing solutions for discrete Robin boundary value problem with parameter dependence
  209. Regular Articles
  210. Fundamental relation on m-idempotent hyperrings
  211. Regular Articles
  212. A novel recursive method to reconstruct multivariate functions on the unit cube
  213. Regular Articles
  214. Nabla inequalities and permanence for a logistic integrodifferential equation on time scales
  215. Regular Articles
  216. Enumeration of spanning trees in the sequence of Dürer graphs
  217. Regular Articles
  218. Quotient of information matrices in comparison of linear experiments for quadratic estimation
  219. Regular Articles
  220. Fourier series of functions involving higher-order ordered Bell polynomials
  221. Regular Articles
  222. Simple modules over Auslander regular rings
  223. Regular Articles
  224. Weighted multilinear p-adic Hardy operators and commutators
  225. Regular Articles
  226. Guaranteed cost finite-time control of positive switched nonlinear systems with D-perturbation
  227. Regular Articles
  228. A modified quasi-boundary value method for an abstract ill-posed biparabolic problem
  229. Regular Articles
  230. Extended Riemann-Liouville type fractional derivative operator with applications
  231. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  232. The algebraic size of the family of injective operators
  233. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  234. The history of a general criterium on spaceability
  235. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  236. On sequences not enjoying Schur’s property
  237. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  238. A hierarchy in the family of real surjective functions
  239. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  240. Dynamics of multivalued linear operators
  241. Topical Issue on Topological and Algebraic Genericity in Infinite Dimensional Spaces
  242. Linear dynamics of semigroups generated by differential operators
  243. Special Issue on Recent Developments in Differential Equations
  244. Isomorphism theorems for some parabolic initial-boundary value problems in Hörmander spaces
  245. Special Issue on Recent Developments in Differential Equations
  246. Determination of a diffusion coefficient in a quasilinear parabolic equation
  247. Special Issue on Recent Developments in Differential Equations
  248. Homogeneous two-point problem for PDE of the second order in time variable and infinite order in spatial variables
  249. Special Issue on Recent Developments in Differential Equations
  250. A nonlinear plate control without linearization
  251. Special Issue on Recent Developments in Differential Equations
  252. Reduction of a Schwartz-type boundary value problem for biharmonic monogenic functions to Fredholm integral equations
  253. Special Issue on Recent Developments in Differential Equations
  254. Inverse problem for a physiologically structured population model with variable-effort harvesting
  255. Special Issue on Recent Developments in Differential Equations
  256. Existence of solutions for delay evolution equations with nonlocal conditions
  257. Special Issue on Recent Developments in Differential Equations
  258. Comments on behaviour of solutions of elliptic quasi-linear problems in a neighbourhood of boundary singularities
  259. Special Issue on Recent Developments in Differential Equations
  260. Coupled fixed point theorems in complete metric spaces endowed with a directed graph and application
  261. Special Issue on Recent Developments in Differential Equations
  262. Existence of entropy solutions for nonlinear elliptic degenerate anisotropic equations
  263. Special Issue on Recent Developments in Differential Equations
  264. Integro-differential systems with variable exponents of nonlinearity
  265. Special Issue on Recent Developments in Differential Equations
  266. Elliptic operators on refined Sobolev scales on vector bundles
  267. Special Issue on Recent Developments in Differential Equations
  268. Multiplicity solutions of a class fractional Schrödinger equations
  269. Special Issue on Recent Developments in Differential Equations
  270. Determining of right-hand side of higher order ultraparabolic equation
  271. Special Issue on Recent Developments in Differential Equations
  272. Asymptotic approximation for the solution to a semi-linear elliptic problem in a thin aneurysm-type domain
  273. Topical Issue on Metaheuristics - Methods and Applications
  274. Learnheuristics: hybridizing metaheuristics with machine learning for optimization with dynamic inputs
  275. Topical Issue on Metaheuristics - Methods and Applications
  276. Nature–inspired metaheuristic algorithms to find near–OGR sequences for WDM channel allocation and their performance comparison
  277. Topical Issue on Cyber-security Mathematics
  278. Monomial codes seen as invariant subspaces
  279. Topical Issue on Cyber-security Mathematics
  280. Expert knowledge and data analysis for detecting advanced persistent threats
  281. Topical Issue on Cyber-security Mathematics
  282. Feedback equivalence of convolutional codes over finite rings
Downloaded on 12.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2017-0119/html
Scroll to top button