• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.863-872
• /
• 2023

Let n ⩾ 2 be an integer, we denote the smallest integer b such that gcd {(ⁿ_k) : b < k < n - b} > 1 as b(n). For any prime p, we denote the highest exponent α such that p^α | n as v_p(n). In this paper, we partially answer a question asked by Hong in 2016. For a composite number n and a prime number p with p | n, let n = a_mp^m + r, 0 ⩽ r < p^m, 0 < a_m < p. Then we have $$v_p\(\text{gcd}\{\(n\\k\)\;:\;b(n)1\}\)=\{\array{1,&&a_m=1\text{ and }r=b(n),\\0,&&\text{otherwise.}}$$

• 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).

• Communications of the Korean Mathematical Society
• /
• v.23 no.4
• /
• pp.511-528
• /
• 2008

Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and $\upsilon$ be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple $\upsilon$-ideals $m\;=\;P_0\;{\supset}\;P_1\;{\supset}\;{\cdots}\;{\supset}\;P_t\;=\;P$ and all the other $\upsilon$-ideals are uniquely factored into a product of those simple ones [17]. Lipman further showed that the predecessor of the smallest simple $\upsilon$-ideal P is either simple or the product of two simple $\upsilon$-ideals. The simple integrally closed ideal P is said to be free for the former and satellite for the later. In this paper we describe the sequence of simple $\upsilon$-ideals when P is satellite of order 3 in terms of the invariant $b_{\upsilon}\;=\;|\upsilon(x)\;-\;\upsilon(y)|$, where $\upsilon$ is the prime divisor associated to P and m = (x, y). Denote $b_{\upsilon}$ by b and let b = 3k + 1 for k = 0, 1, 2. Let $n_i$ be the number of nonmaximal simple $\upsilon$-ideals of order i for i = 1, 2, 3. We show that the numbers $n_{\upsilon}$ = ($n_1$, $n_2$, $n_3$) = (${\lceil}\frac{b+1}{3}{\rceil}$, 1, 1) and that the rank of P is ${\lceil}\frac{b+7}{3}{\rceil}$ = k + 3. We then describe all the $\upsilon$-ideals from m to P as products of those simple $\upsilon$-ideals. In particular, we find the conductor ideal and the $\upsilon$-predecessor of the given ideal P in cases of b = 1, 2 and for b = 3k + 1, 3k + 2, 3k for $k\;{\geq}\;1$. We also find the value semigroup $\upsilon(R)$ of a satellite simple valuation ideal P of order 3 in terms of $b_{\upsilon}$.

• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.427-436
• /
• 2005

Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and v be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple v-ideals $m=P_0\;{\supset}\;P_1\;{\supset}\;{\cdotS}\;{\supset}\;P_t=P$ and all the other v-ideals are uniquely factored into a product of those simple ones. It then was also shown by Lipman that the predecessor of the smallest simple v-ideal P is either simple (P is free) or the product of two simple v-ideals (P is satellite), that the sequence of v-ideals between the maximal ideal and the smallest simple v-ideal P is saturated, and that the v-value of the maximal ideal is the m-adic order of P. Let m = (x, y) and denote the v-value difference |v(x) - v(y)| by $n_v$. In this paper, if the m-adic order of P is 2, we show that $O(P_i)\;=\;1\;for\;1\;{\leq}\;i\; {\leq}\;{\lceil}\;{\frac{b+1}{2}}{\rceil}\;and\;O(P_i)\;=2\;for\;{\lceil}\;\frac{b+3}{2}\rceil\;{\leq}\;i\;\leq\;t,\;where\;b=n_v$. We also show that $n_w\;=\;n_v$ when w is the prime divisor associated to a simple v-ideal $Q\;{\supset}\;P$ of order 2 and that w(R) = v(R) as well.

• Journal for History of Mathematics
• /
• v.17 no.1
• /
• pp.33-42
• /
• 2004

In this paper, we identify the essential ideas of Fundamental Theorem of Arithmetic(FTA). Then, we compare these ideas with several theorems of Euclid's Elements to investigate whether the essential ideas of FTA are contained in Elements or not. From this, we have the following conclusion: Even though Elements doesn't contain FTA explicitly, it contains all of the essential ideas of FTA. Finally, we assert two reasons why Greeks couldn't mention FTA explicitly. First, they oriented geometrically, and so they understood the concept of 'divide' as 'metric'. So they might have difficulty to find the divisor of the given number and the divisor of the divisor continuously. Second, they have limit to use notation in Mathematics. So they couldn't represent the given composite number as multiplication of all of its prime divisors.

• Communications of the Korean Mathematical Society
• /
• v.24 no.2
• /
• pp.161-169
• /
• 2009

In this paper, we introduce the generalized ideal-based zero-divisor graph structure of near-ring N, denoted by $\widehat{{\Gamma}_I(N)}$. It is shown that if I is a completely reflexive ideal of N, then every two vertices in $\widehat{{\Gamma}_I(N)}$ are connected by a path of length at most 3, and if $\widehat{{\Gamma}_I(N)}$ contains a cycle, then the core K of $\widehat{{\Gamma}_I(N)}$ is a union of triangles and rectangles. We have shown that if $\widehat{{\Gamma}_I(N)}$ is a bipartite graph for a completely semiprime ideal I of N, then N has two prime ideals whose intersection is I.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.241-261
• /
• 2013

In this paper, we find the coefficients for the Weierstrass ${\wp}(x)$ and ${\wp}^{{\prime}{\prime}}(x)$($x=\frac{1}{2}$, $\frac{\tau}{2}$, $\frac{\tau+1}{2}$)-functions in terms of the arithmetic identities appearing in divisor functions which are proved by Ramanujan ([23]). Finally, we reprove congruences for the functions ${\mu}(n)$ and ${\nu}(n)$ in Hahn's article [11, Theorems 6.1 and 6.2].

• Communications of Mathematical Education
• /
• v.33 no.3
• /
• pp.255-273
• /
• 2019

In order to help students to understand the essence of prime concepts, this study looked at the history of prime concept development and analyzed how to introduce the concept of textbooks. In ancient Greece, primes were multiplicative atoms. At that time, the unit was not a number, but the development of decimal representations led to the integration of the unit into the number, which raised the issue of primality of 1. Based on the uniqueness of factorization into prime factor, 1 was excluded from the prime, and after that, the concept of prime of the atomic context and the irreducible concept of the divisor context are established. The history of the development of prime concepts clearly reveals that the fact that prime is the multiplicative atom is the essence of the concept. As a result of analyzing the textbooks, the textbook has problems of not introducing the concept essence by introducing the concept of prime into a shaped perspectives or using game, and the problem that the transition to analytic concept definition is radical after the introduction of the concept. Based on the results of the analysis, we have provided several pedagogical implications for helping to focus on a conceptual aspect of prime number.

• Journal of applied mathematics & informatics
• /
• v.31 no.1_2
• /
• pp.45-54
• /
• 2013

Let $$S^{\pm}_{(n,k)}\;:=\{(a,b,x,y){\in}\mathbb{N}^4:ax+by=n,x{\equiv}{\pm}y\;(mod\;k)\}$$. From the formula $\sum_{(a,b,x,y){\in}S^{\pm}_{(n,k)}}\;ab=4\sum_{^{m{\in}\mathbb{N}}_{m<n/k}}\;{\sigma}_1(m){\sigma}_1(n-km)+\frac{1}{6}{\sigma}_3(n)-\frac{1}{6}{\sigma}_1(n)-{\sigma}_3(\frac{n}{k})+n{\sigma}_1(\frac{n}{k})$, we find the Diophantine solutions for modulo $2^{m^{\prime}}$ and $3^{m^{\prime}}$, where $m^{\prime}{\in}\mathbb{N}$.

• 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.