FUZZY SUBALGEBRA Fuzzy subalgebras theory is a chapter of fuzzy set theory. It is obtai e! fro" a i terpretatio i a "ulti#$alue!

logic of a%io"s usually e%pressi g the otio of subalgebra of a gi$e algebraic structure. I !ee!& co si!er a first or!er la guage for algebraic structures 'ith a "o a!ic pre!icate sy"bol S. (he a fuzzy subalgebra& is a fuzzy "o!el of a theory co tai i g& for a y n#ary operatio a"e h& the a%io" A) %)...& % *S*%)+..... S*% + , S*h*%)&...&% ++ a !& for a y co sta t c& the a%io" A- S*c+. A) e%presses the closure of S 'ith respect to the operatio h& A- e%presses the fact that c is a ele"e t i S. As a e%a"ple& assu"e that the $aluatio structure is !efi e! i ./&)0 a ! !e ote by Failed to parse (unknown function\odot): \odot
the operation in [0,1] used to interpret the conjunction. Then it is easy to see that a fuzzy subalgebra of an algebraic structure whose domain is D is defined by a fuzzy subset s D ! [0,1] of D such that, for e"ery d1,...,dn in D, if h is the interpretation of the n#ary operation symbol h, then

i+ s*!)+Failed to parse (unknown function\odot): \odot... \odot s*! +1 s*h*!)&...&! ++ 2oreo$er& if c is the i terpretatio of a co sta t c ii+ s*c+ 3 ). A largely stu!ie! class of fuzzy subalgebras is the o e i 'hich the operatio Failed to parse (unknown function\odot): \odot
coincides with the minimum. $n such a case it is immediate to pro"e the following proposition.

Proposition. A fuzzy subset s of a algebraic structure !efi es a fuzzy subalgebra if a ! o ly if for e$ery 4 i ./&)0& the close! cut 5% 6 7 s*%+8 49 of s is a subalgebra. (he fuzzy subgroups a ! the fuzzy submonoids are particularly i teresti g classes of fuzzy subalgebras. I such a case a fuzzy subset s of a "o oi! *2&:&u+ is a fuzzy sub"o oi! if a ! o ly if
1% (% s&u% '1 s&)%Failed to parse (unknown function\odot): \odot

s*y+ 1 s*%:y+ 'here u is the eutral ele"e t i A. Gi$e a group G& a fuzzy subgroup of G is a fuzzy sub"o oi! s of G such that
*% s&)% + s&)#1%.

It is possible to pro$e that the otio of fuzzy subgroup is strictly relate! 'ith the otio s of fuzzy equivalence. I fact& assu"e that S is a set& G a group of tra sfor"atio s i S a ! *G&s+ a fuzzy subgroup of G. (he & by setti g
e&),y% ' ,up-s&h% h is an element in . such that h&)% ' y/

'e obtai a fuzzy e;ui$ale ce. <o $ersely& let e be a fuzzy e;ui$ale ce i S a !& for e$ery tra sfor"atio h of S& set
s&h%' $nf-e&),h&)%% ) ,/.

(he s !efi es a fuzzy subgroup of tra sfor"atio i S. I a si"ilar 'ay 'e ca relate the fuzzy sub"o oi!s 'ith the fuzzy or!ers. 333333333333333333 3333333333333333333333333 33333333333333