• 제목/요약/키워드: closed ideal

검색결과 166건 처리시간 0.025초

NIL SUBSETS IN BCH-ALGEBRAS

  • Jun, Young-Bae;Roh, Eun-Hwan
    • East Asian mathematical journal
    • /
    • 제22권2호
    • /
    • pp.207-213
    • /
    • 2006
  • Using the notion of nilpotent elements, the concept of nil subsets is introduced, and related properties are investigated. We show that a nil subset on a subalgebra (resp. (closed) ideal) is a subalgebra (resp. (closed) ideal). We also prove that in a nil algebra every ideal is a subalgebra.

  • PDF

WEAKLY DENSE IDEALS IN PRIVALOV SPACES OF HOLOMORPHIC FUNCTIONS

  • Mestrovic, Romeo;Pavicevic, Zarko
    • 대한수학회지
    • /
    • 제48권2호
    • /
    • pp.397-420
    • /
    • 2011
  • In this paper we study the structure of closed weakly dense ideals in Privalov spaces $N^p$ (1 < p < $\infty$) of holomorphic functions on the disk $\mathbb{D}$ : |z| < 1. The space $N^p$ with the topology given by Stoll's metric [21] becomes an F-algebra. N. Mochizuki [16] proved that a closed ideal in $N^p$ is a principal ideal generated by an inner function. Consequently, a closed subspace E of $N^p$ is invariant under multiplication by z if and only if it has the form $IN^p$ for some inner function I. We prove that if $\cal{M}$ is a closed ideal in $N^p$ that is dense in the weak topology of $N^p$, then $\cal{M}$ is generated by a singular inner function. On the other hand, if $S_{\mu}$ is a singular inner function whose associated singular measure $\mu$ has the modulus of continuity $O(t^{(p-1)/p})$, then we prove that the ideal $S_{\mu}N^p$ is weakly dense in $N^p$. Consequently, for such singular inner function $S_{\mu}$, the quotient space $N^p/S_{\mu}N^p$ is an F-space with trivial dual, and hence $N^p$ does not have the separation property.

m-CANONICAL IDEALS IN SEMIGROUPS

  • Kwak, Dong-Je;Kim, Myeong-Og;Park, Young-Soo
    • 대한수학회보
    • /
    • 제37권3호
    • /
    • pp.577-586
    • /
    • 2000
  • For a grading monoid S, we prove that (1) if (S, M) is a valuation semigroup, then M is an m-canonical ideal, that is, an ideal M such that M : (M:J)=J for every ideal J of S. (2) if S is an integrally closed semigroup and S has a principal m-canonical ideal, then S is a valuation semigroup, and (3) if S is a completely integrally closed and S has an m-canonical ideal I, then every ideal of S is I-invertible, that is, J+(I+J)=I for every ideal J of S.

  • PDF

DECOMPOSITIONS OF IDEALS IN DIFFERENCE ALGEBRAS

  • AHN, SUN SHIN
    • 호남수학학술지
    • /
    • 제28권3호
    • /
    • pp.343-351
    • /
    • 2006
  • In this paper, we study decompositions of weak ideals in difference algebras and obtain equivalent conditions for closed weak ideals. Moreover, we show that if I is an ideal of a difference algebra X, then $I^g$ is an ignorable weak ideal of X.

  • PDF

A note on k-nil radicals in BCI-algebras

  • Hong, Sung-Min;Xiaolong Xin
    • 대한수학회보
    • /
    • 제34권2호
    • /
    • pp.205-209
    • /
    • 1997
  • Hong et al. [2] and Jun et al. [4] introduced the notion of k-nil radical in a BCI-algebra, and investigated its some properties. In this paper, we discuss the further properties on the k-nil radical. Let A be a subset of a BCI-algebra X. We show that the k-nil radical of A is the union of branches. We prove that if A is an ideal then the k-nil radical [A;k] is a p-ideal of X, and that if A is a subalgebra, then the k-nil radical [A;k] is a closed p-ideal, and hence a strong ideal of X.

  • PDF

ℵ-IDEALS OF BCK/BCI-ALGERBAS

  • Jun, Young Bae;Lee, Kyoung Ja;Song, Seok Zun
    • 충청수학회지
    • /
    • 제22권3호
    • /
    • pp.417-437
    • /
    • 2009
  • The notions of $\mathcal{N}$-subalgebras, (closed, commutative, retrenched) $\mathcal{N}$-ideals, $\theta$-negative functions, and $\alpha$-translations are introduced, and related properties are investigated. Characterizations of an $\mathcal{N}$-subalgebra and a (commutative) $\mathcal{N}$-ideal are given. Relations between an $\mathcal{N}$-subalgebra, an $\mathcal{N}$-ideal and commutative $\mathcal{N}$-ideal are discussed. We verify that every $\alpha$-translation of an $\mathcal{N}$-subalgebra (resp. $\mathcal{N}$-ideal) is a retrenched $\mathcal{N}$-subalgebra (resp. retrenched $\mathcal{N}$-ideal).

  • PDF

L-fuzzy ideals of a poset

  • Alaba, Berhanu Assaye;Taye, Miheret Alamneh;Engidaw, Derso Abeje
    • Annals of Fuzzy Mathematics and Informatics
    • /
    • 제16권3호
    • /
    • pp.285-299
    • /
    • 2018
  • Many generalizations of ideals of a lattice to an arbitrary poset have been studied by different scholars. In this paper, we introduce several L-fuzzy ideals of a poset which generalize the notion of an L-fuzzy ideal of a lattice and give several characterizations of them.

ON $P-\mathcal{I}$-OPEN SETS

  • Kang, Jeong-Gi;Kim, Chang-Su
    • 호남수학학술지
    • /
    • 제31권3호
    • /
    • pp.293-314
    • /
    • 2009
  • The notions of pre-local function, semi-local functions and ${\alpha}$-local functions with respect to a topology and an ideal are introduced, and several properties are investigated. Also, the concept of $P-\mathcal{I}$-open sets and $P-\mathcal{I}$-closed sets in ideal topological spaces are discussed. Relations between $\mathcal{I}$-open sets and $P-\mathcal{I}$-open sets are provided, and several properties related to $P-\mathcal{I}$-open sets, pre-local functions, semi-local functions and ${\alpha}$-local functions with respect to a topology and an ideal are investigated.

ON WEAKLY (m, n)-PRIME IDEALS OF COMMUTATIVE RINGS

  • Hani A. Khashan;Ece Yetkin Celikel
    • 대한수학회보
    • /
    • 제61권3호
    • /
    • pp.717-734
    • /
    • 2024
  • Let R be a commutative ring with identity and m, n be positive integers. In this paper, we introduce the class of weakly (m, n)-prime ideals generalizing (m, n)-prime and weakly (m, n)-closed ideals. A proper ideal I of R is called weakly (m, n)-prime if for a, b ∈ R, 0 ≠ amb ∈ I implies either an ∈ I or b ∈ I. We justify several properties and characterizations of weakly (m, n)-prime ideals with many supporting examples. Furthermore, we investigate weakly (m, n)-prime ideals under various contexts of constructions such as direct products, localizations and homomorphic images. Finally, we discuss the behaviour of this class of ideals in idealization and amalgamated rings.

SIMPLE VALUATION IDEALS OF ORDER 3 IN TWO-DIMENSIONAL REGULAR LOCAL RINGS

  • Noh, Sun-Sook
    • 대한수학회논문집
    • /
    • 제23권4호
    • /
    • pp.511-528
    • /
    • 2008
  • Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and $\upsilon$ be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple $\upsilon$-ideals $m\;=\;P_0\;{\supset}\;P_1\;{\supset}\;{\cdots}\;{\supset}\;P_t\;=\;P$ and all the other $\upsilon$-ideals are uniquely factored into a product of those simple ones [17]. Lipman further showed that the predecessor of the smallest simple $\upsilon$-ideal P is either simple or the product of two simple $\upsilon$-ideals. The simple integrally closed ideal P is said to be free for the former and satellite for the later. In this paper we describe the sequence of simple $\upsilon$-ideals when P is satellite of order 3 in terms of the invariant $b_{\upsilon}\;=\;|\upsilon(x)\;-\;\upsilon(y)|$, where $\upsilon$ is the prime divisor associated to P and m = (x, y). Denote $b_{\upsilon}$ by b and let b = 3k + 1 for k = 0, 1, 2. Let $n_i$ be the number of nonmaximal simple $\upsilon$-ideals of order i for i = 1, 2, 3. We show that the numbers $n_{\upsilon}$ = ($n_1$, $n_2$, $n_3$) = (${\lceil}\frac{b+1}{3}{\rceil}$, 1, 1) and that the rank of P is ${\lceil}\frac{b+7}{3}{\rceil}$ = k + 3. We then describe all the $\upsilon$-ideals from m to P as products of those simple $\upsilon$-ideals. In particular, we find the conductor ideal and the $\upsilon$-predecessor of the given ideal P in cases of b = 1, 2 and for b = 3k + 1, 3k + 2, 3k for $k\;{\geq}\;1$. We also find the value semigroup $\upsilon(R)$ of a satellite simple valuation ideal P of order 3 in terms of $b_{\upsilon}$.