• 제목/요약/키워드: Principal ideal domains

검색결과 12건 처리시간 0.024초

THE COHEN TYPE THEOREM FOR S-⁎ω-PRINCIPAL IDEAL DOMAINS

  • Lim, Jung Wook
    • East Asian mathematical journal
    • /
    • 제34권5호
    • /
    • pp.571-575
    • /
    • 2018
  • Let D be an integral domain, ${\ast}$ a star-operation on D, and S a (not necessarily saturated) multiplicative subset of D. In this article, we prove the Cohen type theorem for $S-{\ast}_{\omega}$-principal ideal domains, which states that D is an $S-{\ast}_{\omega}$-principal ideal domain if and only if every nonzero prime ideal of D (disjoint from S) is $S-{\ast}_{\omega}$-principal.

On *w-Finiteness Conditions

  • Jung Wook Lim
    • Kyungpook Mathematical Journal
    • /
    • 제63권4호
    • /
    • pp.571-575
    • /
    • 2023
  • Let D be an integral domain and let * be a star-operation on D. In this article, we give new characterizations of *w-Noetherian domains and *w-principal ideal domains. More precisely, we show that D is a *w-Noetherian domain (resp., *w-principal ideal domain) if and only if every *w-countable type ideal of D is of *w-finite type (resp., principal).

A HALF-CENTERED STAR-OPERATION ON AN INTEGRAL DOMAIN

  • Qiao, Lei;Wang, Fanggui
    • 대한수학회지
    • /
    • 제54권1호
    • /
    • pp.35-57
    • /
    • 2017
  • In this paper, we study the natural star-operation defined by the set of associated primes of principal ideals of an integral domain, which is called the g-operation. We are mainly concerned with the ideal-theoretic properties of this star-operation. In particular, we investigate DG-domains (i.e., integral domains in which each ideal is a g-ideal), which form a proper subclass of the DW-domains. In order to provide some original examples, we examine the transfer of the DG-property to pullbacks. As an application of the g-operation, it is shown that w-divisorial Mori domains can be seen as a Gorenstein analogue of Krull domains.

PRIME FACTORIZATION OF IDEALS IN COMMUTATIVE RINGS, WITH A FOCUS ON KRULL RINGS

  • Gyu Whan Chang;Jun Seok Oh
    • 대한수학회지
    • /
    • 제60권2호
    • /
    • pp.407-464
    • /
    • 2023
  • Let R be a commutative ring with identity. The structure theorem says that R is a PIR (resp., UFR, general ZPI-ring, π-ring) if and only if R is a finite direct product of PIDs (resp., UFDs, Dedekind domains, π-domains) and special primary rings. All of these four types of integral domains are Krull domains, so motivated by the structure theorem, we study the prime factorization of ideals in a ring that is a finite direct product of Krull domains and special primary rings. Such a ring will be called a general Krull ring. It is known that Krull domains can be characterized by the star operations v or t as follows: An integral domain R is a Krull domain if and only if every nonzero proper principal ideal of R can be written as a finite v- or t-product of prime ideals. However, this is not true for general Krull rings. In this paper, we introduce a new star operation u on R, so that R is a general Krull ring if and only if every proper principal ideal of R can be written as a finite u-product of prime ideals. We also study several ring-theoretic properties of general Krull rings including Kaplansky-type theorem, Mori-Nagata theorem, Nagata rings, and Noetherian property.

NOETHERIAN RINGS OF KRULL DIMENSION 2

  • Shin, Yong-Su
    • 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.

Composite Hurwitz Rings Satisfying the Ascending Chain Condition on Principal Ideals

  • Lim, Jung Wook;Oh, Dong Yeol
    • Kyungpook Mathematical Journal
    • /
    • 제56권4호
    • /
    • pp.1115-1123
    • /
    • 2016
  • Let $D{\subseteq}E$ be an extension of integral domains with characteristic zero, I be a nonzero proper ideal of D and let H(D, E) and H(D, I) (resp., h(D, E) and h(D, I)) be composite Hurwitz series rings (resp., composite Hurwitz polynomial rings). In this paper, we show that H(D, E) satisfies the ascending chain condition on principal ideals if and only if h(D, E) satisfies the ascending chain condition on principal ideals, if and only if ${\bigcap}_{n{\geq}1}a_1{\cdots}a_nE=(0)$ for each infinite sequence $(a_n)_{n{\geq}1}$ consisting of nonzero nonunits of We also prove that H(D, I) satisfies the ascending chain condition on principal ideals if and only if h(D, I) satisfies the ascending chain condition on principal ideals, if and only if D satisfies the ascending chain condition on principal ideals.

ON ϕ-PSEUDO ALMOST VALUATION RINGS

  • Esmaeelnezhad, Afsaneh;Sahandi, Parviz
    • 대한수학회보
    • /
    • 제52권3호
    • /
    • pp.935-946
    • /
    • 2015
  • The purpose of this paper is to introduce a new class of rings that is closely related to the classes of pseudo valuation rings (PVRs) and pseudo-almost valuation domains (PAVDs). A commutative ring R is said to be ${\phi}$-ring if its nilradical Nil(R) is both prime and comparable with each principal ideal. The name is derived from the natural map ${\phi}$ from the total quotient ring T(R) to R localized at Nil(R). A prime ideal P of a ${\phi}$-ring R is said to be a ${\phi}$-pseudo-strongly prime ideal if, whenever $x,y{\in}R_{Nil(R)}$ and $(xy){\phi}(P){\subseteq}{\phi}(P)$, then there exists an integer $m{\geqslant}1$ such that either $x^m{\in}{\phi}(R)$ or $y^m{\phi}(P){\subseteq}{\phi}(P)$. If each prime ideal of R is a ${\phi}$-pseudo strongly prime ideal, then we say that R is a ${\phi}$-pseudo-almost valuation ring (${\phi}$-PAVR). Among the properties of ${\phi}$-PAVRs, we show that a quasilocal ${\phi}$-ring R with regular maximal ideal M is a ${\phi}$-PAVR if and only if V = (M : M) is a ${\phi}$-almost chained ring with maximal ideal $\sqrt{MV}$. We also investigate the overrings of a ${\phi}$-PAVR.

A NOTE ON LPI DOMAINS

  • Hu, Kui;Wang, Fanggui;Chen, Hanlin
    • 대한수학회보
    • /
    • 제50권3호
    • /
    • pp.719-725
    • /
    • 2013
  • A domain is called an LPI domain if every locally principal ideal is invertible. It is proved in this note that if D is a LPI domain, then D[X] is also an LPI domain. This fact gives a positive answer to an open question put forward by D. D. Anderson and M. Zafrullah.

Some Analogues of a Result of Vasconcelos

  • DOBBS, DAVID EARL;SHAPIRO, JAY ALLEN
    • Kyungpook Mathematical Journal
    • /
    • 제55권4호
    • /
    • pp.817-826
    • /
    • 2015
  • Let R be a commutative ring with total quotient ring K. Each monomorphic R-module endomorphism of a cyclic R-module is an isomorphism if and only if R has Krull dimension 0. Each monomorphic R-module endomorphism of R is an isomorphism if and only if R = K. We say that R has property (${\star}$) if for each nonzero element $a{\in}R$, each monomorphic R-module endomorphism of R/Ra is an isomorphism. If R has property (${\star}$), then each nonzero principal prime ideal of R is a maximal ideal, but the converse is false, even for integral domains of Krull dimension 2. An integral domain R has property (${\star}$) if and only if R has no R-sequence of length 2; the "if" assertion fails in general for non-domain rings R. Each treed domain has property (${\star}$), but the converse is false.

THE IDEAL CLASS GROUP OF POLYNOMIAL OVERRINGS OF THE RING OF INTEGERS

  • Chang, Gyu Whan
    • 대한수학회지
    • /
    • 제59권3호
    • /
    • pp.571-594
    • /
    • 2022
  • Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).