You are on page 1of 7

# Fuzzy Sets and Systems 8 (1982) 133-139

North-Holland Publishing Company

133

FUZZY

INVARIANT

SUBGROLr~3

AND

FUZZY

IDEALS

Wang-jin L I U
Deparmlent of Mathematics, Sichuan Teachers College, Sichuan, China
Received March 1981 Revised May 1981 The purpose of this paper is to introduce some basic concepts of fuzzy algebra, as fuzzy invariant subgroups, fuzzy ideals, and to prove some fundamental properties. In particular, it will give a characteristic of a field by a fuzzy ideal.

Keywords: Fuzzy algebra.

Let X be the underlying set for a group. Fuzzy subgroups of X were defined by A. Rosenfeld in 1971 [1]. The purpose of this paper is to introduce some basic concepts of fuzzy algebra, as fuzzy invariant subgroups, quotient groups of X for fuzzy invariant subgroups, fuzzy subrings, fuzzy ideals, and to prove some fundamental properties. In particular, Proposition 3.4 will give a characteri.,fic of a (usual) field by a fuzzy ideal.

1. Preliminaries
Let us recall some concepts occurring in the papers [1, 2, 3], which will be needed in the sequel. In this paper X always denotes a non-empty (usual) set. A fuzzy set in X is a map A:X--> [0, 1], and cg will denote the family of all fuzzy sets in X. Definition 1.1. Let '.' be a binary operation in X, and A, B ~ ~. Then the product A o B is defined as follows: sup min(A(y), ( A o B ) ( x ) =~[0 "z=~

f

B(z) for y, z e X , y . z = x ,
for any y, z e X, y • z ¢ x.

It is clear that A o B ~ c6'

Proposition 1.1.
singletons, i.e.

Let ,o' be as above, x~, y~, A, B ~ ~, where x~,, y~ are fuzzy

x~(z)={0

ifz=x,
if z e x,

y,,(z)={O

ifz=y, if z # y