• Bulletin of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.509-520
• /
• 2003

Let p be a prime number, $Q_{p}$ the field of p-adic numbers, K a finite extension of $Q_{p}$, $\bar{K}}$ a fixed algebraic closure of K and $C_{p}$ the completion of K with respect to the p-adic valuation. Let E be a closed subfield of $C_{p}$, containing K. Given elements $t_1$...,$t_{r}$ $\in$ E for which the field K($t_1$...,$t_{r}$) is dense in E, we construct integral bases of E over K.

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

For any prime number p, let J(p) be the set of positive integers n such that the numerator of the n^th harmonic number in the lowest terms is divisible by this prime number p. We consider an extension of this set to the generalized harmonic numbers, which are a natural extension of the harmonic numbers. Then, we present an upper bound for the number of elements in this set. Moreover, we state an explicit condition to show the finiteness of our set, together with relations to Bernoulli and Euler numbers.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.39-44
• /
• 1996

Throughout this paper $Z^p, Q_p$ and C_p$ will denote the ring of p-adic rational integers, the field of p-adic rational numbers and the completion of the algebraic closure of $Q_p$, respectively. Let $v_p$ be the normalized exponential valuation of $C_p$ with $$\mid$p$\mid$_p = p^{-v_p (p)} = p^{-1}$. We set $p^* = p$ for any prime p > 2 $p^* = 4 for p = 2$.

• 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 of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.101-129
• /
• 2018

From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic p. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as a suitable substitute for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring ${\mathbf{F}}_q$[[T]] in one variable T over a finite field ${\mathbf{F}}_q$ of q elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous ${\mathbf{F}}_q$-linear functions on ${\mathbf{F}}_q$[[T]]. According to the digit principle, every continuous function on ${\mathbf{F}}_q$[[T]] is uniquely written in terms of a q-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the p-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on ${\mathbf{Z}}_p$.

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

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1383-1392
• /
• 2020

Let H_n be the n-th harmonic number and let ν_n be its denominator. Shiu proved that there are infinitely many positive integers n with ν_n = ν_n+1. Recently, Wu and Chen proved that the set of positive integers n with ν_n = ν_n+1 has density one. They also proved that the same result is true for the denominators of alternating harmonic numbers. In this paper, we prove that the result is true for the denominators of 𝜀-harmonic numbers, where 𝜀 = {𝜀_i}^∞_i=1 is a pure recurring sequence with 𝜀_i ∈ {-1, 1}.