• 대한수학회논문집
• /
• 제24권3호
• /
• pp.341-351
• /
• 2009

The notion of rough sets was introduced by Z. Pawlak in the year 1982. The notion of a $\Gamma$-semigroup was introduced by M. K. Sen in the year 1981. In 2003, Y. B. Jun studied the roughness of sub$\Gamma$-semigroups, ideals and bi-ideals in i-semigroups. In this paper, we study rough prime ideals and rough fuzzy prime ideals in $\Gamma$-semigroups.

• 대한수학회지
• /
• 제50권6호
• /
• pp.1271-1290
• /
• 2013

Let M be a fixed left R-module. For a left R-module X, we introduce the notion of M-prime (resp. M-semiprime) submodule of X such that in the case M=R, it coincides with prime (resp. semiprime) submodule of X. Other concepts encountered in the general theory are M-$m$-system sets, M-$n$-system sets, M-prime radical and M-Baer's lower nilradical of modules. Relationships between these concepts and basic properties are established. In particular, we identify certain submodules of M, called "primeM-ideals", that play a role analogous to that of prime (two-sided) ideals in the ring R. Using this definition, we show that if M satisfies condition H (defined later) and $Hom_R(M,X){\neq}0$ for all modules X in the category ${\sigma}[M]$, then there is a one-to-one correspondence between isomorphism classes of indecomposable M-injective modules in ${\sigma}[M]$ and prime M-ideals of M. Also, we investigate the prime M-ideals, M-prime submodules and M-prime radical of Artinian modules.

• 대한수학회보
• /
• 제40권1호
• /
• pp.123-137
• /
• 2003

In this note first we define the notions of weak implicative and implicative hyper K-ideals of a hyper K-algebra H. Then we state and prove some theorems which determine the relationship between these notions and (weak) hyper K-ideals. Also we give some relations between these notions and all types of positive implicative hyper K-ideals. Finally we classify the implicative hyper K-ideals of a hyper K-algebra of order 3.

• 충청수학회지
• /
• 제26권4호
• /
• pp.799-809
• /
• 2013

An ideal I of a local ring (R, m, k) is said to be m-full if there exists an element $x{\in}m$ such that Im : x = I. An ideal I of a local ring R is said to have the Rees property if ${\mu}$(I) > ${\mu}$(J) for any ideal J containing I. We study properties of m-full ideals and we characterize m-primary m-full ideals in terms of the minimal number of generators of the ideals. In particular, for a m-primary ideal I of a 2-dimensional regular local ring (R, m, k), we will show that the following conditions are equivalent. 1. I is m-full 2. I has the Rees property 3. ${\mu}$(I)=o(I)+1 In this paper, let (R, m, k) be a commutative Noetherian local ring with infinite residue field k = R/m.

• Journal of applied mathematics & informatics
• /
• 제33권5_6호
• /
• pp.671-686
• /
• 2015

The notion of soft α-ideals and α-idealistic soft BCI-algebras is introduced and their basic properties are discussed. Relations between soft ideals and soft α-ideals of soft BCI-algebras are provided. Also idealistic soft BCI-algebras and α-idealistic soft BCI-algebras are being related. The restricted intersection, union, restricted union, restricted difference and "AND" operation of soft α-ideals and α-idealistic soft BCI-algebras are established. The characterizations of (fuzzy) α-ideals in BCI-algebras are given by using the concept of soft sets. Relations between fuzzy α-ideals and α-idealistic soft BCI-algebras are discussed.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권4호
• /
• pp.429-442
• /
• 2023

In this paper, we introduce the concept of fuzzy ideals, anti-fuzzy ideals of Γ-BCK-algebras. We study the properties of fuzzy ideals, anti-fuzzy ideals of Γ-BCK-algebras. We prove that if f^-1(µ) is a fuzzy ideal of M, then µ is a fuzzy ideal of N, where f : M → N is an epimorphism of Γ-BCK-algebras M and N.

• Kyungpook Mathematical Journal
• /
• 제50권1호
• /
• pp.117-122
• /
• 2010

In this paper, we introduce the concepts of 1-prime ideals and 2-prime ideals in semirings. We have also introduced $m_1$-system and $m_2$-system in semiring. We have shown that if Q is an ideal in the semiring R and if M is an $m_2$-system of R such that $\overline{Q}{\bigcap}M={\emptyset}$ then there exists as 2-prime ideal P of R such that Q $\subseteq$ P with $P{\bigcap}M={\emptyset}$.

• 호남수학학술지
• /
• 제31권3호
• /
• pp.429-436
• /
• 2009

In this short paper, we prove some new properties on homogeneous ideals and primary ideals of R(+)M.

• 대한수학회보
• /
• 제47권5호
• /
• pp.883-888
• /
• 2010

In this paper, we introduce the concepts of Armendariz ideals and abelian ideals and record some results involving them.

• 대한수학회논문집
• /
• 제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}$.