Existence and uniqueness of fuzzy ideals

DOI10.1016/J.FSS.2004.04.009MaRDI QIDQ705526zbMATH OpenOpenAlexFDO

Publication date 31 January 2005

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.fss.2004.04.009

fuzzy ideal level ideal order isomorphism partially ordered set

Ordered rings, algebras, modules (06F25) Fuzzy algebraic structures (08A72) Ideals and multiplicative ideal theory in commutative rings (13A15) General commutative ring theory (13A99)

Review text

Let \(R\) be a commutative ring and denote by \(FI(R)\) the set of fuzzy ideals of \(R\); i.e. the set of functions \(\mu:R\to[0,1]\) with the following conditions: (i) \(\mu(x-y)\geq\min(\mu(x),\mu(y))\), (ii) \(\mu(x,y)\geq\max(\mu(x),\mu(y))\), and (iii) \(\mu(0)>0\). Define \(\mu(R)=\{\mu(x):x\in R\}\), \(\mu_t=\{x\in R:\mu(x)\geq t\}\) and \(C_\mu:=\{\mu_t:t\in\mu(R)\}\). The authors investigate the general problem of characterization of all those fuzzy ideals that can be identified with a given arbitrary family \(C\) of subsets of \(R\) together with a given arbitrary subset \(S\) of [0,1] and obtain two main results. Theorem 1. Let \(S\) be a subset of the interval [0,1] containing a maximal element \(\overline{s}>0\) and let \(C=\{I_t: t\in S\}\) be a decreasing chain of \(R\)-ideals indexed by \(S\). Then there exists a fuzzy ideal \(\mu\in FI(R)\) satisfying \(\mu(R)=S\) and \(C_{\mu}=C\) if and only if the following two conditions hold: (i) For every \(t\in S\), \(\bigcup\limits_{\tau\in(t,1]\cap S} I_{\tau}\varsubsetneqq I_t\), (ii) The ring \(R\) is the disjoint union \(R=\bigcup\limits_{t\in S} (I_t\backslash \bigcup\limits_{\tau\in(t,1]\cap S} I_{\tau})\). Given a subset \(S\) of the interval \([0,1]\) containing a maximal element \(\overline s>0\) and given a decreasing chain of \(R\)-ideals, \(C:=\{I_t:t\in S\}\), we let \(OI(S)\) denote the set of order isomorphisms from the partially ordered set \((S,\leq)\) onto itself. We also define \(B(C,S):=\{\mu\in FI(R):\mu(R)=S\text{ and } C_\mu=C\}\). Theorem 2. Assume the conditions of theorem 1 and that \(B(C,S)\neq\emptyset\). Then for every \(\mu_0\in B(C,S)\), we have \(B(C,S)=\{g\circ \mu_0: g\in OI(S)\}\), hence \(| B(C,S) |=| OI(S) |\). In particular, the pair \((C,S)\) determines a unique fuzzy ideal \(\mu\in B(C,S)\) if and only if \(| OI(S) |=1\), in which case \(OI(S)=\{\text{id}_S\}\), where \(\text{id}_S\) denotes the identity map on \(S\). Moreover, the authors give an open problem: What conditions, necessary and sufficient, must be satisfied by a partially ordered set \(S\) in order to have \(\mid OI(S)\mid=1\)?

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Existence and uniqueness of fuzzy ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q705526)