• Communications of the Korean Mathematical Society
• /
• 제38권2호
• /
• pp.331-340
• /
• 2023

In this paper, the concept of a maximal chain of ideals is introduced. Some properties of such chains are studied. We introduce some other concepts related to a maximal chain of ideals such as the n-maximal ideal, the maximal dimension of a ring S (M. dim(S)), the maximal depth of an ideal K of S (M.d(K)) and maximal height of an ideal K(M.d(K)).

• Communications of the Korean Mathematical Society
• /
• 제37권2호
• /
• pp.399-407
• /
• 2022

In this paper, we continue to study the von Neumann regularity of rings whose essential maximal right ideals are GP-injective. It is proved that the following statements are equivalent: (1) R is strongly regular; (2) R is a 2-primal ring whose essential maximal right ideals are GP-injective; (3) R is a right (or left) quasi-duo ring whose essential maximal right ideals are GP-injective. Moreover, it is shown that R is strongly regular if and only if R is a strongly right (or left) bounded ring whose essential maximal right ideals are GP-injective. Finally, we prove that a PI-ring whose essential maximal right ideals are GP-injective is strongly π-regular.

• Kyungpook Mathematical Journal
• /
• 제62권3호
• /
• pp.425-436
• /
• 2022

In this paper we introduce the notion of 2-absorbing primary ideals of a commutative semigroup. We establish the relations between 2-absorbing primary ideals and prime, maximal, semiprimary and 2-absorbing ideals. We obtain various characterization theorems for commutative semigroups in which 2-absorbing primary ideals are prime, maximal, semiprimary and 2-absorbing ideals. We also study some other important properties of 2-absorbing primary ideals of a commutative semigroup.

• Journal of the Korean Mathematical Society
• /
• 제47권3호
• /
• pp.633-643
• /
• 2010

Let a be an ideal of a commutative Noetherian ring R, M a finitely generated R-module and N a weakly Laskerian R-module. We show that if N has finite dimension d, then $Ass_R(H^d_a(N))$ consists of finitely many maximal ideals of R. Also, we find the least integer i, such that $H^i_a$(M, N) is not consisting of finitely many maximal ideals of R.

• Journal of the Korean Mathematical Society
• /
• 제46권4호
• /
• pp.775-784
• /
• 2009

In 1932, Lehmer [4] gave the definition of a ternary semigroup. We can see that any semigroup can be reduced to a ternary semigroup. In this paper, we give some auxiliary results which are also necessary for our considerations and characterize the relationship between the (0-)minimal and maximal ordered lateral ideals and the lateral simple and lateral 0-simple ordered ternary semigroups analogous to the characterizations of minimal and maximal left ideals in ordered semigroups considered by Cao and Xu [2].

• Honam Mathematical Journal
• /
• 제26권3호
• /
• pp.247-256
• /
• 2004

Buchmann and Williams[1] proposed a key exchange system making use of the properties of the maximal order of an imaginary quadratic field. $H{\ddot{u}}hnlein$ et al. [6,7] also introduced a cryptosystem with trapdoor decryption in the class group of the non-maximal imaginary quadratic order with prime conductor q. Their common techniques are based on the properties of the invertible ideals of the maximal or non-maximal orders respectively. Kim and Moon [8], however, proposed a key-exchange system and a public-key encryption scheme, based on the class semigroups of imaginary quadratic non-maximal orders. In Kim and Moon[8]'s cryptosystem, a non-invertible ideal is chosen as a generator of key-exchange ststem and their secret key is some characteristic value of the ideal on the basis of Zanardo et al.[9]'s quantity for ideal equivalence. In this paper we propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structure of the class semigroup of non-maximal order as finitely disjoint union of groups with some quantities correctly. And then we correct the misconceptions of Zanardo et al.[9] and analyze Kim and Moon[8]'s cryptosystem.

• Bulletin of the Korean Mathematical Society
• /
• 제52권2호
• /
• pp.525-530
• /
• 2015

Let D be an integrally closed domain with quotient field K, X be an indeterminate over D, $f=a_0+a_1X+{\cdots}+a_nX^n{\in}D[X]$ be irreducible in K[X], and $Q_f=fK[X]{\cap}D[X]$. In this paper, we show that $Q_f$ is a maximal ideal of D[X] if and only if $(\frac{a_1}{a_0},{\cdots},\frac{a_n}{a_0}){\subseteq}P$ for all nonzero prime ideals P of D; in this case, $Q_f=\frac{1}{a_0}fD[X]$. As a corollary, we have that if D is a Krull domain, then D has infinitely many height-one prime ideals if and only if each maximal ideal of D[X] has height ${\geq}2$.

• Communications of the Korean Mathematical Society
• /
• 제38권4호
• /
• pp.983-992
• /
• 2023

Let A be a ring and 𝓙 = {ideals I of A | J(I) = I}. The Krull dimension of A, written dim A, is the sup of the lengths of chains of prime ideals of A; whereas the dimension of the maximal spectrum, denoted by dim _𝓙A, is the sup of the lengths of chains of prime ideals from 𝓙. Then dim _𝓙A ≤ dim A. In this paper, we will study the dimension of the maximal spectrum of some constructions of rings and we will be interested in the transfer of the property J-Noetherian to ring extensions.

• Bulletin of the Korean Mathematical Society
• /
• 제44권1호
• /
• pp.151-156
• /
• 2007

A connection between weak ${\pi}-regularity$ and the condition every prime ideal is maximal will be investigated. We prove that a certain 2-primal ring R is weakly ${\pi}-regular$ if and only if every prime ideal is maximal. This result extends several known results nontrivially. Moreover a characterization of minimal prime ideals is also considered.

• Journal of applied mathematics & informatics
• /
• 제28권3_4호
• /
• pp.1017-1023
• /
• 2010

We prove that a maximal ideal M of D[x] has two generators and is of the form where p is an irreducible element in a PID D having infinitely many nonassociate irreducible elements and q(x) is an irreducible non-constant polynomial in D[x]. Moreover, we find how minimal generators of maximal ideals of a polynomial ring D[x] over a DVR D consist of and how many generators those maximal ideals have.