Subscribe Now Subscribe Today
Research Article
 

On Fuzzy Subgroups with Operators



Mourad O. Massa`deh
 
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail
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:

Image for - On Fuzzy Subgroups with Operators

μ 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.
Direct Link  |  

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.
Direct Link  |  

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.
Direct Link  |  

6:  Muthuraj, R., M. Rajinikannan and M.S. Muthuraman, 2010. The M-homomorphism and M-anti homomorphism of an M-fuzzy subgroups and its level M-subgroups. Int. J. Comput. Appl., 2: 66-70.
CrossRef  |  Direct Link  |  

7:  Rosenfeld, A., 1971. Fuzzy groups. J. Math. Anal. Applic., 35: 512-517.
CrossRef  |  Direct Link  |  

8:  Wu, W.M., 1981. Normal fuzzy subgroups. Fuzzy Math., 1: 21-30.

9:  Zadeh, L.A., 1965. Fuzzy sets. Inform. Control, 8: 338-353.
CrossRef  |  Direct Link  |  

©  2021 Science Alert. All Rights Reserved