Let R be a commutative ring with identity. A proper ideal I of R is called semimaximal if I is a finite intersection of maximal ideals of R. In this paper we fuzzify this concept to fuzzy ideals of R, where a fuzzy ideal A of R is called semimaximal if A is a finite intersection of fuzzy maximal ideals. Various basic properties are given. Moreover some examples are given to illustrate this concept.

Inˑthis work, we introduce the algebraic structure of semigroup with KU-algebra is called KU-semigroup and then we investigate some basic properties of this structure. We define the KU-semigroup and several examples are presented. Also,we study some types of ideals in this concept such as S-ideal,k- ideal and P-ideal.The relations between these types of ideals are discussed and few results for product S-ideals of product KU-semigroups are given. Furthermore, few results of some ideals in KU-semigroup under homomorphism are discussed.

In this article, we study some properties of anti-fuzzy sub-semigroup, anti fuzzy left (right, two sided) ideal, anti fuzzy ideal, anti fuzzy generalized bi-ideal, anti fuzzy interior ideals and anti fuzzy two sided ideal of regular semigroup. Also, we characterized regular LA-semigroup in terms of their anti fuzzy ideal.

The aim of this paper is to study the Zariski topology of a commutative KU-algebra. Firstly, we introduce new concepts of a KU-algebra, such as KU-lattice, involutory ideal and prime ideal and investigate some basic properties of these concepts. Secondly, the notion of the topology spectrum of a commutative KU-algebra is studied and several properties of this topology are provided. Also, we study the continuous map of this topological space.

In This paper, we introduce the associated graphs of commutative KU-algebra. Firstly, we define the KU-graph which is determined by all the elements of commutative KU-algebra as vertices. Secondly, the graph of equivalence classes of commutative KU-algebra is studied and several examples are presented. Also, by using the definition of graph folding, we prove that the graph of equivalence classes and the graph folding of commutative KU-algebra are the same, where the graph is complete bipartite graph.

        Zadah in [1] introduced the notion of a fuzzy subset A of a nonempty set S as a mapping from S into [0,1], Liu in [2] introduced the concept of a fuzzy ring, Martines [3] introduced the notion of a fuzzy ideal of a fuzzy ring.         A non zero proper ideal I of a ring R is called an essential ideal if I  J  (0), for any non zero ideal J of R, [4].         Inaam in [5] fuzzified this concept to essential fuzzy ideal of fuzzy ring and gave its basic properties.         Nada in [6] introduced and studied notion of semiessential ideal in a ring R, where a non zero i