Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Yao Bingxue
(Department of Mathematics Liaocheng Teachers University, Shandong 252059 CHINA)
In this paper G and G' always stand for groups whose unit elements are
denoted by e and e', respectively.
Definition 1 Let X and Y be two nonempty sets and let f be a fuzzy
subset of X
that
f(x,yx)
Y . If for 'Vx
We denote!:
call ! onto if
Y such
Y.
vv E Y,3x EX,
XI
= x2
r: G .. ~
G, 'Vy
G' ,
!(X1X2,Y)
YIY2}'
sup{!(X"YI)
/\ !(X2'Y2)
homomorphism
f :G .. ~
f is both
VXPX2 EG.
% is isomorphic to
G'.
f(A)(y)
f(A)(y-l)
= sup{A(x-l) I f(x-
G', we have
,y-I)
;::sup{A(x) I f(x,y)
= I} = f(A)(y)
48
Proposition 6 Let
I: G
and let B
So,
Hence,
1-' (B)
I :G ~
show that f: G ~
= A(x-1x) = A(e) = 1. If
XPX2
G , such
49
= (YlA)(Y2A)} ~ f(XPXlA)
/\ f(x2,x;l yA)
=f(X2,xl-lyA)
Hence, f(Xlx2,yA)
= sup{f(Xl'YlA)
/\ f(X2'Y2A)
= A(X~lx;ly) = f(Xlx2,yA)
I yA = (YlA)(Y2A)}.
= f(x,e')
/\ f(x-1 ,e'),
Vx E G.
(2) ~=G'.
Proof: (1) For VX,a E G, we have
A(xa)
= f(xa,e')
= A(x). So
A(a-l xa)
= f(a-l
~f
= A(x) /\ A(a)
xa,e') /\ f(a-lx-la,e')
= f(a-l
Yo)
= A(x).
f(x,yx)
= 1.
If xlA
G', such
From
!ex;lx2'Yl-IY2) ~
n: ,y;l)
!eX2'Y2)
y;IY2
= e'
= !ex2,y) = 1. So,
!(xpy)
Aex;lx2)
= 1=
For
Aee).
VXPX2
h(eXIA)(X2A),y)
i.e.
h: ~
= hXIX2A),y) = !(X1x2,y)
... ~ G'
A !ex2,y)
= 1 and hence
G, Vy E G' , we have
= sup{hex1A'Yl) A !ex2A'Y2) I
SO,
~ !ex;1 ,y-I)
!ex;lx2,e')
xIA= x2A . It
= h(x2A,y) = 1 , then
= sup{!(XpYl)
!(X2'Y2)
I Y = YIY2}
Y = YIY2}'
== G' .
References
[1] A.B.Chakraborty and S.S.Khare . Fuzzy homomorphisms and algebraic
structures. Fuzzy Sets and Systems, 59(1993): 211-221
[2] D.S.Malik and John N.Mordeson. Fuzzy homomorphisms of rings.
Fuzzy Sets and Systems, 46(1992):139-146
[3] A.B.Chakraborty and S.S.Khare. Fuzzy homomorphisms andJ-fuzzy
subgroups generated by a fuzzy subset. Fuzzy Sets and Systems,
74(1995):259-268
[4] Liu W.J. Fuzzy invariant subgroups and fuzzy ideals. Fuzzy Sets and
Systems, 8(1982):133-139.