• The Pure and Applied Mathematics
• /
• v.18 no.3
• /
• pp.269-274
• /
• 2011

We investigate the divisor class group of surfaces over finite fields. For some surfaces the divisor class group depends on the characteristic of the field. We calculate the determinant of a matrix which will provide an information about the divisor class group of the surfaces.

• Communications of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.233-260
• /
• 2017

Let R be a factorial domain. In this work we investigate the connections between the arithmetic of Int(R) (i.e., the ring of integer-valued polynomials over R) and its monadic submonoids (i.e., monoids of the form {$g{\in}Int(R){\mid}g{\mid}_{Int(R)}f^k$ for some $k{\in}{\mathbb{N}}_0$} for some nonzero $f{\in}Int(R)$). Since every monadic submonoid of Int(R) is a Krull monoid it is possible to describe the arithmetic of these monoids in terms of their divisor-class group. We give an explicit description of these divisor-class groups in several situations and provide a few techniques that can be used to determine them. As an application we show that there are strong connections between Int(R) and its monadic submonoids. If $R={\mathbb{Z}}$ or more generally if R has sufficiently many "nice" atoms, then we prove that the infinitude of the elasticity and the tame degree of Int(R) can be explained by using the structure of monadic submonoids of Int(R).

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.389-398
• /
• 2001

Let D be a Dedekind domain with divisor class group Cl(D). We show that there is a correspondence between the set of splitting multiplicative subsets in D and certain subgroups of Cl(D).

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.771-775
• /
• 2007

In this note we discussed the half-factoriality of Krull monoid domain D[S] whenever the monoid S has trivial divisor class group.

• Journal of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.869-915
• /
• 2019

Let H be a Krull monoid with class group G such that every class contains a prime divisor. Then every nonunit $a{\in}H$ can be written as a finite product of irreducible elements. If $a=u_1{\cdot}\;{\ldots}\;{\cdot}u_k$ with irreducibles $u_1,{\ldots},u_k{\in}H$, then k is called the length of the factorization and the set L(a) of all possible k is the set of lengths of a. It is well-known that the system ${\mathcal{L}}(H)=\{{\mathcal{L}}(a){\mid}a{\in}H\}$ depends only on the class group G. We study the inverse question asking whether the system ${\mathcal{L}}(H)$ is characteristic for the class group. Let H' be a further Krull monoid with class group G' such that every class contains a prime divisor and suppose that ${\mathcal{L}}(H)={\mathcal{L}}(H^{\prime})$. We show that, if one of the groups G and G' is finite and has rank at most two, then G and G' are isomorphic (apart from two well-known exceptions).

• Journal of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.149-171
• /
• 2021

Let Cl(A) denote the class group of an arbitrary integral domain A introduced by Bouvier in 1982. Then Cl(A) is the ideal class (resp., divisor class) group of A if A is a Dedekind or a Prüfer (resp., Krull) domain. Let G be an abelian group. In this paper, we show that there is a ring of Krull type D such that Cl(D) = G but D is not a Krull domain. We then use this ring to construct a Prüfer ring of Krull type E such that Cl(E) = G but E is not a Dedekind domain. This is a generalization of Claborn's result that every abelian group is the ideal class group of a Dedekind domain.

• Korean Journal of Mathematics
• /
• v.18 no.4
• /
• pp.381-386
• /
• 2010

In this paper, we study Dedekind domains D such that each proper localization $D_S$ of D is an half-factorial domain.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.815-827
• /
• 2019

It is well known that the denominator of the Dedekind sum s(c, d) divides 2 gcd(d, 3)d and that no smaller denominator independent of c can be expected. In contrast, here we prove that we usually get a smaller denominator in S(H, d), the sum of the s(c, d)'s over all the c's in a subgroup H of order n > 1 in the multiplicative group $(\mathbb{Z}/d\mathbb{Z})^*$. First, we prove that for p > 3 a prime, the sum 2S(H, p) is a rational integer of the same parity as (p-1)/2. We give an application of this result to upper bounds on relative class numbers of imaginary abelian number fields of prime conductor. Finally, we give a general result on the denominator of S(H, d) for non necessarily prime d's. We show that its denominator is a divisor of some explicit divisor of 2d gcd(d, 3).

• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.191-205
• /
• 2011

It is well known that for a Krull domain R, the divisor class group of R is a torsion group if and only if every subintersection of R is a ring of quotients. Thus a natural question is that under what conditions, for a non-Krull domain R, every (t-)subintersection (resp., t-linked overring) of R is a ring of quotients or every (t-)subintersection (resp., t-linked overring) of R is at. To address this question, we introduce the notions of *-compact packedness and *-coprime packedness of (an ideal of) an integral domain R for a star operation * of finite character, mainly t or w. We also investigate the t-theoretic analogues of related results in the literature.