$\mathcal I$-IDEALS GENERATED BY A SET IN IS-ALGEBRAS

  • Jun, Young-Bae (Department of Mathematics Education, Gyeongsang National University) ;
  • Roh, Eun-Hwan (Department of Mathematics Education, Gyeongsang National University) ;
  • Xin, Xiao-Long (Department of Mathematics Education, Gyeongsang National University)
  • Published : 1998.11.01

Abstract

We consider a generalization of [1. theorem 2.5]. We give a description of the element of $_{\mathcal I}^l$(resp. $_{\mathcal I} ^r$), where A and B are left (resp. right)${\mathcal I}$-ideals of an IS-algebra X. For a nonempty left (resp. right) stable, we obtain a condition for $_{\mathcal I}^l$(resp. $_{\mathcal I}^l$) to be closed. We give a characterization of a closed $\mathcal I$-ideal in an IS-algebra, and show that in a finite IS-algebra, every $\mathcal I$-ideal is closed.