On the definition of the intuitionistic fuzzy subgroups

In this paper, a new kind of intuitionistic fuzzy subgroup theory, which is different from that of Ma, Zhan and Davvaz (2008) [22], [23], is presented. First, based on the concept of cut sets on intuitionistic fuzzy sets, we establish the neighborhood relations between a fuzzy point $x_a$ and an intuitionistic fuzzy set $A$. Then we give the definitions of the grades of $x_a$ belonging to $A$, $x_a$ quasi-coincident with $A$, $x_a$ belonging to and quasi-coincident with $A$ and $x_a$ belonging to or quasi-coincident with $A$, respectively. Second, by applying the 3-valued Lukasiewicz implication, we give the definition of $(\alpha ,\beta )$-intuitionistic fuzzy subgroups of a group $G$ for $\alpha ,\beta \in \{\in ,q,\in \wedge q,\in \vee q\}$, and we show that, in 16 kinds of $(\alpha ,\beta )$-intuitionistic fuzzy subgroups, the significant ones are the $(\in ,\in )$-intuitionistic fuzzy subgroup, the $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup and the $(\in \wedge q,\in )$-intuitionistic fuzzy subgroup. We also show that $A$ is a $(\in ,\in )$-intuitionistic fuzzy subgroup of $G$ if and only if, for any $a\in (0,1]$, the cut set $A_a$ of $A$ is a 3-valued fuzzy subgroup of $G$, and $A$ is a $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup (or $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup) of $G$ if and only if, for any $a\in (0,0.5]$(or for any $a\in (0.5,1]$), the cut set $A_a$ of $A$ is a 3-valued fuzzy subgroup of $G$. At last, we generalize the $(\in ,\in )$-intuitionistic fuzzy subgroup, $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup and $(\in \wedge q,\in )$-intuitionistic fuzzy subgroup to intuitionistic fuzzy subgroups with thresholds, i.e., $(s,t]$-intuitionistic fuzzy subgroups. We show that $A$ is a $(s,t]$-intuitionistic fuzzy subgroup of $G$ if and only if, for any $a\in (s,t]$, the cut set $A_a$ of $A$ is a 3-valued fuzzy subgroup of $G$. We also characterize the $(s,t]$-intuitionistic fuzzy subgroup by the neighborhood relations between a fuzzy point $x_a$ and an intuitionistic fuzzy set $A$.