• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.9 no.2
• /
• pp.110-114
• /
• 2009

We introduce the concepts of intuitionistic fuzzy k-ideals and intuitionistic fuzzy prime k-ideals of a semiring. And we investigate some properties of them.

• Communications of the Korean Mathematical Society
• /
• v.27 no.3
• /
• pp.483-488
• /
• 2012

In this paper we introduce the notion of P-strongly regular near-ring. We have shown that a zero-symmetric near-ring N is P-strongly regular if and only if N is P-regular and P is a completely semiprime ideal. We have also shown that in a P-strongly regular near-ring N, the following holds: (i) $Na$ + P is an ideal of N for any $a{\in}N$. (ii) Every P-prime ideal of N containing P is maximal. (iii) Every ideal I of N fulfills I + P = $I^2$ + P.

• Journal of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1381-1388
• /
• 2018

Let ${\Delta}$ be a simplicial complex, $I_{\Delta}$ its Stanley-Reisner ideal and $K[{\Delta}]$ its Stanley-Reisner ring over a field K. Assume that ${\Gamma}(R)$ denotes the zero-divisor graph of a commutative ring R. Here, first we present a condition on two reduced Noetherian rings R and R', equivalent to ${\Gamma}(R){\cong}{\Gamma}(R{^{\prime}})$. In particular, we show that ${\Gamma}(K[{\Delta}]){\cong}{\Gamma}(K^{\prime}[{\Delta}^{\prime}])$ if and only if ${\mid}Ass(I_{\Delta}){\mid}={\mid}Ass(I_{{{\Delta}^{\prime}}}){\mid}$ and either ${\mid}K{\mid}$, ${\mid}K^{\prime}{\mid}{\leq}{\aleph}_0$ or ${\mid}K{\mid}={\mid}K^{\prime}{\mid}$. This shows that ${\Gamma}(K[{\Delta}])$ contains little information about $K[{\Delta}]$. Then, we define the squarefree zero-divisor graph of $K[{\Delta}]$, denoted by ${\Gamma}_{sf}(K[{\Delta}])$, and prove that ${\Gamma}_{sf}(K[{\Delta}){\cong}{\Gamma}_{sf}(K[{\Delta}^{\prime}])$ if and only if $K[{\Delta}]{\cong}K[{\Delta}^{\prime}]$. Moreover, we show how to find dim $K[{\Delta}]$ and ${\mid}Ass(K[{\Delta}]){\mid}$ from ${\Gamma}_{sf}(K[{\Delta}])$.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1205-1213
• /
• 2020

Let R be a commutative ring with 1 ≠ 0. In this paper, we introduce a subclass of the class of 1-absorbing primary ideals called the class of strongly 1-absorbing primary ideals. A proper ideal I of R is called strongly 1-absorbing primary if whenever nonunit elements a, b, c ∈ R and abc ∈ I, then ab ∈ I or c ∈ ${\sqrt{0}}$. Firstly, we investigate basic properties of strongly 1-absorbing primary ideals. Hence, we use strongly 1-absorbing primary ideals to characterize rings with exactly one prime ideal (the UN-rings) and local rings with exactly one non maximal prime ideal. Many other results are given to disclose the relations between this new concept and others that already exist. Namely, the prime ideals, the primary ideals and the 1-absorbing primary ideals. In the end of this paper, we give an idea about some strongly 1-absorbing primary ideals of the quotient rings, the polynomial rings, and the power series rings.

• Kyungpook Mathematical Journal
• /
• v.51 no.3
• /
• pp.339-344
• /
• 2011

Let D be an integral domain with quotient field K, X be an indeterminate over D, and D[X] be the polynomial ring over D. A prime ideal Q of D[X] is called an upper to zero in D[X] if Q = fK[X] ${\cap}$ D[X] for some f ${\in}$ D[X]. In this paper, we study integral domains D such that every upper to zero in D[X] contains a prime element (resp., a primary element, a t-invertible primary ideal, an invertible primary ideal).

• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.1071-1084
• /
• 2008

The notion of intuitionistic fuzzy filters in ordered semigroups is introduced and relation between intuitionistic fuzzy filters and intuitionistic fuzzy prime ideals is investegated. The notion of intuitionistic fuzzy bi-ideal subsets and intuitionistic fuzzy bi-filters are provided and relation between intuitionistic fuzzy bi-filters and intuitionistic fuzzy prime bi-ideal subsets is established. The concept of intuitionistic fuzzy right filters(1eft filters) is given and their relation with intuitionistic fuzzy prime right (left) ideals is discussed.

• East Asian mathematical journal
• /
• v.17 no.2
• /
• pp.225-232
• /
• 2001

Let R be a prime ring with characteristic not two. U a (${\sigma},{\tau}$)-left Lie ideal of R and d : R$\rightarrow$R a non-zero derivation. The purpose of this paper is to invesitigate identities satisfied on prime rings. We prove the following results: (1) [d(R),a]=0$\Leftrightarrow$d([R,a])=0. (2) if $(R,a)_{{\sigma},{\tau}}$=0 then $a{\in}Z$. (3) if $(R,a)_{{\sigma},{\tau}}{\subset}C_{{\sigma},{\tau}}$ then $a{\in}Z$. (4) if $(U,a){\subset}Z$ then $a^2{\in}Z\;or\;{\sigma}(u)+{\tau}(u){\in}Z$, for all $u{\in}U$. (5) if $(U,R)_{{\sigma},{\tau}}{\subset}C_{{\sigma},{\tau}}$ then $U{\subset}Z$.

• Communications of the Korean Mathematical Society
• /
• v.23 no.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}$.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.541-544
• /
• 1995

In [1], Ahmad has given a characterization of prime dual ideals in bounded commutative BCK-algebras. The aime of this paper is to show that Theorem of [1] holds without the commutativity.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.563-568
• /
• 1996

In this paper we study the ramification of prime ideals in the dihedral octic extension N over Q and estimate the possible discriminants of the octic number field N.