• Communications of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.163-171
• /
• 2007

In this paper, we determine all subfields of cyclotomic function fields with divisor class number two. We also give the generators of such fields explicitly.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.715-723
• /
• 2023

In this paper, we construct explicitly an infinite family of primes P with h^±_P ≡ 0 (mod q^{deg P}), where h^±_P are the plus and minus parts of the divisor class number of the P-th cyclotomic function field over 𝔽_q(T). By using this result and Dirichlet's theorem, we give a condition of A, M ∈ 𝔽_q[T] such that there are infinitely many primes P satisfying with h^±_P ≡ 0 (mod p^e) and P ≡ A (mod M).

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

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.375-384
• /
• 2008

Let $k={\mathbb{F}}_q(T)$ and ${\mathbb{A}}={\mathbb{F}}_q[T]$. Fix a prime divisor ${\ell}$ q-1. In this paper, we consider a ${\ell}$-cyclic real function field $k(\sqrt[{\ell}]P)$ as a subfield of the imaginary bicyclic function field K = $k(\sqrt[{\ell}]P,\;(\sqrt[{\ell}]{-Q})$, which is a composite field of $k(\sqrt[{\ell}]P)$ wit a ${\ell}$-cyclic totally imaginary function field $k(\sqrt[{\ell}]{-Q})$ of class number one. und give various conditions for the class number of $k(\sqrt[{\ell}]{P})$ to be one by using invariants of the relatively cyclic unramified extensions $K/F_i$ over ${\ell}$-cyclic totally imaginary function field $F_i=k(\sqrt[{\ell}]{-P^iQ})$ for $1{\leq}i{\leq}{\ell}-1$.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.259-273
• /
• 2005

In this paper we determine all subfields with genus one of cyclotomic function fields over rational function fields explicitly.

• The KIPS Transactions:PartC
• /
• v.9C no.2
• /
• pp.163-172
• /
• 2002

Java Card API porvide benifit for development program based on smart card using limmited resource. This APIs does not support arithmetic operations such as modular arithmetic, greatest common divisor calculation, and generation and certification of prime number, which is necessary arithmetic in PKI algorithm implementation. In this paper, we implement class BigInteger acted in the Java Card platform because that Java Card APIs does not support class BigInteger necessary in implementation of PKI algorithm.