No label defined (Q4460032)

Let \(G\) be a group, \(f\) a fuzzy subset of \(G\). \(F\) is called \((\in,\in\!\vee q)\)-fuzzy subgroup of \(G\) if for all \(x,y\in G\), \(f(xy^{-1})\geq\min(f(x),f(y),1/2)\). This concept, which is a generalization of a fuzzy subgroup initiated by Rosenfeld, was introduced by \textit{S. K. Bhakat} and \textit{P. Das} [Fuzzy Sets Syst. 51, No. 2, 235-241 (1992; Zbl 0786.20047)]. Let \(\mathcal D\) be an operator domain on \(G\). A fuzzy subset \(f\) of \(G\) is called `admissible' under \(\mathcal D\) if \(x_t\in f\Rightarrow x_t\in\vee qf\circ\varphi\), for all \(x\in G\) and \(\varphi\in{\mathcal D}\). In this paper, the author characterizes the \((\in,\in\!\vee q)\)-fuzzy subgroups which are invariant under some operator domains and obtains some of the fundamental properties of \(\mathcal D\)-admissible \((\in,\in\!\vee q)\)-fuzzy subgroups for any operator domain \(\mathcal D\) of a group \(G\). The author proves that a fuzzy subset \(f\) of \(G\) is \(\mathcal D\)-admissible if and only if the \((\in,\in\!\vee q)\)-level subset \(f_t\) is \(\mathcal D\)-admissible for all \(t\in(0,1]\). Furthermore, if \(f\) is an \(\Aut(G)\)-admissible \((\in,\in\!\vee q)\)-fuzzy subgroup of \(G\), so is \(\text{Core}_G(f)\), where \(\text{Core}_G(f)=\bigcap_{g\in G}f^*_g\), \(f^*_g\) is a fuzzy subset of \(G\) defined by \(f^*_g(x)=f(g^{-1}xg)\), \(x\in G\).