• 충청수학회지
• /
• 제31권1호
• /
• pp.47-52
• /
• 2018

Let ${\delta}$ be a derivation in a noetherian integral domain A. It is shown that a natural map induces a homeomorphism between the spectrum of $A[z;{\delta}]$ and the Poisson spectrum of $A[z;{\delta}]_p$ such that its restriction to the primitive spectrum of $A[z;{\delta}]$ is also a homeomorphism onto the Poisson primitive spectrum of $A[z;{\delta}]_p$.

• 대한수학회보
• /
• 제60권5호
• /
• pp.1281-1293
• /
• 2023

The purpose of this paper is to study the relationship between the structure of a factor ring R/P and the behavior of some derivations of R. More precisely, we establish a connection between the commutativity of R/P and derivations of R satisfying specific identities involving the prime ideal P. Moreover, we provide an example to show that our results cannot be extended to semi-prime ideals.

• 대한수학회보
• /
• 제30권1호
• /
• pp.71-77
• /
• 1993

Every ring considered in the paper will be assumed to be commutative and have a unit element. An ideal A of a ring R will be called primal if the elements of R which are zero divisors modulo A, form an ideal of R, say pp. If A is a primal ideal of R, P is called the adjoint ideal of A. The adjoint ideal of a primal ideal is prime [2]. The definition of primal ideals may also be formulated as follows: An ideal A of a ring R is primal if in the residue class ring R/A the zero divisors form an ideal of R/A. If Q is a primary idel of a ring R then every zero divisor of R/Q is nilpotent; therefore, Q is a primal ideal of R. That a primal ideal need not be primary, is shown by an example in [2]. Let R[X], and R[[X]] denote the polynomial ring and formal power series ring in an indeterminate X over a ring R, respectively. Let S be a multiplicative system in a ring R and S$^{-1}$ R the quotient ring of R. Let Q be a P-primary ideal of a ring R. Then Q[X] is a P[X]-primary ideal of R[X], and S$^{-1}$ Q is a S$^{-1}$ P-primary ideal of a ring S$^{-1}$ R if S.cap.P=.phi., and Q[[X]] is a P[[X]]-primary ideal of R[[X]] if R is Noetherian [1]. We search for analogous results when primary ideals are replaced with primal ideals. To show an ideal A of a ring R to be primal, it sufficies to show that a-b is a zero divisor modulo A whenever a and b are zero divisors modulo A.

• 대한수학회논문집
• /
• 제11권3호
• /
• pp.569-573
• /
• 1996

We study some special cases of Chow groups of a ramified complete regular local ring R of dimension n. We prove that (a) for codimension 3 Gorenstein ideal I, [I] = 0 in $A_{n-3}(R)$ and (b) for a particular class of almost complete intersection prime ideals P of height i, [P] = 0 in $A_{n-i}(R)$.

• 대한수학회논문집
• /
• 제22권3호
• /
• pp.323-330
• /
• 2007

In this paper we introduce the notion of strongly regular near-subtraction semigroups (right). We have shown that a near-subtraction semigroup X is strongly regular if and only if it is regular and without non zero nilpotent elements. We have also shown that in a strongly regular near-subtraction semigroup X, the following holds: (i) Xa is an ideal for every a $\in$ X (ii) If P is a prime ideal of X, then there exists no proper k-ideal M such that P $\subset$ M (iii) Every ideal I of X fulfills $I=I^2$.

• 대한수학회지
• /
• 제55권5호
• /
• pp.1031-1043
• /
• 2018

Let R be a commutative ring with $1{\neq}0$, I a proper ideal of R, and m and n positive integers. In this paper, we define I to be a weakly (m, n)-closed ideal if $0{\neq}x^m\;{\in}I$ for $x{\in}R$ implies $x^n{\in}I$, and R to be an (m, n)-von Neumann regular ring if for every $x{\in}R$, there is an $r{\in}R$ such that $x^mr=x^n$. A number of results concerning weakly(m, n)-closed ideals and (m, n)-von Neumann regular rings are given.

• 대한수학회지
• /
• 제43권1호
• /
• pp.65-76
• /
• 2006

Let $\tau$ be a hereditary torsion theory and let p be a prime ideal of a commutative ring R. We study the existence of (minimal) $\tau-injective$ submodules of the injective hull of R/p.

• 호남수학학술지
• /
• 제27권3호
• /
• pp.399-404
• /
• 2005

Let M be a finite commutative nilpotent algebra over a perfect field k of prime characteristic p and let $M^p$ be the sub-algebra of M generated by $x^p$, $x{\in}M$. Eggert[3] conjectures that $dim_kM{\geq}pdim_kM^p$. In this paper, we show that the conjecture holds for $M=R^+/I$, where $R=k[X_1,\;X_2,\;{\cdots},\;X_t]$ is a polynomial ring with indeterminates $X_1,\;X_2,\;{\cdots},\;X_t$ over k and $R^+$ is the maximal ideal of R generated by $X_1,\;X_2,{\cdots},\;X_t$ and I is a monomial ideal of R containing $X_1^{n_1+1},\;X_2^{n_2+1},\;{\cdots},\;X_t^{n_t+1}$ ($n_i{\geq}0$ for all i).

• 대한수학회보
• /
• 제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.

• Korean Journal of Mathematics
• /
• 제6권2호
• /
• pp.221-229
• /
• 1998

Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.