• 대한수학회보
• /
• 제59권5호
• /
• pp.1237-1246
• /
• 2022

In this paper, we introduce the concept of N-pure ideal as a generalization of pure ideal. Using this concept, a new and interesting type of rings is presented, we call it a mid ring. Also, we provide new characterizations for von Neumann regular and zero-dimensional rings. Moreover, some results about mp-ring are given. Finally, a characterization for mid rings is provided. Then it is shown that the class of mid rings is strictly between the class of reduced mp-rings (p.f. rings) and the class of mp-rings.

• 대한수학회논문집
• /
• 제38권4호
• /
• pp.1001-1017
• /
• 2023

Let R be a commutative graded ring with nonzero identity and n a positive integer. Our principal aim in this paper is to introduce and study the notions of graded n-irreducible and strongly graded n-irreducible ideals which are generalizations of n-irreducible and strongly n-irreducible ideals to the context of graded rings, respectively. A proper graded ideal I of R is called graded n-irreducible (respectively, strongly graded n-irreducible) if for each graded ideals I₁, . . . , I_n+1 of R, I = I₁ ∩ · · · ∩ I_n+1 (respectively, I₁ ∩ · · · ∩ I_n+1 ⊆ I ) implies that there are n of the I_i 's whose intersection is I (respectively, whose intersection is in I). In order to give a graded study to this notions, we give the graded version of several other results, some of them are well known. Finally, as a special result, we give an example of a graded n-irreducible ideal which is not an n-irreducible ideal and an example of a graded ideal which is graded n-irreducible, but not graded (n - 1)-irreducible.

• 대한수학회보
• /
• 제58권3호
• /
• pp.711-720
• /
• 2021

Let R denote a commutative noetherian ring, and let 𝐱 := x1, …, xd be an R-regular sequence. Suppose that 𝖆 denotes a monomial ideal with respect to 𝐱. The first purpose of this article is to show that 𝖆 is irreducible if and only if 𝖆 is a generalized-parametric ideal. Next, it is shown that, for any integer n ≥ 1, (x1, …, xd)n = ⋂P(f), where the intersection (irredundant) is taken over all monomials f = xe11 ⋯ xedd such that deg(f) = n - 1 and P(f) := (xe1+11, ⋯, xed+1d). The second main result of this paper shows that if 𝖖 := (𝐱) is a prime ideal of R which is contained in the Jacobson radical of R and R is 𝖖-adically complete, then 𝖆 is a parameter ideal if and only if 𝖆 is a monomial irreducible ideal and Rad(𝖆) = 𝖖. In addition, if a is generated by monomials m1, …, mr, then Rad(𝖆), the radical of a, is also monomial and Rad(𝖆) = (ω1, …, ωr), where ωi = rad(mi) for all i = 1, …, r.

• 대한수학회보
• /
• 제31권2호
• /
• pp.210-214
• /
• 1994

The purpose of this paper is to investigate the relationship between the depths of the Rees algebra R[It] and the associated graded ring g $r_{I}$(R) of an ideal I in a local ring (R,m) of dim(R) > 0. The relationship between the Cohen-Macaulayness of these two rings has been studied extensively. Let (R, m) be a local ring and I an ideal of R. An ideal J contained in I is called a reduction of I if J $I^{n}$ = $I^{n+1}$ for some integer n.geq.0. A reduction J of I is called a minimal reduction of I. The reduction number of I with respect to J is defined by (Fig.) S. Goto and Y.Shimoda characterized the Cohen-Macaulay property of the Rees algebra of the maximal ideal of a Cohen-Macaulay local ring in terms of the Cohen-Macaulay property of the associated graded ring of the maximal ideal and the reduction number of that maximal ideal. Let us state their theorem.m.m.

• 한국통신학회논문지
• /
• 제22권3호
• /
• pp.557-561
• /
• 1997

In this paper, we present three new classes of binary pseudorandom sequences of period ${2_n}-1$ with ideal autocorrelation. These sequences are newly found by an extensive computer search, and the conjectures on the construction of these sequences are formulated. We also classify the binary sequences of period ${2_n}-1$ with ideal autocorrelation, and enumerate them.

• Journal of applied mathematics & informatics
• /
• 제30권3_4호
• /
• pp.665-676
• /
• 2012

Fuzzifications of the notion of n-fold strong ideals are considered. Characterizations of fuzzy $n$-fold strong ideals are given.

• 대한수학회지
• /
• 제34권1호
• /
• pp.135-147
• /
• 1997

Let k be an infinite field and let $X = {P_1, \cdots, P_s}$ be a set of s-distinct points in $P^n$. We denote by $I(X)$ the defining ideal of $X$ in the polynomial ring $R = k[x_0, \cdots, x_n]$ and by A the homogeneous coordinate ring of $X, A = \sum_{t = 0}^{\infty} A_t$.

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

• 대한수학회보
• /
• 제20권1호
• /
• pp.45-49
• /
• 1983

If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.

• 호남수학학술지
• /
• 제30권3호
• /
• pp.513-519
• /
• 2008

Let (R, m) be a Noetherian local ring with maximal ideal m, E := $E_R$(R/m) and let I be an ideal of R. Let M and N be finitely generated R-modules. It is shown that $H^n_I(M,(H^n_I(N)^{\vee})){\cong}(M{\otimes}_RN)^{\vee}$ where grade(I, N) = n = $cd_i$(I, N). We also show that for n = grade(I, R), one has $End_R(H^n_I(P,R)^{\vee}){\cong}Ext^n_R(H^n_I(P,R),P^*)^{\vee}$.