• Bulletin of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1205-1213
• /
• 2020

Let R be a commutative ring with 1 ≠ 0. In this paper, we introduce a subclass of the class of 1-absorbing primary ideals called the class of strongly 1-absorbing primary ideals. A proper ideal I of R is called strongly 1-absorbing primary if whenever nonunit elements a, b, c ∈ R and abc ∈ I, then ab ∈ I or c ∈ ${\sqrt{0}}$. Firstly, we investigate basic properties of strongly 1-absorbing primary ideals. Hence, we use strongly 1-absorbing primary ideals to characterize rings with exactly one prime ideal (the UN-rings) and local rings with exactly one non maximal prime ideal. Many other results are given to disclose the relations between this new concept and others that already exist. Namely, the prime ideals, the primary ideals and the 1-absorbing primary ideals. In the end of this paper, we give an idea about some strongly 1-absorbing primary ideals of the quotient rings, the polynomial rings, and the power series rings.

• Korean Journal of Mathematics
• /
• v.7 no.1
• /
• pp.111-116
• /
• 1999

In this paper, we introduce the concepts of quasi retract ideals and quasi retract topological semigroups which are weaker than those of retract ideals and retract topological semigroups, respectively. We prove that every $n$-th power ideal of a commutative power cancellative power ideal topological semigroup is a quasiretract ideal.

• Communications of the Korean Mathematical Society
• /
• v.21 no.3
• /
• pp.577-586
• /
• 2006

In this paper we will propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structures of class SEMIGROUPS of imaginary quadratic orders which were given by Zanardo and Zannier [8], and we will give a general algorithm for calculating power of ideals/classes via the Dirichlet composition of quadratic forms which is applicable to cryptography in the class semigroup of imaginary quadratic non-maximal order and revisit the cryptosystem of Kim and Moon [5] using a Zanardo and Zannier [8]'s quantity as their secret key, in order to analyze Jacobson [7]'s revised cryptosystem based on the class semigroup which is an alternative of Kim and Moon [5]'s.

• Journal of applied mathematics & informatics
• /
• v.28 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.6
• /
• pp.1349-1357
• /
• 2022

Let 𝒜 = (A_n)_n≥0 be an increasing sequence of rings. We say that 𝓘 = (I_n)_n≥0 is an associated sequence of ideals of 𝒜 if I₀ = A₀ and for each n ≥ 1, I_n is an ideal of A_n contained in I_n+1. We define the polynomial ring and the power series ring as follows: $I[X]\, = \,\{\, f \,=\, {\sum}_{i=0}^{n}a_iX^i\,{\in}\,A[X]\,:\,n\,{\in}\,\mathbb{N},\,a_i\,{\in}\,I_i \,\}$ and $I[[X]]\, = \,\{\, f \,=\, {\sum}_{i=0}^{+{\infty}}a_iX^i\,{\in}\,A[[X]]\,:\,a_i\,{\in}\,I_i \,\}$. In this paper we study the Noetherian and the SFT properties of these rings and their consequences.

• Honam Mathematical Journal
• /
• v.26 no.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
• /
• v.30 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.137-143
• /
• 1992

The purpose of this paper is to provide the affirmative solution of the following conjecture due to Davis and Geramita. Conjecture; Let A=R[T] be a polynomial ring in one variable, where R is a regular local ring of dimension d. Then maximal ideals in A are complete intersection. Geramita has proved that the conjecture is true when R is a regular local ring of dimension 2. Whatwadekar has rpoved that conjecture is true when R is a formal power series ring over a field and also when R is a localization of an affine algebra over an infinite perfect field. Nashier also proved that conjecture is true when R is a local ring of D[ $X_{1}$,.., $X_{d-1}$] at the maximal ideal (.pi., $X_{1}$,.., $X_{d-1}$) where (D,(.pi.)) is a discrete valuation ring with infinite residue field. The methods to establish our results are following from Nashier's method. We divide this paper into three sections. In section 1 we state Theorems without proofs which are used in section 2 and 3. In section 2 we prove some lemmas and propositions which are used in proving our results. In section 3 we prove our main theorem.eorem.rem.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1311-1325
• /
• 2021

One says that a ring homomorphism R → S is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element f ∈ S, there is a unique smallest ideal of R whose extension to S contains f, called the content of f. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically 'yes' in dimension one, but 'no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.361-374
• /
• 2019

Let R be a ring, ($S,{\leq}$) a strictly ordered monoid, and ${\omega}:S{\rightarrow}End(R)$ a monoid homomorphism. In [18], Mazurek, and Ziembowski investigated when the skew generalized power series ring $R[[S,{\omega}]]$ is a domain satisfying the ascending chain condition on principal left (resp. right) ideals. Following [18], we obtain necessary and sufficient conditions on R, S and ${\omega}$ such that the skew generalized power series ring $R[[S,{\omega}]]$ is a right or left Archimedean domain. As particular cases of our general results we obtain new theorems on the ring of arithmetical functions and the ring of generalized power series. Our results extend and unify many existing results.