Research Article

# On Fuzzy Subgroups with Operators

ABSTRACT

In this study, we further study the theory of fuzzy subgroups and discuss some new concepts such as fuzzy subgroups with operator, normal fuzzy subgroups with operator, homomorphism with operator, etc. While some elementary properties are discussed, such as the intersection operation, the image and inverse image of fuzzy subgroups with operator.

 Services Related Articles in ASCI Search in Google Scholar View Citation Report Citation

 How to cite this article: Mourad O. Massa`deh , 2012. On Fuzzy Subgroups with Operators. Asian Journal of Mathematics & Statistics, 5: 163-166. DOI: 10.3923/ajms.2012.163.166 URL: https://scialert.net/abstract/?doi=ajms.2012.163.166

Received: February 21, 2012; Accepted: March 26, 2012; Published: May 18, 2012

INTRODUCTION

After the introduction of fuzzy sets by Zadeh (1965), there have been a number of generalizations of this fundamental concept. Rosenfeld (1971) introduced the concept of fuzzy group. The concept was discussed further by many researchers, as Naraghi (2009) and Sulaiman and Ahmad (2010). On the other hand many scholars have studied the anti-homomorphism in fuzzy groups and obtained many results. The concept of anti-homomorphism was discussed further by many researchers and obtained many results, such that Abdullah and Jeyaraman (2010). The aim of this study is to define the fuzzy subgroups with operators "m-fuzzy subgroups", m-normal fuzzy subgroups and study some of its properties.

PRELIMINARY DEFINITIONS

Definition (Pandiammal et al., 2010): Let G be a group, M be a set, if:

 • mx∈G ∀x∈G, m∈M • m (xy) = (mx)y = x (my) ∀x, y∈G, m∈M

Then m is said to be a left operator of G, M is said to be a left operator set of G. G is said to be a group with operators. We use phrase " G is an M-group" in stead of a group with operators. If a subgroup of M-group G is also M-group, then it is said to be an M-subgroup of G.

Definition (Zadeh, 1965): Let X be a non empty set, a fuzzy set μ is just a function from X onto [0, 1].

Definition (Rosenfeld, 1971): Let G be a group and μ be a fuzzy set on G. μ is said to be a fuzzy subgroup of G, if for x, y ∈ G:

 μ (xy)≥min {μ (x), μ (y)} μ (x - 1) = μ (x)

Definition (Wu, 1981): A fuzzy subgroup μ of a group G is called normal fuzzy subgroup if μ (x-1yx)≥μ (y) ∀ x, y ∈ G.

Definition (Kim, 2003): If Φ is a homomorphism from a group G1 to the group G2 and let μ be a fuzzy subgroup of G2, then the inverse image of μ under:

 • Φ is (Φ-1(μ) (x) = μ (Φ (x)) ∀x∈G.

M-fuzzy subgroups
Definition (Muthuraj et al., 2010):
Let G be a group and μ be a fuzzy group of G, if μ (mx)≥μ (x) hold for any x ∈ G, m ∈ M then μ is said to be a fuzzy group with operator of G. We use the phrase "μ is an m-fuzzy subgroup of G" instead of a fuzzy subgroup with operator of G.

Example: Let μ be a fuzzy subset of an m-group G and μ defined by:

μ is an m-fuzzy subgroup of G.

Definition (Muthuraj et al., 2010): Let G1, G2 be an m-group, Φ be a homomorphism from G1 into G2. If Φ (m x) = m. Φ (x) ∀ x∈G, m∈M, then Φ is called m-homomorphism .

Proposition: Let G be an m-group and μ, δ both be m-fuzzy subgroups of G, then, μ∩δ is an m-fuzzy subgroup of G.

Proof: Its clear that μ∩δ is a fuzzy subgroup of G. For any x∈G, m∈M.

 (μ∩δ) (mx) = min {μ (mx), δ (mx)}≥min {μ (x), δ (x)} = (μ∩δ) (x)

Hence μ∩δ is an m-fuzzy subgroup of G.

Corollary: The intersection of any family of m-fuzzy subgroups is an m-fuzzy subgroup.

Definition (Pandiammal et al., 2010): Let G be an m-group, μ is said to be an m-normal fuzzy subgroup of G, if μ is not only an m-fuzzy subgroup of G but also a normal fuzzy subgroup of G.

Proposition: Let G be an m-group, μ, δ both be m-normal fuzzy subgroups of G, then μ∩δ is an m-normal fuzzy subgroup of G.

Proof: It easy to know by above proposition μ∩δ is an m-fuzzy subgroup of G, also we know μ∩δ is a normal fuzzy subgroup of G, hence μ∩δ is an m-normal fuzzy subgroup of G.

Corollary: The intersection of any family of m-normal fuzzy subgroups is an m-normal fuzzy subgroup.

Theorem: Let G1, G2 be an m-group and μ, δ be two m-fuzzy subgroup of G2 and μ be m-normal fuzzy subgroup of δ . Let Φ be an m-homomorphism G1 into G2, then Φ-1 (μ) is an m-normal fuzzy subgroup of Φ-1 (δ).

Proof: Clearly Φ-1 (δ ), Φ-1 (μ) is an m-fuzzy subgroups of G. It follows easily that:

 Φ-1 (μ)⊆Φ-1 (δ)

Now:

 Φ-1 (μ) (xyx¯1) = μ (Φ (xyx¯1) = μ (Φ(x) Φ (y) (Φ (x)-1)≥min {μ (Φ (y)), δ(Φ (x))} = min {Φ-1 (μ) (y), Φ-1 (δ) (x)}; ∀x, y∈G

Hence Φ-1 (μ) is normal fuzzy subgroup of Φ-1 (δ).
Thus Φ-1 (μ) is an m-normal fuzzy subgroup of Φ-1 (δ).

Theorem: Let Φ be an m-homomorphism from the m-group G1 to the m-group G2, then:

 • If μ is an m-fuzzy subgroup of G2, then Φ-1(μ) is an m-fuzzy subgroup of G1 • If μ is an m-normal fuzzy subgroup of G2, then Φ-1(μ) is an m-normal fuzzy subgroup of G1

Proof:

 • Since Φ-1(μ) is an fuzzy subgroup of G1: (Φ¯1(μ)) (mx) = μ (Φ(mx)) = μ(mΦ(x))≥μ(Φ(x)) = (Φ-1(μ)) (x) • Since we know Φ-1(μ) is normal fuzzy subgroup of G1 and by above Φ-1(μ) is an m-fuzzy subgroup, hence Φ-1(μ) is an m-normal fuzzy subgroup of G1

Theorem: Let Φ be a homomorphism from the m-group G1 into m-group G2 and λ is an m-fuzzy subgroup of G2. Then λ o Φ is an mfuzzy subgroup of G1.

Proof: Since λ is an m –fuzzy subgroup of G2. Thus:

 λ(m Φ(x))≥λ(Φ(x)) = (λoΦ) (x)

Therefore λoΦ is an m-fuzzy subgroup.

Corollary: If μ is an m-normal fuzzy subgroup of G2, then μoΦ is an m-normal fuzzy subgroup of G1.

CONCLUSION

In this study, we studied the concept of fuzzy subgroup with operator and we used it to study some properties on the subgroup with operator like to introduce the concept normal fuzzy subgroup with operator and discuss the intersection operation. After that, we have studied on this topic the m- homomorphism and the effect on the image and inverse image of fuzzy and normal fuzzy subgroups with operator.

In the next studies we will formulize the concept of fuzzy subgroups with two operators and applied it to some properties such as fuzzy cosets, conjugate, etc.

REFERENCES

1:  Abdullah, A.S. and K. Jeyaraman, 2010. Anti-Homomorphism in fuzzy subgroups. Int. J. Comp. Applicat., 12: 24-27.

2:  Kim, D., 2003. Characteristic fuzzy groups. Commun. Korean Math. Soc., 18: 21-29.

3:  Naraghi, H., 2009. Some properties of solvable and nilpotent fuzzy groups. Int. J. Math. Sci. Engg. Appls. (IJMSEA), 3: 45-51.

4:  Pandiammal, P., R. Natarajan and N. Palaniappan, 2010. Anti L-fuzzy M-cosets of M-groups. Int. J. Comp. Applic., 12: 8-11.

5:  Sulaiman, R. and A.G. Ahmad, 2010. Counting fuzzy subgroups of symmetric groups S2, S3 and alternating group A4. J. Qual. Meas. Anal., 6: 57-63.