• 대한수학회보
• /
• 제35권4호
• /
• pp.615-624
• /
• 1998

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.

• 호남수학학술지
• /
• 제33권3호
• /
• pp.419-424
• /
• 2011

Let D be an integral domain, Spec(D) the set of prime ideals of D, and X a subspace of the Zariski topology on Spec(D). We show that X is compact if and only if given any ideal I of D with $I{\nsubseteq}P$ for all $P{\in}X$, there exists a finitely generated idea $J{\subseteq}I$ such that $J{\nsubseteq}P$ for all $P{\in}X$. We also prove that if D = ${\cap}_{P{\in}X}D_P$ and if * is the star-operation on D induced by X, then X is compact if and only if * $_f$-Max(D) ${\subseteq}$X. As a corollary, we have that t-Max(D) is compact and that ${\mathcal{P}}$(D) = {P${\in}$ Spec(D)$|$P is minimal over (a : b) for some a, b${\in}$D} is compact if and only if t-Max(D) ${\subseteq}\;{\mathcal{P}}$(D).