• Bulletin of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.455-464
• /
• 1998

In this paper, we give another proof of Theorem 2.13 of [4] without using the sup property. For the homomorphic image $f(\mu)$ and preimage $f^{-1}(\nu)$ of fuzzy left (resp. right) ideals $\mu$ and $\nu$ respectively, we establish the chains of level left (resp. right) ideals of $f(\mu)$ and $f^{-1}(\nu)$, respectively. Moreover, we prove that a necessary condition for a fuzzy ideal $\mu$ of a near-ring $R$ to be prime is that $\mu$ is two-valued.

• Journal of the Korean Mathematical Society
• /
• v.55 no.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.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.511-519
• /
• 2000

If G is a strict generalized orthomodular lattice and H={I｜I=[0, $\chi$, $\chi$$\in$G}, then H is prime ideal of the Janowitz's hull J(G) of G. If f is the janowitz's embedding, then the set of all commutatiors of f(G) equals the set of all commutators of the Janowitz's hull J(G) of G. Let L be an OML. Then L J(G) for a strict GOML G if and only if ther exists a proper nonprincipal prime ideal G in L.

• Journal of Integrative Natural Science
• /
• v.6 no.4
• /
• pp.187-192
• /
• 2013

We provide a complete proof that the existence of a system of parameters, which is a reduction of the maximal ideal, is essential in Koh-Lee's conjecture.

• The Mathematical Education
• /
• v.12 no.2
• /
• pp.5-12
• /
• 1974

단위원을 가지는 하환환에 있어서의 Prime Spectrum에 관하여 다음 세가지 사실을 증명하였다. 1. X를 환 R의 prime spectrum, C(X)를 X에서 정의되는 실연적함수의 환, X를 C(X)의 maximal spectrum이라 하면 X는 C(X)의 prime spectrum의 부분공간으로서의 한 T-space로 된다. N을 환 R의 nilradical이라 하면, R/N이 regula 이면 X와 X는 위상동형이다. 2. f: R$\longrightarrow$R'을 ring homomorphism, P를 R의 한 Prime ideal, $R_{p}$, R'$_{p}$를 각각 S=R-P 및 f(S)에 관한 분수환(ring of fraction)이라 하고, k(P)를 local ring $R_{p}$의 residue' field라 할 때, R'의 prime spectrum의 부분공간인 $f^{*-1}$(P)는 k(P)(equation omitted)$_{R}$R'의 prime spectrum과 위상동형이다. 단 f*는 f*(Q)=$f^{-1}$(Q)로서 정의되는 함수 s*:Spec(R')$\longrightarrow$Spec(R)이다. 3. X를 환 S의 prime spectrum, N을 R의 nilradical이라 할 때, 다음 네가지 사실은 동치이다. (1) R/N 은 regular 이다. (2) X는 Zarski topology에 관하여 Hausdorff 공간이다. (3) X에서의 Zarski topology와 constructible topology와는 일치한다. (4) R의 임의의 원소 f에 대하여 f를 포함하지 않는 R의 prime ideal 전체의 집합 $X_{f}$는 Zarski topology에 관하여 개집합인 동시에 폐집합이다.폐집합이다....

• Journal of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.13-21
• /
• 1997

In recent years M. Hochster and C. Huneke introduced the notions of tight closure of an ideal and of the weak F-regularity of a ring of positive prime characteristic. Here 'F' stands for Frobenius. This notion enabled us to play an important role in a commutative ring theory, and other related topics.

• Journal of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.557-578
• /
• 2013

For an ideal $\mathcal{I}$ of a preadditive category $\mathcal{A}$, we study when the canonical functor $\mathcal{C}:\mathcal{A}{\rightarrow}\mathcal{A}/\mathcal{I}$ is local. We prove that there exists a largest full subcategory $\mathcal{C}$ of $\mathcal{A}$, for which the canonical functor $\mathcal{C}:\mathcal{C}{\rightarrow}\mathcal{C}/\mathcal{I}$ is local. Under this condition, the functor $\mathcal{C}$, turns out to be a weak equivalence between $\mathcal{C}$, and $\mathcal{C}/\mathcal{I}$. If $\mathcal{A}$ is additive (with splitting idempotents), then $\mathcal{C}$ is additive (with splitting idempotents). The category $\mathcal{C}$ is ample in several cases, such as the case when $\mathcal{A}$=Mod-R and $\mathcal{I}$ is the ideal ${\Delta}$ of all morphisms with essential kernel. In this case, the category $\mathcal{C}$ contains, for instance, the full subcategory $\mathcal{F}$ of Mod-R whose objects are all the continuous modules. The advantage in passing from the category $\mathcal{F}$ to the category $\mathcal{F}/\mathcal{I}$ lies in the fact that, although the two categories $\mathcal{F}$ and $\mathcal{F}/\mathcal{I}$ are weakly equivalent, every endomorphism has a kernel and a cokernel in $\mathcal{F}/{\Delta}$, which is not true in $\mathcal{F}$. In the final section, we extend our theory from the case of one ideal$\mathcal{I}$ to the case of $n$ ideals $\mathcal{I}_$, ${\ldots}$, $\mathca{l}_n$.

• 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).

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.279-287
• /
• 2012

Let $k$ be a field containing the field $\mathbb{Q}$ of rational numbers and let $R=k[x_{ij}{\mid}1{\leq}i{\leq}m,\;1{\leq}j{\leq}n]$ be the polynomial ring over a field $k$ with indeterminates $x_{ij}$. Let $I_t(X)$ be the determinantal ideal generated by the $t$-minors of an $m{\times}n$ matrix $X=(x_{ij})$. Eagon and Hochster proved that $I_t(X)$ is a perfect ideal of grade $(m-t+1)(n-t+1)$. We give a structure theorem for a class of determinantal ideals of grade 3. This gives us a characterization that $I_t(X)$ has grade 3 if and only if $n=m+2$ and $I_t(X)$ has the minimal free resolution $\mathbb{F}$ such that the second dierential map of $\mathbb{F}$ is a matrix defined by complete matrices of grade $n+2$.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.3
• /
• pp.547-553
• /
• 2010

In this paper we prove that real quadratic function field F over ${\mathbb{F}}_q(T)$ has infinite 2-class field tower if the 4-rank of narrow ideal class group of F is equal to or greater than 4 when $q{\equiv}3$ mod 4.