On fuzzy h-ideals in hemirings

https://doi.org/10.1016/j.ins.2003.09.007Get rights and content

Abstract

The fuzzy setting of a left h-ideal in a hemiring is constructed, and basic properties are investigated. Using a collection of left h-ideals of a hemiring S, fuzzy left h-ideals of S are established. The notion of a finite valued fuzzy left h-ideal is introduced, and its characterization is given. Fuzzy relations on a hemiring S are discussed.

Introduction

Semirings play an important role in studying matrices and determinants. Many aspects of the theory of matrices and determinants over semirings have been studied by Beasley and Pullman [3], [4], Ghosh [9], and others. Although ideals in semirings are useful for many purposes, they do not in general coincide with the usual ring ideals if S is a ring and, for this reason, their use is somewhat limited in trying to obtain analogues of ring theorems for semirings. Indeed, many results in rings apparently have no analogues in semirings using only ideals. Henriksen [11] defined a more restricted class of ideals in semirings, which is called k-ideals, with the property that if the semiring S is a ring then a complex in S is a k-ideal if and only if it is a ring ideal. A still more restricted class of ideals in hemirings has been given by Iizuka [12]. However, a definition of ideal in any additively commutative semiring S can be given which coincides with Iizuka's definition provided S is a hemiring, and it is called h-ideal. La Torre [20] investigated h-ideals and k-ideals in hemirings in an effort to obtain analogues of familiar ring theorems. The concept of a fuzzy set, introduced in Zadeh [21], was applied to generalize some of the basic concepts of algebra. Several authors have discussed a fuzzy theory in semirings (see [1], [2], [6], [7], [8], [10], [13], [14], [15], [16], [18], [19]). In this paper, we consider the fuzzy setting of h-ideals in hemirings. Using a collection of left h-ideals of a hemiring S, we establish fuzzy left h-ideals of S. We give a characterization of a finite valued fuzzy left h-ideal in a hemiring S, and show that if S is an h-Noetherian hemiring, then every fuzzy left h-ideal of S is finite valued. We prove that if μ and ν are fuzzy left h-ideals of a hemiring S, then μ×ν is a fuzzy left h-ideal of S×S. Conversely, we show that if μ×ν is a fuzzy left h-ideal of S×S, then either μ or ν is a fuzzy left h-ideal of S. We prove that a fuzzy set ν in a hemiring S is a fuzzy left h-ideal of S if and only if the strongest fuzzy relation μν on S is a fuzzy left h-ideal of S×S.

Section snippets

Preliminaries

A semiring S is a system consisting of a nonempty set S together with two binary operations on S called addition and multiplication (denoted in the usual manner) such that

  • S together with addition is a semigroup,

  • S together with multiplication is a semigroup, and

  • a(b+c)=ab+ac and (a+b)c=ac+bc for all a,b,cS.


A semiring S is said to be additively commutative if a+b=b+a for all a,bS. A zero element of a semiring S is an element 0 such that 0·x=x·0=0 and 0+x=x+0=x for all xS. By a hemiring we mean

Fuzzy h-ideals in hemirings

Definition 3.1

[20]

A left h-ideal of a hemiring S is defined to be a left ideal A of S such that(∀x,z∈S)(∀a,b∈A)(x+a+z=b+z→x∈A).

Right h-ideals are defined similarly. Note that every left (resp. right) h-ideal is a left (resp. right) k-ideal, but the converse may not be true (see [20]).

Definition 3.2

A fuzzy left h-ideal of a hemiring S is defined to be a fuzzy left ideal μ of S such that(∀a,b,x,z∈S)(x+a+z=b+z→μ(x)⩾min{μ(a),μ(b)}).

Fuzzy right h-ideals are defined similarly.

Theorem 3.3

Let A be a nonempty subset of a hemiring S. Let μ be a

Cartesian product of fuzzy left h-ideals

Definition 4.1

[5]

A fuzzy relation on any set S is a fuzzy setμ:S×S→[0,1].

Definition 4.2

[5]

If μ is a fuzzy relation on a set S and ν is a fuzzy set in S, then μ is a fuzzy relation on ν ifμ(x,y)⩽min{ν(x),ν(y)}∀x,y∈S.

Definition 4.3

[5]

Let μ and ν be fuzzy sets in a set S. The Cartesian product of μ and ν is defined by(μ×ν)(x,y)=min{μ(x),ν(y)}∀x,y∈S.

Lemma 4.4

[5]

Let μ and ν be fuzzy sets in a set S. Then

  • (i)

    μ×ν is a fuzzy relation on S,

  • (ii)

    U(μ×ν;t)=U(μ;tU(ν;t) for all t∈[0,1].

Definition 4.5

[5]

If ν is a fuzzy set in a set S, the strongest fuzzy relation on S that is a fuzzy relation

Acknowledgements

The authors are highly grateful to the referees for their valuable comments and suggestions for improving the paper. The first and third authors were supported by grant R01-2001-000-00004-0(2002) from the Korea Science and Engineering Foundation.

References (21)

There are more references available in the full text version of this article.

Cited by (96)

  • A novel soft rough set: Soft rough hemirings and corresponding multicriteria group decision making

    2017, Applied Soft Computing Journal
    Citation Excerpt :

    Afterwards a still more restricted, but very important, a class of ideals, called an h-ideal, has been given and investigated by Izuka [23] and La Torre [44]. Furthermore, the relationships among rough sets, fuzzy sets, soft sets and semirings (hemirings) have been considered by many scientists [14,25,29,30,46,48,51]. It is worth noting that decision making in an imprecise environment has been showing more and more important role in real life.

  • On Bipolar Anti Fuzzy h-ideals in Hemi-rings

    2017, Fuzzy Information and Engineering
  • Hybrid norm structures applied to hemirings

    2023, Discrete Mathematics, Algorithms and Applications
  • On hybrid k-ideals in semirings

    2023, Journal of Intelligent and Fuzzy Systems
View all citing articles on Scopus
View full text