FIRST ORDER DEFINABILITY IN UNIVERSAL ALGEBRA (ELEMENTARY, CONGRUENCE, VARIETY)

MAROUF A. SAMHAN (7961057)

University of Illinois at Chicago: UIC INDIGO (INtellectual property in DIGital form available online in an Open environment)

FIRST ORDER DEFINABILITY IN UNIVERSAL ALGEBRA (ELEMENTARY, CONGRUENCE, VARIETY).

We prove that the lattice of fuzzy congruences of a group G (resp. ring R) is isomorphic to the lattice of fuzzy normal subgroups of G (resp. fuzzy ideals of R)