• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1207-1218
• /
• 2011

Let * be a star-operation on an integral domain R, and let $\mathfrak{I}_*^+(R)$ be the semigroup of *-invertible integral *-ideals of R. In this article, we introduce the concept of a *-coatom, and we then characterize when $\mathfrak{I}_*^+(R)$ is a free semigroup with a set of free generators consisting of *-coatoms. In particular, we show that $\mathfrak{I}_*^+(R)$ is a free semigroup if and only if R is a Krull domain and each ${\upsilon}$-invertible ${\upsilon}$-ideal is *-invertible. As a corollary, we obtain some characterizations of *-Dedekind domains.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.4
• /
• pp.711-715
• /
• 2012

In terms of divisible-like modules, some equivalent conditions for an integral domain R to be a generalized GCD domain are given.

• The Mathematical Education
• /
• v.21 no.1
• /
• pp.45-46
• /
• 1982

• Journal of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1305-1320
• /
• 2018

We define new generalized factorials in several variables over an arbitrary subset ${\underline{S}}{\subseteq}R^n$, where R is a Dedekind domain and n is a positive integer. We then study the properties of the fixed divisor $d(\underline{S},f)$ of a multivariate polynomial $f{\in}R[x_1,x_2,{\ldots},x_n]$. We generalize the results of Polya, Bhargava, Gunji & McQuillan and strengthen that of Evrard, all of which relate the fixed divisor to generalized factorials of ${\underline{S}}$. We also express $d(\underline{S},f)$ in terms of the images $f({\underline{a}})$ of finitely many elements ${\underline{a}}{\in}R^n$, generalizing a result of Hensel, and in terms of the coefficients of f under explicit bases.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.797-811
• /
• 2024

In this paper, we define the torsion graph determined by equivalence classes of torsion elements and denote it by A_E(M). The vertex set of A_E(M) is the set of equivalence classes {[x] | x ∈ T(M)^*}, where two torsion elements x, y ∈ T(M)^* are equivalent if ann(x) = ann(y). Also, two distinct classes [x] and [y] are adjacent in A_E(M), provided that ann(x)ann(y)M = 0. We shall prove that for every torsion finitely generated module M over a Dedekind domain R, a vertex of A_E(M) has degree two if and only if it is an associated prime of M.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.4
• /
• pp.1075-1081
• /
• 2020

Let R be a domain. It is proved that R is coherent when IFD(R) ⩽ 1, and R is Noetherian when IPD(R) ⩽ 1. Consequently, R is a G-Prüfer domain if and only if IFD(R) ⩽ 1, if and only if wG-gldim(R) ⩽ 1; and R is a G-Dedekind domain if and only if IPD(R) ⩽ 1.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1225-1236
• /
• 2016

Let R be a commutative ring with $1{\neq}0$ and n a positive integer. In this article, we introduce the n-Krull dimension of R, denoted $dim_n\;R$, which is the supremum of the lengths of chains of n-absorbing ideals of R. We study the n-Krull dimension in several classes of commutative rings. For example, the n-Krull dimension of an Artinian ring is finite for every positive integer n. In particular, if R is an Artinian ring with k maximal ideals and l(R) is the length of a composition series for R, then $dim_n\;R=l(R)-k$ for some positive integer n. It is proved that a Noetherian domain R is a Dedekind domain if and only if $dim_n\;R=n$ for every positive integer n if and only if $dim_2\;R=2$. It is shown that Krull's (Generalized) Principal Ideal Theorem does not hold in general when prime ideals are replaced by n-absorbing ideals for some n > 1.

• The Pure and Applied Mathematics
• /
• v.4 no.1
• /
• pp.93-96
• /
• 1997

An atomic integral domain R is a half-factorial domain (HFD) if whenever $\chi_1$… $\chi_{m}=y_1$…$y_n$ with each $\chi_{i},y_j \in R$ irreducible, then m = n. In this paper, we show that if R[X] is an HFD, then $Cl_{t}(R)$ $\cong$ $Cl_{t}$(R[X]), and if $G_1$ and $G_2$ are torsion abelian groups, then there exists a Dedekind HFD R such that Cl(R) = $G_1\bigoplus\; G_2$.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.735-744
• /
• 2024

In this note, we shed new light on Krull domains from the point view of Gorenstein homological algebra. By using the so-called w-operation, we show that an integral domain R is Krull if and only if for any nonzero proper w-ideal I, the Gorenstein global dimension of the w-factor ring (R/I)_w is zero. Further, we obtain that an integral domain R is Dedekind if and only if for any nonzero proper ideal I, the Gorenstein global dimension of the factor ring R/I is zero.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1447-1455
• /
• 2016

In this note, we mainly discuss the Gorenstein $Pr{\ddot{u}}fer$ domains. It is shown that a domain is a Gorenstein $Pr{\ddot{u}}fer$ domain if and only if every finitely generated ideal is Gorenstein projective. It is also shown that a domain is a PID (resp., Dedekind domain, $B{\acute{e}}zout$ domain) if and only if it is a Gorenstein $Pr{\ddot{u}}fer$ UFD (resp., Krull domain, GCD domain).