JAM Journal of Applied Mathematics 1687-0042 1110-757X Hindawi Publishing Corporation 485768 10.1155/2013/485768 485768 Research Article A Study of (λ,μ)-Fuzzy Subgroups Li Yuying Wang Xuzhu Yang Liqiong Gracia Jose L. College of Mathematics Taiyuan University of Technology Taiyuan Shanxi 030024 China tyut.edu.cn 2013 27 11 2013 2013 05 06 2013 01 11 2013 08 11 2013 2013 Copyright © 2013 Yuying Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We deal with topics regarding (λ,μ)-fuzzy subgroups, mainly (λ,μ)-fuzzy cosets and (λ,μ)-fuzzy normal subgroups. We give basic properties of (λ,μ)-fuzzy subgroups and present some results related to (λ,μ)-fuzzy cosets and (λ,μ)-fuzzy normal subgroups.

1. Introduction

Since Zadeh  introduced the concept of a fuzzy set in 1965, various algebraic structures have been fuzzified. As a result, the theory of fuzzy group was developed. In 1971, Rosenfeld  introduced the notion of a fuzzy subgroup and thus initiated the study of fuzzy groups.

In recent years, some variants and extensions of fuzzy groups emerged. In 1996, Bhakat and Das proposed the concept of an (,q)-fuzzy subgroup in  and investigated their fundamental properties. They showed that A is an (,q)-fuzzy subgroup if and only if Aα is a crisp group for any α(0,0.5] provided Aα. A question arises naturally: can we define a type of fuzzy subgroups such that all of their nonempty α-level sets are crisp subgroups for any α in an interval (λ,μ]? In 2003, Yuan et al.  answered this question by defining a so-called (λ,μ)-fuzzy subgroups, which is an extension of (,q)-fuzzy subgroup. As in the case of fuzzy group, some counterparts of classic concepts can be found for (λ,μ)-fuzzy subgroups. For instance, (λ,μ)-fuzzy normal subgroups and (λ,μ)-fuzzy quotient groups are defined and their elementary properties are investigated, and an equivalent characterization of (λ,μ)-fuzzy normal subgroups was presented in . However, there is much more research on (λ,μ)-fuzzy subgroups if we consider rich results both in the classic group theory and the fuzzy group theory in the sense of Rosenfeld.

In this paper, we conduct a detailed investigation on (λ,μ)-fuzzy subgroups. The research includes further properties of (λ,μ)-fuzzy subgroups, (λ,μ)-fuzzy normal subgroups, and (λ,μ)-fuzzy left and right cosets.

The rest of this paper is organized as follows. In Section 2, we give properties of (λ,μ)-fuzzy subgroups. In Section 3, we present properties of (λ,μ)-fuzzy normal subgroups. In Section 4, we define (λ,μ)-fuzzy left and right cosets and discuss their properties.

2. Properties of <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M31"><mml:mo stretchy="false">(</mml:mo><mml:mi>λ</mml:mi><mml:mo>,</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>-Fuzzy Subgroups

In this paper, G stands for a group with identity e, and 0λ<μ1. By a fuzzy subset of G, we mean a mapping from G to the closed unit interval [0,1]. In this section, we present some basic properties of (λ,μ)-fuzzy subgroups.

Definition 1.

Let A be a fuzzy subset of G. A is called a fuzzy subgroup of G if, for all x,yG,

A(xy)A(x)A(y),

A(x-1)A(x).

Definition 1 was introduced by Rosenfeld  in 1971.

Definition 2 (see [<xref ref-type="bibr" rid="B5">4</xref>]).

Let A be a fuzzy subset of G. A is called a (λ,μ)-fuzzy subgroup of G if, for all x,yG,

A(xy)λA(x)A(y)μ,

A(x-1)λA(x)μ.

Clearly, a (0,1)-fuzzy subgroup is just a fuzzy subgroup, and thus a (λ,μ)-fuzzy subgroup is a generalization of fuzzy subgroup.

Definition 3.

For a fuzzy subset A of G and α[0,1], let Aα={xGA(x)α}. Then Aα is called a level subset of A.

Proposition 4 (see [<xref ref-type="bibr" rid="B2">2</xref>]).

A fuzzy subset A of G is a fuzzy subgroup if and only if Aα is a crisp subgroup of G for every α(0,1].

Proposition 5 (see [<xref ref-type="bibr" rid="B4">5</xref>]).

If A is a (λ,μ)-fuzzy subgroup of G, then A(e)λA(x)μ for all xG.

Corollary 6.

Let A be a (λ,μ)-fuzzy subgroup of G. Then

If  A(x)μ for some xG, then A(e)μ.

If  A(x)<μ for all xG and H={xλ<A(x)<μ}, then A(e)=max{A(x)|xG}.

If A(e)λ, then A(x)λ for all xG.

Proof.

(i) If A(x)μ for some xG, then A(e)λA(x)μ=μ by Proposition 5; that is, A(e)μ.

(ii) When xH, by Proposition 5, A(e)λA(x)μ=A(x); that is, A(e)A(x). Thus A(e)>λ.

When xH, A(x)λ due to A(x)<μ. A(e)=A(e)λA(x)μ=A(x) by Proposition 5. Therefore, for all xG, A(x)A(e); that is, A(e)=max{A(x)xG}.

(iii) If A(e)λ, then λ=A(e)λA(x)μ for all xG, which implies A(x)λ due to λ<μ.

Corollary 7.

Let A be a (λ,μ)-fuzzy subgroup of G and λ<A(e)<μ. Then A(x)A(e) holds for all xG.

Proof.

If A(x)μ for some xG, then A(e)μ by Corollary 6(i), which is a contradiction. Hence A(x)<μ for all xG. Since eH, A(x)A(e) holds for all xG by Corollary 6(ii).

Corollary 8.

Let A be a (λ,μ)-fuzzy subgroup of G and λ<A(e)<μ. Then A(x)=A(e) for all xAA(e).

Proof.

For every xAA(e), A(x)A(e). By Corollary 7, A(x)A(e). Hence A(x)=A(e).

Proposition 9 (see [<xref ref-type="bibr" rid="B5">4</xref>]).

Let A be a (λ,μ)-fuzzy subset of G. Then A is a (λ,μ)-fuzzy subgroup of G if and only if Aα is a subgroup of G for all α(λ,μ].

Proposition 10.

Let A be a (λ,μ)-fuzzy subgroup of G and xG. Assume

if  A(x)μ,  then  A(x-1)μ.

If  λ<A(x)<μ,  then  A(x-1)=A(x).

If  A(x)λ,  then  A(x-1)λ.

Proof.

Since A is a (λ,μ)-fuzzy subgroup of G, Aα is a subgroup of G for all α(λ,μ] by Proposition 9.

If A(x)μ, then xAμ. Since Aμ is a subgroup of G, x-1Aμ; that is, A(x-1)μ.

If λ<A(x)<μ, then A(x)=A(x)λA(x-1)μ=A(x-1).

If A(x-1)μ=μ, then A(x-1)μ; that is, A(x)μ, which is contradictory to that A(x)<μ. Hence A(x)A(x-1).

In addition, since xAA(x) and AA(x) is a subgroup of G, we have x-1AA(x). Therefore, A(x-1)A(x). In summary, A(x-1)=A(x).

Suppose A(x-1)>λ. Let α0=min{A(x-1),μ}.

Then λ<α0μ, and A(x-1)α0. Thus x-1Aα0. By Proposition 9, Aα0 is a subgroup of G, and thus xAα0. As a result, A(x)α0>λ, which is a contradiction to that A(x)λ. Therefore, A(x-1)λ.

Proposition 11.

Let A be a (λ,μ)-fuzzy subgroup of G and x,yG.

If  A(x)μ  and  A(y)μ,  then  A(xy)μ.

If  λ<A(x)<μ,  A(x)<A(y),  then  A(xy)=A(x)=A(yx).

If  A(x)λ,  A(y)>λ,  then  A(xy)λ  and  A(yx)λ.

Proof.

Since A is a (λ,μ)-fuzzy subgroup of G, Aα is a subgroup of G for all α(λ,μ] by Proposition 9.

From A(x)μ and A(y)μ, it follows that x,yAμ. Since Aμ is a subgroup of G, we have xyAμ; that is, A(xy)μ.

Let A(x)=α and A(y)=β, A(xy)=γ. Then λ<α<μ and β>α.

Now we have the following implications successively: (1)λ<A(x)<A(y)x,yAαxyAα(by  Proposition  9)A(xy)αγα.

If γ>α, let α0=min{γ,β,μ}. Then λ<α0μ and xy,yAα0. By Proposition 9, Aα0 is a subgroup of G, thus x=xyy-1Aα0. Hence A(x)α0γ>α, which is a contradiction. Consequently, γ=α; that is, A(xy)=A(x). Similarly, A(yx)=A(x).

Suppose A(xy)>λ. Let α0=min{A(xy),A(y),μ}.

Then λ<α0μ and xy,yAα0. By Proposition 9, Aα0 is a subgroup of G, thus x=xyy-1Aα0. It follows that A(x)α0>λ, which is a contradiction. Hence A(xy)λ. Similarly, A(yx)λ.

Proposition 12.

Let G=(a) be a cyclic group with generator a. If A is a (λ,μ)-fuzzy subgroup of G and λ<A(a)<μ, then A(x)A(a)  xG.

Proof.

For any xG, there must be a positive integer m such that x=am. By the definition of (λ,μ)-fuzzy subgroup, (2)A(a2)λA(a)μ=A(a), which implies A(a2)A(a). Similarly, (3)A(a3)λA(a2)A(a)μA(a)μ=A(a), and thus A(a3)A(a). Continuing in this way, we have A(am)A(a); that is, A(x)A(a).

Proposition 13.

If G=(a) is a cyclic group and A(a)μ, then G=Aμ.

Proof.

For any xG, there must be a positive integer m such that x=am. By the definition of (λ,μ)-fuzzy subgroup, (4)A(a2)λA(a)μ=μ, which implies A(a2)μ. Similarly, (5)A(a3)λA(a2)A(a)μ=μ, which implies A(a3)μ. Continuing in this way, we have A(am)μ. Hence A(x)μ; that is, xAμ. Therefore G=Aμ.

Corollary 14.

Let G be a cyclic group with generators a and b, A a (λ,μ)-fuzzy subgroup of G. If λ<A(a)<μ, then A(a)=A(b).

Proof.

By Proposition 12, A(b)A(a). If A(b)μ, then G=Aμ by Proposition 13. Particularly, A(a)μ, which is a contradiction to that A(a)<μ. Hence A(b)<μ; thus λ<A(b)<μ. By Proposition 12, A(a)A(b). Consequently, A(a)=A(b).

Corollary 15.

Let G be a cyclic group of a prime order with generator a, A a (λ,μ)-fuzzy subgroup of G. If λ<A(a)<μ, then A(x)=A(a) for xe.

Proof.

When the order of G is a prime, every xe in G is a generator of G. By Corollary 14, A(x)=A(a) for xe.

3. Properties of <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M301"><mml:mo stretchy="false">(</mml:mo><mml:mi>λ</mml:mi><mml:mo>,</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>-Fuzzy Normal Subgroups

The notion of fuzzy normal subgroup was first proposed and investigated by Wu  in 1981.

Definition 16 (see [<xref ref-type="bibr" rid="B3">6</xref>]).

Let A be a fuzzy subgroup of G. A is called a fuzzy normal subgroup of G if for all x,yG, (6)A(xyx-1)A(y).

Proposition 17 (see [<xref ref-type="bibr" rid="B3">6</xref>]).

Let A be a fuzzy subgroup of G. A is a fuzzy normal subgroup if and only if for all x,yG, (7)A(xy)A(yx).

Proposition 18 (see [<xref ref-type="bibr" rid="B3">6</xref>]).

Let A be a fuzzy subset of G. Then A is a fuzzy normal subgroup of G if and only if Aα is a normal subgroup of G for all α(0,1].

In 2005, the following notion of (λ,μ)-fuzzy normal subgroup was put forward by Yao .

Definition 19.

Let A be a (λ,μ)-fuzzy subgroup of G. A is called a (λ,μ)-fuzzy normal subgroup of G if, for all x,yG, (8)A(xyx-1)λA(y)μ. Clearly, a (0,1)-fuzzy normal subgroup is just a fuzzy normal subgroup, and thus a (λ,μ)-fuzzy normal subgroup is a generalization of fuzzy normal subgroup.

Proposition 20 (see [<xref ref-type="bibr" rid="B4">5</xref>]).

Let A be a (λ,μ)-fuzzy subgroup of G. A is a (λ,μ)-fuzzy normal subgroup if and only if, for all x,yG, (9)A(xy)λA(yx)μ.

Proposition 21 (see [<xref ref-type="bibr" rid="B4">5</xref>]).

Let A be a (λ,μ)-fuzzy subset of G. Then A is a (λ,μ)-fuzzy normal subgroup of G if and only if Aα is a normal subgroup of G for all α(λ,μ].

Proposition 22.

Let A be a (λ,μ)-fuzzy normal subgroup of G and xG.

If  A(x)μ,  then  A(yxy-1)μ  for all  yG.

If  λ<A(x)<μ,  then  A(yxy-1)=A(x)  for all  yG.

If  yG  and  λ<A(xy)<μ,  then  A(xy)=A(yx).

If  yG  and  A(xy)μ,  then  A(yx)μ.

If  yG  and  A(xy)λ,  then  A(yx)λ.

Proof.

(i) If A(x)μ, then xAμ. By Proposition 21, Aμ is a normal subgroup of G and thus yxy-1Aμ. Hence A(yxy-1)μ.

(ii) Let A(x)=α. Then λ<α<μ. By Proposition 21, Aα is a normal subgroup of G. Hence yxy-1Aα; that is, A(yxy-1)α=A(x).

Suppose A(yxy-1)>α. Set α0=min{A(yxy-1),μ}. Then λ<α0μ. By Proposition 21, Aα0 is a normal subgroup of G, and thus yxy-1Aα0. Therefore, x=y-1(yxy-1)yAα0; that is, A(x)α0>α, which is a contradiction to that A(x)=α. Consequently, A(yxy-1)=A(x).

(iii) If λ<A(xy)<μ, then A(yx)=A(x-1(xy)x)=A(xy) by (ii); that is, A(xy)=A(yx).

(iv) If A(xy)μ, then xyAμ. Since Aμ is a normal subgroup of G by Proposition 21, yx=x-1(xy)xAμ; that is, A(yx)μ.

(v) Suppose A(yx)>λ on the contrary.

If A(yx)μ, then, by (i), A(xy)μ, which is contradictory to that A(xy)<μ. If A(yx)<μ, then, by (iii), A(xy)=A(yx)>λ, which is contradictory to that A(xy)λ. Hence A(yx)λ.

Proposition 23.

Let A be a (λ,μ)-fuzzy subgroup of G. Then A is a (λ,μ)-fuzzy normal subgroup of G if and only if A([x,y])λA(x)μ for all x,yG, where [x,y]=x-1y-1xy is a commutator in G.

Proof.

For any x,yG, (10)A([x,y])λ=A(x-1y-1xy)λ=A(x-1(y-1xy))λλ(A(x-1)A(y-1xy)μ)λ=(A(x-1)λ)(A(y-1xy)λ)μ. Since A is a (λ,μ)-fuzzy normal subgroup of G, A(x-1)λA(x)μ and A(y-1xy)λA(x)μ. Therefore, (11)A([x,y])λA(x)μ. Conversely, if A([x,y])λA(x)μ, then (12)A(y-1xy)λ=A(xx-1y-1xy)λ=A(x[x,y])λλ(A(x)A([x,y])μ)λ=(A(x)λ)(A([x,y])λ)μ(A(x)λ)(A(x)μ)μA(x)A(x)μ=A(x)μ. Hence A is a (λ,μ)-fuzzy normal subgroup of G.

Proposition 24.

If G is an abelian group and A is a (λ,μ)-fuzzy subgroup of G, then A is a (λ,μ)-fuzzy normal subgroup of G.

Proof.

Since G is an abelian group, we have [xy]=e; hence A([xy])λ=A(e)λA(x)μ for all x,yG by Proposition 5. By Proposition 23, A is a (λ,μ)-fuzzy normal subgroup of G.

Since a cyclic group is an abelian group, the following result is immediate by Proposition 24.

Corollary 25.

If G is a cyclic group and A is a (λ,μ)-fuzzy subgroup of G, then A is a (λ,μ)-fuzzy normal subgroup of G.

4. Properties of Left Cosets and Right Cosets of <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M449"><mml:mrow><mml:mi>A</mml:mi></mml:mrow></mml:math></inline-formula> Definition 26 (see [<xref ref-type="bibr" rid="B4">5</xref>]).

Let A be a (λ,μ)-fuzzy subgroup of G and aG. Define fuzzy subsets aA and Aa of G respectively by (13)(aA)(x)=(A(a-1x)λ)μ,xG,(Aa)(x)=(A(xa-1)λ)μ,xG.

a A and Aa will be called a left coset and a right coset of A, respectively.

Clearly, we have eA=Ae, λ(Aa)(x)μandλ(aA)(x)μ which are valid for all xG.

The following conclusions can be found in .

Proposition 27 (see [<xref ref-type="bibr" rid="B4">5</xref>]).

Let A and B be (λ,μ)-fuzzy subgroups of G and a,bG. Then

a(bA)=(ab)A.

(Aa)b=A(ab).

aA=bBeA=(a-1b)B(b-1a)A=eB.

Aa=BbAe=B(ba-1)A(ab-1)=Be.

In particular, we have the following corollary when A=B.

Corollary 28.

Let A be a (λ,μ)-fuzzy subgroup of G and a,bG. Then

aA=bAeA=(a-1b)A(b-1a)A=eA;

Aa=AbAe=A(ba-1)A(ab-1)=Ae.

Firstly, we present some basic properties of eA.

Proposition 29.

Let A be a (λ,μ)-fuzzy subgroup of G and xG.

If  λ<A(x)<μ,  then  (eA)(x)=A(x).

If  A(x)μ,  then  (eA)(x)=μ.

If  A(x)λ,  then  (eA)(x)=λ.

Proof.

(i) If λ<A(x)<μ, then (eA)(x)=(A(x)λ)μ=A(x). (ii) and (iii) can be similarly proved.

Proposition 30.

Let A be a (λ,μ)-fuzzy subgroup of G. Then eA is a (λ,μ)-fuzzy subgroup of G and a fuzzy subgroup of G in the sense of Rosenfeld as well.

Proof.

Firstly, we prove that Aα=(eA)α for all α(λ,μ].

If xAα, then A(x)α>λ. Hence, (14)(eA)(x)=(A(x)λ)μ=A(x)μα, which implies x(eA)α. So Aα(eA)α.

Conversely, if x(eA)α, then (eA)(x)=(A(x)λ)μα, whence A(x)α; that is, xAα. Thus, Aα(eA)α. In summary, Aα=(eA)α.

Since A is a (λ,μ)-fuzzy subgroup of G, Aα is the subgroup of G by Proposition 9. It follows from Aα=(eA)α that (eA)α is a subgroup of G. Hence eA is a (λ,μ)-fuzzy subgroup of G by Proposition 9.

Since λ(eA)(x)μ,xG, (eA)α=G for α(0,λ], and clearly it is a subgroup of G. Considering that (eA)α= for α(μ,1], (eA)α is subgroup of G for all α(0,1]. As a result, eA is a fuzzy subgroup of G in the sense of Rosenfeld by Proposition 4.

Proposition 31.

Let A be a (λ,μ)-fuzzy normal subgroup of G. Then eA is a (λ,μ)-fuzzy normal subgroup of G and a fuzzy normal subgroup of G as well.

Proof.

By Proposition 30, eA is a (λ,μ)-fuzzy subgroup of G and a fuzzy subgroup of G. For any x,yG, (15)(eA)(xyx-1)λ=(eA)(xyx-1)=(A(xyx-1)λ)μ=((A(xyx-1)λ)λ)μ((A(y)μ)λ)μ=(A(y)λ)μ=(eA)(y)=(eA)(y)μ. Therefore, eA is a (λ,μ)-fuzzy normal subgroup of G by Definition 19 and a fuzzy normal subgroup of G by Definition 16.

Furthermore, we have the following results.

Proposition 32.

If A is a (λ,μ)-fuzzy subgroup of G and A(e)μ, then aAμ if and only if aA=eA.

Proof.

Firstly, we assume aAμ. Since Aμ is a subgroup of G by Proposition 9, we have a-1Aμ; that is, A(a-1)μ by Proposition 10. Let xG. Consider the following three cases.

Case  1. If A(x)μ, then xAμ, which implies a-1xAμ; that is, A(a-1x)μ by Proposition 11(i). Therefore, (16)(aA)(x)=(A(a-1x)λ)μ=μ=(A(x)λ)μ=(eA)(x).

Case  2. If λ<A(x)<μ, then A(a-1x)=A(x) by Proposition 11(ii). Hence (17)(aA)(x)=(A(a-1x)λ)μ=(A(x)λ)μ=(eA)(x).

Case  3. If A(x)λ, then A(a-1x)λ by Proposition 11(iii). Hence (18)(aA)(x)=(A(a-1x)λ)μ=λ=(A(x)λ)μ=(eA)(x). In summary, aA=eA.

Conversely, assume aA=eA. Then we have the following implications successively: (19)(aA)(a)=(eA)(a)(A(a-1a)λ)μ=(A(a)λ)μ(A(e)λ)μ=(A(a)λ)μμ=(A(a)λ)μ(since  A(e)μ)A(a)μ.aAμ.

Similarly, if A is a (λ,μ)-fuzzy subgroup of G and A(e)μ, then aAμ if and only if Aa=Ae.

Corollary 33.

If A is a (λ,μ)-fuzzy subgroup of G and aAμ, then (20)aA=Aa=eA.

Proof.

Since aAμ, we have A(e)μ by Corollary 6, and hence aA=eA and Aa=Ae. It follows from eA=Ae that aA=Aa=eA.

Corollary 34.

Let A be a (λ,μ)-fuzzy subgroup of G and a,bG. Then aAμ=bAμ if and only if aA=bA provided Aμ.

Proof.

The desired result follows from the following equivalences: (21)aAμ=bAμb-1aAμ(b-1a)A=eA(by  Proposition  32)aA=bA(by  Corollary  28).

Similarly, under the conditions stated in Corollary 34, we have the equivalence Aμa=Aμb if and only if Aa=Ab.

Proposition 35.

If A is a (λ,μ)-fuzzy subgroup of G and λ<A(e)<μ, then A(a)=A(e) if and only if aA=eA.

Proof.

Firstly, we assume A(a)=A(e); that is, aAA(e). By Proposition 9, AA(e) is a subgroup of G. Hence we have a-1AA(e); that is, A(a-1)A(e), so A(a-1)=A(e) by Corollary 6. Let xG. We have A(x)A(e) by Corollary 6. Consider the following three cases.

Case  1  (A(x)λ).  In this case, A(a-1x)λ by Proposition 11(iii). So (22)(aA)(x)=(A(a-1x)λ)μ=λ=(A(x)λ)μ=(eA)(x).Case  2  (λ<A(x)<A(e)=A(a-1)).  In this case, A(a-1x)=A(x) by Proposition 11(ii). So (23)(aA)(x)=(A(a-1x)λ)μ=(A(x)λ)μ=(eA)(x).Case  3  (A(x)=A(e)).  Since AA(e) is a subgroup of G by Proposition 9, we have x,a-1AA(e). Hence a-1xAA(e); that is, A(a-1x)A(e). Thus A(a-1x)=A(e) by Corollary 6. As a result, A(a-1x)=A(x)=A(e). Therefore, (24)(aA)(x)=(A(a-1x)λ)μ=(A(x)λ)μ=(eA)(x). In summary, aA=eA.

Conversely, assume aA=eA. Then we have the following implications successively: (25)(aA)(a)=(eA)(a)(A(a-1a)λ)μ=(A(a)λ)μA(e)=A(a)λ(since  λ<A(e)<μ)A(e)=A(a).

Similarly, if A is a (λ,μ)-fuzzy subgroup of G and λ<A(e)<μ, then A(a)=A(e) if and only if Aa=Ae.

Corollary 36.

Let A be a (λ,μ)-fuzzy subgroup of G and a,bG. Then aAA(e)=bAA(e) if and only if aA=bA provided λ<A(e)<μ.

Proof.

The desired result follows from the following equivalencies: (26)aAA(e)=bAA(e)b-1aAA(e)(b-1a)A=eA(by  Proposition  35)aA=bA(by  Corollary  28).

Similarly, under the conditions stated in Corollary 36, we have the equivalence AA(e)a=AA(e)b if and only if Aa=Ab.

Proposition 37.

Let A be a (λ,μ)-fuzzy subgroup of G. Then aA is a (λ,μ)-fuzzy subgroup of G if and only if aA=eA.

Proof.

Suppose that aA is a (λ,μ)-fuzzy subgroup of G.

If A(e)μ, then (aA)(a)=(A(e)λ)μ=μ, which implies a(aA)μ, and thus (aA)μ. Since (aA)μ is a subgroup of G by Proposition 9, we have e(aA)μ. Hence (aA)(e)=(A(a-1)λ)μ=μ, which implies A(a-1)μ; that is, a-1Aμ. Hence we have aAμ by Proposition 10(i). Therefore, aA=eA by Proposition 32.

If λ<A(e)<μ, then A(e)A(a-1) by Corollary 6 and (aA)(a)=(A(e)λ)μ=A(e), which implies a(aA)A(e). Since aA is a (λ,μ)-fuzzy subgroup of G, (aA)A(e) is a subgroup of G by Proposition 9, which implies e(aA)A(e). Hence (27)A(e)(aA)(e)=(A(a-1)λ)μ=A(a-1)λ, and thus A(a-1)A(e); that is, a-1AA(e), which implies aAA(e) since AA(e) is a subgroup of G. Therefore, A(a)A(e), and hence A(a)=A(e) by Corollary 6. It follows aA=eA from Proposition 35.

If A(e)λ, then A(x)λ for all xG by Corollary 6. Consider (28)(aA)(x)=(A(a-1x)λ)μ=λ=(A(x)λ)μ=(eA)(x). Hence aA=eA.

Conversely, if aA=eA, then aA is a (λ,μ)-fuzzy subgroup of G by Proposition 30.

Proposition 38.

Let A be a (λ,μ)-fuzzy subgroup of G, a,bG, α(λ,μ] and Aα. If aA=bA, then aAα=bAα.

Proof.

Since Aα, Aα is a subgroup of G by Proposition 9, and thus A(e)α>λ. Hence, from aA=bA, we know that (aA)(b)=(bA)(b); that is, (29)(A(a-1b)λ)μ=(A(e)λ)μ=A(e)μ. If A(e)μ, then A(a-1b)μ; that is, a-1bAμAα. Hence aAα=bAα.

If A(e)<μ, then A(a-1b)=A(e); that is, a-1bAA(e). By AA(e)Aα, thus a-1bAα. Hence aAα=bAα.

Similarly, we have the following conclusion.

Let A be a (λ,μ)-fuzzy subgroup of G, a,bG, α(λ,μ] and Aα. If Aa=Ab, then Aαa=Aαb.

Proposition 39.

Let A be a (λ,μ)-fuzzy subgroup of G and a,bG. If aA=bA and λ<A(a)<μ, then A(a)=A(b).

Proof.

Since aA=bA, (a-1b)A=eA by Corollary 28.

Case  1. If A(e)μ, then by Proposition 32, a-1bAμ; that is, A(a-1b)μ. By Proposition 11 and λ<A(a)<μ, A(a)=A(a(a-1b))=A(b).

Case  2. If A(e)<μ and λ<A(a)<μ, then A(a)A(e)<μ and then A(a-1b)=A(e) by Proposition 35.

If A(a)<A(e)=A(a-1b), then by Proposition 11, A(a)=A(a(a-1b))=A(b).

If A(a)=A(e)=A(a-1b), then a,a-1bAA(e). Since A is a (λ,μ)-fuzzy subgroup of G, AA(e) is a subgroup of G by Proposition 9. Hence b=a(a-1b)AA(e); that is, A(b)A(e); hence A(b)=A(e)=A(a) by Corollary 7.

It is noteworthy that the converse of Proposition 39 is not true as shown by the following example.

Example 40.

Let G be a cyclic group of order 3 with generator a. Define A by: A(a)=A(a2)=0.5, A(e)=0.7. Then A is a (0.3,0.6)-fuzzy subgroup of G. In this example, however, (aA)(a)=0.6, (a2A)(a)=0.5. Hence aAa2A.

5. Concluding Remarks

In this paper, we present a further investigation into properties of (λ,μ)-fuzzy subgroups, (λ,μ)-fuzzy normal subgroups, and (λ,μ)-fuzzy left and right cosets. It should be noted that we concentrate on the case A(e)>λ in studying fuzzy left and right cosets. The reason is that (aA)(x)=λ is valid for all xG when A(e)λ, which is of little mathematical significance. Certainly, some other topics of (λ,μ)-fuzzy subgroups such as the characterization of (λ,μ)-fuzzy subgroups and operations of (λ,μ)-fuzzy subgroups are still open for the research in the future.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this article.

Acknowledgments

The research project is supported by Shanxi Scholarship Council of China 2013-052, the Natural Science foundation of Shanxi 2013011004-1 and Shanxi Provincial Teaching Reform Project J2013134.

Zadeh L. A. Fuzzy sets Information and Computation 1965 8 338 353 MR0219427 ZBL0139.24606 Rosenfeld A. Fuzzy groups Journal of Mathematical Analysis and Applications 1971 35 512 517 MR0280636 10.1016/0022-247X(71)90199-5 ZBL0194.05501 Bhakat S. K. Das P. ( , q ) -fuzzy subgroup Fuzzy Sets and Systems 1996 80 3 359 368 10.1016/0165-0114(95)00157-3 MR1392107 ZBL0870.20055 Yuan X. Zhang C. Ren Y. Generalized fuzzy groups and many-valued implications Fuzzy Sets and Systems 2003 138 1 205 211 10.1016/S0165-0114(02)00443-8 MR2012249 ZBL1024.20048 Yao B. ( λ , μ ) -fuzzy normal subgroups and (λ,μ)-fuzzy quotient subgroups The Journal of Fuzzy Mathematics 2005 13 3 695 705 MR2166900 Wu W. M. Normal fuzzy subgroups Fuzzy Mathematics 1981 1 1 21 30 MR657830